Messages in this thread | | | Date | Sun, 11 May 2008 15:45:24 +0200 | From | Ingo Molnar <> | Subject | Re: [git pull] scheduler fixes |
| |
* 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
| |