sched: Unbreak wakeups
authorPeter Zijlstra <peterz@infradead.org>
Fri, 11 Jun 2021 08:28:11 +0000 (10:28 +0200)
committerPeter Zijlstra <peterz@infradead.org>
Fri, 18 Jun 2021 09:43:06 +0000 (11:43 +0200)
commit37aadc687ab441bbcb693ddae613acf9afcea1ab
tree83a8142d60076d6742205e513fc0fac6c0435fa5
parentb2c0931a07b7376c6291e0cfb347ad27f7b66263
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
drivers/net/ethernet/qualcomm/qca_spi.c
drivers/usb/gadget/udc/max3420_udc.c
drivers/usb/host/max3421-hcd.c
kernel/softirq.c