Skip to contentSkip to conversation

SCSI: Replace semaphores with wait_even

PATCH In review Thomas Gleixner 3 participants 6 messages Oct 20, 2004 – Oct 25, 2004 SCSI

lore
Share & tools
lore
#0 lore raw

PATCH 1/1 SCSI: Replace semaphores with wait_even

Use wait_event instead of semaphores. Semaphores are slower and trigger owner conflicts during semaphore debugging.

---

 2.6.9-bk-041020-thomas/drivers/scsi/hosts.c      |    2 +-
 2.6.9-bk-041020-thomas/drivers/scsi/scsi_error.c |   19
++++++++-----------
 2.6.9-bk-041020-thomas/include/scsi/scsi_host.h  |    2 +-
 3 files changed, 10 insertions(+), 13 deletions(-)

diff -puN drivers/scsi/scsi_error.c~scsihost drivers/scsi/scsi_error.c
--- 2.6.9-bk-041020/drivers/scsi/scsi_error.c~scsihost 2004-10-20
15:58:57.000000000 +0200
+++ 2.6.9-bk-041020-thomas/drivers/scsi/scsi_error.c 2004-10-20
16:02:57.000000000 +0200
@@ -49,7 +49,7 @@
void scsi_eh_wakeup(struct Scsi_Host *shost)
{
if (shost->host_busy == shost->host_failed) {
- up(shost->eh_wait);
+ wake_up(shost->eh_wait);
SCSI_LOG_ERROR_RECOVERY(5,
printk("Waking error handler thread\n"));
}
@@ -1598,7 +1598,7 @@ int scsi_error_handler(void *data)
{
struct Scsi_Host *shost = (struct Scsi_Host *) data; int rtn;
- DECLARE_MUTEX_LOCKED(sem);
+ DECLARE_WAIT_QUEUE_HEAD(eh_wait);

/*
* Flush resources
@@ -1608,7 +1608,7 @@ int scsi_error_handler(void *data)

current->flags |= PF_NOFREEZE;

- shost->eh_wait = &sem;
+ shost->eh_wait = &eh_wait;
shost->ehandler = current;

/*
@@ -1630,15 +1630,12 @@ int scsi_error_handler(void *data)
" sleeping\n",shost->host_no));

/*
- * Note - we always use down_interruptible with the semaphore
- * even if the module was loaded as part of the kernel. The
- * reason is that down() will cause this thread to be counted
- * in the load average as a running process, and down
- * interruptible doesn't. Given that we need to allow this
- * thread to die if the driver was loaded as a module, using
- * semaphores isn't unreasonable.
+ * Wait, until somebody decides to wake us due to an error
+ * or because we should be killed
*/
- down_interruptible(&sem);
+ wait_event_interruptible(eh_wait, shost->eh_kill ||
+ (shost->host_busy == shost->host_failed));
+
if (shost->eh_kill)
break;

diff -puN drivers/scsi/hosts.c~scsihost drivers/scsi/hosts.c
--- 2.6.9-bk-041020/drivers/scsi/hosts.c~scsihost 2004-10-20
16:00:04.000000000 +0200
+++ 2.6.9-bk-041020-thomas/drivers/scsi/hosts.c 2004-10-20
16:00:35.000000000 +0200
@@ -157,7 +157,7 @@ static void scsi_host_dev_release(struct
DECLARE_COMPLETION(sem);
shost->eh_notify = &sem;
shost->eh_kill = 1;
- up(shost->eh_wait);
+ wake_up(shost->eh_wait);
wait_for_completion(&sem); shost->eh_notify = NULL;
}
diff -puN include/scsi/scsi_host.h~scsihost include/scsi/scsi_host.h
--- 2.6.9-bk-041020/include/scsi/scsi_host.h~scsihost 2004-10-20
16:00:12.000000000 +0200
+++ 2.6.9-bk-041020-thomas/include/scsi/scsi_host.h 2004-10-20
16:00:29.000000000 +0200
@@ -396,7 +396,7 @@ struct Scsi_Host {

struct list_head eh_cmd_q;

 	struct task_struct    * ehandler;  /* Error recovery thread. */
-	struct semaphore      * eh_wait;   /* The error recovery thread waits
+	wait_queue_head_t     * eh_wait;   /* The error recovery thread waits

on this. */
struct completion * eh_notify; /* wait for eh to begin or end */
struct semaphore * eh_action; /* Wait for specific actions on the
_

#2 lore raw
Quoted 11 lines · James Bottomley
Quoted 7 lines · Thomas Gleixner

Use wait_event instead of semaphores. Semaphores are slower and trigger owner conflicts during semaphore debugging.

---

There's something deeply wrong with this. It causes a boot hang in my scsi test systems.

Hmm, strange. It works on two systems here and others using this modification had no problem either.
I will check again.

tglx

#3 lore raw
Quoted 3 lines · Thomas Gleixner

Hmm, strange. It works on two systems here and others using this modification had no problem either.
I will check again.

Yes, very strange given what the mistake is:

- down_interruptible(&sem);
+ wait_event_interruptible(eh_wait, shost->eh_kill ||
+ (shost->host_busy ==
shost->host_failed));

This condition is always true when the eh thread first starts because the default quiescent state of a scsi host is

shost->host_busy = shost->host_failed = 0

so your change makes the eh_thread spin forever locking everything else off the CPU. On a UP system, this is a complete hang.

James

#4 lore raw
Quoted 12 lines · James Bottomley
Quoted 3 lines · Thomas Gleixner

Hmm, strange. It works on two systems here and others using this modification had no problem either.
I will check again.

Yes, very strange given what the mistake is:

(quoted diff) +2 -1
-               down_interruptible(&sem);
+               wait_event_interruptible(eh_wait, shost->eh_kill ||
+                               (shost->host_busy ==

shost->host_failed));

Quoted 7 lines

This condition is always true when the eh thread first starts because the default quiescent state of a scsi host is

shost->host_busy = shost->host_failed = 0

so your change makes the eh_thread spin forever locking everything else off the CPU. On a UP system, this is a complete hang.

i think i fixed this in my PREEMPT_REALTIME tree (having seen spinning eh_threads) - maybe Thomas forgot to merge those fixes back?

(in a PREEMPT_REALTIME kernel a spinning thread is just a thread eating up CPU power, it doesnt cause a hang.)

Ingo

#5 lore raw
Quoted 5 lines · Ingo Molnar

i think i fixed this in my PREEMPT_REALTIME tree (having seen spinning eh_threads) - maybe Thomas forgot to merge those fixes back?

(in a PREEMPT_REALTIME kernel a spinning thread is just a thread eating up CPU power, it doesnt cause a hang.)

I've really got to say, I don't like what you're doing. This program seems to replace

if (condition)

	up(sem);

[...]
down(sem);

with

if (condition)

	up(event_queue);

[...]
wait_event(event_queue, condition);

That can be wrong on three counts:

1) The condition is a local one that will fluctuate between the wake_up and the actual thread being scheduled to run
2) The actual condition you need to check for might not be the same as the one that triggered the wake_up. This is what the SCSI problem was.
3) There might genuinely be n triggers of the event. With a semaphore, if we get three up()'s before the waiting thread is schedules, it will process three times. With wait_event, the other two will be lost.

Thus, to effect this replacement, you need a thorough audit of what is usually pretty non-trivial code.

What's the overriding reason for doing this? the pain doesn't look to be worth the gain (since I don't see any gain).

James