blob: 182aa17dc2cabeccbd1674a5362bc07e9c03ead5 [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>
13#include <linux/mmu_context.h>
14#include <linux/sched/mm.h>
15#include <linux/percpu.h>
16#include <linux/slab.h>
17#include <linux/kthread.h>
18#include <linux/rculist_nulls.h>
Jens Axboe9392a272020-02-06 21:42:51 -070019#include <linux/fs_struct.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
Jens Axboec5def4a2019-11-07 11:41:16 -070072struct io_wqe_acct {
73 unsigned nr_workers;
74 unsigned max_workers;
75 atomic_t nr_running;
76};
77
78enum {
79 IO_WQ_ACCT_BOUND,
80 IO_WQ_ACCT_UNBOUND,
81};
82
Jens Axboe771b53d02019-10-22 10:25:58 -060083/*
84 * Per-node worker thread pool
85 */
86struct io_wqe {
87 struct {
88 spinlock_t lock;
Jens Axboe6206f0e2019-11-26 11:59:32 -070089 struct io_wq_work_list work_list;
Jens Axboe771b53d02019-10-22 10:25:58 -060090 unsigned long hash_map;
91 unsigned flags;
92 } ____cacheline_aligned_in_smp;
93
94 int node;
Jens Axboec5def4a2019-11-07 11:41:16 -070095 struct io_wqe_acct acct[2];
Jens Axboe771b53d02019-10-22 10:25:58 -060096
Jens Axboe021d1cd2019-11-14 08:00:41 -070097 struct hlist_nulls_head free_list;
Jens Axboee61df662019-11-13 13:54:49 -070098 struct list_head all_list;
Jens Axboe771b53d02019-10-22 10:25:58 -060099
100 struct io_wq *wq;
101};
102
103/*
104 * Per io_wq state
105 */
106struct io_wq {
107 struct io_wqe **wqes;
108 unsigned long state;
Jens Axboe771b53d02019-10-22 10:25:58 -0600109
Jens Axboe7d723062019-11-12 22:31:31 -0700110 get_work_fn *get_work;
111 put_work_fn *put_work;
112
Jens Axboe771b53d02019-10-22 10:25:58 -0600113 struct task_struct *manager;
Jens Axboec5def4a2019-11-07 11:41:16 -0700114 struct user_struct *user;
Jens Axboe771b53d02019-10-22 10:25:58 -0600115 refcount_t refs;
116 struct completion done;
Jens Axboe848f7e12020-01-23 15:33:32 -0700117
118 refcount_t use_refs;
Jens Axboe771b53d02019-10-22 10:25:58 -0600119};
120
Jens Axboe771b53d02019-10-22 10:25:58 -0600121static bool io_worker_get(struct io_worker *worker)
122{
123 return refcount_inc_not_zero(&worker->ref);
124}
125
126static void io_worker_release(struct io_worker *worker)
127{
128 if (refcount_dec_and_test(&worker->ref))
129 wake_up_process(worker->task);
130}
131
132/*
133 * Note: drops the wqe->lock if returning true! The caller must re-acquire
134 * the lock in that case. Some callers need to restart handling if this
135 * happens, so we can't just re-acquire the lock on behalf of the caller.
136 */
137static bool __io_worker_unuse(struct io_wqe *wqe, struct io_worker *worker)
138{
Jens Axboefcb323c2019-10-24 12:39:47 -0600139 bool dropped_lock = false;
140
Jens Axboecccf0ee2020-01-27 16:34:48 -0700141 if (worker->saved_creds) {
142 revert_creds(worker->saved_creds);
143 worker->cur_creds = worker->saved_creds = NULL;
Jens Axboe181e4482019-11-25 08:52:30 -0700144 }
145
Jens Axboefcb323c2019-10-24 12:39:47 -0600146 if (current->files != worker->restore_files) {
147 __acquire(&wqe->lock);
148 spin_unlock_irq(&wqe->lock);
149 dropped_lock = true;
150
151 task_lock(current);
152 current->files = worker->restore_files;
153 task_unlock(current);
154 }
155
Jens Axboe9392a272020-02-06 21:42:51 -0700156 if (current->fs != worker->restore_fs)
157 current->fs = worker->restore_fs;
158
Jens Axboe771b53d02019-10-22 10:25:58 -0600159 /*
160 * If we have an active mm, we need to drop the wq lock before unusing
161 * it. If we do, return true and let the caller retry the idle loop.
162 */
163 if (worker->mm) {
Jens Axboefcb323c2019-10-24 12:39:47 -0600164 if (!dropped_lock) {
165 __acquire(&wqe->lock);
166 spin_unlock_irq(&wqe->lock);
167 dropped_lock = true;
168 }
Jens Axboe771b53d02019-10-22 10:25:58 -0600169 __set_current_state(TASK_RUNNING);
170 set_fs(KERNEL_DS);
171 unuse_mm(worker->mm);
172 mmput(worker->mm);
173 worker->mm = NULL;
Jens Axboe771b53d02019-10-22 10:25:58 -0600174 }
175
Jens Axboefcb323c2019-10-24 12:39:47 -0600176 return dropped_lock;
Jens Axboe771b53d02019-10-22 10:25:58 -0600177}
178
Jens Axboec5def4a2019-11-07 11:41:16 -0700179static inline struct io_wqe_acct *io_work_get_acct(struct io_wqe *wqe,
180 struct io_wq_work *work)
181{
182 if (work->flags & IO_WQ_WORK_UNBOUND)
183 return &wqe->acct[IO_WQ_ACCT_UNBOUND];
184
185 return &wqe->acct[IO_WQ_ACCT_BOUND];
186}
187
188static inline struct io_wqe_acct *io_wqe_get_acct(struct io_wqe *wqe,
189 struct io_worker *worker)
190{
191 if (worker->flags & IO_WORKER_F_BOUND)
192 return &wqe->acct[IO_WQ_ACCT_BOUND];
193
194 return &wqe->acct[IO_WQ_ACCT_UNBOUND];
195}
196
Jens Axboe771b53d02019-10-22 10:25:58 -0600197static void io_worker_exit(struct io_worker *worker)
198{
199 struct io_wqe *wqe = worker->wqe;
Jens Axboec5def4a2019-11-07 11:41:16 -0700200 struct io_wqe_acct *acct = io_wqe_get_acct(wqe, worker);
201 unsigned nr_workers;
Jens Axboe771b53d02019-10-22 10:25:58 -0600202
203 /*
204 * If we're not at zero, someone else is holding a brief reference
205 * to the worker. Wait for that to go away.
206 */
207 set_current_state(TASK_INTERRUPTIBLE);
208 if (!refcount_dec_and_test(&worker->ref))
209 schedule();
210 __set_current_state(TASK_RUNNING);
211
212 preempt_disable();
213 current->flags &= ~PF_IO_WORKER;
214 if (worker->flags & IO_WORKER_F_RUNNING)
Jens Axboec5def4a2019-11-07 11:41:16 -0700215 atomic_dec(&acct->nr_running);
216 if (!(worker->flags & IO_WORKER_F_BOUND))
217 atomic_dec(&wqe->wq->user->processes);
Jens Axboe771b53d02019-10-22 10:25:58 -0600218 worker->flags = 0;
219 preempt_enable();
220
221 spin_lock_irq(&wqe->lock);
222 hlist_nulls_del_rcu(&worker->nulls_node);
Jens Axboee61df662019-11-13 13:54:49 -0700223 list_del_rcu(&worker->all_list);
Jens Axboe771b53d02019-10-22 10:25:58 -0600224 if (__io_worker_unuse(wqe, worker)) {
225 __release(&wqe->lock);
226 spin_lock_irq(&wqe->lock);
227 }
Jens Axboec5def4a2019-11-07 11:41:16 -0700228 acct->nr_workers--;
229 nr_workers = wqe->acct[IO_WQ_ACCT_BOUND].nr_workers +
230 wqe->acct[IO_WQ_ACCT_UNBOUND].nr_workers;
Jens Axboe771b53d02019-10-22 10:25:58 -0600231 spin_unlock_irq(&wqe->lock);
232
233 /* all workers gone, wq exit can proceed */
Jens Axboec5def4a2019-11-07 11:41:16 -0700234 if (!nr_workers && refcount_dec_and_test(&wqe->wq->refs))
Jens Axboe771b53d02019-10-22 10:25:58 -0600235 complete(&wqe->wq->done);
236
YueHaibing364b05f2019-11-02 15:55:01 +0800237 kfree_rcu(worker, rcu);
Jens Axboe771b53d02019-10-22 10:25:58 -0600238}
239
Jens Axboec5def4a2019-11-07 11:41:16 -0700240static inline bool io_wqe_run_queue(struct io_wqe *wqe)
241 __must_hold(wqe->lock)
242{
Jens Axboe6206f0e2019-11-26 11:59:32 -0700243 if (!wq_list_empty(&wqe->work_list) &&
244 !(wqe->flags & IO_WQE_FLAG_STALLED))
Jens Axboec5def4a2019-11-07 11:41:16 -0700245 return true;
246 return false;
247}
248
249/*
250 * Check head of free list for an available worker. If one isn't available,
251 * caller must wake up the wq manager to create one.
252 */
253static bool io_wqe_activate_free_worker(struct io_wqe *wqe)
254 __must_hold(RCU)
255{
256 struct hlist_nulls_node *n;
257 struct io_worker *worker;
258
Jens Axboe021d1cd2019-11-14 08:00:41 -0700259 n = rcu_dereference(hlist_nulls_first_rcu(&wqe->free_list));
Jens Axboec5def4a2019-11-07 11:41:16 -0700260 if (is_a_nulls(n))
261 return false;
262
263 worker = hlist_nulls_entry(n, struct io_worker, nulls_node);
264 if (io_worker_get(worker)) {
Jens Axboe506d95f2019-12-07 21:03:59 -0700265 wake_up_process(worker->task);
Jens Axboec5def4a2019-11-07 11:41:16 -0700266 io_worker_release(worker);
267 return true;
268 }
269
270 return false;
271}
272
273/*
274 * We need a worker. If we find a free one, we're good. If not, and we're
275 * below the max number of workers, wake up the manager to create one.
276 */
277static void io_wqe_wake_worker(struct io_wqe *wqe, struct io_wqe_acct *acct)
278{
279 bool ret;
280
281 /*
282 * Most likely an attempt to queue unbounded work on an io_wq that
283 * wasn't setup with any unbounded workers.
284 */
285 WARN_ON_ONCE(!acct->max_workers);
286
287 rcu_read_lock();
288 ret = io_wqe_activate_free_worker(wqe);
289 rcu_read_unlock();
290
291 if (!ret && acct->nr_workers < acct->max_workers)
292 wake_up_process(wqe->wq->manager);
293}
294
295static void io_wqe_inc_running(struct io_wqe *wqe, struct io_worker *worker)
296{
297 struct io_wqe_acct *acct = io_wqe_get_acct(wqe, worker);
298
299 atomic_inc(&acct->nr_running);
300}
301
302static void io_wqe_dec_running(struct io_wqe *wqe, struct io_worker *worker)
303 __must_hold(wqe->lock)
304{
305 struct io_wqe_acct *acct = io_wqe_get_acct(wqe, worker);
306
307 if (atomic_dec_and_test(&acct->nr_running) && io_wqe_run_queue(wqe))
308 io_wqe_wake_worker(wqe, acct);
309}
310
Jens Axboe771b53d02019-10-22 10:25:58 -0600311static void io_worker_start(struct io_wqe *wqe, struct io_worker *worker)
312{
313 allow_kernel_signal(SIGINT);
314
315 current->flags |= PF_IO_WORKER;
316
317 worker->flags |= (IO_WORKER_F_UP | IO_WORKER_F_RUNNING);
Jens Axboefcb323c2019-10-24 12:39:47 -0600318 worker->restore_files = current->files;
Jens Axboe9392a272020-02-06 21:42:51 -0700319 worker->restore_fs = current->fs;
Jens Axboec5def4a2019-11-07 11:41:16 -0700320 io_wqe_inc_running(wqe, worker);
Jens Axboe771b53d02019-10-22 10:25:58 -0600321}
322
323/*
324 * Worker will start processing some work. Move it to the busy list, if
325 * it's currently on the freelist
326 */
327static void __io_worker_busy(struct io_wqe *wqe, struct io_worker *worker,
328 struct io_wq_work *work)
329 __must_hold(wqe->lock)
330{
Jens Axboec5def4a2019-11-07 11:41:16 -0700331 bool worker_bound, work_bound;
332
Jens Axboe771b53d02019-10-22 10:25:58 -0600333 if (worker->flags & IO_WORKER_F_FREE) {
334 worker->flags &= ~IO_WORKER_F_FREE;
335 hlist_nulls_del_init_rcu(&worker->nulls_node);
Jens Axboe771b53d02019-10-22 10:25:58 -0600336 }
Jens Axboec5def4a2019-11-07 11:41:16 -0700337
338 /*
339 * If worker is moving from bound to unbound (or vice versa), then
340 * ensure we update the running accounting.
341 */
Dan Carpenterb2e9c7d62019-11-19 09:22:16 +0300342 worker_bound = (worker->flags & IO_WORKER_F_BOUND) != 0;
343 work_bound = (work->flags & IO_WQ_WORK_UNBOUND) == 0;
344 if (worker_bound != work_bound) {
Jens Axboec5def4a2019-11-07 11:41:16 -0700345 io_wqe_dec_running(wqe, worker);
346 if (work_bound) {
347 worker->flags |= IO_WORKER_F_BOUND;
348 wqe->acct[IO_WQ_ACCT_UNBOUND].nr_workers--;
349 wqe->acct[IO_WQ_ACCT_BOUND].nr_workers++;
350 atomic_dec(&wqe->wq->user->processes);
351 } else {
352 worker->flags &= ~IO_WORKER_F_BOUND;
353 wqe->acct[IO_WQ_ACCT_UNBOUND].nr_workers++;
354 wqe->acct[IO_WQ_ACCT_BOUND].nr_workers--;
355 atomic_inc(&wqe->wq->user->processes);
356 }
357 io_wqe_inc_running(wqe, worker);
358 }
Jens Axboe771b53d02019-10-22 10:25:58 -0600359}
360
361/*
362 * No work, worker going to sleep. Move to freelist, and unuse mm if we
363 * have one attached. Dropping the mm may potentially sleep, so we drop
364 * the lock in that case and return success. Since the caller has to
365 * retry the loop in that case (we changed task state), we don't regrab
366 * the lock if we return success.
367 */
368static bool __io_worker_idle(struct io_wqe *wqe, struct io_worker *worker)
369 __must_hold(wqe->lock)
370{
371 if (!(worker->flags & IO_WORKER_F_FREE)) {
372 worker->flags |= IO_WORKER_F_FREE;
Jens Axboe021d1cd2019-11-14 08:00:41 -0700373 hlist_nulls_add_head_rcu(&worker->nulls_node, &wqe->free_list);
Jens Axboe771b53d02019-10-22 10:25:58 -0600374 }
375
376 return __io_worker_unuse(wqe, worker);
377}
378
379static struct io_wq_work *io_get_next_work(struct io_wqe *wqe, unsigned *hash)
380 __must_hold(wqe->lock)
381{
Jens Axboe6206f0e2019-11-26 11:59:32 -0700382 struct io_wq_work_node *node, *prev;
Jens Axboe771b53d02019-10-22 10:25:58 -0600383 struct io_wq_work *work;
384
Jens Axboe6206f0e2019-11-26 11:59:32 -0700385 wq_list_for_each(node, prev, &wqe->work_list) {
386 work = container_of(node, struct io_wq_work, list);
387
Jens Axboe771b53d02019-10-22 10:25:58 -0600388 /* not hashed, can run anytime */
389 if (!(work->flags & IO_WQ_WORK_HASHED)) {
Jens Axboe6206f0e2019-11-26 11:59:32 -0700390 wq_node_del(&wqe->work_list, node, prev);
Jens Axboe771b53d02019-10-22 10:25:58 -0600391 return work;
392 }
393
394 /* hashed, can run if not already running */
395 *hash = work->flags >> IO_WQ_HASH_SHIFT;
396 if (!(wqe->hash_map & BIT_ULL(*hash))) {
397 wqe->hash_map |= BIT_ULL(*hash);
Jens Axboe6206f0e2019-11-26 11:59:32 -0700398 wq_node_del(&wqe->work_list, node, prev);
Jens Axboe771b53d02019-10-22 10:25:58 -0600399 return work;
400 }
401 }
402
403 return NULL;
404}
405
Jens Axboecccf0ee2020-01-27 16:34:48 -0700406static void io_wq_switch_mm(struct io_worker *worker, struct io_wq_work *work)
407{
408 if (worker->mm) {
409 unuse_mm(worker->mm);
410 mmput(worker->mm);
411 worker->mm = NULL;
412 }
413 if (!work->mm) {
414 set_fs(KERNEL_DS);
415 return;
416 }
417 if (mmget_not_zero(work->mm)) {
418 use_mm(work->mm);
419 if (!worker->mm)
420 set_fs(USER_DS);
421 worker->mm = work->mm;
422 /* hang on to this mm */
423 work->mm = NULL;
424 return;
425 }
426
427 /* failed grabbing mm, ensure work gets cancelled */
428 work->flags |= IO_WQ_WORK_CANCEL;
429}
430
431static void io_wq_switch_creds(struct io_worker *worker,
432 struct io_wq_work *work)
433{
434 const struct cred *old_creds = override_creds(work->creds);
435
436 worker->cur_creds = work->creds;
437 if (worker->saved_creds)
438 put_cred(old_creds); /* creds set by previous switch */
439 else
440 worker->saved_creds = old_creds;
441}
442
Jens Axboe771b53d02019-10-22 10:25:58 -0600443static void io_worker_handle_work(struct io_worker *worker)
444 __releases(wqe->lock)
445{
Jens Axboe7d723062019-11-12 22:31:31 -0700446 struct io_wq_work *work, *old_work = NULL, *put_work = NULL;
Jens Axboe771b53d02019-10-22 10:25:58 -0600447 struct io_wqe *wqe = worker->wqe;
448 struct io_wq *wq = wqe->wq;
449
450 do {
451 unsigned hash = -1U;
452
453 /*
Jens Axboe771b53d02019-10-22 10:25:58 -0600454 * If we got some work, mark us as busy. If we didn't, but
455 * the list isn't empty, it means we stalled on hashed work.
456 * Mark us stalled so we don't keep looking for work when we
457 * can't make progress, any work completion or insertion will
458 * clear the stalled flag.
459 */
460 work = io_get_next_work(wqe, &hash);
461 if (work)
462 __io_worker_busy(wqe, worker, work);
Jens Axboe6206f0e2019-11-26 11:59:32 -0700463 else if (!wq_list_empty(&wqe->work_list))
Jens Axboe771b53d02019-10-22 10:25:58 -0600464 wqe->flags |= IO_WQE_FLAG_STALLED;
465
466 spin_unlock_irq(&wqe->lock);
Jens Axboe7d723062019-11-12 22:31:31 -0700467 if (put_work && wq->put_work)
468 wq->put_work(old_work);
Jens Axboe771b53d02019-10-22 10:25:58 -0600469 if (!work)
470 break;
471next:
Jens Axboe36c2f922019-11-13 09:43:34 -0700472 /* flush any pending signals before assigning new work */
473 if (signal_pending(current))
474 flush_signals(current);
475
Hillf Dantonfd1c4bc2019-12-24 09:14:29 -0700476 cond_resched();
477
Jens Axboe36c2f922019-11-13 09:43:34 -0700478 spin_lock_irq(&worker->lock);
479 worker->cur_work = work;
480 spin_unlock_irq(&worker->lock);
481
Jens Axboeb76da702019-11-20 13:05:32 -0700482 if (work->flags & IO_WQ_WORK_CB)
483 work->func(&work);
484
Jens Axboef86cd202020-01-29 13:46:44 -0700485 if (work->files && current->files != work->files) {
Jens Axboefcb323c2019-10-24 12:39:47 -0600486 task_lock(current);
487 current->files = work->files;
488 task_unlock(current);
489 }
Jens Axboe9392a272020-02-06 21:42:51 -0700490 if (work->fs && current->fs != work->fs)
491 current->fs = work->fs;
Jens Axboecccf0ee2020-01-27 16:34:48 -0700492 if (work->mm != worker->mm)
493 io_wq_switch_mm(worker, work);
494 if (worker->cur_creds != work->creds)
495 io_wq_switch_creds(worker, work);
Jens Axboe0c9d5cc2019-12-11 19:29:43 -0700496 /*
497 * OK to set IO_WQ_WORK_CANCEL even for uncancellable work,
498 * the worker function will do the right thing.
499 */
Jens Axboe771b53d02019-10-22 10:25:58 -0600500 if (test_bit(IO_WQ_BIT_CANCEL, &wq->state))
501 work->flags |= IO_WQ_WORK_CANCEL;
502 if (worker->mm)
503 work->flags |= IO_WQ_WORK_HAS_MM;
504
Jens Axboe7d723062019-11-12 22:31:31 -0700505 if (wq->get_work && !(work->flags & IO_WQ_WORK_INTERNAL)) {
506 put_work = work;
507 wq->get_work(work);
508 }
509
Jens Axboe771b53d02019-10-22 10:25:58 -0600510 old_work = work;
511 work->func(&work);
512
Jens Axboe36c2f922019-11-13 09:43:34 -0700513 spin_lock_irq(&worker->lock);
Jens Axboe771b53d02019-10-22 10:25:58 -0600514 worker->cur_work = NULL;
Jens Axboe36c2f922019-11-13 09:43:34 -0700515 spin_unlock_irq(&worker->lock);
516
517 spin_lock_irq(&wqe->lock);
518
Jens Axboe771b53d02019-10-22 10:25:58 -0600519 if (hash != -1U) {
520 wqe->hash_map &= ~BIT_ULL(hash);
521 wqe->flags &= ~IO_WQE_FLAG_STALLED;
522 }
523 if (work && work != old_work) {
524 spin_unlock_irq(&wqe->lock);
Jens Axboe7d723062019-11-12 22:31:31 -0700525
526 if (put_work && wq->put_work) {
527 wq->put_work(put_work);
528 put_work = NULL;
529 }
530
Jens Axboe771b53d02019-10-22 10:25:58 -0600531 /* dependent work not hashed */
532 hash = -1U;
533 goto next;
534 }
535 } while (1);
536}
537
Jens Axboee995d512019-12-07 21:06:46 -0700538static inline void io_worker_spin_for_work(struct io_wqe *wqe)
539{
540 int i = 0;
541
542 while (++i < 1000) {
543 if (io_wqe_run_queue(wqe))
544 break;
545 if (need_resched())
546 break;
547 cpu_relax();
548 }
549}
550
Jens Axboe771b53d02019-10-22 10:25:58 -0600551static int io_wqe_worker(void *data)
552{
553 struct io_worker *worker = data;
554 struct io_wqe *wqe = worker->wqe;
555 struct io_wq *wq = wqe->wq;
Jens Axboee995d512019-12-07 21:06:46 -0700556 bool did_work;
Jens Axboe771b53d02019-10-22 10:25:58 -0600557
558 io_worker_start(wqe, worker);
559
Jens Axboee995d512019-12-07 21:06:46 -0700560 did_work = false;
Jens Axboe771b53d02019-10-22 10:25:58 -0600561 while (!test_bit(IO_WQ_BIT_EXIT, &wq->state)) {
Jens Axboe506d95f2019-12-07 21:03:59 -0700562 set_current_state(TASK_INTERRUPTIBLE);
Jens Axboee995d512019-12-07 21:06:46 -0700563loop:
564 if (did_work)
565 io_worker_spin_for_work(wqe);
Jens Axboe771b53d02019-10-22 10:25:58 -0600566 spin_lock_irq(&wqe->lock);
567 if (io_wqe_run_queue(wqe)) {
568 __set_current_state(TASK_RUNNING);
569 io_worker_handle_work(worker);
Jens Axboee995d512019-12-07 21:06:46 -0700570 did_work = true;
571 goto loop;
Jens Axboe771b53d02019-10-22 10:25:58 -0600572 }
Jens Axboee995d512019-12-07 21:06:46 -0700573 did_work = false;
Jens Axboe771b53d02019-10-22 10:25:58 -0600574 /* drops the lock on success, retry */
575 if (__io_worker_idle(wqe, worker)) {
576 __release(&wqe->lock);
Jens Axboee995d512019-12-07 21:06:46 -0700577 goto loop;
Jens Axboe771b53d02019-10-22 10:25:58 -0600578 }
579 spin_unlock_irq(&wqe->lock);
580 if (signal_pending(current))
581 flush_signals(current);
582 if (schedule_timeout(WORKER_IDLE_TIMEOUT))
583 continue;
584 /* timed out, exit unless we're the fixed worker */
585 if (test_bit(IO_WQ_BIT_EXIT, &wq->state) ||
586 !(worker->flags & IO_WORKER_F_FIXED))
587 break;
588 }
589
Jens Axboe771b53d02019-10-22 10:25:58 -0600590 if (test_bit(IO_WQ_BIT_EXIT, &wq->state)) {
591 spin_lock_irq(&wqe->lock);
Jens Axboe6206f0e2019-11-26 11:59:32 -0700592 if (!wq_list_empty(&wqe->work_list))
Jens Axboe771b53d02019-10-22 10:25:58 -0600593 io_worker_handle_work(worker);
594 else
595 spin_unlock_irq(&wqe->lock);
596 }
597
598 io_worker_exit(worker);
599 return 0;
600}
601
602/*
Jens Axboe771b53d02019-10-22 10:25:58 -0600603 * Called when a worker is scheduled in. Mark us as currently running.
604 */
605void io_wq_worker_running(struct task_struct *tsk)
606{
607 struct io_worker *worker = kthread_data(tsk);
608 struct io_wqe *wqe = worker->wqe;
609
610 if (!(worker->flags & IO_WORKER_F_UP))
611 return;
612 if (worker->flags & IO_WORKER_F_RUNNING)
613 return;
614 worker->flags |= IO_WORKER_F_RUNNING;
Jens Axboec5def4a2019-11-07 11:41:16 -0700615 io_wqe_inc_running(wqe, worker);
Jens Axboe771b53d02019-10-22 10:25:58 -0600616}
617
618/*
619 * Called when worker is going to sleep. If there are no workers currently
620 * running and we have work pending, wake up a free one or have the manager
621 * set one up.
622 */
623void io_wq_worker_sleeping(struct task_struct *tsk)
624{
625 struct io_worker *worker = kthread_data(tsk);
626 struct io_wqe *wqe = worker->wqe;
627
628 if (!(worker->flags & IO_WORKER_F_UP))
629 return;
630 if (!(worker->flags & IO_WORKER_F_RUNNING))
631 return;
632
633 worker->flags &= ~IO_WORKER_F_RUNNING;
634
635 spin_lock_irq(&wqe->lock);
Jens Axboec5def4a2019-11-07 11:41:16 -0700636 io_wqe_dec_running(wqe, worker);
Jens Axboe771b53d02019-10-22 10:25:58 -0600637 spin_unlock_irq(&wqe->lock);
638}
639
Jens Axboeb60fda62019-11-19 08:37:07 -0700640static bool create_io_worker(struct io_wq *wq, struct io_wqe *wqe, int index)
Jens Axboe771b53d02019-10-22 10:25:58 -0600641{
Jens Axboec5def4a2019-11-07 11:41:16 -0700642 struct io_wqe_acct *acct =&wqe->acct[index];
Jens Axboe771b53d02019-10-22 10:25:58 -0600643 struct io_worker *worker;
644
Jann Hornad6e0052019-11-26 17:39:45 +0100645 worker = kzalloc_node(sizeof(*worker), GFP_KERNEL, wqe->node);
Jens Axboe771b53d02019-10-22 10:25:58 -0600646 if (!worker)
Jens Axboeb60fda62019-11-19 08:37:07 -0700647 return false;
Jens Axboe771b53d02019-10-22 10:25:58 -0600648
649 refcount_set(&worker->ref, 1);
650 worker->nulls_node.pprev = NULL;
Jens Axboe771b53d02019-10-22 10:25:58 -0600651 worker->wqe = wqe;
Jens Axboe36c2f922019-11-13 09:43:34 -0700652 spin_lock_init(&worker->lock);
Jens Axboe771b53d02019-10-22 10:25:58 -0600653
654 worker->task = kthread_create_on_node(io_wqe_worker, worker, wqe->node,
Jens Axboec5def4a2019-11-07 11:41:16 -0700655 "io_wqe_worker-%d/%d", index, wqe->node);
Jens Axboe771b53d02019-10-22 10:25:58 -0600656 if (IS_ERR(worker->task)) {
657 kfree(worker);
Jens Axboeb60fda62019-11-19 08:37:07 -0700658 return false;
Jens Axboe771b53d02019-10-22 10:25:58 -0600659 }
660
661 spin_lock_irq(&wqe->lock);
Jens Axboe021d1cd2019-11-14 08:00:41 -0700662 hlist_nulls_add_head_rcu(&worker->nulls_node, &wqe->free_list);
Jens Axboee61df662019-11-13 13:54:49 -0700663 list_add_tail_rcu(&worker->all_list, &wqe->all_list);
Jens Axboe771b53d02019-10-22 10:25:58 -0600664 worker->flags |= IO_WORKER_F_FREE;
Jens Axboec5def4a2019-11-07 11:41:16 -0700665 if (index == IO_WQ_ACCT_BOUND)
666 worker->flags |= IO_WORKER_F_BOUND;
667 if (!acct->nr_workers && (worker->flags & IO_WORKER_F_BOUND))
Jens Axboe771b53d02019-10-22 10:25:58 -0600668 worker->flags |= IO_WORKER_F_FIXED;
Jens Axboec5def4a2019-11-07 11:41:16 -0700669 acct->nr_workers++;
Jens Axboe771b53d02019-10-22 10:25:58 -0600670 spin_unlock_irq(&wqe->lock);
671
Jens Axboec5def4a2019-11-07 11:41:16 -0700672 if (index == IO_WQ_ACCT_UNBOUND)
673 atomic_inc(&wq->user->processes);
674
Jens Axboe771b53d02019-10-22 10:25:58 -0600675 wake_up_process(worker->task);
Jens Axboeb60fda62019-11-19 08:37:07 -0700676 return true;
Jens Axboe771b53d02019-10-22 10:25:58 -0600677}
678
Jens Axboec5def4a2019-11-07 11:41:16 -0700679static inline bool io_wqe_need_worker(struct io_wqe *wqe, int index)
Jens Axboe771b53d02019-10-22 10:25:58 -0600680 __must_hold(wqe->lock)
681{
Jens Axboec5def4a2019-11-07 11:41:16 -0700682 struct io_wqe_acct *acct = &wqe->acct[index];
Jens Axboe771b53d02019-10-22 10:25:58 -0600683
Jens Axboec5def4a2019-11-07 11:41:16 -0700684 /* if we have available workers or no work, no need */
Jens Axboe021d1cd2019-11-14 08:00:41 -0700685 if (!hlist_nulls_empty(&wqe->free_list) || !io_wqe_run_queue(wqe))
Jens Axboec5def4a2019-11-07 11:41:16 -0700686 return false;
687 return acct->nr_workers < acct->max_workers;
Jens Axboe771b53d02019-10-22 10:25:58 -0600688}
689
690/*
691 * Manager thread. Tasked with creating new workers, if we need them.
692 */
693static int io_wq_manager(void *data)
694{
695 struct io_wq *wq = data;
Jann Horn3fc50ab2019-11-26 19:10:20 +0100696 int workers_to_create = num_possible_nodes();
697 int node;
Jens Axboeb60fda62019-11-19 08:37:07 -0700698
699 /* create fixed workers */
Jann Horn3fc50ab2019-11-26 19:10:20 +0100700 refcount_set(&wq->refs, workers_to_create);
701 for_each_node(node) {
702 if (!create_io_worker(wq, wq->wqes[node], IO_WQ_ACCT_BOUND))
703 goto err;
704 workers_to_create--;
Jens Axboeb60fda62019-11-19 08:37:07 -0700705 }
706
707 complete(&wq->done);
Jens Axboe771b53d02019-10-22 10:25:58 -0600708
709 while (!kthread_should_stop()) {
Jann Horn3fc50ab2019-11-26 19:10:20 +0100710 for_each_node(node) {
711 struct io_wqe *wqe = wq->wqes[node];
Jens Axboec5def4a2019-11-07 11:41:16 -0700712 bool fork_worker[2] = { false, false };
Jens Axboe771b53d02019-10-22 10:25:58 -0600713
714 spin_lock_irq(&wqe->lock);
Jens Axboec5def4a2019-11-07 11:41:16 -0700715 if (io_wqe_need_worker(wqe, IO_WQ_ACCT_BOUND))
716 fork_worker[IO_WQ_ACCT_BOUND] = true;
717 if (io_wqe_need_worker(wqe, IO_WQ_ACCT_UNBOUND))
718 fork_worker[IO_WQ_ACCT_UNBOUND] = true;
Jens Axboe771b53d02019-10-22 10:25:58 -0600719 spin_unlock_irq(&wqe->lock);
Jens Axboec5def4a2019-11-07 11:41:16 -0700720 if (fork_worker[IO_WQ_ACCT_BOUND])
721 create_io_worker(wq, wqe, IO_WQ_ACCT_BOUND);
722 if (fork_worker[IO_WQ_ACCT_UNBOUND])
723 create_io_worker(wq, wqe, IO_WQ_ACCT_UNBOUND);
Jens Axboe771b53d02019-10-22 10:25:58 -0600724 }
725 set_current_state(TASK_INTERRUPTIBLE);
726 schedule_timeout(HZ);
727 }
728
729 return 0;
Jens Axboeb60fda62019-11-19 08:37:07 -0700730err:
731 set_bit(IO_WQ_BIT_ERROR, &wq->state);
732 set_bit(IO_WQ_BIT_EXIT, &wq->state);
Jann Horn3fc50ab2019-11-26 19:10:20 +0100733 if (refcount_sub_and_test(workers_to_create, &wq->refs))
Jens Axboeb60fda62019-11-19 08:37:07 -0700734 complete(&wq->done);
735 return 0;
Jens Axboe771b53d02019-10-22 10:25:58 -0600736}
737
Jens Axboec5def4a2019-11-07 11:41:16 -0700738static bool io_wq_can_queue(struct io_wqe *wqe, struct io_wqe_acct *acct,
739 struct io_wq_work *work)
740{
741 bool free_worker;
742
743 if (!(work->flags & IO_WQ_WORK_UNBOUND))
744 return true;
745 if (atomic_read(&acct->nr_running))
746 return true;
747
748 rcu_read_lock();
Jens Axboe021d1cd2019-11-14 08:00:41 -0700749 free_worker = !hlist_nulls_empty(&wqe->free_list);
Jens Axboec5def4a2019-11-07 11:41:16 -0700750 rcu_read_unlock();
751 if (free_worker)
752 return true;
753
754 if (atomic_read(&wqe->wq->user->processes) >= acct->max_workers &&
755 !(capable(CAP_SYS_RESOURCE) || capable(CAP_SYS_ADMIN)))
756 return false;
757
758 return true;
759}
760
Jens Axboe771b53d02019-10-22 10:25:58 -0600761static void io_wqe_enqueue(struct io_wqe *wqe, struct io_wq_work *work)
762{
Jens Axboec5def4a2019-11-07 11:41:16 -0700763 struct io_wqe_acct *acct = io_work_get_acct(wqe, work);
Jens Axboe895e2ca2019-12-17 08:46:33 -0700764 int work_flags;
Jens Axboe771b53d02019-10-22 10:25:58 -0600765 unsigned long flags;
766
Jens Axboec5def4a2019-11-07 11:41:16 -0700767 /*
768 * Do early check to see if we need a new unbound worker, and if we do,
769 * if we're allowed to do so. This isn't 100% accurate as there's a
770 * gap between this check and incrementing the value, but that's OK.
771 * It's close enough to not be an issue, fork() has the same delay.
772 */
773 if (unlikely(!io_wq_can_queue(wqe, acct, work))) {
774 work->flags |= IO_WQ_WORK_CANCEL;
775 work->func(&work);
776 return;
777 }
778
Jens Axboe895e2ca2019-12-17 08:46:33 -0700779 work_flags = work->flags;
Jens Axboe771b53d02019-10-22 10:25:58 -0600780 spin_lock_irqsave(&wqe->lock, flags);
Jens Axboe6206f0e2019-11-26 11:59:32 -0700781 wq_list_add_tail(&work->list, &wqe->work_list);
Jens Axboe771b53d02019-10-22 10:25:58 -0600782 wqe->flags &= ~IO_WQE_FLAG_STALLED;
783 spin_unlock_irqrestore(&wqe->lock, flags);
784
Jens Axboe895e2ca2019-12-17 08:46:33 -0700785 if ((work_flags & IO_WQ_WORK_CONCURRENT) ||
786 !atomic_read(&acct->nr_running))
Jens Axboec5def4a2019-11-07 11:41:16 -0700787 io_wqe_wake_worker(wqe, acct);
Jens Axboe771b53d02019-10-22 10:25:58 -0600788}
789
790void io_wq_enqueue(struct io_wq *wq, struct io_wq_work *work)
791{
792 struct io_wqe *wqe = wq->wqes[numa_node_id()];
793
794 io_wqe_enqueue(wqe, work);
795}
796
797/*
798 * Enqueue work, hashed by some key. Work items that hash to the same value
799 * will not be done in parallel. Used to limit concurrent writes, generally
800 * hashed by inode.
801 */
802void io_wq_enqueue_hashed(struct io_wq *wq, struct io_wq_work *work, void *val)
803{
804 struct io_wqe *wqe = wq->wqes[numa_node_id()];
805 unsigned bit;
806
807
808 bit = hash_ptr(val, IO_WQ_HASH_ORDER);
809 work->flags |= (IO_WQ_WORK_HASHED | (bit << IO_WQ_HASH_SHIFT));
810 io_wqe_enqueue(wqe, work);
811}
812
813static bool io_wqe_worker_send_sig(struct io_worker *worker, void *data)
814{
815 send_sig(SIGINT, worker->task, 1);
816 return false;
817}
818
819/*
820 * Iterate the passed in list and call the specific function for each
821 * worker that isn't exiting
822 */
823static bool io_wq_for_each_worker(struct io_wqe *wqe,
Jens Axboe771b53d02019-10-22 10:25:58 -0600824 bool (*func)(struct io_worker *, void *),
825 void *data)
826{
Jens Axboe771b53d02019-10-22 10:25:58 -0600827 struct io_worker *worker;
828 bool ret = false;
829
Jens Axboee61df662019-11-13 13:54:49 -0700830 list_for_each_entry_rcu(worker, &wqe->all_list, all_list) {
Jens Axboe771b53d02019-10-22 10:25:58 -0600831 if (io_worker_get(worker)) {
832 ret = func(worker, data);
833 io_worker_release(worker);
834 if (ret)
835 break;
836 }
837 }
Jens Axboee61df662019-11-13 13:54:49 -0700838
Jens Axboe771b53d02019-10-22 10:25:58 -0600839 return ret;
840}
841
842void io_wq_cancel_all(struct io_wq *wq)
843{
Jann Horn3fc50ab2019-11-26 19:10:20 +0100844 int node;
Jens Axboe771b53d02019-10-22 10:25:58 -0600845
846 set_bit(IO_WQ_BIT_CANCEL, &wq->state);
847
Jens Axboe771b53d02019-10-22 10:25:58 -0600848 rcu_read_lock();
Jann Horn3fc50ab2019-11-26 19:10:20 +0100849 for_each_node(node) {
850 struct io_wqe *wqe = wq->wqes[node];
Jens Axboe771b53d02019-10-22 10:25:58 -0600851
Jens Axboee61df662019-11-13 13:54:49 -0700852 io_wq_for_each_worker(wqe, io_wqe_worker_send_sig, NULL);
Jens Axboe771b53d02019-10-22 10:25:58 -0600853 }
854 rcu_read_unlock();
855}
856
Jens Axboe62755e32019-10-28 21:49:21 -0600857struct io_cb_cancel_data {
858 struct io_wqe *wqe;
859 work_cancel_fn *cancel;
860 void *caller_data;
861};
862
863static bool io_work_cancel(struct io_worker *worker, void *cancel_data)
864{
865 struct io_cb_cancel_data *data = cancel_data;
Jens Axboe6f726532019-11-05 13:51:51 -0700866 unsigned long flags;
Jens Axboe62755e32019-10-28 21:49:21 -0600867 bool ret = false;
868
869 /*
870 * Hold the lock to avoid ->cur_work going out of scope, caller
Jens Axboe36c2f922019-11-13 09:43:34 -0700871 * may dereference the passed in work.
Jens Axboe62755e32019-10-28 21:49:21 -0600872 */
Jens Axboe36c2f922019-11-13 09:43:34 -0700873 spin_lock_irqsave(&worker->lock, flags);
Jens Axboe62755e32019-10-28 21:49:21 -0600874 if (worker->cur_work &&
Jens Axboe0c9d5cc2019-12-11 19:29:43 -0700875 !(worker->cur_work->flags & IO_WQ_WORK_NO_CANCEL) &&
Jens Axboe62755e32019-10-28 21:49:21 -0600876 data->cancel(worker->cur_work, data->caller_data)) {
877 send_sig(SIGINT, worker->task, 1);
878 ret = true;
879 }
Jens Axboe36c2f922019-11-13 09:43:34 -0700880 spin_unlock_irqrestore(&worker->lock, flags);
Jens Axboe62755e32019-10-28 21:49:21 -0600881
882 return ret;
883}
884
885static enum io_wq_cancel io_wqe_cancel_cb_work(struct io_wqe *wqe,
886 work_cancel_fn *cancel,
887 void *cancel_data)
888{
889 struct io_cb_cancel_data data = {
890 .wqe = wqe,
891 .cancel = cancel,
892 .caller_data = cancel_data,
893 };
Jens Axboe6206f0e2019-11-26 11:59:32 -0700894 struct io_wq_work_node *node, *prev;
Jens Axboe62755e32019-10-28 21:49:21 -0600895 struct io_wq_work *work;
Jens Axboe6f726532019-11-05 13:51:51 -0700896 unsigned long flags;
Jens Axboe62755e32019-10-28 21:49:21 -0600897 bool found = false;
898
Jens Axboe6f726532019-11-05 13:51:51 -0700899 spin_lock_irqsave(&wqe->lock, flags);
Jens Axboe6206f0e2019-11-26 11:59:32 -0700900 wq_list_for_each(node, prev, &wqe->work_list) {
901 work = container_of(node, struct io_wq_work, list);
902
Jens Axboe62755e32019-10-28 21:49:21 -0600903 if (cancel(work, cancel_data)) {
Jens Axboe6206f0e2019-11-26 11:59:32 -0700904 wq_node_del(&wqe->work_list, node, prev);
Jens Axboe62755e32019-10-28 21:49:21 -0600905 found = true;
906 break;
907 }
908 }
Jens Axboe6f726532019-11-05 13:51:51 -0700909 spin_unlock_irqrestore(&wqe->lock, flags);
Jens Axboe62755e32019-10-28 21:49:21 -0600910
911 if (found) {
912 work->flags |= IO_WQ_WORK_CANCEL;
913 work->func(&work);
914 return IO_WQ_CANCEL_OK;
915 }
916
917 rcu_read_lock();
Jens Axboee61df662019-11-13 13:54:49 -0700918 found = io_wq_for_each_worker(wqe, io_work_cancel, &data);
Jens Axboe62755e32019-10-28 21:49:21 -0600919 rcu_read_unlock();
920 return found ? IO_WQ_CANCEL_RUNNING : IO_WQ_CANCEL_NOTFOUND;
921}
922
923enum io_wq_cancel io_wq_cancel_cb(struct io_wq *wq, work_cancel_fn *cancel,
924 void *data)
925{
926 enum io_wq_cancel ret = IO_WQ_CANCEL_NOTFOUND;
Jann Horn3fc50ab2019-11-26 19:10:20 +0100927 int node;
Jens Axboe62755e32019-10-28 21:49:21 -0600928
Jann Horn3fc50ab2019-11-26 19:10:20 +0100929 for_each_node(node) {
930 struct io_wqe *wqe = wq->wqes[node];
Jens Axboe62755e32019-10-28 21:49:21 -0600931
932 ret = io_wqe_cancel_cb_work(wqe, cancel, data);
933 if (ret != IO_WQ_CANCEL_NOTFOUND)
934 break;
935 }
936
937 return ret;
938}
939
Jens Axboe00bcda12020-02-08 19:13:32 -0700940struct work_match {
941 bool (*fn)(struct io_wq_work *, void *data);
942 void *data;
943};
944
Jens Axboe771b53d02019-10-22 10:25:58 -0600945static bool io_wq_worker_cancel(struct io_worker *worker, void *data)
946{
Jens Axboe00bcda12020-02-08 19:13:32 -0700947 struct work_match *match = data;
Jens Axboe36c2f922019-11-13 09:43:34 -0700948 unsigned long flags;
949 bool ret = false;
Jens Axboe771b53d02019-10-22 10:25:58 -0600950
Jens Axboe36c2f922019-11-13 09:43:34 -0700951 spin_lock_irqsave(&worker->lock, flags);
Jens Axboe00bcda12020-02-08 19:13:32 -0700952 if (match->fn(worker->cur_work, match->data) &&
Jens Axboe0c9d5cc2019-12-11 19:29:43 -0700953 !(worker->cur_work->flags & IO_WQ_WORK_NO_CANCEL)) {
Jens Axboe771b53d02019-10-22 10:25:58 -0600954 send_sig(SIGINT, worker->task, 1);
Jens Axboe36c2f922019-11-13 09:43:34 -0700955 ret = true;
Jens Axboe771b53d02019-10-22 10:25:58 -0600956 }
Jens Axboe36c2f922019-11-13 09:43:34 -0700957 spin_unlock_irqrestore(&worker->lock, flags);
Jens Axboe771b53d02019-10-22 10:25:58 -0600958
Jens Axboe36c2f922019-11-13 09:43:34 -0700959 return ret;
Jens Axboe771b53d02019-10-22 10:25:58 -0600960}
961
962static enum io_wq_cancel io_wqe_cancel_work(struct io_wqe *wqe,
Jens Axboe00bcda12020-02-08 19:13:32 -0700963 struct work_match *match)
Jens Axboe771b53d02019-10-22 10:25:58 -0600964{
Jens Axboe6206f0e2019-11-26 11:59:32 -0700965 struct io_wq_work_node *node, *prev;
Jens Axboe771b53d02019-10-22 10:25:58 -0600966 struct io_wq_work *work;
Jens Axboe6f726532019-11-05 13:51:51 -0700967 unsigned long flags;
Jens Axboe771b53d02019-10-22 10:25:58 -0600968 bool found = false;
969
Jens Axboe771b53d02019-10-22 10:25:58 -0600970 /*
971 * First check pending list, if we're lucky we can just remove it
972 * from there. CANCEL_OK means that the work is returned as-new,
973 * no completion will be posted for it.
974 */
Jens Axboe6f726532019-11-05 13:51:51 -0700975 spin_lock_irqsave(&wqe->lock, flags);
Jens Axboe6206f0e2019-11-26 11:59:32 -0700976 wq_list_for_each(node, prev, &wqe->work_list) {
977 work = container_of(node, struct io_wq_work, list);
978
Jens Axboe00bcda12020-02-08 19:13:32 -0700979 if (match->fn(work, match->data)) {
Jens Axboe6206f0e2019-11-26 11:59:32 -0700980 wq_node_del(&wqe->work_list, node, prev);
Jens Axboe771b53d02019-10-22 10:25:58 -0600981 found = true;
982 break;
983 }
984 }
Jens Axboe6f726532019-11-05 13:51:51 -0700985 spin_unlock_irqrestore(&wqe->lock, flags);
Jens Axboe771b53d02019-10-22 10:25:58 -0600986
987 if (found) {
988 work->flags |= IO_WQ_WORK_CANCEL;
989 work->func(&work);
990 return IO_WQ_CANCEL_OK;
991 }
992
993 /*
994 * Now check if a free (going busy) or busy worker has the work
995 * currently running. If we find it there, we'll return CANCEL_RUNNING
Brian Gianforcarod195a662019-12-13 03:09:50 -0800996 * as an indication that we attempt to signal cancellation. The
Jens Axboe771b53d02019-10-22 10:25:58 -0600997 * completion will run normally in this case.
998 */
999 rcu_read_lock();
Jens Axboe00bcda12020-02-08 19:13:32 -07001000 found = io_wq_for_each_worker(wqe, io_wq_worker_cancel, match);
Jens Axboe771b53d02019-10-22 10:25:58 -06001001 rcu_read_unlock();
1002 return found ? IO_WQ_CANCEL_RUNNING : IO_WQ_CANCEL_NOTFOUND;
1003}
1004
Jens Axboe00bcda12020-02-08 19:13:32 -07001005static bool io_wq_work_match(struct io_wq_work *work, void *data)
1006{
1007 return work == data;
1008}
1009
Jens Axboe771b53d02019-10-22 10:25:58 -06001010enum io_wq_cancel io_wq_cancel_work(struct io_wq *wq, struct io_wq_work *cwork)
1011{
Jens Axboe00bcda12020-02-08 19:13:32 -07001012 struct work_match match = {
1013 .fn = io_wq_work_match,
1014 .data = cwork
1015 };
Jens Axboe771b53d02019-10-22 10:25:58 -06001016 enum io_wq_cancel ret = IO_WQ_CANCEL_NOTFOUND;
Jann Horn3fc50ab2019-11-26 19:10:20 +01001017 int node;
Jens Axboe771b53d02019-10-22 10:25:58 -06001018
Jens Axboe00bcda12020-02-08 19:13:32 -07001019 cwork->flags |= IO_WQ_WORK_CANCEL;
1020
Jann Horn3fc50ab2019-11-26 19:10:20 +01001021 for_each_node(node) {
1022 struct io_wqe *wqe = wq->wqes[node];
Jens Axboe771b53d02019-10-22 10:25:58 -06001023
Jens Axboe00bcda12020-02-08 19:13:32 -07001024 ret = io_wqe_cancel_work(wqe, &match);
Jens Axboe771b53d02019-10-22 10:25:58 -06001025 if (ret != IO_WQ_CANCEL_NOTFOUND)
1026 break;
1027 }
1028
1029 return ret;
1030}
1031
Jens Axboe36282882020-02-08 19:16:39 -07001032static bool io_wq_pid_match(struct io_wq_work *work, void *data)
1033{
1034 pid_t pid = (pid_t) (unsigned long) data;
1035
1036 if (work)
1037 return work->task_pid == pid;
1038 return false;
1039}
1040
1041enum io_wq_cancel io_wq_cancel_pid(struct io_wq *wq, pid_t pid)
1042{
1043 struct work_match match = {
1044 .fn = io_wq_pid_match,
1045 .data = (void *) (unsigned long) pid
1046 };
1047 enum io_wq_cancel ret = IO_WQ_CANCEL_NOTFOUND;
1048 int node;
1049
1050 for_each_node(node) {
1051 struct io_wqe *wqe = wq->wqes[node];
1052
1053 ret = io_wqe_cancel_work(wqe, &match);
1054 if (ret != IO_WQ_CANCEL_NOTFOUND)
1055 break;
1056 }
1057
1058 return ret;
1059}
1060
Jens Axboe771b53d02019-10-22 10:25:58 -06001061struct io_wq_flush_data {
1062 struct io_wq_work work;
1063 struct completion done;
1064};
1065
1066static void io_wq_flush_func(struct io_wq_work **workptr)
1067{
1068 struct io_wq_work *work = *workptr;
1069 struct io_wq_flush_data *data;
1070
1071 data = container_of(work, struct io_wq_flush_data, work);
1072 complete(&data->done);
1073}
1074
1075/*
1076 * Doesn't wait for previously queued work to finish. When this completes,
1077 * it just means that previously queued work was started.
1078 */
1079void io_wq_flush(struct io_wq *wq)
1080{
1081 struct io_wq_flush_data data;
Jann Horn3fc50ab2019-11-26 19:10:20 +01001082 int node;
Jens Axboe771b53d02019-10-22 10:25:58 -06001083
Jann Horn3fc50ab2019-11-26 19:10:20 +01001084 for_each_node(node) {
1085 struct io_wqe *wqe = wq->wqes[node];
Jens Axboe771b53d02019-10-22 10:25:58 -06001086
1087 init_completion(&data.done);
1088 INIT_IO_WORK(&data.work, io_wq_flush_func);
Jens Axboe7d723062019-11-12 22:31:31 -07001089 data.work.flags |= IO_WQ_WORK_INTERNAL;
Jens Axboe771b53d02019-10-22 10:25:58 -06001090 io_wqe_enqueue(wqe, &data.work);
1091 wait_for_completion(&data.done);
1092 }
1093}
1094
Jens Axboe576a3472019-11-25 08:49:20 -07001095struct io_wq *io_wq_create(unsigned bounded, struct io_wq_data *data)
Jens Axboe771b53d02019-10-22 10:25:58 -06001096{
Jann Horn3fc50ab2019-11-26 19:10:20 +01001097 int ret = -ENOMEM, node;
Jens Axboe771b53d02019-10-22 10:25:58 -06001098 struct io_wq *wq;
1099
Jann Hornad6e0052019-11-26 17:39:45 +01001100 wq = kzalloc(sizeof(*wq), GFP_KERNEL);
Jens Axboe771b53d02019-10-22 10:25:58 -06001101 if (!wq)
1102 return ERR_PTR(-ENOMEM);
1103
Jann Horn3fc50ab2019-11-26 19:10:20 +01001104 wq->wqes = kcalloc(nr_node_ids, sizeof(struct io_wqe *), GFP_KERNEL);
Jens Axboe771b53d02019-10-22 10:25:58 -06001105 if (!wq->wqes) {
1106 kfree(wq);
1107 return ERR_PTR(-ENOMEM);
1108 }
1109
Jens Axboe576a3472019-11-25 08:49:20 -07001110 wq->get_work = data->get_work;
1111 wq->put_work = data->put_work;
Jens Axboe7d723062019-11-12 22:31:31 -07001112
Jens Axboec5def4a2019-11-07 11:41:16 -07001113 /* caller must already hold a reference to this */
Jens Axboe576a3472019-11-25 08:49:20 -07001114 wq->user = data->user;
Jens Axboec5def4a2019-11-07 11:41:16 -07001115
Jann Horn3fc50ab2019-11-26 19:10:20 +01001116 for_each_node(node) {
Jens Axboe771b53d02019-10-22 10:25:58 -06001117 struct io_wqe *wqe;
1118
Jann Hornad6e0052019-11-26 17:39:45 +01001119 wqe = kzalloc_node(sizeof(struct io_wqe), GFP_KERNEL, node);
Jens Axboe771b53d02019-10-22 10:25:58 -06001120 if (!wqe)
Jann Horn3fc50ab2019-11-26 19:10:20 +01001121 goto err;
1122 wq->wqes[node] = wqe;
Jens Axboe771b53d02019-10-22 10:25:58 -06001123 wqe->node = node;
Jens Axboec5def4a2019-11-07 11:41:16 -07001124 wqe->acct[IO_WQ_ACCT_BOUND].max_workers = bounded;
1125 atomic_set(&wqe->acct[IO_WQ_ACCT_BOUND].nr_running, 0);
Jens Axboe576a3472019-11-25 08:49:20 -07001126 if (wq->user) {
Jens Axboec5def4a2019-11-07 11:41:16 -07001127 wqe->acct[IO_WQ_ACCT_UNBOUND].max_workers =
1128 task_rlimit(current, RLIMIT_NPROC);
1129 }
1130 atomic_set(&wqe->acct[IO_WQ_ACCT_UNBOUND].nr_running, 0);
Jens Axboe771b53d02019-10-22 10:25:58 -06001131 wqe->node = node;
1132 wqe->wq = wq;
1133 spin_lock_init(&wqe->lock);
Jens Axboe6206f0e2019-11-26 11:59:32 -07001134 INIT_WQ_LIST(&wqe->work_list);
Jens Axboe021d1cd2019-11-14 08:00:41 -07001135 INIT_HLIST_NULLS_HEAD(&wqe->free_list, 0);
Jens Axboee61df662019-11-13 13:54:49 -07001136 INIT_LIST_HEAD(&wqe->all_list);
Jens Axboe771b53d02019-10-22 10:25:58 -06001137 }
1138
1139 init_completion(&wq->done);
1140
Jens Axboe771b53d02019-10-22 10:25:58 -06001141 wq->manager = kthread_create(io_wq_manager, wq, "io_wq_manager");
1142 if (!IS_ERR(wq->manager)) {
1143 wake_up_process(wq->manager);
Jens Axboeb60fda62019-11-19 08:37:07 -07001144 wait_for_completion(&wq->done);
1145 if (test_bit(IO_WQ_BIT_ERROR, &wq->state)) {
1146 ret = -ENOMEM;
1147 goto err;
1148 }
Jens Axboe848f7e12020-01-23 15:33:32 -07001149 refcount_set(&wq->use_refs, 1);
Jens Axboeb60fda62019-11-19 08:37:07 -07001150 reinit_completion(&wq->done);
Jens Axboe771b53d02019-10-22 10:25:58 -06001151 return wq;
1152 }
1153
1154 ret = PTR_ERR(wq->manager);
Jens Axboe771b53d02019-10-22 10:25:58 -06001155 complete(&wq->done);
Jens Axboeb60fda62019-11-19 08:37:07 -07001156err:
Jann Horn3fc50ab2019-11-26 19:10:20 +01001157 for_each_node(node)
1158 kfree(wq->wqes[node]);
Jens Axboeb60fda62019-11-19 08:37:07 -07001159 kfree(wq->wqes);
1160 kfree(wq);
Jens Axboe771b53d02019-10-22 10:25:58 -06001161 return ERR_PTR(ret);
1162}
1163
Pavel Begunkoveba6f5a2020-01-28 03:15:47 +03001164bool io_wq_get(struct io_wq *wq, struct io_wq_data *data)
1165{
1166 if (data->get_work != wq->get_work || data->put_work != wq->put_work)
1167 return false;
1168
1169 return refcount_inc_not_zero(&wq->use_refs);
1170}
1171
Jens Axboe771b53d02019-10-22 10:25:58 -06001172static bool io_wq_worker_wake(struct io_worker *worker, void *data)
1173{
1174 wake_up_process(worker->task);
1175 return false;
1176}
1177
Jens Axboe848f7e12020-01-23 15:33:32 -07001178static void __io_wq_destroy(struct io_wq *wq)
Jens Axboe771b53d02019-10-22 10:25:58 -06001179{
Jann Horn3fc50ab2019-11-26 19:10:20 +01001180 int node;
Jens Axboe771b53d02019-10-22 10:25:58 -06001181
Jens Axboeb60fda62019-11-19 08:37:07 -07001182 set_bit(IO_WQ_BIT_EXIT, &wq->state);
1183 if (wq->manager)
Jens Axboe771b53d02019-10-22 10:25:58 -06001184 kthread_stop(wq->manager);
Jens Axboe771b53d02019-10-22 10:25:58 -06001185
1186 rcu_read_lock();
Jann Horn3fc50ab2019-11-26 19:10:20 +01001187 for_each_node(node)
1188 io_wq_for_each_worker(wq->wqes[node], io_wq_worker_wake, NULL);
Jens Axboe771b53d02019-10-22 10:25:58 -06001189 rcu_read_unlock();
1190
1191 wait_for_completion(&wq->done);
1192
Jann Horn3fc50ab2019-11-26 19:10:20 +01001193 for_each_node(node)
1194 kfree(wq->wqes[node]);
Jens Axboe771b53d02019-10-22 10:25:58 -06001195 kfree(wq->wqes);
1196 kfree(wq);
1197}
Jens Axboe848f7e12020-01-23 15:33:32 -07001198
1199void io_wq_destroy(struct io_wq *wq)
1200{
1201 if (refcount_dec_and_test(&wq->use_refs))
1202 __io_wq_destroy(wq);
1203}