Skip to content

Commit

Permalink
io_uring/cancel: re-grab ctx mutex after finishing wait
Browse files Browse the repository at this point in the history
[ Upstream commit 23fffb2 ]

If we have a signal pending during cancelations, it'll cause the
task_work run to return an error. Since we didn't run task_work, the
current task is left in TASK_INTERRUPTIBLE state when we need to
re-grab the ctx mutex, and the kernel will rightfully complain about
that.

Move the lock grabbing for the error cases outside the loop to avoid
that issue.

Reported-by: syzbot+7df055631cd1be4586fd@syzkaller.appspotmail.com
Link: https://lore.kernel.org/io-uring/0000000000003a14a905f05050b0@google.com/
Signed-off-by: Jens Axboe <axboe@kernel.dk>
Signed-off-by: Sasha Levin <sashal@kernel.org>
  • Loading branch information
axboe authored and gregkh committed Jan 12, 2023
1 parent a02c07b commit a288e98
Showing 1 changed file with 4 additions and 5 deletions.
9 changes: 4 additions & 5 deletions io_uring/cancel.c
Expand Up @@ -288,24 +288,23 @@ int io_sync_cancel(struct io_ring_ctx *ctx, void __user *arg)

ret = __io_sync_cancel(current->io_uring, &cd, sc.fd);

mutex_unlock(&ctx->uring_lock);
if (ret != -EALREADY)
break;

mutex_unlock(&ctx->uring_lock);
ret = io_run_task_work_sig(ctx);
if (ret < 0) {
mutex_lock(&ctx->uring_lock);
if (ret < 0)
break;
}
ret = schedule_hrtimeout(&timeout, HRTIMER_MODE_ABS);
mutex_lock(&ctx->uring_lock);
if (!ret) {
ret = -ETIME;
break;
}
mutex_lock(&ctx->uring_lock);
} while (1);

finish_wait(&ctx->cq_wait, &wait);
mutex_lock(&ctx->uring_lock);

if (ret == -ENOENT || ret > 0)
ret = 0;
Expand Down

0 comments on commit a288e98

Please sign in to comment.