blob: e290202d6f6428137cbf2306b3ad49c5891ade14 [file] [log] [blame]
Jens Axboe771b53d02019-10-22 10:25:58 -06001// SPDX-License-Identifier: GPL-2.0
2/*
3 * Basic worker thread pool for io_uring
4 *
5 * Copyright (C) 2019 Jens Axboe
6 *
7 */
8#include <linux/kernel.h>
9#include <linux/init.h>
10#include <linux/errno.h>
11#include <linux/sched/signal.h>
12#include <linux/mm.h>
Jens Axboe771b53d02019-10-22 10:25:58 -060013#include <linux/sched/mm.h>
14#include <linux/percpu.h>
15#include <linux/slab.h>
16#include <linux/kthread.h>
17#include <linux/rculist_nulls.h>
Jens Axboe9392a272020-02-06 21:42:51 -070018#include <linux/fs_struct.h>
Jens Axboeaa96bf82020-04-03 11:26:26 -060019#include <linux/task_work.h>
Jens Axboe771b53d02019-10-22 10:25:58 -060020
21#include "io-wq.h"
22
23#define WORKER_IDLE_TIMEOUT (5 * HZ)
24
25enum {
26 IO_WORKER_F_UP = 1, /* up and active */
27 IO_WORKER_F_RUNNING = 2, /* account as running */
28 IO_WORKER_F_FREE = 4, /* worker on free list */
29 IO_WORKER_F_EXITING = 8, /* worker exiting */
30 IO_WORKER_F_FIXED = 16, /* static idle worker */
Jens Axboec5def4a2019-11-07 11:41:16 -070031 IO_WORKER_F_BOUND = 32, /* is doing bounded work */
Jens Axboe771b53d02019-10-22 10:25:58 -060032};
33
34enum {
35 IO_WQ_BIT_EXIT = 0, /* wq exiting */
36 IO_WQ_BIT_CANCEL = 1, /* cancel work on list */
Jens Axboeb60fda62019-11-19 08:37:07 -070037 IO_WQ_BIT_ERROR = 2, /* error on setup */
Jens Axboe771b53d02019-10-22 10:25:58 -060038};
39
40enum {
41 IO_WQE_FLAG_STALLED = 1, /* stalled on hash */
42};
43
44/*
45 * One for each thread in a wqe pool
46 */
47struct io_worker {
48 refcount_t ref;
49 unsigned flags;
50 struct hlist_nulls_node nulls_node;
Jens Axboee61df662019-11-13 13:54:49 -070051 struct list_head all_list;
Jens Axboe771b53d02019-10-22 10:25:58 -060052 struct task_struct *task;
Jens Axboe771b53d02019-10-22 10:25:58 -060053 struct io_wqe *wqe;
Jens Axboe36c2f922019-11-13 09:43:34 -070054
Jens Axboe771b53d02019-10-22 10:25:58 -060055 struct io_wq_work *cur_work;
Jens Axboe36c2f922019-11-13 09:43:34 -070056 spinlock_t lock;
Jens Axboe771b53d02019-10-22 10:25:58 -060057
58 struct rcu_head rcu;
59 struct mm_struct *mm;
Jens Axboecccf0ee2020-01-27 16:34:48 -070060 const struct cred *cur_creds;
61 const struct cred *saved_creds;
Jens Axboefcb323c2019-10-24 12:39:47 -060062 struct files_struct *restore_files;
Jens Axboe9392a272020-02-06 21:42:51 -070063 struct fs_struct *restore_fs;
Jens Axboe771b53d02019-10-22 10:25:58 -060064};
65
Jens Axboe771b53d02019-10-22 10:25:58 -060066#if BITS_PER_LONG == 64
67#define IO_WQ_HASH_ORDER 6
68#else
69#define IO_WQ_HASH_ORDER 5
70#endif
71
Pavel Begunkov86f3cd12020-03-23 22:57:22 +030072#define IO_WQ_NR_HASH_BUCKETS (1u << IO_WQ_HASH_ORDER)
73
Jens Axboec5def4a2019-11-07 11:41:16 -070074struct io_wqe_acct {
75 unsigned nr_workers;
76 unsigned max_workers;
77 atomic_t nr_running;
78};
79
80enum {
81 IO_WQ_ACCT_BOUND,
82 IO_WQ_ACCT_UNBOUND,
83};
84
Jens Axboe771b53d02019-10-22 10:25:58 -060085/*
86 * Per-node worker thread pool
87 */
88struct io_wqe {
89 struct {
90 spinlock_t lock;
Jens Axboe6206f0e2019-11-26 11:59:32 -070091 struct io_wq_work_list work_list;
Jens Axboe771b53d02019-10-22 10:25:58 -060092 unsigned long hash_map;
93 unsigned flags;
94 } ____cacheline_aligned_in_smp;
95
96 int node;
Jens Axboec5def4a2019-11-07 11:41:16 -070097 struct io_wqe_acct acct[2];
Jens Axboe771b53d02019-10-22 10:25:58 -060098
Jens Axboe021d1cd2019-11-14 08:00:41 -070099 struct hlist_nulls_head free_list;
Jens Axboee61df662019-11-13 13:54:49 -0700100 struct list_head all_list;
Jens Axboe771b53d02019-10-22 10:25:58 -0600101
102 struct io_wq *wq;
Pavel Begunkov86f3cd12020-03-23 22:57:22 +0300103 struct io_wq_work *hash_tail[IO_WQ_NR_HASH_BUCKETS];
Jens Axboe771b53d02019-10-22 10:25:58 -0600104};
105
106/*
107 * Per io_wq state
108 */
109struct io_wq {
110 struct io_wqe **wqes;
111 unsigned long state;
Jens Axboe771b53d02019-10-22 10:25:58 -0600112
Pavel Begunkove9fd9392020-03-04 16:14:12 +0300113 free_work_fn *free_work;
Pavel Begunkovf5fa38c2020-06-08 21:08:20 +0300114 io_wq_work_fn *do_work;
Jens Axboe7d723062019-11-12 22:31:31 -0700115
Jens Axboe771b53d02019-10-22 10:25:58 -0600116 struct task_struct *manager;
Jens Axboec5def4a2019-11-07 11:41:16 -0700117 struct user_struct *user;
Jens Axboe771b53d02019-10-22 10:25:58 -0600118 refcount_t refs;
119 struct completion done;
Jens Axboe848f7e12020-01-23 15:33:32 -0700120
121 refcount_t use_refs;
Jens Axboe771b53d02019-10-22 10:25:58 -0600122};
123
Jens Axboe771b53d02019-10-22 10:25:58 -0600124static bool io_worker_get(struct io_worker *worker)
125{
126 return refcount_inc_not_zero(&worker->ref);
127}
128
129static void io_worker_release(struct io_worker *worker)
130{
131 if (refcount_dec_and_test(&worker->ref))
132 wake_up_process(worker->task);
133}
134
135/*
136 * Note: drops the wqe->lock if returning true! The caller must re-acquire
137 * the lock in that case. Some callers need to restart handling if this
138 * happens, so we can't just re-acquire the lock on behalf of the caller.
139 */
140static bool __io_worker_unuse(struct io_wqe *wqe, struct io_worker *worker)
141{
Jens Axboefcb323c2019-10-24 12:39:47 -0600142 bool dropped_lock = false;
143
Jens Axboecccf0ee2020-01-27 16:34:48 -0700144 if (worker->saved_creds) {
145 revert_creds(worker->saved_creds);
146 worker->cur_creds = worker->saved_creds = NULL;
Jens Axboe181e4482019-11-25 08:52:30 -0700147 }
148
Jens Axboefcb323c2019-10-24 12:39:47 -0600149 if (current->files != worker->restore_files) {
150 __acquire(&wqe->lock);
151 spin_unlock_irq(&wqe->lock);
152 dropped_lock = true;
153
154 task_lock(current);
155 current->files = worker->restore_files;
156 task_unlock(current);
157 }
158
Jens Axboe9392a272020-02-06 21:42:51 -0700159 if (current->fs != worker->restore_fs)
160 current->fs = worker->restore_fs;
161
Jens Axboe771b53d02019-10-22 10:25:58 -0600162 /*
163 * If we have an active mm, we need to drop the wq lock before unusing
164 * it. If we do, return true and let the caller retry the idle loop.
165 */
166 if (worker->mm) {
Jens Axboefcb323c2019-10-24 12:39:47 -0600167 if (!dropped_lock) {
168 __acquire(&wqe->lock);
169 spin_unlock_irq(&wqe->lock);
170 dropped_lock = true;
171 }
Jens Axboe771b53d02019-10-22 10:25:58 -0600172 __set_current_state(TASK_RUNNING);
Christoph Hellwigf5678e72020-06-10 18:42:06 -0700173 kthread_unuse_mm(worker->mm);
Jens Axboe771b53d02019-10-22 10:25:58 -0600174 mmput(worker->mm);
175 worker->mm = NULL;
Jens Axboe771b53d02019-10-22 10:25:58 -0600176 }
177
Jens Axboefcb323c2019-10-24 12:39:47 -0600178 return dropped_lock;
Jens Axboe771b53d02019-10-22 10:25:58 -0600179}
180
Jens Axboec5def4a2019-11-07 11:41:16 -0700181static inline struct io_wqe_acct *io_work_get_acct(struct io_wqe *wqe,
182 struct io_wq_work *work)
183{
184 if (work->flags & IO_WQ_WORK_UNBOUND)
185 return &wqe->acct[IO_WQ_ACCT_UNBOUND];
186
187 return &wqe->acct[IO_WQ_ACCT_BOUND];
188}
189
190static inline struct io_wqe_acct *io_wqe_get_acct(struct io_wqe *wqe,
191 struct io_worker *worker)
192{
193 if (worker->flags & IO_WORKER_F_BOUND)
194 return &wqe->acct[IO_WQ_ACCT_BOUND];
195
196 return &wqe->acct[IO_WQ_ACCT_UNBOUND];
197}
198
Jens Axboe771b53d02019-10-22 10:25:58 -0600199static void io_worker_exit(struct io_worker *worker)
200{
201 struct io_wqe *wqe = worker->wqe;
Jens Axboec5def4a2019-11-07 11:41:16 -0700202 struct io_wqe_acct *acct = io_wqe_get_acct(wqe, worker);
203 unsigned nr_workers;
Jens Axboe771b53d02019-10-22 10:25:58 -0600204
205 /*
206 * If we're not at zero, someone else is holding a brief reference
207 * to the worker. Wait for that to go away.
208 */
209 set_current_state(TASK_INTERRUPTIBLE);
210 if (!refcount_dec_and_test(&worker->ref))
211 schedule();
212 __set_current_state(TASK_RUNNING);
213
214 preempt_disable();
215 current->flags &= ~PF_IO_WORKER;
216 if (worker->flags & IO_WORKER_F_RUNNING)
Jens Axboec5def4a2019-11-07 11:41:16 -0700217 atomic_dec(&acct->nr_running);
218 if (!(worker->flags & IO_WORKER_F_BOUND))
219 atomic_dec(&wqe->wq->user->processes);
Jens Axboe771b53d02019-10-22 10:25:58 -0600220 worker->flags = 0;
221 preempt_enable();
222
223 spin_lock_irq(&wqe->lock);
224 hlist_nulls_del_rcu(&worker->nulls_node);
Jens Axboee61df662019-11-13 13:54:49 -0700225 list_del_rcu(&worker->all_list);
Jens Axboe771b53d02019-10-22 10:25:58 -0600226 if (__io_worker_unuse(wqe, worker)) {
227 __release(&wqe->lock);
228 spin_lock_irq(&wqe->lock);
229 }
Jens Axboec5def4a2019-11-07 11:41:16 -0700230 acct->nr_workers--;
231 nr_workers = wqe->acct[IO_WQ_ACCT_BOUND].nr_workers +
232 wqe->acct[IO_WQ_ACCT_UNBOUND].nr_workers;
Jens Axboe771b53d02019-10-22 10:25:58 -0600233 spin_unlock_irq(&wqe->lock);
234
235 /* all workers gone, wq exit can proceed */
Jens Axboec5def4a2019-11-07 11:41:16 -0700236 if (!nr_workers && refcount_dec_and_test(&wqe->wq->refs))
Jens Axboe771b53d02019-10-22 10:25:58 -0600237 complete(&wqe->wq->done);
238
YueHaibing364b05f2019-11-02 15:55:01 +0800239 kfree_rcu(worker, rcu);
Jens Axboe771b53d02019-10-22 10:25:58 -0600240}
241
Jens Axboec5def4a2019-11-07 11:41:16 -0700242static inline bool io_wqe_run_queue(struct io_wqe *wqe)
243 __must_hold(wqe->lock)
244{
Jens Axboe6206f0e2019-11-26 11:59:32 -0700245 if (!wq_list_empty(&wqe->work_list) &&
246 !(wqe->flags & IO_WQE_FLAG_STALLED))
Jens Axboec5def4a2019-11-07 11:41:16 -0700247 return true;
248 return false;
249}
250
251/*
252 * Check head of free list for an available worker. If one isn't available,
253 * caller must wake up the wq manager to create one.
254 */
255static bool io_wqe_activate_free_worker(struct io_wqe *wqe)
256 __must_hold(RCU)
257{
258 struct hlist_nulls_node *n;
259 struct io_worker *worker;
260
Jens Axboe021d1cd2019-11-14 08:00:41 -0700261 n = rcu_dereference(hlist_nulls_first_rcu(&wqe->free_list));
Jens Axboec5def4a2019-11-07 11:41:16 -0700262 if (is_a_nulls(n))
263 return false;
264
265 worker = hlist_nulls_entry(n, struct io_worker, nulls_node);
266 if (io_worker_get(worker)) {
Jens Axboe506d95f2019-12-07 21:03:59 -0700267 wake_up_process(worker->task);
Jens Axboec5def4a2019-11-07 11:41:16 -0700268 io_worker_release(worker);
269 return true;
270 }
271
272 return false;
273}
274
275/*
276 * We need a worker. If we find a free one, we're good. If not, and we're
277 * below the max number of workers, wake up the manager to create one.
278 */
279static void io_wqe_wake_worker(struct io_wqe *wqe, struct io_wqe_acct *acct)
280{
281 bool ret;
282
283 /*
284 * Most likely an attempt to queue unbounded work on an io_wq that
285 * wasn't setup with any unbounded workers.
286 */
287 WARN_ON_ONCE(!acct->max_workers);
288
289 rcu_read_lock();
290 ret = io_wqe_activate_free_worker(wqe);
291 rcu_read_unlock();
292
293 if (!ret && acct->nr_workers < acct->max_workers)
294 wake_up_process(wqe->wq->manager);
295}
296
297static void io_wqe_inc_running(struct io_wqe *wqe, struct io_worker *worker)
298{
299 struct io_wqe_acct *acct = io_wqe_get_acct(wqe, worker);
300
301 atomic_inc(&acct->nr_running);
302}
303
304static void io_wqe_dec_running(struct io_wqe *wqe, struct io_worker *worker)
305 __must_hold(wqe->lock)
306{
307 struct io_wqe_acct *acct = io_wqe_get_acct(wqe, worker);
308
309 if (atomic_dec_and_test(&acct->nr_running) && io_wqe_run_queue(wqe))
310 io_wqe_wake_worker(wqe, acct);
311}
312
Jens Axboe771b53d02019-10-22 10:25:58 -0600313static void io_worker_start(struct io_wqe *wqe, struct io_worker *worker)
314{
315 allow_kernel_signal(SIGINT);
316
317 current->flags |= PF_IO_WORKER;
318
319 worker->flags |= (IO_WORKER_F_UP | IO_WORKER_F_RUNNING);
Jens Axboefcb323c2019-10-24 12:39:47 -0600320 worker->restore_files = current->files;
Jens Axboe9392a272020-02-06 21:42:51 -0700321 worker->restore_fs = current->fs;
Jens Axboec5def4a2019-11-07 11:41:16 -0700322 io_wqe_inc_running(wqe, worker);
Jens Axboe771b53d02019-10-22 10:25:58 -0600323}
324
325/*
326 * Worker will start processing some work. Move it to the busy list, if
327 * it's currently on the freelist
328 */
329static void __io_worker_busy(struct io_wqe *wqe, struct io_worker *worker,
330 struct io_wq_work *work)
331 __must_hold(wqe->lock)
332{
Jens Axboec5def4a2019-11-07 11:41:16 -0700333 bool worker_bound, work_bound;
334
Jens Axboe771b53d02019-10-22 10:25:58 -0600335 if (worker->flags & IO_WORKER_F_FREE) {
336 worker->flags &= ~IO_WORKER_F_FREE;
337 hlist_nulls_del_init_rcu(&worker->nulls_node);
Jens Axboe771b53d02019-10-22 10:25:58 -0600338 }
Jens Axboec5def4a2019-11-07 11:41:16 -0700339
340 /*
341 * If worker is moving from bound to unbound (or vice versa), then
342 * ensure we update the running accounting.
343 */
Dan Carpenterb2e9c7d62019-11-19 09:22:16 +0300344 worker_bound = (worker->flags & IO_WORKER_F_BOUND) != 0;
345 work_bound = (work->flags & IO_WQ_WORK_UNBOUND) == 0;
346 if (worker_bound != work_bound) {
Jens Axboec5def4a2019-11-07 11:41:16 -0700347 io_wqe_dec_running(wqe, worker);
348 if (work_bound) {
349 worker->flags |= IO_WORKER_F_BOUND;
350 wqe->acct[IO_WQ_ACCT_UNBOUND].nr_workers--;
351 wqe->acct[IO_WQ_ACCT_BOUND].nr_workers++;
352 atomic_dec(&wqe->wq->user->processes);
353 } else {
354 worker->flags &= ~IO_WORKER_F_BOUND;
355 wqe->acct[IO_WQ_ACCT_UNBOUND].nr_workers++;
356 wqe->acct[IO_WQ_ACCT_BOUND].nr_workers--;
357 atomic_inc(&wqe->wq->user->processes);
358 }
359 io_wqe_inc_running(wqe, worker);
360 }
Jens Axboe771b53d02019-10-22 10:25:58 -0600361}
362
363/*
364 * No work, worker going to sleep. Move to freelist, and unuse mm if we
365 * have one attached. Dropping the mm may potentially sleep, so we drop
366 * the lock in that case and return success. Since the caller has to
367 * retry the loop in that case (we changed task state), we don't regrab
368 * the lock if we return success.
369 */
370static bool __io_worker_idle(struct io_wqe *wqe, struct io_worker *worker)
371 __must_hold(wqe->lock)
372{
373 if (!(worker->flags & IO_WORKER_F_FREE)) {
374 worker->flags |= IO_WORKER_F_FREE;
Jens Axboe021d1cd2019-11-14 08:00:41 -0700375 hlist_nulls_add_head_rcu(&worker->nulls_node, &wqe->free_list);
Jens Axboe771b53d02019-10-22 10:25:58 -0600376 }
377
378 return __io_worker_unuse(wqe, worker);
379}
380
Pavel Begunkov60cf46a2020-03-14 00:31:05 +0300381static inline unsigned int io_get_work_hash(struct io_wq_work *work)
382{
383 return work->flags >> IO_WQ_HASH_SHIFT;
384}
385
386static struct io_wq_work *io_get_next_work(struct io_wqe *wqe)
Jens Axboe771b53d02019-10-22 10:25:58 -0600387 __must_hold(wqe->lock)
388{
Jens Axboe6206f0e2019-11-26 11:59:32 -0700389 struct io_wq_work_node *node, *prev;
Pavel Begunkov86f3cd12020-03-23 22:57:22 +0300390 struct io_wq_work *work, *tail;
Pavel Begunkov60cf46a2020-03-14 00:31:05 +0300391 unsigned int hash;
Jens Axboe771b53d02019-10-22 10:25:58 -0600392
Jens Axboe6206f0e2019-11-26 11:59:32 -0700393 wq_list_for_each(node, prev, &wqe->work_list) {
394 work = container_of(node, struct io_wq_work, list);
395
Jens Axboe771b53d02019-10-22 10:25:58 -0600396 /* not hashed, can run anytime */
Pavel Begunkov8766dd52020-03-14 00:31:04 +0300397 if (!io_wq_is_hashed(work)) {
Pavel Begunkov86f3cd12020-03-23 22:57:22 +0300398 wq_list_del(&wqe->work_list, node, prev);
Jens Axboe771b53d02019-10-22 10:25:58 -0600399 return work;
400 }
401
402 /* hashed, can run if not already running */
Pavel Begunkov60cf46a2020-03-14 00:31:05 +0300403 hash = io_get_work_hash(work);
404 if (!(wqe->hash_map & BIT(hash))) {
405 wqe->hash_map |= BIT(hash);
Pavel Begunkov86f3cd12020-03-23 22:57:22 +0300406 /* all items with this hash lie in [work, tail] */
407 tail = wqe->hash_tail[hash];
408 wqe->hash_tail[hash] = NULL;
409 wq_list_cut(&wqe->work_list, &tail->list, prev);
Jens Axboe771b53d02019-10-22 10:25:58 -0600410 return work;
411 }
412 }
413
414 return NULL;
415}
416
Jens Axboecccf0ee2020-01-27 16:34:48 -0700417static void io_wq_switch_mm(struct io_worker *worker, struct io_wq_work *work)
418{
419 if (worker->mm) {
Christoph Hellwigf5678e72020-06-10 18:42:06 -0700420 kthread_unuse_mm(worker->mm);
Jens Axboecccf0ee2020-01-27 16:34:48 -0700421 mmput(worker->mm);
422 worker->mm = NULL;
423 }
Christoph Hellwig37c54f92020-06-10 18:42:10 -0700424 if (!work->mm)
Jens Axboecccf0ee2020-01-27 16:34:48 -0700425 return;
Christoph Hellwig37c54f92020-06-10 18:42:10 -0700426
Jens Axboecccf0ee2020-01-27 16:34:48 -0700427 if (mmget_not_zero(work->mm)) {
Christoph Hellwigf5678e72020-06-10 18:42:06 -0700428 kthread_use_mm(work->mm);
Jens Axboecccf0ee2020-01-27 16:34:48 -0700429 worker->mm = work->mm;
430 /* hang on to this mm */
431 work->mm = NULL;
432 return;
433 }
434
435 /* failed grabbing mm, ensure work gets cancelled */
436 work->flags |= IO_WQ_WORK_CANCEL;
437}
438
439static void io_wq_switch_creds(struct io_worker *worker,
440 struct io_wq_work *work)
441{
442 const struct cred *old_creds = override_creds(work->creds);
443
444 worker->cur_creds = work->creds;
445 if (worker->saved_creds)
446 put_cred(old_creds); /* creds set by previous switch */
447 else
448 worker->saved_creds = old_creds;
449}
450
Pavel Begunkovdc026a72020-03-04 16:14:09 +0300451static void io_impersonate_work(struct io_worker *worker,
452 struct io_wq_work *work)
453{
454 if (work->files && current->files != work->files) {
455 task_lock(current);
456 current->files = work->files;
457 task_unlock(current);
458 }
459 if (work->fs && current->fs != work->fs)
460 current->fs = work->fs;
461 if (work->mm != worker->mm)
462 io_wq_switch_mm(worker, work);
463 if (worker->cur_creds != work->creds)
464 io_wq_switch_creds(worker, work);
465}
466
467static void io_assign_current_work(struct io_worker *worker,
468 struct io_wq_work *work)
469{
Pavel Begunkovd78298e2020-03-14 00:31:03 +0300470 if (work) {
471 /* flush pending signals before assigning new work */
472 if (signal_pending(current))
473 flush_signals(current);
474 cond_resched();
475 }
Pavel Begunkovdc026a72020-03-04 16:14:09 +0300476
477 spin_lock_irq(&worker->lock);
478 worker->cur_work = work;
479 spin_unlock_irq(&worker->lock);
480}
481
Pavel Begunkov60cf46a2020-03-14 00:31:05 +0300482static void io_wqe_enqueue(struct io_wqe *wqe, struct io_wq_work *work);
483
Jens Axboe771b53d02019-10-22 10:25:58 -0600484static void io_worker_handle_work(struct io_worker *worker)
485 __releases(wqe->lock)
486{
Jens Axboe771b53d02019-10-22 10:25:58 -0600487 struct io_wqe *wqe = worker->wqe;
488 struct io_wq *wq = wqe->wq;
489
490 do {
Pavel Begunkov86f3cd12020-03-23 22:57:22 +0300491 struct io_wq_work *work;
Pavel Begunkov60cf46a2020-03-14 00:31:05 +0300492 unsigned int hash;
Pavel Begunkovf462fd32020-03-04 16:14:11 +0300493get_next:
Jens Axboe771b53d02019-10-22 10:25:58 -0600494 /*
Jens Axboe771b53d02019-10-22 10:25:58 -0600495 * If we got some work, mark us as busy. If we didn't, but
496 * the list isn't empty, it means we stalled on hashed work.
497 * Mark us stalled so we don't keep looking for work when we
498 * can't make progress, any work completion or insertion will
499 * clear the stalled flag.
500 */
Pavel Begunkov60cf46a2020-03-14 00:31:05 +0300501 work = io_get_next_work(wqe);
Jens Axboe771b53d02019-10-22 10:25:58 -0600502 if (work)
503 __io_worker_busy(wqe, worker, work);
Jens Axboe6206f0e2019-11-26 11:59:32 -0700504 else if (!wq_list_empty(&wqe->work_list))
Jens Axboe771b53d02019-10-22 10:25:58 -0600505 wqe->flags |= IO_WQE_FLAG_STALLED;
506
507 spin_unlock_irq(&wqe->lock);
508 if (!work)
509 break;
Pavel Begunkov58e39312020-03-04 16:14:10 +0300510 io_assign_current_work(worker, work);
Jens Axboe36c2f922019-11-13 09:43:34 -0700511
Pavel Begunkovdc026a72020-03-04 16:14:09 +0300512 /* handle a whole dependent link */
513 do {
Pavel Begunkov86f3cd12020-03-23 22:57:22 +0300514 struct io_wq_work *old_work, *next_hashed, *linked;
Hillf Dantonfd1c4bc2019-12-24 09:14:29 -0700515
Pavel Begunkov86f3cd12020-03-23 22:57:22 +0300516 next_hashed = wq_next_work(work);
Pavel Begunkov58e39312020-03-04 16:14:10 +0300517 io_impersonate_work(worker, work);
Pavel Begunkovdc026a72020-03-04 16:14:09 +0300518 /*
519 * OK to set IO_WQ_WORK_CANCEL even for uncancellable
520 * work, the worker function will do the right thing.
521 */
522 if (test_bit(IO_WQ_BIT_CANCEL, &wq->state))
523 work->flags |= IO_WQ_WORK_CANCEL;
Jens Axboe36c2f922019-11-13 09:43:34 -0700524
Pavel Begunkov60cf46a2020-03-14 00:31:05 +0300525 hash = io_get_work_hash(work);
Pavel Begunkov86f3cd12020-03-23 22:57:22 +0300526 linked = old_work = work;
Pavel Begunkovf5fa38c2020-06-08 21:08:20 +0300527 wq->do_work(&linked);
Pavel Begunkov86f3cd12020-03-23 22:57:22 +0300528 linked = (old_work == linked) ? NULL : linked;
Pavel Begunkovf2cf1142020-03-22 19:14:26 +0300529
Pavel Begunkov86f3cd12020-03-23 22:57:22 +0300530 work = next_hashed;
531 if (!work && linked && !io_wq_is_hashed(linked)) {
532 work = linked;
533 linked = NULL;
534 }
535 io_assign_current_work(worker, work);
Pavel Begunkove9fd9392020-03-04 16:14:12 +0300536 wq->free_work(old_work);
Pavel Begunkovdc026a72020-03-04 16:14:09 +0300537
Pavel Begunkov86f3cd12020-03-23 22:57:22 +0300538 if (linked)
539 io_wqe_enqueue(wqe, linked);
540
541 if (hash != -1U && !next_hashed) {
Pavel Begunkovdc026a72020-03-04 16:14:09 +0300542 spin_lock_irq(&wqe->lock);
543 wqe->hash_map &= ~BIT_ULL(hash);
544 wqe->flags &= ~IO_WQE_FLAG_STALLED;
Pavel Begunkovdc026a72020-03-04 16:14:09 +0300545 /* dependent work is not hashed */
546 hash = -1U;
Pavel Begunkovf462fd32020-03-04 16:14:11 +0300547 /* skip unnecessary unlock-lock wqe->lock */
548 if (!work)
549 goto get_next;
550 spin_unlock_irq(&wqe->lock);
Pavel Begunkovdc026a72020-03-04 16:14:09 +0300551 }
Pavel Begunkov58e39312020-03-04 16:14:10 +0300552 } while (work);
Jens Axboe36c2f922019-11-13 09:43:34 -0700553
554 spin_lock_irq(&wqe->lock);
Jens Axboe771b53d02019-10-22 10:25:58 -0600555 } while (1);
556}
557
Jens Axboe771b53d02019-10-22 10:25:58 -0600558static int io_wqe_worker(void *data)
559{
560 struct io_worker *worker = data;
561 struct io_wqe *wqe = worker->wqe;
562 struct io_wq *wq = wqe->wq;
Jens Axboe771b53d02019-10-22 10:25:58 -0600563
564 io_worker_start(wqe, worker);
565
566 while (!test_bit(IO_WQ_BIT_EXIT, &wq->state)) {
Jens Axboe506d95f2019-12-07 21:03:59 -0700567 set_current_state(TASK_INTERRUPTIBLE);
Jens Axboee995d512019-12-07 21:06:46 -0700568loop:
Jens Axboe771b53d02019-10-22 10:25:58 -0600569 spin_lock_irq(&wqe->lock);
570 if (io_wqe_run_queue(wqe)) {
571 __set_current_state(TASK_RUNNING);
572 io_worker_handle_work(worker);
Jens Axboee995d512019-12-07 21:06:46 -0700573 goto loop;
Jens Axboe771b53d02019-10-22 10:25:58 -0600574 }
575 /* drops the lock on success, retry */
576 if (__io_worker_idle(wqe, worker)) {
577 __release(&wqe->lock);
Jens Axboee995d512019-12-07 21:06:46 -0700578 goto loop;
Jens Axboe771b53d02019-10-22 10:25:58 -0600579 }
580 spin_unlock_irq(&wqe->lock);
581 if (signal_pending(current))
582 flush_signals(current);
583 if (schedule_timeout(WORKER_IDLE_TIMEOUT))
584 continue;
585 /* timed out, exit unless we're the fixed worker */
586 if (test_bit(IO_WQ_BIT_EXIT, &wq->state) ||
587 !(worker->flags & IO_WORKER_F_FIXED))
588 break;
589 }
590
Jens Axboe771b53d02019-10-22 10:25:58 -0600591 if (test_bit(IO_WQ_BIT_EXIT, &wq->state)) {
592 spin_lock_irq(&wqe->lock);
Jens Axboe6206f0e2019-11-26 11:59:32 -0700593 if (!wq_list_empty(&wqe->work_list))
Jens Axboe771b53d02019-10-22 10:25:58 -0600594 io_worker_handle_work(worker);
595 else
596 spin_unlock_irq(&wqe->lock);
597 }
598
599 io_worker_exit(worker);
600 return 0;
601}
602
603/*
Jens Axboe771b53d02019-10-22 10:25:58 -0600604 * Called when a worker is scheduled in. Mark us as currently running.
605 */
606void io_wq_worker_running(struct task_struct *tsk)
607{
608 struct io_worker *worker = kthread_data(tsk);
609 struct io_wqe *wqe = worker->wqe;
610
611 if (!(worker->flags & IO_WORKER_F_UP))
612 return;
613 if (worker->flags & IO_WORKER_F_RUNNING)
614 return;
615 worker->flags |= IO_WORKER_F_RUNNING;
Jens Axboec5def4a2019-11-07 11:41:16 -0700616 io_wqe_inc_running(wqe, worker);
Jens Axboe771b53d02019-10-22 10:25:58 -0600617}
618
619/*
620 * Called when worker is going to sleep. If there are no workers currently
621 * running and we have work pending, wake up a free one or have the manager
622 * set one up.
623 */
624void io_wq_worker_sleeping(struct task_struct *tsk)
625{
626 struct io_worker *worker = kthread_data(tsk);
627 struct io_wqe *wqe = worker->wqe;
628
629 if (!(worker->flags & IO_WORKER_F_UP))
630 return;
631 if (!(worker->flags & IO_WORKER_F_RUNNING))
632 return;
633
634 worker->flags &= ~IO_WORKER_F_RUNNING;
635
636 spin_lock_irq(&wqe->lock);
Jens Axboec5def4a2019-11-07 11:41:16 -0700637 io_wqe_dec_running(wqe, worker);
Jens Axboe771b53d02019-10-22 10:25:58 -0600638 spin_unlock_irq(&wqe->lock);
639}
640
Jens Axboeb60fda62019-11-19 08:37:07 -0700641static bool create_io_worker(struct io_wq *wq, struct io_wqe *wqe, int index)
Jens Axboe771b53d02019-10-22 10:25:58 -0600642{
Jens Axboec5def4a2019-11-07 11:41:16 -0700643 struct io_wqe_acct *acct =&wqe->acct[index];
Jens Axboe771b53d02019-10-22 10:25:58 -0600644 struct io_worker *worker;
645
Jann Hornad6e0052019-11-26 17:39:45 +0100646 worker = kzalloc_node(sizeof(*worker), GFP_KERNEL, wqe->node);
Jens Axboe771b53d02019-10-22 10:25:58 -0600647 if (!worker)
Jens Axboeb60fda62019-11-19 08:37:07 -0700648 return false;
Jens Axboe771b53d02019-10-22 10:25:58 -0600649
650 refcount_set(&worker->ref, 1);
651 worker->nulls_node.pprev = NULL;
Jens Axboe771b53d02019-10-22 10:25:58 -0600652 worker->wqe = wqe;
Jens Axboe36c2f922019-11-13 09:43:34 -0700653 spin_lock_init(&worker->lock);
Jens Axboe771b53d02019-10-22 10:25:58 -0600654
655 worker->task = kthread_create_on_node(io_wqe_worker, worker, wqe->node,
Jens Axboec5def4a2019-11-07 11:41:16 -0700656 "io_wqe_worker-%d/%d", index, wqe->node);
Jens Axboe771b53d02019-10-22 10:25:58 -0600657 if (IS_ERR(worker->task)) {
658 kfree(worker);
Jens Axboeb60fda62019-11-19 08:37:07 -0700659 return false;
Jens Axboe771b53d02019-10-22 10:25:58 -0600660 }
661
662 spin_lock_irq(&wqe->lock);
Jens Axboe021d1cd2019-11-14 08:00:41 -0700663 hlist_nulls_add_head_rcu(&worker->nulls_node, &wqe->free_list);
Jens Axboee61df662019-11-13 13:54:49 -0700664 list_add_tail_rcu(&worker->all_list, &wqe->all_list);
Jens Axboe771b53d02019-10-22 10:25:58 -0600665 worker->flags |= IO_WORKER_F_FREE;
Jens Axboec5def4a2019-11-07 11:41:16 -0700666 if (index == IO_WQ_ACCT_BOUND)
667 worker->flags |= IO_WORKER_F_BOUND;
668 if (!acct->nr_workers && (worker->flags & IO_WORKER_F_BOUND))
Jens Axboe771b53d02019-10-22 10:25:58 -0600669 worker->flags |= IO_WORKER_F_FIXED;
Jens Axboec5def4a2019-11-07 11:41:16 -0700670 acct->nr_workers++;
Jens Axboe771b53d02019-10-22 10:25:58 -0600671 spin_unlock_irq(&wqe->lock);
672
Jens Axboec5def4a2019-11-07 11:41:16 -0700673 if (index == IO_WQ_ACCT_UNBOUND)
674 atomic_inc(&wq->user->processes);
675
Jens Axboe771b53d02019-10-22 10:25:58 -0600676 wake_up_process(worker->task);
Jens Axboeb60fda62019-11-19 08:37:07 -0700677 return true;
Jens Axboe771b53d02019-10-22 10:25:58 -0600678}
679
Jens Axboec5def4a2019-11-07 11:41:16 -0700680static inline bool io_wqe_need_worker(struct io_wqe *wqe, int index)
Jens Axboe771b53d02019-10-22 10:25:58 -0600681 __must_hold(wqe->lock)
682{
Jens Axboec5def4a2019-11-07 11:41:16 -0700683 struct io_wqe_acct *acct = &wqe->acct[index];
Jens Axboe771b53d02019-10-22 10:25:58 -0600684
Jens Axboec5def4a2019-11-07 11:41:16 -0700685 /* if we have available workers or no work, no need */
Jens Axboe021d1cd2019-11-14 08:00:41 -0700686 if (!hlist_nulls_empty(&wqe->free_list) || !io_wqe_run_queue(wqe))
Jens Axboec5def4a2019-11-07 11:41:16 -0700687 return false;
688 return acct->nr_workers < acct->max_workers;
Jens Axboe771b53d02019-10-22 10:25:58 -0600689}
690
691/*
692 * Manager thread. Tasked with creating new workers, if we need them.
693 */
694static int io_wq_manager(void *data)
695{
696 struct io_wq *wq = data;
Jann Horn3fc50ab2019-11-26 19:10:20 +0100697 int workers_to_create = num_possible_nodes();
698 int node;
Jens Axboeb60fda62019-11-19 08:37:07 -0700699
700 /* create fixed workers */
Jann Horn3fc50ab2019-11-26 19:10:20 +0100701 refcount_set(&wq->refs, workers_to_create);
702 for_each_node(node) {
Jens Axboe75634392020-02-11 06:30:06 -0700703 if (!node_online(node))
704 continue;
Jann Horn3fc50ab2019-11-26 19:10:20 +0100705 if (!create_io_worker(wq, wq->wqes[node], IO_WQ_ACCT_BOUND))
706 goto err;
707 workers_to_create--;
Jens Axboeb60fda62019-11-19 08:37:07 -0700708 }
709
Jens Axboe75634392020-02-11 06:30:06 -0700710 while (workers_to_create--)
711 refcount_dec(&wq->refs);
712
Jens Axboeb60fda62019-11-19 08:37:07 -0700713 complete(&wq->done);
Jens Axboe771b53d02019-10-22 10:25:58 -0600714
715 while (!kthread_should_stop()) {
Jens Axboeaa96bf82020-04-03 11:26:26 -0600716 if (current->task_works)
717 task_work_run();
718
Jann Horn3fc50ab2019-11-26 19:10:20 +0100719 for_each_node(node) {
720 struct io_wqe *wqe = wq->wqes[node];
Jens Axboec5def4a2019-11-07 11:41:16 -0700721 bool fork_worker[2] = { false, false };
Jens Axboe771b53d02019-10-22 10:25:58 -0600722
Jens Axboe75634392020-02-11 06:30:06 -0700723 if (!node_online(node))
724 continue;
725
Jens Axboe771b53d02019-10-22 10:25:58 -0600726 spin_lock_irq(&wqe->lock);
Jens Axboec5def4a2019-11-07 11:41:16 -0700727 if (io_wqe_need_worker(wqe, IO_WQ_ACCT_BOUND))
728 fork_worker[IO_WQ_ACCT_BOUND] = true;
729 if (io_wqe_need_worker(wqe, IO_WQ_ACCT_UNBOUND))
730 fork_worker[IO_WQ_ACCT_UNBOUND] = true;
Jens Axboe771b53d02019-10-22 10:25:58 -0600731 spin_unlock_irq(&wqe->lock);
Jens Axboec5def4a2019-11-07 11:41:16 -0700732 if (fork_worker[IO_WQ_ACCT_BOUND])
733 create_io_worker(wq, wqe, IO_WQ_ACCT_BOUND);
734 if (fork_worker[IO_WQ_ACCT_UNBOUND])
735 create_io_worker(wq, wqe, IO_WQ_ACCT_UNBOUND);
Jens Axboe771b53d02019-10-22 10:25:58 -0600736 }
737 set_current_state(TASK_INTERRUPTIBLE);
738 schedule_timeout(HZ);
739 }
740
Jens Axboeaa96bf82020-04-03 11:26:26 -0600741 if (current->task_works)
742 task_work_run();
743
Jens Axboe771b53d02019-10-22 10:25:58 -0600744 return 0;
Jens Axboeb60fda62019-11-19 08:37:07 -0700745err:
746 set_bit(IO_WQ_BIT_ERROR, &wq->state);
747 set_bit(IO_WQ_BIT_EXIT, &wq->state);
Jann Horn3fc50ab2019-11-26 19:10:20 +0100748 if (refcount_sub_and_test(workers_to_create, &wq->refs))
Jens Axboeb60fda62019-11-19 08:37:07 -0700749 complete(&wq->done);
750 return 0;
Jens Axboe771b53d02019-10-22 10:25:58 -0600751}
752
Jens Axboec5def4a2019-11-07 11:41:16 -0700753static bool io_wq_can_queue(struct io_wqe *wqe, struct io_wqe_acct *acct,
754 struct io_wq_work *work)
755{
756 bool free_worker;
757
758 if (!(work->flags & IO_WQ_WORK_UNBOUND))
759 return true;
760 if (atomic_read(&acct->nr_running))
761 return true;
762
763 rcu_read_lock();
Jens Axboe021d1cd2019-11-14 08:00:41 -0700764 free_worker = !hlist_nulls_empty(&wqe->free_list);
Jens Axboec5def4a2019-11-07 11:41:16 -0700765 rcu_read_unlock();
766 if (free_worker)
767 return true;
768
769 if (atomic_read(&wqe->wq->user->processes) >= acct->max_workers &&
770 !(capable(CAP_SYS_RESOURCE) || capable(CAP_SYS_ADMIN)))
771 return false;
772
773 return true;
774}
775
Pavel Begunkove9fd9392020-03-04 16:14:12 +0300776static void io_run_cancel(struct io_wq_work *work, struct io_wqe *wqe)
Pavel Begunkovfc04c392020-03-01 19:18:19 +0300777{
Pavel Begunkove9fd9392020-03-04 16:14:12 +0300778 struct io_wq *wq = wqe->wq;
779
Pavel Begunkovfc04c392020-03-01 19:18:19 +0300780 do {
781 struct io_wq_work *old_work = work;
782
783 work->flags |= IO_WQ_WORK_CANCEL;
Pavel Begunkovf5fa38c2020-06-08 21:08:20 +0300784 wq->do_work(&work);
Pavel Begunkovfc04c392020-03-01 19:18:19 +0300785 work = (work == old_work) ? NULL : work;
Pavel Begunkove9fd9392020-03-04 16:14:12 +0300786 wq->free_work(old_work);
Pavel Begunkovfc04c392020-03-01 19:18:19 +0300787 } while (work);
788}
789
Pavel Begunkov86f3cd12020-03-23 22:57:22 +0300790static void io_wqe_insert_work(struct io_wqe *wqe, struct io_wq_work *work)
791{
792 unsigned int hash;
793 struct io_wq_work *tail;
794
795 if (!io_wq_is_hashed(work)) {
796append:
797 wq_list_add_tail(&work->list, &wqe->work_list);
798 return;
799 }
800
801 hash = io_get_work_hash(work);
802 tail = wqe->hash_tail[hash];
803 wqe->hash_tail[hash] = work;
804 if (!tail)
805 goto append;
806
807 wq_list_add_after(&work->list, &tail->list, &wqe->work_list);
808}
809
Jens Axboe771b53d02019-10-22 10:25:58 -0600810static void io_wqe_enqueue(struct io_wqe *wqe, struct io_wq_work *work)
811{
Jens Axboec5def4a2019-11-07 11:41:16 -0700812 struct io_wqe_acct *acct = io_work_get_acct(wqe, work);
Jens Axboe895e2ca2019-12-17 08:46:33 -0700813 int work_flags;
Jens Axboe771b53d02019-10-22 10:25:58 -0600814 unsigned long flags;
815
Jens Axboec5def4a2019-11-07 11:41:16 -0700816 /*
817 * Do early check to see if we need a new unbound worker, and if we do,
818 * if we're allowed to do so. This isn't 100% accurate as there's a
819 * gap between this check and incrementing the value, but that's OK.
820 * It's close enough to not be an issue, fork() has the same delay.
821 */
822 if (unlikely(!io_wq_can_queue(wqe, acct, work))) {
Pavel Begunkove9fd9392020-03-04 16:14:12 +0300823 io_run_cancel(work, wqe);
Jens Axboec5def4a2019-11-07 11:41:16 -0700824 return;
825 }
826
Jens Axboe895e2ca2019-12-17 08:46:33 -0700827 work_flags = work->flags;
Jens Axboe771b53d02019-10-22 10:25:58 -0600828 spin_lock_irqsave(&wqe->lock, flags);
Pavel Begunkov86f3cd12020-03-23 22:57:22 +0300829 io_wqe_insert_work(wqe, work);
Jens Axboe771b53d02019-10-22 10:25:58 -0600830 wqe->flags &= ~IO_WQE_FLAG_STALLED;
831 spin_unlock_irqrestore(&wqe->lock, flags);
832
Jens Axboe895e2ca2019-12-17 08:46:33 -0700833 if ((work_flags & IO_WQ_WORK_CONCURRENT) ||
834 !atomic_read(&acct->nr_running))
Jens Axboec5def4a2019-11-07 11:41:16 -0700835 io_wqe_wake_worker(wqe, acct);
Jens Axboe771b53d02019-10-22 10:25:58 -0600836}
837
838void io_wq_enqueue(struct io_wq *wq, struct io_wq_work *work)
839{
840 struct io_wqe *wqe = wq->wqes[numa_node_id()];
841
842 io_wqe_enqueue(wqe, work);
843}
844
845/*
Pavel Begunkov8766dd52020-03-14 00:31:04 +0300846 * Work items that hash to the same value will not be done in parallel.
847 * Used to limit concurrent writes, generally hashed by inode.
Jens Axboe771b53d02019-10-22 10:25:58 -0600848 */
Pavel Begunkov8766dd52020-03-14 00:31:04 +0300849void io_wq_hash_work(struct io_wq_work *work, void *val)
Jens Axboe771b53d02019-10-22 10:25:58 -0600850{
Pavel Begunkov8766dd52020-03-14 00:31:04 +0300851 unsigned int bit;
Jens Axboe771b53d02019-10-22 10:25:58 -0600852
853 bit = hash_ptr(val, IO_WQ_HASH_ORDER);
854 work->flags |= (IO_WQ_WORK_HASHED | (bit << IO_WQ_HASH_SHIFT));
Jens Axboe771b53d02019-10-22 10:25:58 -0600855}
856
857static bool io_wqe_worker_send_sig(struct io_worker *worker, void *data)
858{
859 send_sig(SIGINT, worker->task, 1);
860 return false;
861}
862
863/*
864 * Iterate the passed in list and call the specific function for each
865 * worker that isn't exiting
866 */
867static bool io_wq_for_each_worker(struct io_wqe *wqe,
Jens Axboe771b53d02019-10-22 10:25:58 -0600868 bool (*func)(struct io_worker *, void *),
869 void *data)
870{
Jens Axboe771b53d02019-10-22 10:25:58 -0600871 struct io_worker *worker;
872 bool ret = false;
873
Jens Axboee61df662019-11-13 13:54:49 -0700874 list_for_each_entry_rcu(worker, &wqe->all_list, all_list) {
Jens Axboe771b53d02019-10-22 10:25:58 -0600875 if (io_worker_get(worker)) {
Jens Axboe75634392020-02-11 06:30:06 -0700876 /* no task if node is/was offline */
877 if (worker->task)
878 ret = func(worker, data);
Jens Axboe771b53d02019-10-22 10:25:58 -0600879 io_worker_release(worker);
880 if (ret)
881 break;
882 }
883 }
Jens Axboee61df662019-11-13 13:54:49 -0700884
Jens Axboe771b53d02019-10-22 10:25:58 -0600885 return ret;
886}
887
888void io_wq_cancel_all(struct io_wq *wq)
889{
Jann Horn3fc50ab2019-11-26 19:10:20 +0100890 int node;
Jens Axboe771b53d02019-10-22 10:25:58 -0600891
892 set_bit(IO_WQ_BIT_CANCEL, &wq->state);
893
Jens Axboe771b53d02019-10-22 10:25:58 -0600894 rcu_read_lock();
Jann Horn3fc50ab2019-11-26 19:10:20 +0100895 for_each_node(node) {
896 struct io_wqe *wqe = wq->wqes[node];
Jens Axboe771b53d02019-10-22 10:25:58 -0600897
Jens Axboee61df662019-11-13 13:54:49 -0700898 io_wq_for_each_worker(wqe, io_wqe_worker_send_sig, NULL);
Jens Axboe771b53d02019-10-22 10:25:58 -0600899 }
900 rcu_read_unlock();
901}
902
Jens Axboe62755e32019-10-28 21:49:21 -0600903struct io_cb_cancel_data {
Pavel Begunkov2293b412020-03-07 01:15:39 +0300904 work_cancel_fn *fn;
905 void *data;
Pavel Begunkov4f26bda2020-06-15 10:24:03 +0300906 int nr_running;
907 int nr_pending;
908 bool cancel_all;
Jens Axboe62755e32019-10-28 21:49:21 -0600909};
910
Pavel Begunkov2293b412020-03-07 01:15:39 +0300911static bool io_wq_worker_cancel(struct io_worker *worker, void *data)
Jens Axboe62755e32019-10-28 21:49:21 -0600912{
Pavel Begunkov2293b412020-03-07 01:15:39 +0300913 struct io_cb_cancel_data *match = data;
Jens Axboe6f726532019-11-05 13:51:51 -0700914 unsigned long flags;
Jens Axboe62755e32019-10-28 21:49:21 -0600915
916 /*
917 * Hold the lock to avoid ->cur_work going out of scope, caller
Jens Axboe36c2f922019-11-13 09:43:34 -0700918 * may dereference the passed in work.
Jens Axboe62755e32019-10-28 21:49:21 -0600919 */
Jens Axboe36c2f922019-11-13 09:43:34 -0700920 spin_lock_irqsave(&worker->lock, flags);
Jens Axboe62755e32019-10-28 21:49:21 -0600921 if (worker->cur_work &&
Jens Axboe0c9d5cc2019-12-11 19:29:43 -0700922 !(worker->cur_work->flags & IO_WQ_WORK_NO_CANCEL) &&
Pavel Begunkov2293b412020-03-07 01:15:39 +0300923 match->fn(worker->cur_work, match->data)) {
Jens Axboe771b53d02019-10-22 10:25:58 -0600924 send_sig(SIGINT, worker->task, 1);
Pavel Begunkov4f26bda2020-06-15 10:24:03 +0300925 match->nr_running++;
Jens Axboe771b53d02019-10-22 10:25:58 -0600926 }
Jens Axboe36c2f922019-11-13 09:43:34 -0700927 spin_unlock_irqrestore(&worker->lock, flags);
Jens Axboe771b53d02019-10-22 10:25:58 -0600928
Pavel Begunkov4f26bda2020-06-15 10:24:03 +0300929 return match->nr_running && !match->cancel_all;
Jens Axboe771b53d02019-10-22 10:25:58 -0600930}
931
Pavel Begunkov4f26bda2020-06-15 10:24:03 +0300932static void io_wqe_cancel_pending_work(struct io_wqe *wqe,
Pavel Begunkovf4c26652020-06-15 10:24:02 +0300933 struct io_cb_cancel_data *match)
Jens Axboe771b53d02019-10-22 10:25:58 -0600934{
Jens Axboe6206f0e2019-11-26 11:59:32 -0700935 struct io_wq_work_node *node, *prev;
Jens Axboe771b53d02019-10-22 10:25:58 -0600936 struct io_wq_work *work;
Jens Axboe6f726532019-11-05 13:51:51 -0700937 unsigned long flags;
Jens Axboe771b53d02019-10-22 10:25:58 -0600938
Pavel Begunkov4f26bda2020-06-15 10:24:03 +0300939retry:
Jens Axboe6f726532019-11-05 13:51:51 -0700940 spin_lock_irqsave(&wqe->lock, flags);
Jens Axboe6206f0e2019-11-26 11:59:32 -0700941 wq_list_for_each(node, prev, &wqe->work_list) {
942 work = container_of(node, struct io_wq_work, list);
Pavel Begunkov4f26bda2020-06-15 10:24:03 +0300943 if (!match->fn(work, match->data))
944 continue;
Jens Axboe6206f0e2019-11-26 11:59:32 -0700945
Pavel Begunkov4f26bda2020-06-15 10:24:03 +0300946 wq_list_del(&wqe->work_list, node, prev);
947 spin_unlock_irqrestore(&wqe->lock, flags);
948 io_run_cancel(work, wqe);
949 match->nr_pending++;
950 if (!match->cancel_all)
951 return;
952
953 /* not safe to continue after unlock */
954 goto retry;
Jens Axboe771b53d02019-10-22 10:25:58 -0600955 }
Jens Axboe6f726532019-11-05 13:51:51 -0700956 spin_unlock_irqrestore(&wqe->lock, flags);
Pavel Begunkovf4c26652020-06-15 10:24:02 +0300957}
Jens Axboe771b53d02019-10-22 10:25:58 -0600958
Pavel Begunkov4f26bda2020-06-15 10:24:03 +0300959static void io_wqe_cancel_running_work(struct io_wqe *wqe,
Pavel Begunkovf4c26652020-06-15 10:24:02 +0300960 struct io_cb_cancel_data *match)
961{
Jens Axboe771b53d02019-10-22 10:25:58 -0600962 rcu_read_lock();
Pavel Begunkov4f26bda2020-06-15 10:24:03 +0300963 io_wq_for_each_worker(wqe, io_wq_worker_cancel, match);
Jens Axboe771b53d02019-10-22 10:25:58 -0600964 rcu_read_unlock();
Jens Axboe771b53d02019-10-22 10:25:58 -0600965}
966
Pavel Begunkov2293b412020-03-07 01:15:39 +0300967enum io_wq_cancel io_wq_cancel_cb(struct io_wq *wq, work_cancel_fn *cancel,
Pavel Begunkov4f26bda2020-06-15 10:24:03 +0300968 void *data, bool cancel_all)
Pavel Begunkov2293b412020-03-07 01:15:39 +0300969{
970 struct io_cb_cancel_data match = {
Pavel Begunkov4f26bda2020-06-15 10:24:03 +0300971 .fn = cancel,
972 .data = data,
973 .cancel_all = cancel_all,
Pavel Begunkov2293b412020-03-07 01:15:39 +0300974 };
Pavel Begunkov2293b412020-03-07 01:15:39 +0300975 int node;
976
Pavel Begunkovf4c26652020-06-15 10:24:02 +0300977 /*
978 * First check pending list, if we're lucky we can just remove it
979 * from there. CANCEL_OK means that the work is returned as-new,
980 * no completion will be posted for it.
981 */
Pavel Begunkov2293b412020-03-07 01:15:39 +0300982 for_each_node(node) {
983 struct io_wqe *wqe = wq->wqes[node];
984
Pavel Begunkov4f26bda2020-06-15 10:24:03 +0300985 io_wqe_cancel_pending_work(wqe, &match);
986 if (match.nr_pending && !match.cancel_all)
Pavel Begunkovf4c26652020-06-15 10:24:02 +0300987 return IO_WQ_CANCEL_OK;
Pavel Begunkov2293b412020-03-07 01:15:39 +0300988 }
989
Pavel Begunkovf4c26652020-06-15 10:24:02 +0300990 /*
991 * Now check if a free (going busy) or busy worker has the work
992 * currently running. If we find it there, we'll return CANCEL_RUNNING
993 * as an indication that we attempt to signal cancellation. The
994 * completion will run normally in this case.
995 */
996 for_each_node(node) {
997 struct io_wqe *wqe = wq->wqes[node];
998
Pavel Begunkov4f26bda2020-06-15 10:24:03 +0300999 io_wqe_cancel_running_work(wqe, &match);
1000 if (match.nr_running && !match.cancel_all)
Pavel Begunkovf4c26652020-06-15 10:24:02 +03001001 return IO_WQ_CANCEL_RUNNING;
1002 }
1003
Pavel Begunkov4f26bda2020-06-15 10:24:03 +03001004 if (match.nr_running)
1005 return IO_WQ_CANCEL_RUNNING;
1006 if (match.nr_pending)
1007 return IO_WQ_CANCEL_OK;
Pavel Begunkovf4c26652020-06-15 10:24:02 +03001008 return IO_WQ_CANCEL_NOTFOUND;
Pavel Begunkov2293b412020-03-07 01:15:39 +03001009}
1010
1011static bool io_wq_io_cb_cancel_data(struct io_wq_work *work, void *data)
Jens Axboe00bcda12020-02-08 19:13:32 -07001012{
1013 return work == data;
1014}
1015
Jens Axboe771b53d02019-10-22 10:25:58 -06001016enum io_wq_cancel io_wq_cancel_work(struct io_wq *wq, struct io_wq_work *cwork)
1017{
Pavel Begunkov4f26bda2020-06-15 10:24:03 +03001018 return io_wq_cancel_cb(wq, io_wq_io_cb_cancel_data, (void *)cwork, false);
Jens Axboe771b53d02019-10-22 10:25:58 -06001019}
1020
Jens Axboe36282882020-02-08 19:16:39 -07001021static bool io_wq_pid_match(struct io_wq_work *work, void *data)
1022{
1023 pid_t pid = (pid_t) (unsigned long) data;
1024
Pavel Begunkov2293b412020-03-07 01:15:39 +03001025 return work->task_pid == pid;
Jens Axboe36282882020-02-08 19:16:39 -07001026}
1027
1028enum io_wq_cancel io_wq_cancel_pid(struct io_wq *wq, pid_t pid)
1029{
Pavel Begunkov2293b412020-03-07 01:15:39 +03001030 void *data = (void *) (unsigned long) pid;
Jens Axboe36282882020-02-08 19:16:39 -07001031
Pavel Begunkov4f26bda2020-06-15 10:24:03 +03001032 return io_wq_cancel_cb(wq, io_wq_pid_match, data, false);
Jens Axboe36282882020-02-08 19:16:39 -07001033}
1034
Jens Axboe576a3472019-11-25 08:49:20 -07001035struct io_wq *io_wq_create(unsigned bounded, struct io_wq_data *data)
Jens Axboe771b53d02019-10-22 10:25:58 -06001036{
Jann Horn3fc50ab2019-11-26 19:10:20 +01001037 int ret = -ENOMEM, node;
Jens Axboe771b53d02019-10-22 10:25:58 -06001038 struct io_wq *wq;
1039
Pavel Begunkovf5fa38c2020-06-08 21:08:20 +03001040 if (WARN_ON_ONCE(!data->free_work || !data->do_work))
Pavel Begunkove9fd9392020-03-04 16:14:12 +03001041 return ERR_PTR(-EINVAL);
1042
Jann Hornad6e0052019-11-26 17:39:45 +01001043 wq = kzalloc(sizeof(*wq), GFP_KERNEL);
Jens Axboe771b53d02019-10-22 10:25:58 -06001044 if (!wq)
1045 return ERR_PTR(-ENOMEM);
1046
Jann Horn3fc50ab2019-11-26 19:10:20 +01001047 wq->wqes = kcalloc(nr_node_ids, sizeof(struct io_wqe *), GFP_KERNEL);
Jens Axboe771b53d02019-10-22 10:25:58 -06001048 if (!wq->wqes) {
1049 kfree(wq);
1050 return ERR_PTR(-ENOMEM);
1051 }
1052
Pavel Begunkove9fd9392020-03-04 16:14:12 +03001053 wq->free_work = data->free_work;
Pavel Begunkovf5fa38c2020-06-08 21:08:20 +03001054 wq->do_work = data->do_work;
Jens Axboe7d723062019-11-12 22:31:31 -07001055
Jens Axboec5def4a2019-11-07 11:41:16 -07001056 /* caller must already hold a reference to this */
Jens Axboe576a3472019-11-25 08:49:20 -07001057 wq->user = data->user;
Jens Axboec5def4a2019-11-07 11:41:16 -07001058
Jann Horn3fc50ab2019-11-26 19:10:20 +01001059 for_each_node(node) {
Jens Axboe771b53d02019-10-22 10:25:58 -06001060 struct io_wqe *wqe;
Jens Axboe75634392020-02-11 06:30:06 -07001061 int alloc_node = node;
Jens Axboe771b53d02019-10-22 10:25:58 -06001062
Jens Axboe75634392020-02-11 06:30:06 -07001063 if (!node_online(alloc_node))
1064 alloc_node = NUMA_NO_NODE;
1065 wqe = kzalloc_node(sizeof(struct io_wqe), GFP_KERNEL, alloc_node);
Jens Axboe771b53d02019-10-22 10:25:58 -06001066 if (!wqe)
Jann Horn3fc50ab2019-11-26 19:10:20 +01001067 goto err;
1068 wq->wqes[node] = wqe;
Jens Axboe75634392020-02-11 06:30:06 -07001069 wqe->node = alloc_node;
Jens Axboec5def4a2019-11-07 11:41:16 -07001070 wqe->acct[IO_WQ_ACCT_BOUND].max_workers = bounded;
1071 atomic_set(&wqe->acct[IO_WQ_ACCT_BOUND].nr_running, 0);
Jens Axboe576a3472019-11-25 08:49:20 -07001072 if (wq->user) {
Jens Axboec5def4a2019-11-07 11:41:16 -07001073 wqe->acct[IO_WQ_ACCT_UNBOUND].max_workers =
1074 task_rlimit(current, RLIMIT_NPROC);
1075 }
1076 atomic_set(&wqe->acct[IO_WQ_ACCT_UNBOUND].nr_running, 0);
Jens Axboe771b53d02019-10-22 10:25:58 -06001077 wqe->wq = wq;
1078 spin_lock_init(&wqe->lock);
Jens Axboe6206f0e2019-11-26 11:59:32 -07001079 INIT_WQ_LIST(&wqe->work_list);
Jens Axboe021d1cd2019-11-14 08:00:41 -07001080 INIT_HLIST_NULLS_HEAD(&wqe->free_list, 0);
Jens Axboee61df662019-11-13 13:54:49 -07001081 INIT_LIST_HEAD(&wqe->all_list);
Jens Axboe771b53d02019-10-22 10:25:58 -06001082 }
1083
1084 init_completion(&wq->done);
1085
Jens Axboe771b53d02019-10-22 10:25:58 -06001086 wq->manager = kthread_create(io_wq_manager, wq, "io_wq_manager");
1087 if (!IS_ERR(wq->manager)) {
1088 wake_up_process(wq->manager);
Jens Axboeb60fda62019-11-19 08:37:07 -07001089 wait_for_completion(&wq->done);
1090 if (test_bit(IO_WQ_BIT_ERROR, &wq->state)) {
1091 ret = -ENOMEM;
1092 goto err;
1093 }
Jens Axboe848f7e12020-01-23 15:33:32 -07001094 refcount_set(&wq->use_refs, 1);
Jens Axboeb60fda62019-11-19 08:37:07 -07001095 reinit_completion(&wq->done);
Jens Axboe771b53d02019-10-22 10:25:58 -06001096 return wq;
1097 }
1098
1099 ret = PTR_ERR(wq->manager);
Jens Axboe771b53d02019-10-22 10:25:58 -06001100 complete(&wq->done);
Jens Axboeb60fda62019-11-19 08:37:07 -07001101err:
Jann Horn3fc50ab2019-11-26 19:10:20 +01001102 for_each_node(node)
1103 kfree(wq->wqes[node]);
Jens Axboeb60fda62019-11-19 08:37:07 -07001104 kfree(wq->wqes);
1105 kfree(wq);
Jens Axboe771b53d02019-10-22 10:25:58 -06001106 return ERR_PTR(ret);
1107}
1108
Pavel Begunkoveba6f5a2020-01-28 03:15:47 +03001109bool io_wq_get(struct io_wq *wq, struct io_wq_data *data)
1110{
Pavel Begunkovf5fa38c2020-06-08 21:08:20 +03001111 if (data->free_work != wq->free_work || data->do_work != wq->do_work)
Pavel Begunkoveba6f5a2020-01-28 03:15:47 +03001112 return false;
1113
1114 return refcount_inc_not_zero(&wq->use_refs);
1115}
1116
Jens Axboe771b53d02019-10-22 10:25:58 -06001117static bool io_wq_worker_wake(struct io_worker *worker, void *data)
1118{
1119 wake_up_process(worker->task);
1120 return false;
1121}
1122
Jens Axboe848f7e12020-01-23 15:33:32 -07001123static void __io_wq_destroy(struct io_wq *wq)
Jens Axboe771b53d02019-10-22 10:25:58 -06001124{
Jann Horn3fc50ab2019-11-26 19:10:20 +01001125 int node;
Jens Axboe771b53d02019-10-22 10:25:58 -06001126
Jens Axboeb60fda62019-11-19 08:37:07 -07001127 set_bit(IO_WQ_BIT_EXIT, &wq->state);
1128 if (wq->manager)
Jens Axboe771b53d02019-10-22 10:25:58 -06001129 kthread_stop(wq->manager);
Jens Axboe771b53d02019-10-22 10:25:58 -06001130
1131 rcu_read_lock();
Jann Horn3fc50ab2019-11-26 19:10:20 +01001132 for_each_node(node)
1133 io_wq_for_each_worker(wq->wqes[node], io_wq_worker_wake, NULL);
Jens Axboe771b53d02019-10-22 10:25:58 -06001134 rcu_read_unlock();
1135
1136 wait_for_completion(&wq->done);
1137
Jann Horn3fc50ab2019-11-26 19:10:20 +01001138 for_each_node(node)
1139 kfree(wq->wqes[node]);
Jens Axboe771b53d02019-10-22 10:25:58 -06001140 kfree(wq->wqes);
1141 kfree(wq);
1142}
Jens Axboe848f7e12020-01-23 15:33:32 -07001143
1144void io_wq_destroy(struct io_wq *wq)
1145{
1146 if (refcount_dec_and_test(&wq->use_refs))
1147 __io_wq_destroy(wq);
1148}
Jens Axboeaa96bf82020-04-03 11:26:26 -06001149
1150struct task_struct *io_wq_get_task(struct io_wq *wq)
1151{
1152 return wq->manager;
1153}