Re: [git pull] scheduler fixes

Ingo Molnar
2008-05-11T13:45:54Z

* Matthew Wilcox <matthew@wil.cx> wrote:

> IOW, what I think you're checking for is:
>
> task A task B
> if sem->count >0
> break;
> sem->count++
> wake_up_process(B)
> if (state == TASK_INTERRUPTIBLE && signal_pending(task))
> break;
>
> which can't happen because of sem->lock.

ok, agreed, that race cannot happen.

Ingo