workqueue: cond_resched() after processing each work item
authorTejun Heo <tj@kernel.org>
Wed, 28 Aug 2013 21:33:37 +0000 (17:33 -0400)
committerBen Hutchings <ben@decadent.org.uk>
Tue, 10 Sep 2013 00:57:36 +0000 (01:57 +0100)
commitfbbd6511ab0dff8a79fc5803250b77a1260be354
tree50fb3ee9eaf82684875f2d0b2d60718aec0daf34
parent8f5f27670088ea31d93287c2bc1e0d54f5ed6841
workqueue: cond_resched() after processing each work item

commit b22ce2785d97423846206cceec4efee0c4afd980 upstream.

If !PREEMPT, a kworker running work items back to back can hog CPU.
This becomes dangerous when a self-requeueing work item which is
waiting for something to happen races against stop_machine.  Such
self-requeueing work item would requeue itself indefinitely hogging
the kworker and CPU it's running on while stop_machine would wait for
that CPU to enter stop_machine while preventing anything else from
happening on all other CPUs.  The two would deadlock.

Jamie Liu reports that this deadlock scenario exists around
scsi_requeue_run_queue() and libata port multiplier support, where one
port may exclude command processing from other ports.  With the right
timing, scsi_requeue_run_queue() can end up requeueing itself trying
to execute an IO which is asked to be retried while another device has
an exclusive access, which in turn can't make forward progress due to
stop_machine.

Fix it by invoking cond_resched() after executing each work item.

Signed-off-by: Tejun Heo <tj@kernel.org>
Reported-by: Jamie Liu <jamieliu@google.com>
References: http://thread.gmane.org/gmane.linux.kernel/1552567
[bwh: Backported to 3.2: adjust context]
Signed-off-by: Ben Hutchings <ben@decadent.org.uk>
kernel/workqueue.c