blob: 09e20bbf0d37fd77e6a854a0f9b77e3d3e4eb6c0 [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 Axboe9b828492020-09-18 20:13:06 -060063 struct nsproxy *restore_nsproxy;
Jens Axboe9392a272020-02-06 21:42:51 -070064 struct fs_struct *restore_fs;
Jens Axboe771b53d02019-10-22 10:25:58 -060065};
66
Jens Axboe771b53d02019-10-22 10:25:58 -060067#if BITS_PER_LONG == 64
68#define IO_WQ_HASH_ORDER 6
69#else
70#define IO_WQ_HASH_ORDER 5
71#endif
72
Pavel Begunkov86f3cd12020-03-23 22:57:22 +030073#define IO_WQ_NR_HASH_BUCKETS (1u << IO_WQ_HASH_ORDER)
74
Jens Axboec5def4a2019-11-07 11:41:16 -070075struct io_wqe_acct {
76 unsigned nr_workers;
77 unsigned max_workers;
78 atomic_t nr_running;
79};
80
81enum {
82 IO_WQ_ACCT_BOUND,
83 IO_WQ_ACCT_UNBOUND,
84};
85
Jens Axboe771b53d02019-10-22 10:25:58 -060086/*
87 * Per-node worker thread pool
88 */
89struct io_wqe {
90 struct {
91 spinlock_t lock;
Jens Axboe6206f0e2019-11-26 11:59:32 -070092 struct io_wq_work_list work_list;
Jens Axboe771b53d02019-10-22 10:25:58 -060093 unsigned long hash_map;
94 unsigned flags;
95 } ____cacheline_aligned_in_smp;
96
97 int node;
Jens Axboec5def4a2019-11-07 11:41:16 -070098 struct io_wqe_acct acct[2];
Jens Axboe771b53d02019-10-22 10:25:58 -060099
Jens Axboe021d1cd2019-11-14 08:00:41 -0700100 struct hlist_nulls_head free_list;
Jens Axboee61df662019-11-13 13:54:49 -0700101 struct list_head all_list;
Jens Axboe771b53d02019-10-22 10:25:58 -0600102
103 struct io_wq *wq;
Pavel Begunkov86f3cd12020-03-23 22:57:22 +0300104 struct io_wq_work *hash_tail[IO_WQ_NR_HASH_BUCKETS];
Jens Axboe771b53d02019-10-22 10:25:58 -0600105};
106
107/*
108 * Per io_wq state
109 */
110struct io_wq {
111 struct io_wqe **wqes;
112 unsigned long state;
Jens Axboe771b53d02019-10-22 10:25:58 -0600113
Pavel Begunkove9fd9392020-03-04 16:14:12 +0300114 free_work_fn *free_work;
Pavel Begunkovf5fa38c2020-06-08 21:08:20 +0300115 io_wq_work_fn *do_work;
Jens Axboe7d723062019-11-12 22:31:31 -0700116
Jens Axboe771b53d02019-10-22 10:25:58 -0600117 struct task_struct *manager;
Jens Axboec5def4a2019-11-07 11:41:16 -0700118 struct user_struct *user;
Jens Axboe771b53d02019-10-22 10:25:58 -0600119 refcount_t refs;
120 struct completion done;
Jens Axboe848f7e12020-01-23 15:33:32 -0700121
122 refcount_t use_refs;
Jens Axboe771b53d02019-10-22 10:25:58 -0600123};
124
Jens Axboe771b53d02019-10-22 10:25:58 -0600125static bool io_worker_get(struct io_worker *worker)
126{
127 return refcount_inc_not_zero(&worker->ref);
128}
129
130static void io_worker_release(struct io_worker *worker)
131{
132 if (refcount_dec_and_test(&worker->ref))
133 wake_up_process(worker->task);
134}
135
136/*
137 * Note: drops the wqe->lock if returning true! The caller must re-acquire
138 * the lock in that case. Some callers need to restart handling if this
139 * happens, so we can't just re-acquire the lock on behalf of the caller.
140 */
141static bool __io_worker_unuse(struct io_wqe *wqe, struct io_worker *worker)
142{
Jens Axboefcb323c2019-10-24 12:39:47 -0600143 bool dropped_lock = false;
144
Jens Axboecccf0ee2020-01-27 16:34:48 -0700145 if (worker->saved_creds) {
146 revert_creds(worker->saved_creds);
147 worker->cur_creds = worker->saved_creds = NULL;
Jens Axboe181e4482019-11-25 08:52:30 -0700148 }
149
Jens Axboefcb323c2019-10-24 12:39:47 -0600150 if (current->files != worker->restore_files) {
151 __acquire(&wqe->lock);
152 spin_unlock_irq(&wqe->lock);
153 dropped_lock = true;
154
155 task_lock(current);
156 current->files = worker->restore_files;
Jens Axboe9b828492020-09-18 20:13:06 -0600157 current->nsproxy = worker->restore_nsproxy;
Jens Axboefcb323c2019-10-24 12:39:47 -0600158 task_unlock(current);
159 }
160
Jens Axboe9392a272020-02-06 21:42:51 -0700161 if (current->fs != worker->restore_fs)
162 current->fs = worker->restore_fs;
163
Jens Axboe771b53d02019-10-22 10:25:58 -0600164 /*
165 * If we have an active mm, we need to drop the wq lock before unusing
166 * it. If we do, return true and let the caller retry the idle loop.
167 */
168 if (worker->mm) {
Jens Axboefcb323c2019-10-24 12:39:47 -0600169 if (!dropped_lock) {
170 __acquire(&wqe->lock);
171 spin_unlock_irq(&wqe->lock);
172 dropped_lock = true;
173 }
Jens Axboe771b53d02019-10-22 10:25:58 -0600174 __set_current_state(TASK_RUNNING);
Christoph Hellwigf5678e72020-06-10 18:42:06 -0700175 kthread_unuse_mm(worker->mm);
Jens Axboe771b53d02019-10-22 10:25:58 -0600176 mmput(worker->mm);
177 worker->mm = NULL;
Jens Axboe771b53d02019-10-22 10:25:58 -0600178 }
179
Jens Axboefcb323c2019-10-24 12:39:47 -0600180 return dropped_lock;
Jens Axboe771b53d02019-10-22 10:25:58 -0600181}
182
Jens Axboec5def4a2019-11-07 11:41:16 -0700183static inline struct io_wqe_acct *io_work_get_acct(struct io_wqe *wqe,
184 struct io_wq_work *work)
185{
186 if (work->flags & IO_WQ_WORK_UNBOUND)
187 return &wqe->acct[IO_WQ_ACCT_UNBOUND];
188
189 return &wqe->acct[IO_WQ_ACCT_BOUND];
190}
191
192static inline struct io_wqe_acct *io_wqe_get_acct(struct io_wqe *wqe,
193 struct io_worker *worker)
194{
195 if (worker->flags & IO_WORKER_F_BOUND)
196 return &wqe->acct[IO_WQ_ACCT_BOUND];
197
198 return &wqe->acct[IO_WQ_ACCT_UNBOUND];
199}
200
Jens Axboe771b53d02019-10-22 10:25:58 -0600201static void io_worker_exit(struct io_worker *worker)
202{
203 struct io_wqe *wqe = worker->wqe;
Jens Axboec5def4a2019-11-07 11:41:16 -0700204 struct io_wqe_acct *acct = io_wqe_get_acct(wqe, worker);
205 unsigned nr_workers;
Jens Axboe771b53d02019-10-22 10:25:58 -0600206
207 /*
208 * If we're not at zero, someone else is holding a brief reference
209 * to the worker. Wait for that to go away.
210 */
211 set_current_state(TASK_INTERRUPTIBLE);
212 if (!refcount_dec_and_test(&worker->ref))
213 schedule();
214 __set_current_state(TASK_RUNNING);
215
216 preempt_disable();
217 current->flags &= ~PF_IO_WORKER;
218 if (worker->flags & IO_WORKER_F_RUNNING)
Jens Axboec5def4a2019-11-07 11:41:16 -0700219 atomic_dec(&acct->nr_running);
220 if (!(worker->flags & IO_WORKER_F_BOUND))
221 atomic_dec(&wqe->wq->user->processes);
Jens Axboe771b53d02019-10-22 10:25:58 -0600222 worker->flags = 0;
223 preempt_enable();
224
225 spin_lock_irq(&wqe->lock);
226 hlist_nulls_del_rcu(&worker->nulls_node);
Jens Axboee61df662019-11-13 13:54:49 -0700227 list_del_rcu(&worker->all_list);
Jens Axboe771b53d02019-10-22 10:25:58 -0600228 if (__io_worker_unuse(wqe, worker)) {
229 __release(&wqe->lock);
230 spin_lock_irq(&wqe->lock);
231 }
Jens Axboec5def4a2019-11-07 11:41:16 -0700232 acct->nr_workers--;
233 nr_workers = wqe->acct[IO_WQ_ACCT_BOUND].nr_workers +
234 wqe->acct[IO_WQ_ACCT_UNBOUND].nr_workers;
Jens Axboe771b53d02019-10-22 10:25:58 -0600235 spin_unlock_irq(&wqe->lock);
236
237 /* all workers gone, wq exit can proceed */
Jens Axboec5def4a2019-11-07 11:41:16 -0700238 if (!nr_workers && refcount_dec_and_test(&wqe->wq->refs))
Jens Axboe771b53d02019-10-22 10:25:58 -0600239 complete(&wqe->wq->done);
240
YueHaibing364b05f2019-11-02 15:55:01 +0800241 kfree_rcu(worker, rcu);
Jens Axboe771b53d02019-10-22 10:25:58 -0600242}
243
Jens Axboec5def4a2019-11-07 11:41:16 -0700244static inline bool io_wqe_run_queue(struct io_wqe *wqe)
245 __must_hold(wqe->lock)
246{
Jens Axboe6206f0e2019-11-26 11:59:32 -0700247 if (!wq_list_empty(&wqe->work_list) &&
248 !(wqe->flags & IO_WQE_FLAG_STALLED))
Jens Axboec5def4a2019-11-07 11:41:16 -0700249 return true;
250 return false;
251}
252
253/*
254 * Check head of free list for an available worker. If one isn't available,
255 * caller must wake up the wq manager to create one.
256 */
257static bool io_wqe_activate_free_worker(struct io_wqe *wqe)
258 __must_hold(RCU)
259{
260 struct hlist_nulls_node *n;
261 struct io_worker *worker;
262
Jens Axboe021d1cd2019-11-14 08:00:41 -0700263 n = rcu_dereference(hlist_nulls_first_rcu(&wqe->free_list));
Jens Axboec5def4a2019-11-07 11:41:16 -0700264 if (is_a_nulls(n))
265 return false;
266
267 worker = hlist_nulls_entry(n, struct io_worker, nulls_node);
268 if (io_worker_get(worker)) {
Jens Axboe506d95f2019-12-07 21:03:59 -0700269 wake_up_process(worker->task);
Jens Axboec5def4a2019-11-07 11:41:16 -0700270 io_worker_release(worker);
271 return true;
272 }
273
274 return false;
275}
276
277/*
278 * We need a worker. If we find a free one, we're good. If not, and we're
279 * below the max number of workers, wake up the manager to create one.
280 */
281static void io_wqe_wake_worker(struct io_wqe *wqe, struct io_wqe_acct *acct)
282{
283 bool ret;
284
285 /*
286 * Most likely an attempt to queue unbounded work on an io_wq that
287 * wasn't setup with any unbounded workers.
288 */
289 WARN_ON_ONCE(!acct->max_workers);
290
291 rcu_read_lock();
292 ret = io_wqe_activate_free_worker(wqe);
293 rcu_read_unlock();
294
295 if (!ret && acct->nr_workers < acct->max_workers)
296 wake_up_process(wqe->wq->manager);
297}
298
299static void io_wqe_inc_running(struct io_wqe *wqe, struct io_worker *worker)
300{
301 struct io_wqe_acct *acct = io_wqe_get_acct(wqe, worker);
302
303 atomic_inc(&acct->nr_running);
304}
305
306static void io_wqe_dec_running(struct io_wqe *wqe, struct io_worker *worker)
307 __must_hold(wqe->lock)
308{
309 struct io_wqe_acct *acct = io_wqe_get_acct(wqe, worker);
310
311 if (atomic_dec_and_test(&acct->nr_running) && io_wqe_run_queue(wqe))
312 io_wqe_wake_worker(wqe, acct);
313}
314
Jens Axboe771b53d02019-10-22 10:25:58 -0600315static void io_worker_start(struct io_wqe *wqe, struct io_worker *worker)
316{
317 allow_kernel_signal(SIGINT);
318
319 current->flags |= PF_IO_WORKER;
320
321 worker->flags |= (IO_WORKER_F_UP | IO_WORKER_F_RUNNING);
Jens Axboefcb323c2019-10-24 12:39:47 -0600322 worker->restore_files = current->files;
Jens Axboe9b828492020-09-18 20:13:06 -0600323 worker->restore_nsproxy = current->nsproxy;
Jens Axboe9392a272020-02-06 21:42:51 -0700324 worker->restore_fs = current->fs;
Jens Axboec5def4a2019-11-07 11:41:16 -0700325 io_wqe_inc_running(wqe, worker);
Jens Axboe771b53d02019-10-22 10:25:58 -0600326}
327
328/*
329 * Worker will start processing some work. Move it to the busy list, if
330 * it's currently on the freelist
331 */
332static void __io_worker_busy(struct io_wqe *wqe, struct io_worker *worker,
333 struct io_wq_work *work)
334 __must_hold(wqe->lock)
335{
Jens Axboec5def4a2019-11-07 11:41:16 -0700336 bool worker_bound, work_bound;
337
Jens Axboe771b53d02019-10-22 10:25:58 -0600338 if (worker->flags & IO_WORKER_F_FREE) {
339 worker->flags &= ~IO_WORKER_F_FREE;
340 hlist_nulls_del_init_rcu(&worker->nulls_node);
Jens Axboe771b53d02019-10-22 10:25:58 -0600341 }
Jens Axboec5def4a2019-11-07 11:41:16 -0700342
343 /*
344 * If worker is moving from bound to unbound (or vice versa), then
345 * ensure we update the running accounting.
346 */
Dan Carpenterb2e9c7d62019-11-19 09:22:16 +0300347 worker_bound = (worker->flags & IO_WORKER_F_BOUND) != 0;
348 work_bound = (work->flags & IO_WQ_WORK_UNBOUND) == 0;
349 if (worker_bound != work_bound) {
Jens Axboec5def4a2019-11-07 11:41:16 -0700350 io_wqe_dec_running(wqe, worker);
351 if (work_bound) {
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_dec(&wqe->wq->user->processes);
356 } else {
357 worker->flags &= ~IO_WORKER_F_BOUND;
358 wqe->acct[IO_WQ_ACCT_UNBOUND].nr_workers++;
359 wqe->acct[IO_WQ_ACCT_BOUND].nr_workers--;
360 atomic_inc(&wqe->wq->user->processes);
361 }
362 io_wqe_inc_running(wqe, worker);
363 }
Jens Axboe771b53d02019-10-22 10:25:58 -0600364}
365
366/*
367 * No work, worker going to sleep. Move to freelist, and unuse mm if we
368 * have one attached. Dropping the mm may potentially sleep, so we drop
369 * the lock in that case and return success. Since the caller has to
370 * retry the loop in that case (we changed task state), we don't regrab
371 * the lock if we return success.
372 */
373static bool __io_worker_idle(struct io_wqe *wqe, struct io_worker *worker)
374 __must_hold(wqe->lock)
375{
376 if (!(worker->flags & IO_WORKER_F_FREE)) {
377 worker->flags |= IO_WORKER_F_FREE;
Jens Axboe021d1cd2019-11-14 08:00:41 -0700378 hlist_nulls_add_head_rcu(&worker->nulls_node, &wqe->free_list);
Jens Axboe771b53d02019-10-22 10:25:58 -0600379 }
380
381 return __io_worker_unuse(wqe, worker);
382}
383
Pavel Begunkov60cf46a2020-03-14 00:31:05 +0300384static inline unsigned int io_get_work_hash(struct io_wq_work *work)
385{
386 return work->flags >> IO_WQ_HASH_SHIFT;
387}
388
389static struct io_wq_work *io_get_next_work(struct io_wqe *wqe)
Jens Axboe771b53d02019-10-22 10:25:58 -0600390 __must_hold(wqe->lock)
391{
Jens Axboe6206f0e2019-11-26 11:59:32 -0700392 struct io_wq_work_node *node, *prev;
Pavel Begunkov86f3cd12020-03-23 22:57:22 +0300393 struct io_wq_work *work, *tail;
Pavel Begunkov60cf46a2020-03-14 00:31:05 +0300394 unsigned int hash;
Jens Axboe771b53d02019-10-22 10:25:58 -0600395
Jens Axboe6206f0e2019-11-26 11:59:32 -0700396 wq_list_for_each(node, prev, &wqe->work_list) {
397 work = container_of(node, struct io_wq_work, list);
398
Jens Axboe771b53d02019-10-22 10:25:58 -0600399 /* not hashed, can run anytime */
Pavel Begunkov8766dd52020-03-14 00:31:04 +0300400 if (!io_wq_is_hashed(work)) {
Pavel Begunkov86f3cd12020-03-23 22:57:22 +0300401 wq_list_del(&wqe->work_list, node, prev);
Jens Axboe771b53d02019-10-22 10:25:58 -0600402 return work;
403 }
404
405 /* hashed, can run if not already running */
Pavel Begunkov60cf46a2020-03-14 00:31:05 +0300406 hash = io_get_work_hash(work);
407 if (!(wqe->hash_map & BIT(hash))) {
408 wqe->hash_map |= BIT(hash);
Pavel Begunkov86f3cd12020-03-23 22:57:22 +0300409 /* all items with this hash lie in [work, tail] */
410 tail = wqe->hash_tail[hash];
411 wqe->hash_tail[hash] = NULL;
412 wq_list_cut(&wqe->work_list, &tail->list, prev);
Jens Axboe771b53d02019-10-22 10:25:58 -0600413 return work;
414 }
415 }
416
417 return NULL;
418}
419
Jens Axboecccf0ee2020-01-27 16:34:48 -0700420static void io_wq_switch_mm(struct io_worker *worker, struct io_wq_work *work)
421{
422 if (worker->mm) {
Christoph Hellwigf5678e72020-06-10 18:42:06 -0700423 kthread_unuse_mm(worker->mm);
Jens Axboecccf0ee2020-01-27 16:34:48 -0700424 mmput(worker->mm);
425 worker->mm = NULL;
426 }
Christoph Hellwig37c54f92020-06-10 18:42:10 -0700427 if (!work->mm)
Jens Axboecccf0ee2020-01-27 16:34:48 -0700428 return;
Christoph Hellwig37c54f92020-06-10 18:42:10 -0700429
Jens Axboecccf0ee2020-01-27 16:34:48 -0700430 if (mmget_not_zero(work->mm)) {
Christoph Hellwigf5678e72020-06-10 18:42:06 -0700431 kthread_use_mm(work->mm);
Jens Axboecccf0ee2020-01-27 16:34:48 -0700432 worker->mm = work->mm;
433 /* hang on to this mm */
434 work->mm = NULL;
435 return;
436 }
437
438 /* failed grabbing mm, ensure work gets cancelled */
439 work->flags |= IO_WQ_WORK_CANCEL;
440}
441
442static void io_wq_switch_creds(struct io_worker *worker,
443 struct io_wq_work *work)
444{
445 const struct cred *old_creds = override_creds(work->creds);
446
447 worker->cur_creds = work->creds;
448 if (worker->saved_creds)
449 put_cred(old_creds); /* creds set by previous switch */
450 else
451 worker->saved_creds = old_creds;
452}
453
Pavel Begunkovdc026a72020-03-04 16:14:09 +0300454static void io_impersonate_work(struct io_worker *worker,
455 struct io_wq_work *work)
456{
457 if (work->files && current->files != work->files) {
458 task_lock(current);
459 current->files = work->files;
Jens Axboe9b828492020-09-18 20:13:06 -0600460 current->nsproxy = work->nsproxy;
Pavel Begunkovdc026a72020-03-04 16:14:09 +0300461 task_unlock(current);
462 }
463 if (work->fs && current->fs != work->fs)
464 current->fs = work->fs;
465 if (work->mm != worker->mm)
466 io_wq_switch_mm(worker, work);
467 if (worker->cur_creds != work->creds)
468 io_wq_switch_creds(worker, work);
Pavel Begunkov57f1a642020-07-15 12:46:52 +0300469 current->signal->rlim[RLIMIT_FSIZE].rlim_cur = work->fsize;
Pavel Begunkovdc026a72020-03-04 16:14:09 +0300470}
471
472static void io_assign_current_work(struct io_worker *worker,
473 struct io_wq_work *work)
474{
Pavel Begunkovd78298e2020-03-14 00:31:03 +0300475 if (work) {
476 /* flush pending signals before assigning new work */
477 if (signal_pending(current))
478 flush_signals(current);
479 cond_resched();
480 }
Pavel Begunkovdc026a72020-03-04 16:14:09 +0300481
482 spin_lock_irq(&worker->lock);
483 worker->cur_work = work;
484 spin_unlock_irq(&worker->lock);
485}
486
Pavel Begunkov60cf46a2020-03-14 00:31:05 +0300487static void io_wqe_enqueue(struct io_wqe *wqe, struct io_wq_work *work);
488
Jens Axboe771b53d02019-10-22 10:25:58 -0600489static void io_worker_handle_work(struct io_worker *worker)
490 __releases(wqe->lock)
491{
Jens Axboe771b53d02019-10-22 10:25:58 -0600492 struct io_wqe *wqe = worker->wqe;
493 struct io_wq *wq = wqe->wq;
494
495 do {
Pavel Begunkov86f3cd12020-03-23 22:57:22 +0300496 struct io_wq_work *work;
Pavel Begunkovf462fd32020-03-04 16:14:11 +0300497get_next:
Jens Axboe771b53d02019-10-22 10:25:58 -0600498 /*
Jens Axboe771b53d02019-10-22 10:25:58 -0600499 * If we got some work, mark us as busy. If we didn't, but
500 * the list isn't empty, it means we stalled on hashed work.
501 * Mark us stalled so we don't keep looking for work when we
502 * can't make progress, any work completion or insertion will
503 * clear the stalled flag.
504 */
Pavel Begunkov60cf46a2020-03-14 00:31:05 +0300505 work = io_get_next_work(wqe);
Jens Axboe771b53d02019-10-22 10:25:58 -0600506 if (work)
507 __io_worker_busy(wqe, worker, work);
Jens Axboe6206f0e2019-11-26 11:59:32 -0700508 else if (!wq_list_empty(&wqe->work_list))
Jens Axboe771b53d02019-10-22 10:25:58 -0600509 wqe->flags |= IO_WQE_FLAG_STALLED;
510
511 spin_unlock_irq(&wqe->lock);
512 if (!work)
513 break;
Pavel Begunkov58e39312020-03-04 16:14:10 +0300514 io_assign_current_work(worker, work);
Jens Axboe36c2f922019-11-13 09:43:34 -0700515
Pavel Begunkovdc026a72020-03-04 16:14:09 +0300516 /* handle a whole dependent link */
517 do {
Pavel Begunkov86f3cd12020-03-23 22:57:22 +0300518 struct io_wq_work *old_work, *next_hashed, *linked;
Pavel Begunkovb089ed392020-07-25 14:42:00 +0300519 unsigned int hash = io_get_work_hash(work);
Hillf Dantonfd1c4bc2019-12-24 09:14:29 -0700520
Pavel Begunkov86f3cd12020-03-23 22:57:22 +0300521 next_hashed = wq_next_work(work);
Pavel Begunkov58e39312020-03-04 16:14:10 +0300522 io_impersonate_work(worker, work);
Pavel Begunkovdc026a72020-03-04 16:14:09 +0300523 /*
524 * OK to set IO_WQ_WORK_CANCEL even for uncancellable
525 * work, the worker function will do the right thing.
526 */
527 if (test_bit(IO_WQ_BIT_CANCEL, &wq->state))
528 work->flags |= IO_WQ_WORK_CANCEL;
Jens Axboe36c2f922019-11-13 09:43:34 -0700529
Pavel Begunkovf4db7182020-06-25 18:20:54 +0300530 old_work = work;
531 linked = wq->do_work(work);
Pavel Begunkovf2cf1142020-03-22 19:14:26 +0300532
Pavel Begunkov86f3cd12020-03-23 22:57:22 +0300533 work = next_hashed;
534 if (!work && linked && !io_wq_is_hashed(linked)) {
535 work = linked;
536 linked = NULL;
537 }
538 io_assign_current_work(worker, work);
Pavel Begunkove9fd9392020-03-04 16:14:12 +0300539 wq->free_work(old_work);
Pavel Begunkovdc026a72020-03-04 16:14:09 +0300540
Pavel Begunkov86f3cd12020-03-23 22:57:22 +0300541 if (linked)
542 io_wqe_enqueue(wqe, linked);
543
544 if (hash != -1U && !next_hashed) {
Pavel Begunkovdc026a72020-03-04 16:14:09 +0300545 spin_lock_irq(&wqe->lock);
546 wqe->hash_map &= ~BIT_ULL(hash);
547 wqe->flags &= ~IO_WQE_FLAG_STALLED;
Pavel Begunkovf462fd32020-03-04 16:14:11 +0300548 /* skip unnecessary unlock-lock wqe->lock */
549 if (!work)
550 goto get_next;
551 spin_unlock_irq(&wqe->lock);
Pavel Begunkovdc026a72020-03-04 16:14:09 +0300552 }
Pavel Begunkov58e39312020-03-04 16:14:10 +0300553 } while (work);
Jens Axboe36c2f922019-11-13 09:43:34 -0700554
555 spin_lock_irq(&wqe->lock);
Jens Axboe771b53d02019-10-22 10:25:58 -0600556 } while (1);
557}
558
Jens Axboe771b53d02019-10-22 10:25:58 -0600559static int io_wqe_worker(void *data)
560{
561 struct io_worker *worker = data;
562 struct io_wqe *wqe = worker->wqe;
563 struct io_wq *wq = wqe->wq;
Jens Axboe771b53d02019-10-22 10:25:58 -0600564
565 io_worker_start(wqe, worker);
566
567 while (!test_bit(IO_WQ_BIT_EXIT, &wq->state)) {
Jens Axboe506d95f2019-12-07 21:03:59 -0700568 set_current_state(TASK_INTERRUPTIBLE);
Jens Axboee995d512019-12-07 21:06:46 -0700569loop:
Jens Axboe771b53d02019-10-22 10:25:58 -0600570 spin_lock_irq(&wqe->lock);
571 if (io_wqe_run_queue(wqe)) {
572 __set_current_state(TASK_RUNNING);
573 io_worker_handle_work(worker);
Jens Axboee995d512019-12-07 21:06:46 -0700574 goto loop;
Jens Axboe771b53d02019-10-22 10:25:58 -0600575 }
576 /* drops the lock on success, retry */
577 if (__io_worker_idle(wqe, worker)) {
578 __release(&wqe->lock);
Jens Axboee995d512019-12-07 21:06:46 -0700579 goto loop;
Jens Axboe771b53d02019-10-22 10:25:58 -0600580 }
581 spin_unlock_irq(&wqe->lock);
582 if (signal_pending(current))
583 flush_signals(current);
584 if (schedule_timeout(WORKER_IDLE_TIMEOUT))
585 continue;
586 /* timed out, exit unless we're the fixed worker */
587 if (test_bit(IO_WQ_BIT_EXIT, &wq->state) ||
588 !(worker->flags & IO_WORKER_F_FIXED))
589 break;
590 }
591
Jens Axboe771b53d02019-10-22 10:25:58 -0600592 if (test_bit(IO_WQ_BIT_EXIT, &wq->state)) {
593 spin_lock_irq(&wqe->lock);
Jens Axboe6206f0e2019-11-26 11:59:32 -0700594 if (!wq_list_empty(&wqe->work_list))
Jens Axboe771b53d02019-10-22 10:25:58 -0600595 io_worker_handle_work(worker);
596 else
597 spin_unlock_irq(&wqe->lock);
598 }
599
600 io_worker_exit(worker);
601 return 0;
602}
603
604/*
Jens Axboe771b53d02019-10-22 10:25:58 -0600605 * Called when a worker is scheduled in. Mark us as currently running.
606 */
607void io_wq_worker_running(struct task_struct *tsk)
608{
609 struct io_worker *worker = kthread_data(tsk);
610 struct io_wqe *wqe = worker->wqe;
611
612 if (!(worker->flags & IO_WORKER_F_UP))
613 return;
614 if (worker->flags & IO_WORKER_F_RUNNING)
615 return;
616 worker->flags |= IO_WORKER_F_RUNNING;
Jens Axboec5def4a2019-11-07 11:41:16 -0700617 io_wqe_inc_running(wqe, worker);
Jens Axboe771b53d02019-10-22 10:25:58 -0600618}
619
620/*
621 * Called when worker is going to sleep. If there are no workers currently
622 * running and we have work pending, wake up a free one or have the manager
623 * set one up.
624 */
625void io_wq_worker_sleeping(struct task_struct *tsk)
626{
627 struct io_worker *worker = kthread_data(tsk);
628 struct io_wqe *wqe = worker->wqe;
629
630 if (!(worker->flags & IO_WORKER_F_UP))
631 return;
632 if (!(worker->flags & IO_WORKER_F_RUNNING))
633 return;
634
635 worker->flags &= ~IO_WORKER_F_RUNNING;
636
637 spin_lock_irq(&wqe->lock);
Jens Axboec5def4a2019-11-07 11:41:16 -0700638 io_wqe_dec_running(wqe, worker);
Jens Axboe771b53d02019-10-22 10:25:58 -0600639 spin_unlock_irq(&wqe->lock);
640}
641
Jens Axboeb60fda62019-11-19 08:37:07 -0700642static bool create_io_worker(struct io_wq *wq, struct io_wqe *wqe, int index)
Jens Axboe771b53d02019-10-22 10:25:58 -0600643{
Jens Axboec5def4a2019-11-07 11:41:16 -0700644 struct io_wqe_acct *acct =&wqe->acct[index];
Jens Axboe771b53d02019-10-22 10:25:58 -0600645 struct io_worker *worker;
646
Jann Hornad6e0052019-11-26 17:39:45 +0100647 worker = kzalloc_node(sizeof(*worker), GFP_KERNEL, wqe->node);
Jens Axboe771b53d02019-10-22 10:25:58 -0600648 if (!worker)
Jens Axboeb60fda62019-11-19 08:37:07 -0700649 return false;
Jens Axboe771b53d02019-10-22 10:25:58 -0600650
651 refcount_set(&worker->ref, 1);
652 worker->nulls_node.pprev = NULL;
Jens Axboe771b53d02019-10-22 10:25:58 -0600653 worker->wqe = wqe;
Jens Axboe36c2f922019-11-13 09:43:34 -0700654 spin_lock_init(&worker->lock);
Jens Axboe771b53d02019-10-22 10:25:58 -0600655
656 worker->task = kthread_create_on_node(io_wqe_worker, worker, wqe->node,
Jens Axboec5def4a2019-11-07 11:41:16 -0700657 "io_wqe_worker-%d/%d", index, wqe->node);
Jens Axboe771b53d02019-10-22 10:25:58 -0600658 if (IS_ERR(worker->task)) {
659 kfree(worker);
Jens Axboeb60fda62019-11-19 08:37:07 -0700660 return false;
Jens Axboe771b53d02019-10-22 10:25:58 -0600661 }
662
663 spin_lock_irq(&wqe->lock);
Jens Axboe021d1cd2019-11-14 08:00:41 -0700664 hlist_nulls_add_head_rcu(&worker->nulls_node, &wqe->free_list);
Jens Axboee61df662019-11-13 13:54:49 -0700665 list_add_tail_rcu(&worker->all_list, &wqe->all_list);
Jens Axboe771b53d02019-10-22 10:25:58 -0600666 worker->flags |= IO_WORKER_F_FREE;
Jens Axboec5def4a2019-11-07 11:41:16 -0700667 if (index == IO_WQ_ACCT_BOUND)
668 worker->flags |= IO_WORKER_F_BOUND;
669 if (!acct->nr_workers && (worker->flags & IO_WORKER_F_BOUND))
Jens Axboe771b53d02019-10-22 10:25:58 -0600670 worker->flags |= IO_WORKER_F_FIXED;
Jens Axboec5def4a2019-11-07 11:41:16 -0700671 acct->nr_workers++;
Jens Axboe771b53d02019-10-22 10:25:58 -0600672 spin_unlock_irq(&wqe->lock);
673
Jens Axboec5def4a2019-11-07 11:41:16 -0700674 if (index == IO_WQ_ACCT_UNBOUND)
675 atomic_inc(&wq->user->processes);
676
Jens Axboe771b53d02019-10-22 10:25:58 -0600677 wake_up_process(worker->task);
Jens Axboeb60fda62019-11-19 08:37:07 -0700678 return true;
Jens Axboe771b53d02019-10-22 10:25:58 -0600679}
680
Jens Axboec5def4a2019-11-07 11:41:16 -0700681static inline bool io_wqe_need_worker(struct io_wqe *wqe, int index)
Jens Axboe771b53d02019-10-22 10:25:58 -0600682 __must_hold(wqe->lock)
683{
Jens Axboec5def4a2019-11-07 11:41:16 -0700684 struct io_wqe_acct *acct = &wqe->acct[index];
Jens Axboe771b53d02019-10-22 10:25:58 -0600685
Jens Axboec5def4a2019-11-07 11:41:16 -0700686 /* if we have available workers or no work, no need */
Jens Axboe021d1cd2019-11-14 08:00:41 -0700687 if (!hlist_nulls_empty(&wqe->free_list) || !io_wqe_run_queue(wqe))
Jens Axboec5def4a2019-11-07 11:41:16 -0700688 return false;
689 return acct->nr_workers < acct->max_workers;
Jens Axboe771b53d02019-10-22 10:25:58 -0600690}
691
692/*
693 * Manager thread. Tasked with creating new workers, if we need them.
694 */
695static int io_wq_manager(void *data)
696{
697 struct io_wq *wq = data;
Jann Horn3fc50ab2019-11-26 19:10:20 +0100698 int workers_to_create = num_possible_nodes();
699 int node;
Jens Axboeb60fda62019-11-19 08:37:07 -0700700
701 /* create fixed workers */
Jann Horn3fc50ab2019-11-26 19:10:20 +0100702 refcount_set(&wq->refs, workers_to_create);
703 for_each_node(node) {
Jens Axboe75634392020-02-11 06:30:06 -0700704 if (!node_online(node))
705 continue;
Jann Horn3fc50ab2019-11-26 19:10:20 +0100706 if (!create_io_worker(wq, wq->wqes[node], IO_WQ_ACCT_BOUND))
707 goto err;
708 workers_to_create--;
Jens Axboeb60fda62019-11-19 08:37:07 -0700709 }
710
Jens Axboe75634392020-02-11 06:30:06 -0700711 while (workers_to_create--)
712 refcount_dec(&wq->refs);
713
Jens Axboeb60fda62019-11-19 08:37:07 -0700714 complete(&wq->done);
Jens Axboe771b53d02019-10-22 10:25:58 -0600715
716 while (!kthread_should_stop()) {
Jens Axboeaa96bf82020-04-03 11:26:26 -0600717 if (current->task_works)
718 task_work_run();
719
Jann Horn3fc50ab2019-11-26 19:10:20 +0100720 for_each_node(node) {
721 struct io_wqe *wqe = wq->wqes[node];
Jens Axboec5def4a2019-11-07 11:41:16 -0700722 bool fork_worker[2] = { false, false };
Jens Axboe771b53d02019-10-22 10:25:58 -0600723
Jens Axboe75634392020-02-11 06:30:06 -0700724 if (!node_online(node))
725 continue;
726
Jens Axboe771b53d02019-10-22 10:25:58 -0600727 spin_lock_irq(&wqe->lock);
Jens Axboec5def4a2019-11-07 11:41:16 -0700728 if (io_wqe_need_worker(wqe, IO_WQ_ACCT_BOUND))
729 fork_worker[IO_WQ_ACCT_BOUND] = true;
730 if (io_wqe_need_worker(wqe, IO_WQ_ACCT_UNBOUND))
731 fork_worker[IO_WQ_ACCT_UNBOUND] = true;
Jens Axboe771b53d02019-10-22 10:25:58 -0600732 spin_unlock_irq(&wqe->lock);
Jens Axboec5def4a2019-11-07 11:41:16 -0700733 if (fork_worker[IO_WQ_ACCT_BOUND])
734 create_io_worker(wq, wqe, IO_WQ_ACCT_BOUND);
735 if (fork_worker[IO_WQ_ACCT_UNBOUND])
736 create_io_worker(wq, wqe, IO_WQ_ACCT_UNBOUND);
Jens Axboe771b53d02019-10-22 10:25:58 -0600737 }
738 set_current_state(TASK_INTERRUPTIBLE);
739 schedule_timeout(HZ);
740 }
741
Jens Axboeaa96bf82020-04-03 11:26:26 -0600742 if (current->task_works)
743 task_work_run();
744
Jens Axboe771b53d02019-10-22 10:25:58 -0600745 return 0;
Jens Axboeb60fda62019-11-19 08:37:07 -0700746err:
747 set_bit(IO_WQ_BIT_ERROR, &wq->state);
748 set_bit(IO_WQ_BIT_EXIT, &wq->state);
Jann Horn3fc50ab2019-11-26 19:10:20 +0100749 if (refcount_sub_and_test(workers_to_create, &wq->refs))
Jens Axboeb60fda62019-11-19 08:37:07 -0700750 complete(&wq->done);
751 return 0;
Jens Axboe771b53d02019-10-22 10:25:58 -0600752}
753
Jens Axboec5def4a2019-11-07 11:41:16 -0700754static bool io_wq_can_queue(struct io_wqe *wqe, struct io_wqe_acct *acct,
755 struct io_wq_work *work)
756{
757 bool free_worker;
758
759 if (!(work->flags & IO_WQ_WORK_UNBOUND))
760 return true;
761 if (atomic_read(&acct->nr_running))
762 return true;
763
764 rcu_read_lock();
Jens Axboe021d1cd2019-11-14 08:00:41 -0700765 free_worker = !hlist_nulls_empty(&wqe->free_list);
Jens Axboec5def4a2019-11-07 11:41:16 -0700766 rcu_read_unlock();
767 if (free_worker)
768 return true;
769
770 if (atomic_read(&wqe->wq->user->processes) >= acct->max_workers &&
771 !(capable(CAP_SYS_RESOURCE) || capable(CAP_SYS_ADMIN)))
772 return false;
773
774 return true;
775}
776
Pavel Begunkove9fd9392020-03-04 16:14:12 +0300777static void io_run_cancel(struct io_wq_work *work, struct io_wqe *wqe)
Pavel Begunkovfc04c392020-03-01 19:18:19 +0300778{
Pavel Begunkove9fd9392020-03-04 16:14:12 +0300779 struct io_wq *wq = wqe->wq;
780
Pavel Begunkovfc04c392020-03-01 19:18:19 +0300781 do {
782 struct io_wq_work *old_work = work;
783
784 work->flags |= IO_WQ_WORK_CANCEL;
Pavel Begunkovf4db7182020-06-25 18:20:54 +0300785 work = wq->do_work(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 Begunkov204361a2020-08-23 20:33:10 +0300932static inline void io_wqe_remove_pending(struct io_wqe *wqe,
933 struct io_wq_work *work,
934 struct io_wq_work_node *prev)
935{
936 unsigned int hash = io_get_work_hash(work);
937 struct io_wq_work *prev_work = NULL;
938
939 if (io_wq_is_hashed(work) && work == wqe->hash_tail[hash]) {
940 if (prev)
941 prev_work = container_of(prev, struct io_wq_work, list);
942 if (prev_work && io_get_work_hash(prev_work) == hash)
943 wqe->hash_tail[hash] = prev_work;
944 else
945 wqe->hash_tail[hash] = NULL;
946 }
947 wq_list_del(&wqe->work_list, &work->list, prev);
948}
949
Pavel Begunkov4f26bda2020-06-15 10:24:03 +0300950static void io_wqe_cancel_pending_work(struct io_wqe *wqe,
Pavel Begunkovf4c26652020-06-15 10:24:02 +0300951 struct io_cb_cancel_data *match)
Jens Axboe771b53d02019-10-22 10:25:58 -0600952{
Jens Axboe6206f0e2019-11-26 11:59:32 -0700953 struct io_wq_work_node *node, *prev;
Jens Axboe771b53d02019-10-22 10:25:58 -0600954 struct io_wq_work *work;
Jens Axboe6f726532019-11-05 13:51:51 -0700955 unsigned long flags;
Jens Axboe771b53d02019-10-22 10:25:58 -0600956
Pavel Begunkov4f26bda2020-06-15 10:24:03 +0300957retry:
Jens Axboe6f726532019-11-05 13:51:51 -0700958 spin_lock_irqsave(&wqe->lock, flags);
Jens Axboe6206f0e2019-11-26 11:59:32 -0700959 wq_list_for_each(node, prev, &wqe->work_list) {
960 work = container_of(node, struct io_wq_work, list);
Pavel Begunkov4f26bda2020-06-15 10:24:03 +0300961 if (!match->fn(work, match->data))
962 continue;
Pavel Begunkov204361a2020-08-23 20:33:10 +0300963 io_wqe_remove_pending(wqe, work, prev);
Pavel Begunkov4f26bda2020-06-15 10:24:03 +0300964 spin_unlock_irqrestore(&wqe->lock, flags);
965 io_run_cancel(work, wqe);
966 match->nr_pending++;
967 if (!match->cancel_all)
968 return;
969
970 /* not safe to continue after unlock */
971 goto retry;
Jens Axboe771b53d02019-10-22 10:25:58 -0600972 }
Jens Axboe6f726532019-11-05 13:51:51 -0700973 spin_unlock_irqrestore(&wqe->lock, flags);
Pavel Begunkovf4c26652020-06-15 10:24:02 +0300974}
Jens Axboe771b53d02019-10-22 10:25:58 -0600975
Pavel Begunkov4f26bda2020-06-15 10:24:03 +0300976static void io_wqe_cancel_running_work(struct io_wqe *wqe,
Pavel Begunkovf4c26652020-06-15 10:24:02 +0300977 struct io_cb_cancel_data *match)
978{
Jens Axboe771b53d02019-10-22 10:25:58 -0600979 rcu_read_lock();
Pavel Begunkov4f26bda2020-06-15 10:24:03 +0300980 io_wq_for_each_worker(wqe, io_wq_worker_cancel, match);
Jens Axboe771b53d02019-10-22 10:25:58 -0600981 rcu_read_unlock();
Jens Axboe771b53d02019-10-22 10:25:58 -0600982}
983
Pavel Begunkov2293b412020-03-07 01:15:39 +0300984enum io_wq_cancel io_wq_cancel_cb(struct io_wq *wq, work_cancel_fn *cancel,
Pavel Begunkov4f26bda2020-06-15 10:24:03 +0300985 void *data, bool cancel_all)
Pavel Begunkov2293b412020-03-07 01:15:39 +0300986{
987 struct io_cb_cancel_data match = {
Pavel Begunkov4f26bda2020-06-15 10:24:03 +0300988 .fn = cancel,
989 .data = data,
990 .cancel_all = cancel_all,
Pavel Begunkov2293b412020-03-07 01:15:39 +0300991 };
Pavel Begunkov2293b412020-03-07 01:15:39 +0300992 int node;
993
Pavel Begunkovf4c26652020-06-15 10:24:02 +0300994 /*
995 * First check pending list, if we're lucky we can just remove it
996 * from there. CANCEL_OK means that the work is returned as-new,
997 * no completion will be posted for it.
998 */
Pavel Begunkov2293b412020-03-07 01:15:39 +0300999 for_each_node(node) {
1000 struct io_wqe *wqe = wq->wqes[node];
1001
Pavel Begunkov4f26bda2020-06-15 10:24:03 +03001002 io_wqe_cancel_pending_work(wqe, &match);
1003 if (match.nr_pending && !match.cancel_all)
Pavel Begunkovf4c26652020-06-15 10:24:02 +03001004 return IO_WQ_CANCEL_OK;
Pavel Begunkov2293b412020-03-07 01:15:39 +03001005 }
1006
Pavel Begunkovf4c26652020-06-15 10:24:02 +03001007 /*
1008 * Now check if a free (going busy) or busy worker has the work
1009 * currently running. If we find it there, we'll return CANCEL_RUNNING
1010 * as an indication that we attempt to signal cancellation. The
1011 * completion will run normally in this case.
1012 */
1013 for_each_node(node) {
1014 struct io_wqe *wqe = wq->wqes[node];
1015
Pavel Begunkov4f26bda2020-06-15 10:24:03 +03001016 io_wqe_cancel_running_work(wqe, &match);
1017 if (match.nr_running && !match.cancel_all)
Pavel Begunkovf4c26652020-06-15 10:24:02 +03001018 return IO_WQ_CANCEL_RUNNING;
1019 }
1020
Pavel Begunkov4f26bda2020-06-15 10:24:03 +03001021 if (match.nr_running)
1022 return IO_WQ_CANCEL_RUNNING;
1023 if (match.nr_pending)
1024 return IO_WQ_CANCEL_OK;
Pavel Begunkovf4c26652020-06-15 10:24:02 +03001025 return IO_WQ_CANCEL_NOTFOUND;
Pavel Begunkov2293b412020-03-07 01:15:39 +03001026}
1027
1028static bool io_wq_io_cb_cancel_data(struct io_wq_work *work, void *data)
Jens Axboe00bcda12020-02-08 19:13:32 -07001029{
1030 return work == data;
1031}
1032
Jens Axboe771b53d02019-10-22 10:25:58 -06001033enum io_wq_cancel io_wq_cancel_work(struct io_wq *wq, struct io_wq_work *cwork)
1034{
Pavel Begunkov4f26bda2020-06-15 10:24:03 +03001035 return io_wq_cancel_cb(wq, io_wq_io_cb_cancel_data, (void *)cwork, false);
Jens Axboe771b53d02019-10-22 10:25:58 -06001036}
1037
Jens Axboe576a3472019-11-25 08:49:20 -07001038struct io_wq *io_wq_create(unsigned bounded, struct io_wq_data *data)
Jens Axboe771b53d02019-10-22 10:25:58 -06001039{
Jann Horn3fc50ab2019-11-26 19:10:20 +01001040 int ret = -ENOMEM, node;
Jens Axboe771b53d02019-10-22 10:25:58 -06001041 struct io_wq *wq;
1042
Pavel Begunkovf5fa38c2020-06-08 21:08:20 +03001043 if (WARN_ON_ONCE(!data->free_work || !data->do_work))
Pavel Begunkove9fd9392020-03-04 16:14:12 +03001044 return ERR_PTR(-EINVAL);
1045
Jann Hornad6e0052019-11-26 17:39:45 +01001046 wq = kzalloc(sizeof(*wq), GFP_KERNEL);
Jens Axboe771b53d02019-10-22 10:25:58 -06001047 if (!wq)
1048 return ERR_PTR(-ENOMEM);
1049
Jann Horn3fc50ab2019-11-26 19:10:20 +01001050 wq->wqes = kcalloc(nr_node_ids, sizeof(struct io_wqe *), GFP_KERNEL);
Jens Axboe771b53d02019-10-22 10:25:58 -06001051 if (!wq->wqes) {
1052 kfree(wq);
1053 return ERR_PTR(-ENOMEM);
1054 }
1055
Pavel Begunkove9fd9392020-03-04 16:14:12 +03001056 wq->free_work = data->free_work;
Pavel Begunkovf5fa38c2020-06-08 21:08:20 +03001057 wq->do_work = data->do_work;
Jens Axboe7d723062019-11-12 22:31:31 -07001058
Jens Axboec5def4a2019-11-07 11:41:16 -07001059 /* caller must already hold a reference to this */
Jens Axboe576a3472019-11-25 08:49:20 -07001060 wq->user = data->user;
Jens Axboec5def4a2019-11-07 11:41:16 -07001061
Jann Horn3fc50ab2019-11-26 19:10:20 +01001062 for_each_node(node) {
Jens Axboe771b53d02019-10-22 10:25:58 -06001063 struct io_wqe *wqe;
Jens Axboe75634392020-02-11 06:30:06 -07001064 int alloc_node = node;
Jens Axboe771b53d02019-10-22 10:25:58 -06001065
Jens Axboe75634392020-02-11 06:30:06 -07001066 if (!node_online(alloc_node))
1067 alloc_node = NUMA_NO_NODE;
1068 wqe = kzalloc_node(sizeof(struct io_wqe), GFP_KERNEL, alloc_node);
Jens Axboe771b53d02019-10-22 10:25:58 -06001069 if (!wqe)
Jann Horn3fc50ab2019-11-26 19:10:20 +01001070 goto err;
1071 wq->wqes[node] = wqe;
Jens Axboe75634392020-02-11 06:30:06 -07001072 wqe->node = alloc_node;
Jens Axboec5def4a2019-11-07 11:41:16 -07001073 wqe->acct[IO_WQ_ACCT_BOUND].max_workers = bounded;
1074 atomic_set(&wqe->acct[IO_WQ_ACCT_BOUND].nr_running, 0);
Jens Axboe576a3472019-11-25 08:49:20 -07001075 if (wq->user) {
Jens Axboec5def4a2019-11-07 11:41:16 -07001076 wqe->acct[IO_WQ_ACCT_UNBOUND].max_workers =
1077 task_rlimit(current, RLIMIT_NPROC);
1078 }
1079 atomic_set(&wqe->acct[IO_WQ_ACCT_UNBOUND].nr_running, 0);
Jens Axboe771b53d02019-10-22 10:25:58 -06001080 wqe->wq = wq;
1081 spin_lock_init(&wqe->lock);
Jens Axboe6206f0e2019-11-26 11:59:32 -07001082 INIT_WQ_LIST(&wqe->work_list);
Jens Axboe021d1cd2019-11-14 08:00:41 -07001083 INIT_HLIST_NULLS_HEAD(&wqe->free_list, 0);
Jens Axboee61df662019-11-13 13:54:49 -07001084 INIT_LIST_HEAD(&wqe->all_list);
Jens Axboe771b53d02019-10-22 10:25:58 -06001085 }
1086
1087 init_completion(&wq->done);
1088
Jens Axboe771b53d02019-10-22 10:25:58 -06001089 wq->manager = kthread_create(io_wq_manager, wq, "io_wq_manager");
1090 if (!IS_ERR(wq->manager)) {
1091 wake_up_process(wq->manager);
Jens Axboeb60fda62019-11-19 08:37:07 -07001092 wait_for_completion(&wq->done);
1093 if (test_bit(IO_WQ_BIT_ERROR, &wq->state)) {
1094 ret = -ENOMEM;
1095 goto err;
1096 }
Jens Axboe848f7e12020-01-23 15:33:32 -07001097 refcount_set(&wq->use_refs, 1);
Jens Axboeb60fda62019-11-19 08:37:07 -07001098 reinit_completion(&wq->done);
Jens Axboe771b53d02019-10-22 10:25:58 -06001099 return wq;
1100 }
1101
1102 ret = PTR_ERR(wq->manager);
Jens Axboe771b53d02019-10-22 10:25:58 -06001103 complete(&wq->done);
Jens Axboeb60fda62019-11-19 08:37:07 -07001104err:
Jann Horn3fc50ab2019-11-26 19:10:20 +01001105 for_each_node(node)
1106 kfree(wq->wqes[node]);
Jens Axboeb60fda62019-11-19 08:37:07 -07001107 kfree(wq->wqes);
1108 kfree(wq);
Jens Axboe771b53d02019-10-22 10:25:58 -06001109 return ERR_PTR(ret);
1110}
1111
Pavel Begunkoveba6f5a2020-01-28 03:15:47 +03001112bool io_wq_get(struct io_wq *wq, struct io_wq_data *data)
1113{
Pavel Begunkovf5fa38c2020-06-08 21:08:20 +03001114 if (data->free_work != wq->free_work || data->do_work != wq->do_work)
Pavel Begunkoveba6f5a2020-01-28 03:15:47 +03001115 return false;
1116
1117 return refcount_inc_not_zero(&wq->use_refs);
1118}
1119
Jens Axboe771b53d02019-10-22 10:25:58 -06001120static bool io_wq_worker_wake(struct io_worker *worker, void *data)
1121{
1122 wake_up_process(worker->task);
1123 return false;
1124}
1125
Jens Axboe848f7e12020-01-23 15:33:32 -07001126static void __io_wq_destroy(struct io_wq *wq)
Jens Axboe771b53d02019-10-22 10:25:58 -06001127{
Jann Horn3fc50ab2019-11-26 19:10:20 +01001128 int node;
Jens Axboe771b53d02019-10-22 10:25:58 -06001129
Jens Axboeb60fda62019-11-19 08:37:07 -07001130 set_bit(IO_WQ_BIT_EXIT, &wq->state);
1131 if (wq->manager)
Jens Axboe771b53d02019-10-22 10:25:58 -06001132 kthread_stop(wq->manager);
Jens Axboe771b53d02019-10-22 10:25:58 -06001133
1134 rcu_read_lock();
Jann Horn3fc50ab2019-11-26 19:10:20 +01001135 for_each_node(node)
1136 io_wq_for_each_worker(wq->wqes[node], io_wq_worker_wake, NULL);
Jens Axboe771b53d02019-10-22 10:25:58 -06001137 rcu_read_unlock();
1138
1139 wait_for_completion(&wq->done);
1140
Jann Horn3fc50ab2019-11-26 19:10:20 +01001141 for_each_node(node)
1142 kfree(wq->wqes[node]);
Jens Axboe771b53d02019-10-22 10:25:58 -06001143 kfree(wq->wqes);
1144 kfree(wq);
1145}
Jens Axboe848f7e12020-01-23 15:33:32 -07001146
1147void io_wq_destroy(struct io_wq *wq)
1148{
1149 if (refcount_dec_and_test(&wq->use_refs))
1150 __io_wq_destroy(wq);
1151}
Jens Axboeaa96bf82020-04-03 11:26:26 -06001152
1153struct task_struct *io_wq_get_task(struct io_wq *wq)
1154{
1155 return wq->manager;
1156}