Skip to content

Commit 04beb6e

Browse files
committed
io_uring: check for presence of task_work rather than TIF_NOTIFY_SIGNAL
If some part of the kernel adds task_work that needs executing, in terms of signaling it'll generally use TWA_SIGNAL or TWA_RESUME. Those two directly translate to TIF_NOTIFY_SIGNAL or TIF_NOTIFY_RESUME, and can be used for a variety of use case outside of task_work. However, io_cqring_wait_schedule() only tests explicitly for TIF_NOTIFY_SIGNAL. This means it can miss if task_work got added for the task, but used a different kind of signaling mechanism (or none at all). Normally this doesn't matter as any task_work will be run once the task exits to userspace, except if: 1) The ring is setup with DEFER_TASKRUN 2) The local work item may generate normal task_work For condition 2, this can happen when closing a file and it's the final put of that file, for example. This can cause stalls where a task is waiting to make progress inside io_cqring_wait(), but there's nothing else that will wake it up. Hence change the "should we schedule or loop around" check to check for the presence of task_work explicitly, rather than just TIF_NOTIFY_SIGNAL as the mechanism. While in there, also change the ordering of what type of task_work first in terms of ordering, to both make it consistent with other task_work runs in io_uring, but also to better handle the case of defer task_work generating normal task_work, like in the above example. Reported-by: Jan Hendrik Farr <[email protected]> Link: axboe/liburing#1235 Cc: [email protected] Fixes: 846072f ("io_uring: mimimise io_cqring_wait_schedule") Signed-off-by: Jens Axboe <[email protected]>
1 parent 53d69bd commit 04beb6e

File tree

1 file changed

+2
-2
lines changed

1 file changed

+2
-2
lines changed

io_uring/io_uring.c

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -2461,7 +2461,7 @@ static inline int io_cqring_wait_schedule(struct io_ring_ctx *ctx,
24612461
return 1;
24622462
if (unlikely(!llist_empty(&ctx->work_llist)))
24632463
return 1;
2464-
if (unlikely(test_thread_flag(TIF_NOTIFY_SIGNAL)))
2464+
if (unlikely(task_work_pending(current)))
24652465
return 1;
24662466
if (unlikely(task_sigpending(current)))
24672467
return -EINTR;
@@ -2568,9 +2568,9 @@ static int io_cqring_wait(struct io_ring_ctx *ctx, int min_events, u32 flags,
25682568
* If we got woken because of task_work being processed, run it
25692569
* now rather than let the caller do another wait loop.
25702570
*/
2571-
io_run_task_work();
25722571
if (!llist_empty(&ctx->work_llist))
25732572
io_run_local_work(ctx, nr_wait);
2573+
io_run_task_work();
25742574

25752575
/*
25762576
* Non-local task_work will be run on exit to userspace, but

0 commit comments

Comments
 (0)