Re: [BUG] TASK_DEAD task is able to be woken up in special condition

Peter Zijlstra
2012-01-24T10:19:14Z

On Wed, 2012-01-18 at 15:20 +0100, Oleg Nesterov wrote:
> do_exit() is different because it can not handle the spurious wakeup.
> Well, may be we can? we can simply do
>
> for (;;) {
> tsk->state = TASK_DEAD;
> schedule();
> }
>
> __schedule() can't race with ttwu() once it takes rq->lock. If the
> exiting task is deactivated, finish_task_switch() will see EXIT_DEAD.

TASK_DEAD, right?

> Unless I missed something, the only problem is preempt_disable(),
> but schedule_debug() checks ->exit_state.
>
> OTOH, if we fix this race then probably schedule_debug() should
> check state == EXIT_DEAD instead.

Hmm, interesting. On the up side that removes the need for that inf loop
after BUG, down side is of course that we loose the BUG itself too. Now
I'm not too sure we actually care about that, a task spinning at 100% in
x state should be fairly obvious borkage and its not like we hit this
thing very often.