diff options
author | Peter Zijlstra <peterz@infradead.org> | 2021-06-11 11:28:11 +0300 |
---|---|---|
committer | Peter Zijlstra <peterz@infradead.org> | 2021-06-18 12:43:06 +0300 |
commit | 37aadc687ab441bbcb693ddae613acf9afcea1ab (patch) | |
tree | 83a8142d60076d6742205e513fc0fac6c0435fa5 /security/bpf | |
parent | b2c0931a07b7376c6291e0cfb347ad27f7b66263 (diff) | |
download | linux-37aadc687ab441bbcb693ddae613acf9afcea1ab.tar.xz |
sched: Unbreak wakeups
Remove broken task->state references and let wake_up_process() DTRT.
The anti-pattern in these patches breaks the ordering of ->state vs
COND as described in the comment near set_current_state() and can lead
to missed wakeups:
(OoO load, observes RUNNING)<-.
for (;;) { |
t->state = UNINTERRUPTIBLE; |
smp_mb(); ,-----> | (observes !COND)
| /
if (COND) ---------' | COND = 1;
break; `- if (t->state != RUNNING)
wake_up_process(t); // not done
schedule(); // forever waiting
}
t->state = TASK_RUNNING;
Signed-off-by: Peter Zijlstra (Intel) <peterz@infradead.org>
Reviewed-by: Davidlohr Bueso <dbueso@suse.de>
Acked-by: Greg Kroah-Hartman <gregkh@linuxfoundation.org>
Acked-by: Will Deacon <will@kernel.org>
Link: https://lore.kernel.org/r/20210611082838.160855222@infradead.org
Diffstat (limited to 'security/bpf')
0 files changed, 0 insertions, 0 deletions