lkml.org 
[lkml]   [2008]   [May]   [11]   [last100]   RSS Feed
Views: [wrap][no wrap]   [headers]  [forward] 
 
Messages in this thread
Patch in this message
/
Date
From
SubjectRe: [git pull] scheduler fixes
* Matthew Wilcox <matthew@wil.cx> wrote:

> > + /*
> > + * Rotate sleepers - to make sure all of them get woken in case
> > + * of parallel up()s:
> > + */
> > + list_move_tail(&waiter->list, &sem->wait_list);
>
> Seems like extra cache line dirtying for no real gain over my
> solution.

the gain is rather obvious: two parallel up()s (or just up()s which come
close enough after each other) will wake up two tasks in parallel. With
your patch, the first guy wakes up and then it wakes up the second guy.
I.e. your patch serializes the wakeup chain, mine keeps it parallel.

the cache line dirtying is rather secondary to any solution - the first
goal for any locking primitive is to get scheduling precise: to not wake
up more tasks than optimal and to not wake up less tasks than optimal.

i.e. can you see any conceptual hole in the patch below?

Ingo

---
kernel/semaphore.c | 6 ++++++
1 file changed, 6 insertions(+)

Index: linux/kernel/semaphore.c
===================================================================
--- linux.orig/kernel/semaphore.c
+++ linux/kernel/semaphore.c
@@ -258,5 +258,11 @@ static noinline void __sched __up(struct
{
struct semaphore_waiter *waiter = list_first_entry(&sem->wait_list,
struct semaphore_waiter, list);
+ /*
+ * Rotate sleepers - to make sure all of them get woken in case
+ * of parallel up()s:
+ */
+ list_move_tail(&waiter->list, &sem->wait_list);
+
wake_up_process(waiter->task);
}

\
 
 \ /
  Last update: 2008-05-11 15:57    [W:0.112 / U:0.108 seconds]
©2003-2020 Jasper Spaans|hosted at Digital Ocean and TransIP|Read the blog|Advertise on this site