1de23077eSJens Axboe #ifndef IOU_CORE_H 2de23077eSJens Axboe #define IOU_CORE_H 3de23077eSJens Axboe 4de23077eSJens Axboe #include <linux/errno.h> 5cd40cae2SJens Axboe #include <linux/lockdep.h> 6ab1c84d8SPavel Begunkov #include <linux/io_uring_types.h> 7ab1c84d8SPavel Begunkov #include "io-wq.h" 8a6b21fbbSPavel Begunkov #include "slist.h" 9ab1c84d8SPavel Begunkov #include "filetable.h" 10de23077eSJens Axboe 11f3b44f92SJens Axboe #ifndef CREATE_TRACE_POINTS 12f3b44f92SJens Axboe #include <trace/events/io_uring.h> 13f3b44f92SJens Axboe #endif 14f3b44f92SJens Axboe 1597b388d7SJens Axboe enum { 1697b388d7SJens Axboe IOU_OK = 0, 1797b388d7SJens Axboe IOU_ISSUE_SKIP_COMPLETE = -EIOCBQUEUED, 18114eccdfSDylan Yudaken 19114eccdfSDylan Yudaken /* 20114eccdfSDylan Yudaken * Intended only when both REQ_F_POLLED and REQ_F_APOLL_MULTISHOT 21114eccdfSDylan Yudaken * are set to indicate to the poll runner that multishot should be 22114eccdfSDylan Yudaken * removed and the result is set on req->cqe.res. 23114eccdfSDylan Yudaken */ 24114eccdfSDylan Yudaken IOU_STOP_MULTISHOT = -ECANCELED, 2597b388d7SJens Axboe }; 2697b388d7SJens Axboe 27faf88ddeSPavel Begunkov struct io_uring_cqe *__io_get_cqe(struct io_ring_ctx *ctx); 2868494a65SPavel Begunkov bool io_req_cqe_overflow(struct io_kiocb *req); 299046c641SPavel Begunkov int io_run_task_work_sig(void); 309046c641SPavel Begunkov void io_req_complete_failed(struct io_kiocb *req, s32 res); 319046c641SPavel Begunkov void __io_req_complete(struct io_kiocb *req, unsigned issue_flags); 329046c641SPavel Begunkov void io_req_complete_post(struct io_kiocb *req); 339046c641SPavel Begunkov void __io_req_complete_post(struct io_kiocb *req); 3452120f0fSDylan Yudaken bool io_post_aux_cqe(struct io_ring_ctx *ctx, u64 user_data, s32 res, u32 cflags, 3552120f0fSDylan Yudaken bool allow_overflow); 36eb42cebbSPavel Begunkov bool io_fill_cqe_aux(struct io_ring_ctx *ctx, u64 user_data, s32 res, u32 cflags, 37eb42cebbSPavel Begunkov bool allow_overflow); 389046c641SPavel Begunkov void __io_commit_cqring_flush(struct io_ring_ctx *ctx); 399046c641SPavel Begunkov 409046c641SPavel Begunkov struct page **io_pin_pages(unsigned long ubuf, unsigned long len, int *npages); 419046c641SPavel Begunkov 429046c641SPavel Begunkov struct file *io_file_get_normal(struct io_kiocb *req, int fd); 439046c641SPavel Begunkov struct file *io_file_get_fixed(struct io_kiocb *req, int fd, 449046c641SPavel Begunkov unsigned issue_flags); 459046c641SPavel Begunkov 46f6b543fdSJens Axboe static inline bool io_req_ffs_set(struct io_kiocb *req) 47f6b543fdSJens Axboe { 48f6b543fdSJens Axboe return req->flags & REQ_F_FIXED_FILE; 49f6b543fdSJens Axboe } 50f6b543fdSJens Axboe 519046c641SPavel Begunkov bool io_is_uring_fops(struct file *file); 529046c641SPavel Begunkov bool io_alloc_async_data(struct io_kiocb *req); 539046c641SPavel Begunkov void io_req_task_work_add(struct io_kiocb *req); 549046c641SPavel Begunkov void io_req_tw_post_queue(struct io_kiocb *req, s32 res, u32 cflags); 559046c641SPavel Begunkov void io_req_task_queue(struct io_kiocb *req); 569046c641SPavel Begunkov void io_queue_iowq(struct io_kiocb *req, bool *dont_use); 579046c641SPavel Begunkov void io_req_task_complete(struct io_kiocb *req, bool *locked); 589046c641SPavel Begunkov void io_req_task_queue_fail(struct io_kiocb *req, int ret); 599046c641SPavel Begunkov void io_req_task_submit(struct io_kiocb *req, bool *locked); 609046c641SPavel Begunkov void tctx_task_work(struct callback_head *cb); 619046c641SPavel Begunkov __cold void io_uring_cancel_generic(bool cancel_all, struct io_sq_data *sqd); 629046c641SPavel Begunkov int io_uring_alloc_task_context(struct task_struct *task, 639046c641SPavel Begunkov struct io_ring_ctx *ctx); 649046c641SPavel Begunkov 659046c641SPavel Begunkov int io_poll_issue(struct io_kiocb *req, bool *locked); 669046c641SPavel Begunkov int io_submit_sqes(struct io_ring_ctx *ctx, unsigned int nr); 679046c641SPavel Begunkov int io_do_iopoll(struct io_ring_ctx *ctx, bool force_nonspin); 689046c641SPavel Begunkov void io_free_batch_list(struct io_ring_ctx *ctx, struct io_wq_work_node *node); 699046c641SPavel Begunkov int io_req_prep_async(struct io_kiocb *req); 709046c641SPavel Begunkov 719046c641SPavel Begunkov struct io_wq_work *io_wq_free_work(struct io_wq_work *work); 729046c641SPavel Begunkov void io_wq_submit_work(struct io_wq_work *work); 739046c641SPavel Begunkov 749046c641SPavel Begunkov void io_free_req(struct io_kiocb *req); 759046c641SPavel Begunkov void io_queue_next(struct io_kiocb *req); 76e70cb608SPavel Begunkov void __io_put_task(struct task_struct *task, int nr); 77*63809137SPavel Begunkov void io_task_refs_refill(struct io_uring_task *tctx); 789046c641SPavel Begunkov 799046c641SPavel Begunkov bool io_match_task_safe(struct io_kiocb *head, struct task_struct *task, 809046c641SPavel Begunkov bool cancel_all); 819046c641SPavel Begunkov 829046c641SPavel Begunkov #define io_for_each_link(pos, head) \ 839046c641SPavel Begunkov for (pos = (head); pos; pos = pos->link) 84f3b44f92SJens Axboe 8525399321SPavel Begunkov static inline void io_cq_lock(struct io_ring_ctx *ctx) 8625399321SPavel Begunkov __acquires(ctx->completion_lock) 8725399321SPavel Begunkov { 8825399321SPavel Begunkov spin_lock(&ctx->completion_lock); 8925399321SPavel Begunkov } 9025399321SPavel Begunkov 9125399321SPavel Begunkov void io_cq_unlock_post(struct io_ring_ctx *ctx); 9225399321SPavel Begunkov 93f3b44f92SJens Axboe static inline struct io_uring_cqe *io_get_cqe(struct io_ring_ctx *ctx) 94f3b44f92SJens Axboe { 95f3b44f92SJens Axboe if (likely(ctx->cqe_cached < ctx->cqe_sentinel)) { 96f3b44f92SJens Axboe struct io_uring_cqe *cqe = ctx->cqe_cached; 97f3b44f92SJens Axboe 98f3b44f92SJens Axboe ctx->cached_cq_tail++; 99f3b44f92SJens Axboe ctx->cqe_cached++; 100b3659a65SPavel Begunkov if (ctx->flags & IORING_SETUP_CQE32) 101b3659a65SPavel Begunkov ctx->cqe_cached++; 102f3b44f92SJens Axboe return cqe; 103f3b44f92SJens Axboe } 104f3b44f92SJens Axboe 105f3b44f92SJens Axboe return __io_get_cqe(ctx); 106f3b44f92SJens Axboe } 107f3b44f92SJens Axboe 108f3b44f92SJens Axboe static inline bool __io_fill_cqe_req(struct io_ring_ctx *ctx, 109f3b44f92SJens Axboe struct io_kiocb *req) 110f3b44f92SJens Axboe { 111f3b44f92SJens Axboe struct io_uring_cqe *cqe; 112f3b44f92SJens Axboe 113f3b44f92SJens Axboe /* 114f3b44f92SJens Axboe * If we can't get a cq entry, userspace overflowed the 115f3b44f92SJens Axboe * submission (by quite a lot). Increment the overflow count in 116f3b44f92SJens Axboe * the ring. 117f3b44f92SJens Axboe */ 118f3b44f92SJens Axboe cqe = io_get_cqe(ctx); 119e8c328c3SPavel Begunkov if (unlikely(!cqe)) 120e8c328c3SPavel Begunkov return io_req_cqe_overflow(req); 121e0486f3fSDylan Yudaken 122e0486f3fSDylan Yudaken trace_io_uring_complete(req->ctx, req, req->cqe.user_data, 123e0486f3fSDylan Yudaken req->cqe.res, req->cqe.flags, 124e0486f3fSDylan Yudaken (req->flags & REQ_F_CQE32_INIT) ? req->extra1 : 0, 125e0486f3fSDylan Yudaken (req->flags & REQ_F_CQE32_INIT) ? req->extra2 : 0); 126e0486f3fSDylan Yudaken 127f3b44f92SJens Axboe memcpy(cqe, &req->cqe, sizeof(*cqe)); 128e8c328c3SPavel Begunkov 129e8c328c3SPavel Begunkov if (ctx->flags & IORING_SETUP_CQE32) { 130f3b44f92SJens Axboe u64 extra1 = 0, extra2 = 0; 131f3b44f92SJens Axboe 132f3b44f92SJens Axboe if (req->flags & REQ_F_CQE32_INIT) { 133f3b44f92SJens Axboe extra1 = req->extra1; 134f3b44f92SJens Axboe extra2 = req->extra2; 135f3b44f92SJens Axboe } 136f3b44f92SJens Axboe 137f3b44f92SJens Axboe WRITE_ONCE(cqe->big_cqe[0], extra1); 138f3b44f92SJens Axboe WRITE_ONCE(cqe->big_cqe[1], extra2); 139e8c328c3SPavel Begunkov } 140f3b44f92SJens Axboe return true; 141f3b44f92SJens Axboe } 142f3b44f92SJens Axboe 143531113bbSJens Axboe static inline void req_set_fail(struct io_kiocb *req) 144531113bbSJens Axboe { 145531113bbSJens Axboe req->flags |= REQ_F_FAIL; 146531113bbSJens Axboe if (req->flags & REQ_F_CQE_SKIP) { 147531113bbSJens Axboe req->flags &= ~REQ_F_CQE_SKIP; 148531113bbSJens Axboe req->flags |= REQ_F_SKIP_LINK_CQES; 149531113bbSJens Axboe } 150531113bbSJens Axboe } 151531113bbSJens Axboe 152de23077eSJens Axboe static inline void io_req_set_res(struct io_kiocb *req, s32 res, u32 cflags) 153de23077eSJens Axboe { 154de23077eSJens Axboe req->cqe.res = res; 155de23077eSJens Axboe req->cqe.flags = cflags; 156de23077eSJens Axboe } 157de23077eSJens Axboe 15899f15d8dSJens Axboe static inline bool req_has_async_data(struct io_kiocb *req) 15999f15d8dSJens Axboe { 16099f15d8dSJens Axboe return req->flags & REQ_F_ASYNC_DATA; 16199f15d8dSJens Axboe } 16299f15d8dSJens Axboe 163531113bbSJens Axboe static inline void io_put_file(struct file *file) 164531113bbSJens Axboe { 165531113bbSJens Axboe if (file) 166531113bbSJens Axboe fput(file); 167531113bbSJens Axboe } 168531113bbSJens Axboe 169cd40cae2SJens Axboe static inline void io_ring_submit_unlock(struct io_ring_ctx *ctx, 170cd40cae2SJens Axboe unsigned issue_flags) 171cd40cae2SJens Axboe { 172cd40cae2SJens Axboe lockdep_assert_held(&ctx->uring_lock); 173cd40cae2SJens Axboe if (issue_flags & IO_URING_F_UNLOCKED) 174cd40cae2SJens Axboe mutex_unlock(&ctx->uring_lock); 175cd40cae2SJens Axboe } 176cd40cae2SJens Axboe 177cd40cae2SJens Axboe static inline void io_ring_submit_lock(struct io_ring_ctx *ctx, 178cd40cae2SJens Axboe unsigned issue_flags) 179cd40cae2SJens Axboe { 180cd40cae2SJens Axboe /* 181cd40cae2SJens Axboe * "Normal" inline submissions always hold the uring_lock, since we 182cd40cae2SJens Axboe * grab it from the system call. Same is true for the SQPOLL offload. 183cd40cae2SJens Axboe * The only exception is when we've detached the request and issue it 184cd40cae2SJens Axboe * from an async worker thread, grab the lock for that case. 185cd40cae2SJens Axboe */ 186cd40cae2SJens Axboe if (issue_flags & IO_URING_F_UNLOCKED) 187cd40cae2SJens Axboe mutex_lock(&ctx->uring_lock); 188cd40cae2SJens Axboe lockdep_assert_held(&ctx->uring_lock); 189cd40cae2SJens Axboe } 190cd40cae2SJens Axboe 191f9ead18cSJens Axboe static inline void io_commit_cqring(struct io_ring_ctx *ctx) 192f9ead18cSJens Axboe { 193f9ead18cSJens Axboe /* order cqe stores with ring update */ 194f9ead18cSJens Axboe smp_store_release(&ctx->rings->cq.tail, ctx->cached_cq_tail); 195f9ead18cSJens Axboe } 196f9ead18cSJens Axboe 197f3b44f92SJens Axboe static inline void io_cqring_wake(struct io_ring_ctx *ctx) 198f3b44f92SJens Axboe { 199f3b44f92SJens Axboe /* 200f3b44f92SJens Axboe * wake_up_all() may seem excessive, but io_wake_function() and 201f3b44f92SJens Axboe * io_should_wake() handle the termination of the loop and only 202f3b44f92SJens Axboe * wake as many waiters as we need to. 203f3b44f92SJens Axboe */ 204f3b44f92SJens Axboe if (wq_has_sleeper(&ctx->cq_wait)) 205f3b44f92SJens Axboe wake_up_all(&ctx->cq_wait); 206f3b44f92SJens Axboe } 207f3b44f92SJens Axboe 20817437f31SJens Axboe static inline bool io_sqring_full(struct io_ring_ctx *ctx) 20917437f31SJens Axboe { 21017437f31SJens Axboe struct io_rings *r = ctx->rings; 21117437f31SJens Axboe 21217437f31SJens Axboe return READ_ONCE(r->sq.tail) - ctx->cached_sq_head == ctx->sq_entries; 21317437f31SJens Axboe } 21417437f31SJens Axboe 21517437f31SJens Axboe static inline unsigned int io_sqring_entries(struct io_ring_ctx *ctx) 21617437f31SJens Axboe { 21717437f31SJens Axboe struct io_rings *rings = ctx->rings; 21817437f31SJens Axboe 21917437f31SJens Axboe /* make sure SQ entry isn't read before tail */ 22017437f31SJens Axboe return smp_load_acquire(&rings->sq.tail) - ctx->cached_sq_head; 22117437f31SJens Axboe } 22217437f31SJens Axboe 22317437f31SJens Axboe static inline bool io_run_task_work(void) 22417437f31SJens Axboe { 225625d38b3SPavel Begunkov if (test_thread_flag(TIF_NOTIFY_SIGNAL)) { 22617437f31SJens Axboe __set_current_state(TASK_RUNNING); 22717437f31SJens Axboe clear_notify_signal(); 22817437f31SJens Axboe if (task_work_pending(current)) 22917437f31SJens Axboe task_work_run(); 23017437f31SJens Axboe return true; 23117437f31SJens Axboe } 23217437f31SJens Axboe 23317437f31SJens Axboe return false; 23417437f31SJens Axboe } 23517437f31SJens Axboe 236aa1e90f6SPavel Begunkov static inline void io_tw_lock(struct io_ring_ctx *ctx, bool *locked) 237aa1e90f6SPavel Begunkov { 238aa1e90f6SPavel Begunkov if (!*locked) { 239aa1e90f6SPavel Begunkov mutex_lock(&ctx->uring_lock); 240aa1e90f6SPavel Begunkov *locked = true; 241aa1e90f6SPavel Begunkov } 242aa1e90f6SPavel Begunkov } 243aa1e90f6SPavel Begunkov 2449da070b1SPavel Begunkov /* 2459da070b1SPavel Begunkov * Don't complete immediately but use deferred completion infrastructure. 2469da070b1SPavel Begunkov * Protected by ->uring_lock and can only be used either with 2479da070b1SPavel Begunkov * IO_URING_F_COMPLETE_DEFER or inside a tw handler holding the mutex. 2489da070b1SPavel Begunkov */ 2499da070b1SPavel Begunkov static inline void io_req_complete_defer(struct io_kiocb *req) 2509da070b1SPavel Begunkov __must_hold(&req->ctx->uring_lock) 251aa1e90f6SPavel Begunkov { 252aa1e90f6SPavel Begunkov struct io_submit_state *state = &req->ctx->submit_state; 253aa1e90f6SPavel Begunkov 2549da070b1SPavel Begunkov lockdep_assert_held(&req->ctx->uring_lock); 2559da070b1SPavel Begunkov 256aa1e90f6SPavel Begunkov wq_list_add_tail(&req->comp_list, &state->compl_reqs); 257aa1e90f6SPavel Begunkov } 258aa1e90f6SPavel Begunkov 25946929b08SPavel Begunkov static inline void io_commit_cqring_flush(struct io_ring_ctx *ctx) 26046929b08SPavel Begunkov { 26146929b08SPavel Begunkov if (unlikely(ctx->off_timeout_used || ctx->drain_active || ctx->has_evfd)) 26246929b08SPavel Begunkov __io_commit_cqring_flush(ctx); 26346929b08SPavel Begunkov } 26446929b08SPavel Begunkov 265e70cb608SPavel Begunkov /* must to be called somewhat shortly after putting a request */ 266e70cb608SPavel Begunkov static inline void io_put_task(struct task_struct *task, int nr) 267e70cb608SPavel Begunkov { 268e70cb608SPavel Begunkov if (likely(task == current)) 269e70cb608SPavel Begunkov task->io_uring->cached_refs += nr; 270e70cb608SPavel Begunkov else 271e70cb608SPavel Begunkov __io_put_task(task, nr); 272e70cb608SPavel Begunkov } 273e70cb608SPavel Begunkov 274*63809137SPavel Begunkov static inline void io_get_task_refs(int nr) 275*63809137SPavel Begunkov { 276*63809137SPavel Begunkov struct io_uring_task *tctx = current->io_uring; 277*63809137SPavel Begunkov 278*63809137SPavel Begunkov tctx->cached_refs -= nr; 279*63809137SPavel Begunkov if (unlikely(tctx->cached_refs < 0)) 280*63809137SPavel Begunkov io_task_refs_refill(tctx); 281*63809137SPavel Begunkov } 282*63809137SPavel Begunkov 283de23077eSJens Axboe #endif 284