1 // SPDX-License-Identifier: GPL-2.0
2 #include <linux/kernel.h>
3 #include <linux/errno.h>
5 #include <linux/file.h>
7 #include <linux/slab.h>
8 #include <linux/namei.h>
9 #include <linux/nospec.h>
10 #include <linux/io_uring.h>
12 #include <uapi/linux/io_uring.h>
29 #define CANCEL_FLAGS (IORING_ASYNC_CANCEL_ALL | IORING_ASYNC_CANCEL_FD | \
30 IORING_ASYNC_CANCEL_ANY | IORING_ASYNC_CANCEL_FD_FIXED | \
31 IORING_ASYNC_CANCEL_USERDATA | IORING_ASYNC_CANCEL_OP)
34 * Returns true if the request matches the criteria outlined by 'cd'.
36 bool io_cancel_req_match(struct io_kiocb *req, struct io_cancel_data *cd)
38 bool match_user_data = cd->flags & IORING_ASYNC_CANCEL_USERDATA;
40 if (req->ctx != cd->ctx)
43 if (!(cd->flags & (IORING_ASYNC_CANCEL_FD | IORING_ASYNC_CANCEL_OP)))
44 match_user_data = true;
46 if (cd->flags & IORING_ASYNC_CANCEL_ANY)
48 if (cd->flags & IORING_ASYNC_CANCEL_FD) {
49 if (req->file != cd->file)
52 if (cd->flags & IORING_ASYNC_CANCEL_OP) {
53 if (req->opcode != cd->opcode)
56 if (match_user_data && req->cqe.user_data != cd->data)
58 if (cd->flags & IORING_ASYNC_CANCEL_ALL) {
60 if (cd->seq == req->work.cancel_seq)
62 req->work.cancel_seq = cd->seq;
68 static bool io_cancel_cb(struct io_wq_work *work, void *data)
70 struct io_kiocb *req = container_of(work, struct io_kiocb, work);
71 struct io_cancel_data *cd = data;
73 return io_cancel_req_match(req, cd);
76 static int io_async_cancel_one(struct io_uring_task *tctx,
77 struct io_cancel_data *cd)
79 enum io_wq_cancel cancel_ret;
83 if (!tctx || !tctx->io_wq)
86 all = cd->flags & (IORING_ASYNC_CANCEL_ALL|IORING_ASYNC_CANCEL_ANY);
87 cancel_ret = io_wq_cancel_cb(tctx->io_wq, io_cancel_cb, cd, all);
92 case IO_WQ_CANCEL_RUNNING:
95 case IO_WQ_CANCEL_NOTFOUND:
103 int io_try_cancel(struct io_uring_task *tctx, struct io_cancel_data *cd,
104 unsigned issue_flags)
106 struct io_ring_ctx *ctx = cd->ctx;
109 WARN_ON_ONCE(!io_wq_current_is_worker() && tctx != current->io_uring);
111 ret = io_async_cancel_one(tctx, cd);
113 * Fall-through even for -EALREADY, as we may have poll armed
114 * that need unarming.
119 ret = io_poll_cancel(ctx, cd, issue_flags);
123 ret = io_waitid_cancel(ctx, cd, issue_flags);
127 spin_lock(&ctx->completion_lock);
128 if (!(cd->flags & IORING_ASYNC_CANCEL_FD))
129 ret = io_timeout_cancel(ctx, cd);
130 spin_unlock(&ctx->completion_lock);
134 int io_async_cancel_prep(struct io_kiocb *req, const struct io_uring_sqe *sqe)
136 struct io_cancel *cancel = io_kiocb_to_cmd(req, struct io_cancel);
138 if (unlikely(req->flags & REQ_F_BUFFER_SELECT))
140 if (sqe->off || sqe->splice_fd_in)
143 cancel->addr = READ_ONCE(sqe->addr);
144 cancel->flags = READ_ONCE(sqe->cancel_flags);
145 if (cancel->flags & ~CANCEL_FLAGS)
147 if (cancel->flags & IORING_ASYNC_CANCEL_FD) {
148 if (cancel->flags & IORING_ASYNC_CANCEL_ANY)
150 cancel->fd = READ_ONCE(sqe->fd);
152 if (cancel->flags & IORING_ASYNC_CANCEL_OP) {
153 if (cancel->flags & IORING_ASYNC_CANCEL_ANY)
155 cancel->opcode = READ_ONCE(sqe->len);
161 static int __io_async_cancel(struct io_cancel_data *cd,
162 struct io_uring_task *tctx,
163 unsigned int issue_flags)
165 bool all = cd->flags & (IORING_ASYNC_CANCEL_ALL|IORING_ASYNC_CANCEL_ANY);
166 struct io_ring_ctx *ctx = cd->ctx;
167 struct io_tctx_node *node;
171 ret = io_try_cancel(tctx, cd, issue_flags);
179 /* slow path, try all io-wq's */
180 io_ring_submit_lock(ctx, issue_flags);
182 list_for_each_entry(node, &ctx->tctx_list, ctx_node) {
183 struct io_uring_task *tctx = node->task->io_uring;
185 ret = io_async_cancel_one(tctx, cd);
186 if (ret != -ENOENT) {
192 io_ring_submit_unlock(ctx, issue_flags);
193 return all ? nr : ret;
196 int io_async_cancel(struct io_kiocb *req, unsigned int issue_flags)
198 struct io_cancel *cancel = io_kiocb_to_cmd(req, struct io_cancel);
199 struct io_cancel_data cd = {
201 .data = cancel->addr,
202 .flags = cancel->flags,
203 .opcode = cancel->opcode,
204 .seq = atomic_inc_return(&req->ctx->cancel_seq),
206 struct io_uring_task *tctx = req->task->io_uring;
209 if (cd.flags & IORING_ASYNC_CANCEL_FD) {
210 if (req->flags & REQ_F_FIXED_FILE ||
211 cd.flags & IORING_ASYNC_CANCEL_FD_FIXED) {
212 req->flags |= REQ_F_FIXED_FILE;
213 req->file = io_file_get_fixed(req, cancel->fd,
216 req->file = io_file_get_normal(req, cancel->fd);
225 ret = __io_async_cancel(&cd, tctx, issue_flags);
229 io_req_set_res(req, ret, 0);
233 void init_hash_table(struct io_hash_table *table, unsigned size)
237 for (i = 0; i < size; i++) {
238 spin_lock_init(&table->hbs[i].lock);
239 INIT_HLIST_HEAD(&table->hbs[i].list);
243 static int __io_sync_cancel(struct io_uring_task *tctx,
244 struct io_cancel_data *cd, int fd)
246 struct io_ring_ctx *ctx = cd->ctx;
248 /* fixed must be grabbed every time since we drop the uring_lock */
249 if ((cd->flags & IORING_ASYNC_CANCEL_FD) &&
250 (cd->flags & IORING_ASYNC_CANCEL_FD_FIXED)) {
251 if (unlikely(fd >= ctx->nr_user_files))
253 fd = array_index_nospec(fd, ctx->nr_user_files);
254 cd->file = io_file_from_index(&ctx->file_table, fd);
259 return __io_async_cancel(cd, tctx, 0);
262 int io_sync_cancel(struct io_ring_ctx *ctx, void __user *arg)
263 __must_hold(&ctx->uring_lock)
265 struct io_cancel_data cd = {
267 .seq = atomic_inc_return(&ctx->cancel_seq),
269 ktime_t timeout = KTIME_MAX;
270 struct io_uring_sync_cancel_reg sc;
275 if (copy_from_user(&sc, arg, sizeof(sc)))
277 if (sc.flags & ~CANCEL_FLAGS)
279 for (i = 0; i < ARRAY_SIZE(sc.pad); i++)
282 for (i = 0; i < ARRAY_SIZE(sc.pad2); i++)
288 cd.opcode = sc.opcode;
290 /* we can grab a normal file descriptor upfront */
291 if ((cd.flags & IORING_ASYNC_CANCEL_FD) &&
292 !(cd.flags & IORING_ASYNC_CANCEL_FD_FIXED)) {
299 ret = __io_sync_cancel(current->io_uring, &cd, sc.fd);
301 /* found something, done! */
302 if (ret != -EALREADY)
305 if (sc.timeout.tv_sec != -1UL || sc.timeout.tv_nsec != -1UL) {
306 struct timespec64 ts = {
307 .tv_sec = sc.timeout.tv_sec,
308 .tv_nsec = sc.timeout.tv_nsec
311 timeout = ktime_add_ns(timespec64_to_ktime(ts), ktime_get_ns());
315 * Keep looking until we get -ENOENT. we'll get woken everytime
316 * every time a request completes and will retry the cancelation.
319 cd.seq = atomic_inc_return(&ctx->cancel_seq);
321 prepare_to_wait(&ctx->cq_wait, &wait, TASK_INTERRUPTIBLE);
323 ret = __io_sync_cancel(current->io_uring, &cd, sc.fd);
325 mutex_unlock(&ctx->uring_lock);
326 if (ret != -EALREADY)
329 ret = io_run_task_work_sig(ctx);
332 ret = schedule_hrtimeout(&timeout, HRTIMER_MODE_ABS);
337 mutex_lock(&ctx->uring_lock);
340 finish_wait(&ctx->cq_wait, &wait);
341 mutex_lock(&ctx->uring_lock);
343 if (ret == -ENOENT || ret > 0)