blob: a564f36e260c13fda11be0960dfd6256499bf695 [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>
Dennis Zhou91d8f512020-09-16 13:41:05 -070020#include <linux/blk-cgroup.h>
Jens Axboe4ea33a92020-10-15 13:46:44 -060021#include <linux/audit.h>
Jens Axboe43c01fb2020-10-22 09:02:50 -060022#include <linux/cpu.h>
Jens Axboe771b53d02019-10-22 10:25:58 -060023
Jens Axboe43c01fb2020-10-22 09:02:50 -060024#include "../kernel/sched/sched.h"
Jens Axboe771b53d02019-10-22 10:25:58 -060025#include "io-wq.h"
26
27#define WORKER_IDLE_TIMEOUT (5 * HZ)
28
29enum {
30 IO_WORKER_F_UP = 1, /* up and active */
31 IO_WORKER_F_RUNNING = 2, /* account as running */
32 IO_WORKER_F_FREE = 4, /* worker on free list */
Jens Axboe145cc8c2020-09-26 12:37:46 -060033 IO_WORKER_F_FIXED = 8, /* static idle worker */
34 IO_WORKER_F_BOUND = 16, /* is doing bounded work */
Jens Axboe771b53d02019-10-22 10:25:58 -060035};
36
37enum {
38 IO_WQ_BIT_EXIT = 0, /* wq exiting */
Jens Axboe446bc1c2020-12-20 10:47:42 -070039 IO_WQ_BIT_ERROR = 1, /* error on setup */
Jens Axboe771b53d02019-10-22 10:25:58 -060040};
41
42enum {
43 IO_WQE_FLAG_STALLED = 1, /* stalled on hash */
44};
45
46/*
47 * One for each thread in a wqe pool
48 */
49struct io_worker {
50 refcount_t ref;
51 unsigned flags;
52 struct hlist_nulls_node nulls_node;
Jens Axboee61df662019-11-13 13:54:49 -070053 struct list_head all_list;
Jens Axboe771b53d02019-10-22 10:25:58 -060054 struct task_struct *task;
Jens Axboe771b53d02019-10-22 10:25:58 -060055 struct io_wqe *wqe;
Jens Axboe36c2f922019-11-13 09:43:34 -070056
Jens Axboe771b53d02019-10-22 10:25:58 -060057 struct io_wq_work *cur_work;
Jens Axboe36c2f922019-11-13 09:43:34 -070058 spinlock_t lock;
Jens Axboe771b53d02019-10-22 10:25:58 -060059
60 struct rcu_head rcu;
61 struct mm_struct *mm;
Dennis Zhou91d8f512020-09-16 13:41:05 -070062#ifdef CONFIG_BLK_CGROUP
63 struct cgroup_subsys_state *blkcg_css;
64#endif
Jens Axboecccf0ee2020-01-27 16:34:48 -070065 const struct cred *cur_creds;
66 const struct cred *saved_creds;
Jens Axboefcb323c2019-10-24 12:39:47 -060067 struct files_struct *restore_files;
Jens Axboe9b828492020-09-18 20:13:06 -060068 struct nsproxy *restore_nsproxy;
Jens Axboe9392a272020-02-06 21:42:51 -070069 struct fs_struct *restore_fs;
Jens Axboe771b53d02019-10-22 10:25:58 -060070};
71
Jens Axboe771b53d02019-10-22 10:25:58 -060072#if BITS_PER_LONG == 64
73#define IO_WQ_HASH_ORDER 6
74#else
75#define IO_WQ_HASH_ORDER 5
76#endif
77
Pavel Begunkov86f3cd12020-03-23 22:57:22 +030078#define IO_WQ_NR_HASH_BUCKETS (1u << IO_WQ_HASH_ORDER)
79
Jens Axboec5def4a2019-11-07 11:41:16 -070080struct io_wqe_acct {
81 unsigned nr_workers;
82 unsigned max_workers;
83 atomic_t nr_running;
84};
85
86enum {
87 IO_WQ_ACCT_BOUND,
88 IO_WQ_ACCT_UNBOUND,
89};
90
Jens Axboe771b53d02019-10-22 10:25:58 -060091/*
92 * Per-node worker thread pool
93 */
94struct io_wqe {
95 struct {
Sebastian Andrzej Siewior95da8462020-09-01 10:41:46 +020096 raw_spinlock_t lock;
Jens Axboe6206f0e2019-11-26 11:59:32 -070097 struct io_wq_work_list work_list;
Jens Axboe771b53d02019-10-22 10:25:58 -060098 unsigned long hash_map;
99 unsigned flags;
100 } ____cacheline_aligned_in_smp;
101
102 int node;
Jens Axboec5def4a2019-11-07 11:41:16 -0700103 struct io_wqe_acct acct[2];
Jens Axboe771b53d02019-10-22 10:25:58 -0600104
Jens Axboe021d1cd2019-11-14 08:00:41 -0700105 struct hlist_nulls_head free_list;
Jens Axboee61df662019-11-13 13:54:49 -0700106 struct list_head all_list;
Jens Axboe771b53d02019-10-22 10:25:58 -0600107
108 struct io_wq *wq;
Pavel Begunkov86f3cd12020-03-23 22:57:22 +0300109 struct io_wq_work *hash_tail[IO_WQ_NR_HASH_BUCKETS];
Jens Axboe771b53d02019-10-22 10:25:58 -0600110};
111
112/*
113 * Per io_wq state
114 */
115struct io_wq {
116 struct io_wqe **wqes;
117 unsigned long state;
Jens Axboe771b53d02019-10-22 10:25:58 -0600118
Pavel Begunkove9fd9392020-03-04 16:14:12 +0300119 free_work_fn *free_work;
Pavel Begunkovf5fa38c2020-06-08 21:08:20 +0300120 io_wq_work_fn *do_work;
Jens Axboe7d723062019-11-12 22:31:31 -0700121
Jens Axboe771b53d02019-10-22 10:25:58 -0600122 struct task_struct *manager;
Jens Axboec5def4a2019-11-07 11:41:16 -0700123 struct user_struct *user;
Jens Axboe771b53d02019-10-22 10:25:58 -0600124 refcount_t refs;
125 struct completion done;
Jens Axboe848f7e12020-01-23 15:33:32 -0700126
Jens Axboe43c01fb2020-10-22 09:02:50 -0600127 struct hlist_node cpuhp_node;
128
Jens Axboe848f7e12020-01-23 15:33:32 -0700129 refcount_t use_refs;
Jens Axboe771b53d02019-10-22 10:25:58 -0600130};
131
Jens Axboe43c01fb2020-10-22 09:02:50 -0600132static enum cpuhp_state io_wq_online;
133
Jens Axboe771b53d02019-10-22 10:25:58 -0600134static bool io_worker_get(struct io_worker *worker)
135{
136 return refcount_inc_not_zero(&worker->ref);
137}
138
139static void io_worker_release(struct io_worker *worker)
140{
141 if (refcount_dec_and_test(&worker->ref))
142 wake_up_process(worker->task);
143}
144
145/*
146 * Note: drops the wqe->lock if returning true! The caller must re-acquire
147 * the lock in that case. Some callers need to restart handling if this
148 * happens, so we can't just re-acquire the lock on behalf of the caller.
149 */
150static bool __io_worker_unuse(struct io_wqe *wqe, struct io_worker *worker)
151{
Jens Axboefcb323c2019-10-24 12:39:47 -0600152 bool dropped_lock = false;
153
Jens Axboecccf0ee2020-01-27 16:34:48 -0700154 if (worker->saved_creds) {
155 revert_creds(worker->saved_creds);
156 worker->cur_creds = worker->saved_creds = NULL;
Jens Axboe181e4482019-11-25 08:52:30 -0700157 }
158
Jens Axboefcb323c2019-10-24 12:39:47 -0600159 if (current->files != worker->restore_files) {
160 __acquire(&wqe->lock);
Sebastian Andrzej Siewior95da8462020-09-01 10:41:46 +0200161 raw_spin_unlock_irq(&wqe->lock);
Jens Axboefcb323c2019-10-24 12:39:47 -0600162 dropped_lock = true;
163
164 task_lock(current);
165 current->files = worker->restore_files;
Jens Axboe9b828492020-09-18 20:13:06 -0600166 current->nsproxy = worker->restore_nsproxy;
Jens Axboefcb323c2019-10-24 12:39:47 -0600167 task_unlock(current);
168 }
169
Jens Axboe9392a272020-02-06 21:42:51 -0700170 if (current->fs != worker->restore_fs)
171 current->fs = worker->restore_fs;
172
Jens Axboe771b53d02019-10-22 10:25:58 -0600173 /*
174 * If we have an active mm, we need to drop the wq lock before unusing
175 * it. If we do, return true and let the caller retry the idle loop.
176 */
177 if (worker->mm) {
Jens Axboefcb323c2019-10-24 12:39:47 -0600178 if (!dropped_lock) {
179 __acquire(&wqe->lock);
Sebastian Andrzej Siewior95da8462020-09-01 10:41:46 +0200180 raw_spin_unlock_irq(&wqe->lock);
Jens Axboefcb323c2019-10-24 12:39:47 -0600181 dropped_lock = true;
182 }
Jens Axboe771b53d02019-10-22 10:25:58 -0600183 __set_current_state(TASK_RUNNING);
Christoph Hellwigf5678e72020-06-10 18:42:06 -0700184 kthread_unuse_mm(worker->mm);
Jens Axboe771b53d02019-10-22 10:25:58 -0600185 mmput(worker->mm);
186 worker->mm = NULL;
Jens Axboe771b53d02019-10-22 10:25:58 -0600187 }
188
Dennis Zhou91d8f512020-09-16 13:41:05 -0700189#ifdef CONFIG_BLK_CGROUP
190 if (worker->blkcg_css) {
191 kthread_associate_blkcg(NULL);
192 worker->blkcg_css = NULL;
193 }
194#endif
Jens Axboe69228332020-10-20 14:28:41 -0600195 if (current->signal->rlim[RLIMIT_FSIZE].rlim_cur != RLIM_INFINITY)
196 current->signal->rlim[RLIMIT_FSIZE].rlim_cur = RLIM_INFINITY;
Jens Axboefcb323c2019-10-24 12:39:47 -0600197 return dropped_lock;
Jens Axboe771b53d02019-10-22 10:25:58 -0600198}
199
Jens Axboec5def4a2019-11-07 11:41:16 -0700200static inline struct io_wqe_acct *io_work_get_acct(struct io_wqe *wqe,
201 struct io_wq_work *work)
202{
203 if (work->flags & IO_WQ_WORK_UNBOUND)
204 return &wqe->acct[IO_WQ_ACCT_UNBOUND];
205
206 return &wqe->acct[IO_WQ_ACCT_BOUND];
207}
208
209static inline struct io_wqe_acct *io_wqe_get_acct(struct io_wqe *wqe,
210 struct io_worker *worker)
211{
212 if (worker->flags & IO_WORKER_F_BOUND)
213 return &wqe->acct[IO_WQ_ACCT_BOUND];
214
215 return &wqe->acct[IO_WQ_ACCT_UNBOUND];
216}
217
Jens Axboe771b53d02019-10-22 10:25:58 -0600218static void io_worker_exit(struct io_worker *worker)
219{
220 struct io_wqe *wqe = worker->wqe;
Jens Axboec5def4a2019-11-07 11:41:16 -0700221 struct io_wqe_acct *acct = io_wqe_get_acct(wqe, worker);
Jens Axboe771b53d02019-10-22 10:25:58 -0600222
223 /*
224 * If we're not at zero, someone else is holding a brief reference
225 * to the worker. Wait for that to go away.
226 */
227 set_current_state(TASK_INTERRUPTIBLE);
228 if (!refcount_dec_and_test(&worker->ref))
229 schedule();
230 __set_current_state(TASK_RUNNING);
231
232 preempt_disable();
233 current->flags &= ~PF_IO_WORKER;
234 if (worker->flags & IO_WORKER_F_RUNNING)
Jens Axboec5def4a2019-11-07 11:41:16 -0700235 atomic_dec(&acct->nr_running);
236 if (!(worker->flags & IO_WORKER_F_BOUND))
237 atomic_dec(&wqe->wq->user->processes);
Jens Axboe771b53d02019-10-22 10:25:58 -0600238 worker->flags = 0;
239 preempt_enable();
240
Sebastian Andrzej Siewior95da8462020-09-01 10:41:46 +0200241 raw_spin_lock_irq(&wqe->lock);
Jens Axboe771b53d02019-10-22 10:25:58 -0600242 hlist_nulls_del_rcu(&worker->nulls_node);
Jens Axboee61df662019-11-13 13:54:49 -0700243 list_del_rcu(&worker->all_list);
Jens Axboe771b53d02019-10-22 10:25:58 -0600244 if (__io_worker_unuse(wqe, worker)) {
245 __release(&wqe->lock);
Sebastian Andrzej Siewior95da8462020-09-01 10:41:46 +0200246 raw_spin_lock_irq(&wqe->lock);
Jens Axboe771b53d02019-10-22 10:25:58 -0600247 }
Jens Axboec5def4a2019-11-07 11:41:16 -0700248 acct->nr_workers--;
Sebastian Andrzej Siewior95da8462020-09-01 10:41:46 +0200249 raw_spin_unlock_irq(&wqe->lock);
Jens Axboe771b53d02019-10-22 10:25:58 -0600250
YueHaibing364b05f2019-11-02 15:55:01 +0800251 kfree_rcu(worker, rcu);
Hillf Dantonc4068bf2020-09-26 21:26:55 +0800252 if (refcount_dec_and_test(&wqe->wq->refs))
253 complete(&wqe->wq->done);
Jens Axboe771b53d02019-10-22 10:25:58 -0600254}
255
Jens Axboec5def4a2019-11-07 11:41:16 -0700256static inline bool io_wqe_run_queue(struct io_wqe *wqe)
257 __must_hold(wqe->lock)
258{
Jens Axboe6206f0e2019-11-26 11:59:32 -0700259 if (!wq_list_empty(&wqe->work_list) &&
260 !(wqe->flags & IO_WQE_FLAG_STALLED))
Jens Axboec5def4a2019-11-07 11:41:16 -0700261 return true;
262 return false;
263}
264
265/*
266 * Check head of free list for an available worker. If one isn't available,
267 * caller must wake up the wq manager to create one.
268 */
269static bool io_wqe_activate_free_worker(struct io_wqe *wqe)
270 __must_hold(RCU)
271{
272 struct hlist_nulls_node *n;
273 struct io_worker *worker;
274
Jens Axboe021d1cd2019-11-14 08:00:41 -0700275 n = rcu_dereference(hlist_nulls_first_rcu(&wqe->free_list));
Jens Axboec5def4a2019-11-07 11:41:16 -0700276 if (is_a_nulls(n))
277 return false;
278
279 worker = hlist_nulls_entry(n, struct io_worker, nulls_node);
280 if (io_worker_get(worker)) {
Jens Axboe506d95f2019-12-07 21:03:59 -0700281 wake_up_process(worker->task);
Jens Axboec5def4a2019-11-07 11:41:16 -0700282 io_worker_release(worker);
283 return true;
284 }
285
286 return false;
287}
288
289/*
290 * We need a worker. If we find a free one, we're good. If not, and we're
291 * below the max number of workers, wake up the manager to create one.
292 */
293static void io_wqe_wake_worker(struct io_wqe *wqe, struct io_wqe_acct *acct)
294{
295 bool ret;
296
297 /*
298 * Most likely an attempt to queue unbounded work on an io_wq that
299 * wasn't setup with any unbounded workers.
300 */
301 WARN_ON_ONCE(!acct->max_workers);
302
303 rcu_read_lock();
304 ret = io_wqe_activate_free_worker(wqe);
305 rcu_read_unlock();
306
307 if (!ret && acct->nr_workers < acct->max_workers)
308 wake_up_process(wqe->wq->manager);
309}
310
311static void io_wqe_inc_running(struct io_wqe *wqe, struct io_worker *worker)
312{
313 struct io_wqe_acct *acct = io_wqe_get_acct(wqe, worker);
314
315 atomic_inc(&acct->nr_running);
316}
317
318static void io_wqe_dec_running(struct io_wqe *wqe, struct io_worker *worker)
319 __must_hold(wqe->lock)
320{
321 struct io_wqe_acct *acct = io_wqe_get_acct(wqe, worker);
322
323 if (atomic_dec_and_test(&acct->nr_running) && io_wqe_run_queue(wqe))
324 io_wqe_wake_worker(wqe, acct);
325}
326
Jens Axboe771b53d02019-10-22 10:25:58 -0600327static void io_worker_start(struct io_wqe *wqe, struct io_worker *worker)
328{
329 allow_kernel_signal(SIGINT);
330
331 current->flags |= PF_IO_WORKER;
332
333 worker->flags |= (IO_WORKER_F_UP | IO_WORKER_F_RUNNING);
Jens Axboefcb323c2019-10-24 12:39:47 -0600334 worker->restore_files = current->files;
Jens Axboe9b828492020-09-18 20:13:06 -0600335 worker->restore_nsproxy = current->nsproxy;
Jens Axboe9392a272020-02-06 21:42:51 -0700336 worker->restore_fs = current->fs;
Jens Axboec5def4a2019-11-07 11:41:16 -0700337 io_wqe_inc_running(wqe, worker);
Jens Axboe771b53d02019-10-22 10:25:58 -0600338}
339
340/*
341 * Worker will start processing some work. Move it to the busy list, if
342 * it's currently on the freelist
343 */
344static void __io_worker_busy(struct io_wqe *wqe, struct io_worker *worker,
345 struct io_wq_work *work)
346 __must_hold(wqe->lock)
347{
Jens Axboec5def4a2019-11-07 11:41:16 -0700348 bool worker_bound, work_bound;
349
Jens Axboe771b53d02019-10-22 10:25:58 -0600350 if (worker->flags & IO_WORKER_F_FREE) {
351 worker->flags &= ~IO_WORKER_F_FREE;
352 hlist_nulls_del_init_rcu(&worker->nulls_node);
Jens Axboe771b53d02019-10-22 10:25:58 -0600353 }
Jens Axboec5def4a2019-11-07 11:41:16 -0700354
355 /*
356 * If worker is moving from bound to unbound (or vice versa), then
357 * ensure we update the running accounting.
358 */
Dan Carpenterb2e9c7d62019-11-19 09:22:16 +0300359 worker_bound = (worker->flags & IO_WORKER_F_BOUND) != 0;
360 work_bound = (work->flags & IO_WQ_WORK_UNBOUND) == 0;
361 if (worker_bound != work_bound) {
Jens Axboec5def4a2019-11-07 11:41:16 -0700362 io_wqe_dec_running(wqe, worker);
363 if (work_bound) {
364 worker->flags |= IO_WORKER_F_BOUND;
365 wqe->acct[IO_WQ_ACCT_UNBOUND].nr_workers--;
366 wqe->acct[IO_WQ_ACCT_BOUND].nr_workers++;
367 atomic_dec(&wqe->wq->user->processes);
368 } else {
369 worker->flags &= ~IO_WORKER_F_BOUND;
370 wqe->acct[IO_WQ_ACCT_UNBOUND].nr_workers++;
371 wqe->acct[IO_WQ_ACCT_BOUND].nr_workers--;
372 atomic_inc(&wqe->wq->user->processes);
373 }
374 io_wqe_inc_running(wqe, worker);
375 }
Jens Axboe771b53d02019-10-22 10:25:58 -0600376}
377
378/*
379 * No work, worker going to sleep. Move to freelist, and unuse mm if we
380 * have one attached. Dropping the mm may potentially sleep, so we drop
381 * the lock in that case and return success. Since the caller has to
382 * retry the loop in that case (we changed task state), we don't regrab
383 * the lock if we return success.
384 */
385static bool __io_worker_idle(struct io_wqe *wqe, struct io_worker *worker)
386 __must_hold(wqe->lock)
387{
388 if (!(worker->flags & IO_WORKER_F_FREE)) {
389 worker->flags |= IO_WORKER_F_FREE;
Jens Axboe021d1cd2019-11-14 08:00:41 -0700390 hlist_nulls_add_head_rcu(&worker->nulls_node, &wqe->free_list);
Jens Axboe771b53d02019-10-22 10:25:58 -0600391 }
392
393 return __io_worker_unuse(wqe, worker);
394}
395
Pavel Begunkov60cf46a2020-03-14 00:31:05 +0300396static inline unsigned int io_get_work_hash(struct io_wq_work *work)
397{
398 return work->flags >> IO_WQ_HASH_SHIFT;
399}
400
401static struct io_wq_work *io_get_next_work(struct io_wqe *wqe)
Jens Axboe771b53d02019-10-22 10:25:58 -0600402 __must_hold(wqe->lock)
403{
Jens Axboe6206f0e2019-11-26 11:59:32 -0700404 struct io_wq_work_node *node, *prev;
Pavel Begunkov86f3cd12020-03-23 22:57:22 +0300405 struct io_wq_work *work, *tail;
Pavel Begunkov60cf46a2020-03-14 00:31:05 +0300406 unsigned int hash;
Jens Axboe771b53d02019-10-22 10:25:58 -0600407
Jens Axboe6206f0e2019-11-26 11:59:32 -0700408 wq_list_for_each(node, prev, &wqe->work_list) {
409 work = container_of(node, struct io_wq_work, list);
410
Jens Axboe771b53d02019-10-22 10:25:58 -0600411 /* not hashed, can run anytime */
Pavel Begunkov8766dd52020-03-14 00:31:04 +0300412 if (!io_wq_is_hashed(work)) {
Pavel Begunkov86f3cd12020-03-23 22:57:22 +0300413 wq_list_del(&wqe->work_list, node, prev);
Jens Axboe771b53d02019-10-22 10:25:58 -0600414 return work;
415 }
416
417 /* hashed, can run if not already running */
Pavel Begunkov60cf46a2020-03-14 00:31:05 +0300418 hash = io_get_work_hash(work);
419 if (!(wqe->hash_map & BIT(hash))) {
420 wqe->hash_map |= BIT(hash);
Pavel Begunkov86f3cd12020-03-23 22:57:22 +0300421 /* all items with this hash lie in [work, tail] */
422 tail = wqe->hash_tail[hash];
423 wqe->hash_tail[hash] = NULL;
424 wq_list_cut(&wqe->work_list, &tail->list, prev);
Jens Axboe771b53d02019-10-22 10:25:58 -0600425 return work;
426 }
427 }
428
429 return NULL;
430}
431
Jens Axboecccf0ee2020-01-27 16:34:48 -0700432static void io_wq_switch_mm(struct io_worker *worker, struct io_wq_work *work)
433{
434 if (worker->mm) {
Christoph Hellwigf5678e72020-06-10 18:42:06 -0700435 kthread_unuse_mm(worker->mm);
Jens Axboecccf0ee2020-01-27 16:34:48 -0700436 mmput(worker->mm);
437 worker->mm = NULL;
438 }
Christoph Hellwig37c54f92020-06-10 18:42:10 -0700439
Jens Axboe98447d62020-10-14 10:48:51 -0600440 if (mmget_not_zero(work->identity->mm)) {
441 kthread_use_mm(work->identity->mm);
442 worker->mm = work->identity->mm;
Jens Axboecccf0ee2020-01-27 16:34:48 -0700443 return;
444 }
445
446 /* failed grabbing mm, ensure work gets cancelled */
447 work->flags |= IO_WQ_WORK_CANCEL;
448}
449
Dennis Zhou91d8f512020-09-16 13:41:05 -0700450static inline void io_wq_switch_blkcg(struct io_worker *worker,
451 struct io_wq_work *work)
452{
453#ifdef CONFIG_BLK_CGROUP
Jens Axboe0f203762020-10-14 09:23:55 -0600454 if (!(work->flags & IO_WQ_WORK_BLKCG))
455 return;
Jens Axboe98447d62020-10-14 10:48:51 -0600456 if (work->identity->blkcg_css != worker->blkcg_css) {
457 kthread_associate_blkcg(work->identity->blkcg_css);
458 worker->blkcg_css = work->identity->blkcg_css;
Dennis Zhou91d8f512020-09-16 13:41:05 -0700459 }
460#endif
461}
462
Jens Axboecccf0ee2020-01-27 16:34:48 -0700463static void io_wq_switch_creds(struct io_worker *worker,
464 struct io_wq_work *work)
465{
Jens Axboe98447d62020-10-14 10:48:51 -0600466 const struct cred *old_creds = override_creds(work->identity->creds);
Jens Axboecccf0ee2020-01-27 16:34:48 -0700467
Jens Axboe98447d62020-10-14 10:48:51 -0600468 worker->cur_creds = work->identity->creds;
Jens Axboecccf0ee2020-01-27 16:34:48 -0700469 if (worker->saved_creds)
470 put_cred(old_creds); /* creds set by previous switch */
471 else
472 worker->saved_creds = old_creds;
473}
474
Pavel Begunkovdc026a72020-03-04 16:14:09 +0300475static void io_impersonate_work(struct io_worker *worker,
476 struct io_wq_work *work)
477{
Jens Axboe98447d62020-10-14 10:48:51 -0600478 if ((work->flags & IO_WQ_WORK_FILES) &&
479 current->files != work->identity->files) {
Pavel Begunkovdc026a72020-03-04 16:14:09 +0300480 task_lock(current);
Jens Axboe98447d62020-10-14 10:48:51 -0600481 current->files = work->identity->files;
482 current->nsproxy = work->identity->nsproxy;
Pavel Begunkovdc026a72020-03-04 16:14:09 +0300483 task_unlock(current);
Jens Axboe3dd16802020-10-30 09:36:41 -0600484 if (!work->identity->files) {
485 /* failed grabbing files, ensure work gets cancelled */
486 work->flags |= IO_WQ_WORK_CANCEL;
487 }
Pavel Begunkovdc026a72020-03-04 16:14:09 +0300488 }
Jens Axboe98447d62020-10-14 10:48:51 -0600489 if ((work->flags & IO_WQ_WORK_FS) && current->fs != work->identity->fs)
490 current->fs = work->identity->fs;
491 if ((work->flags & IO_WQ_WORK_MM) && work->identity->mm != worker->mm)
Pavel Begunkovdc026a72020-03-04 16:14:09 +0300492 io_wq_switch_mm(worker, work);
Jens Axboe98447d62020-10-14 10:48:51 -0600493 if ((work->flags & IO_WQ_WORK_CREDS) &&
494 worker->cur_creds != work->identity->creds)
Pavel Begunkovdc026a72020-03-04 16:14:09 +0300495 io_wq_switch_creds(worker, work);
Jens Axboe69228332020-10-20 14:28:41 -0600496 if (work->flags & IO_WQ_WORK_FSIZE)
497 current->signal->rlim[RLIMIT_FSIZE].rlim_cur = work->identity->fsize;
498 else if (current->signal->rlim[RLIMIT_FSIZE].rlim_cur != RLIM_INFINITY)
499 current->signal->rlim[RLIMIT_FSIZE].rlim_cur = RLIM_INFINITY;
Dennis Zhou91d8f512020-09-16 13:41:05 -0700500 io_wq_switch_blkcg(worker, work);
Jens Axboe4ea33a92020-10-15 13:46:44 -0600501#ifdef CONFIG_AUDIT
502 current->loginuid = work->identity->loginuid;
503 current->sessionid = work->identity->sessionid;
504#endif
Pavel Begunkovdc026a72020-03-04 16:14:09 +0300505}
506
507static void io_assign_current_work(struct io_worker *worker,
508 struct io_wq_work *work)
509{
Pavel Begunkovd78298e2020-03-14 00:31:03 +0300510 if (work) {
511 /* flush pending signals before assigning new work */
512 if (signal_pending(current))
513 flush_signals(current);
514 cond_resched();
515 }
Pavel Begunkovdc026a72020-03-04 16:14:09 +0300516
Jens Axboe4ea33a92020-10-15 13:46:44 -0600517#ifdef CONFIG_AUDIT
518 current->loginuid = KUIDT_INIT(AUDIT_UID_UNSET);
519 current->sessionid = AUDIT_SID_UNSET;
520#endif
521
Pavel Begunkovdc026a72020-03-04 16:14:09 +0300522 spin_lock_irq(&worker->lock);
523 worker->cur_work = work;
524 spin_unlock_irq(&worker->lock);
525}
526
Pavel Begunkov60cf46a2020-03-14 00:31:05 +0300527static void io_wqe_enqueue(struct io_wqe *wqe, struct io_wq_work *work);
528
Jens Axboe771b53d02019-10-22 10:25:58 -0600529static void io_worker_handle_work(struct io_worker *worker)
530 __releases(wqe->lock)
531{
Jens Axboe771b53d02019-10-22 10:25:58 -0600532 struct io_wqe *wqe = worker->wqe;
533 struct io_wq *wq = wqe->wq;
534
535 do {
Pavel Begunkov86f3cd12020-03-23 22:57:22 +0300536 struct io_wq_work *work;
Pavel Begunkovf462fd32020-03-04 16:14:11 +0300537get_next:
Jens Axboe771b53d02019-10-22 10:25:58 -0600538 /*
Jens Axboe771b53d02019-10-22 10:25:58 -0600539 * If we got some work, mark us as busy. If we didn't, but
540 * the list isn't empty, it means we stalled on hashed work.
541 * Mark us stalled so we don't keep looking for work when we
542 * can't make progress, any work completion or insertion will
543 * clear the stalled flag.
544 */
Pavel Begunkov60cf46a2020-03-14 00:31:05 +0300545 work = io_get_next_work(wqe);
Jens Axboe771b53d02019-10-22 10:25:58 -0600546 if (work)
547 __io_worker_busy(wqe, worker, work);
Jens Axboe6206f0e2019-11-26 11:59:32 -0700548 else if (!wq_list_empty(&wqe->work_list))
Jens Axboe771b53d02019-10-22 10:25:58 -0600549 wqe->flags |= IO_WQE_FLAG_STALLED;
550
Sebastian Andrzej Siewior95da8462020-09-01 10:41:46 +0200551 raw_spin_unlock_irq(&wqe->lock);
Jens Axboe771b53d02019-10-22 10:25:58 -0600552 if (!work)
553 break;
Pavel Begunkov58e39312020-03-04 16:14:10 +0300554 io_assign_current_work(worker, work);
Jens Axboe36c2f922019-11-13 09:43:34 -0700555
Pavel Begunkovdc026a72020-03-04 16:14:09 +0300556 /* handle a whole dependent link */
557 do {
Pavel Begunkov86f3cd12020-03-23 22:57:22 +0300558 struct io_wq_work *old_work, *next_hashed, *linked;
Pavel Begunkovb089ed392020-07-25 14:42:00 +0300559 unsigned int hash = io_get_work_hash(work);
Hillf Dantonfd1c4bc2019-12-24 09:14:29 -0700560
Pavel Begunkov86f3cd12020-03-23 22:57:22 +0300561 next_hashed = wq_next_work(work);
Pavel Begunkov58e39312020-03-04 16:14:10 +0300562 io_impersonate_work(worker, work);
Jens Axboe36c2f922019-11-13 09:43:34 -0700563
Pavel Begunkovf4db7182020-06-25 18:20:54 +0300564 old_work = work;
565 linked = wq->do_work(work);
Pavel Begunkovf2cf1142020-03-22 19:14:26 +0300566
Pavel Begunkov86f3cd12020-03-23 22:57:22 +0300567 work = next_hashed;
568 if (!work && linked && !io_wq_is_hashed(linked)) {
569 work = linked;
570 linked = NULL;
571 }
572 io_assign_current_work(worker, work);
Pavel Begunkove9fd9392020-03-04 16:14:12 +0300573 wq->free_work(old_work);
Pavel Begunkovdc026a72020-03-04 16:14:09 +0300574
Pavel Begunkov86f3cd12020-03-23 22:57:22 +0300575 if (linked)
576 io_wqe_enqueue(wqe, linked);
577
578 if (hash != -1U && !next_hashed) {
Sebastian Andrzej Siewior95da8462020-09-01 10:41:46 +0200579 raw_spin_lock_irq(&wqe->lock);
Pavel Begunkovdc026a72020-03-04 16:14:09 +0300580 wqe->hash_map &= ~BIT_ULL(hash);
581 wqe->flags &= ~IO_WQE_FLAG_STALLED;
Pavel Begunkovf462fd32020-03-04 16:14:11 +0300582 /* skip unnecessary unlock-lock wqe->lock */
583 if (!work)
584 goto get_next;
Sebastian Andrzej Siewior95da8462020-09-01 10:41:46 +0200585 raw_spin_unlock_irq(&wqe->lock);
Pavel Begunkovdc026a72020-03-04 16:14:09 +0300586 }
Pavel Begunkov58e39312020-03-04 16:14:10 +0300587 } while (work);
Jens Axboe36c2f922019-11-13 09:43:34 -0700588
Sebastian Andrzej Siewior95da8462020-09-01 10:41:46 +0200589 raw_spin_lock_irq(&wqe->lock);
Jens Axboe771b53d02019-10-22 10:25:58 -0600590 } while (1);
591}
592
Jens Axboe771b53d02019-10-22 10:25:58 -0600593static int io_wqe_worker(void *data)
594{
595 struct io_worker *worker = data;
596 struct io_wqe *wqe = worker->wqe;
597 struct io_wq *wq = wqe->wq;
Jens Axboe771b53d02019-10-22 10:25:58 -0600598
599 io_worker_start(wqe, worker);
600
601 while (!test_bit(IO_WQ_BIT_EXIT, &wq->state)) {
Jens Axboe506d95f2019-12-07 21:03:59 -0700602 set_current_state(TASK_INTERRUPTIBLE);
Jens Axboee995d512019-12-07 21:06:46 -0700603loop:
Sebastian Andrzej Siewior95da8462020-09-01 10:41:46 +0200604 raw_spin_lock_irq(&wqe->lock);
Jens Axboe771b53d02019-10-22 10:25:58 -0600605 if (io_wqe_run_queue(wqe)) {
606 __set_current_state(TASK_RUNNING);
607 io_worker_handle_work(worker);
Jens Axboee995d512019-12-07 21:06:46 -0700608 goto loop;
Jens Axboe771b53d02019-10-22 10:25:58 -0600609 }
610 /* drops the lock on success, retry */
611 if (__io_worker_idle(wqe, worker)) {
612 __release(&wqe->lock);
Jens Axboee995d512019-12-07 21:06:46 -0700613 goto loop;
Jens Axboe771b53d02019-10-22 10:25:58 -0600614 }
Sebastian Andrzej Siewior95da8462020-09-01 10:41:46 +0200615 raw_spin_unlock_irq(&wqe->lock);
Jens Axboe771b53d02019-10-22 10:25:58 -0600616 if (signal_pending(current))
617 flush_signals(current);
618 if (schedule_timeout(WORKER_IDLE_TIMEOUT))
619 continue;
620 /* timed out, exit unless we're the fixed worker */
621 if (test_bit(IO_WQ_BIT_EXIT, &wq->state) ||
622 !(worker->flags & IO_WORKER_F_FIXED))
623 break;
624 }
625
Jens Axboe771b53d02019-10-22 10:25:58 -0600626 if (test_bit(IO_WQ_BIT_EXIT, &wq->state)) {
Sebastian Andrzej Siewior95da8462020-09-01 10:41:46 +0200627 raw_spin_lock_irq(&wqe->lock);
Jens Axboe6206f0e2019-11-26 11:59:32 -0700628 if (!wq_list_empty(&wqe->work_list))
Jens Axboe771b53d02019-10-22 10:25:58 -0600629 io_worker_handle_work(worker);
630 else
Sebastian Andrzej Siewior95da8462020-09-01 10:41:46 +0200631 raw_spin_unlock_irq(&wqe->lock);
Jens Axboe771b53d02019-10-22 10:25:58 -0600632 }
633
634 io_worker_exit(worker);
635 return 0;
636}
637
638/*
Jens Axboe771b53d02019-10-22 10:25:58 -0600639 * Called when a worker is scheduled in. Mark us as currently running.
640 */
641void io_wq_worker_running(struct task_struct *tsk)
642{
643 struct io_worker *worker = kthread_data(tsk);
644 struct io_wqe *wqe = worker->wqe;
645
646 if (!(worker->flags & IO_WORKER_F_UP))
647 return;
648 if (worker->flags & IO_WORKER_F_RUNNING)
649 return;
650 worker->flags |= IO_WORKER_F_RUNNING;
Jens Axboec5def4a2019-11-07 11:41:16 -0700651 io_wqe_inc_running(wqe, worker);
Jens Axboe771b53d02019-10-22 10:25:58 -0600652}
653
654/*
655 * Called when worker is going to sleep. If there are no workers currently
656 * running and we have work pending, wake up a free one or have the manager
657 * set one up.
658 */
659void io_wq_worker_sleeping(struct task_struct *tsk)
660{
661 struct io_worker *worker = kthread_data(tsk);
662 struct io_wqe *wqe = worker->wqe;
663
664 if (!(worker->flags & IO_WORKER_F_UP))
665 return;
666 if (!(worker->flags & IO_WORKER_F_RUNNING))
667 return;
668
669 worker->flags &= ~IO_WORKER_F_RUNNING;
670
Sebastian Andrzej Siewior95da8462020-09-01 10:41:46 +0200671 raw_spin_lock_irq(&wqe->lock);
Jens Axboec5def4a2019-11-07 11:41:16 -0700672 io_wqe_dec_running(wqe, worker);
Sebastian Andrzej Siewior95da8462020-09-01 10:41:46 +0200673 raw_spin_unlock_irq(&wqe->lock);
Jens Axboe771b53d02019-10-22 10:25:58 -0600674}
675
Jens Axboeb60fda62019-11-19 08:37:07 -0700676static bool create_io_worker(struct io_wq *wq, struct io_wqe *wqe, int index)
Jens Axboe771b53d02019-10-22 10:25:58 -0600677{
Hillf Dantonc4068bf2020-09-26 21:26:55 +0800678 struct io_wqe_acct *acct = &wqe->acct[index];
Jens Axboe771b53d02019-10-22 10:25:58 -0600679 struct io_worker *worker;
680
Jann Hornad6e0052019-11-26 17:39:45 +0100681 worker = kzalloc_node(sizeof(*worker), GFP_KERNEL, wqe->node);
Jens Axboe771b53d02019-10-22 10:25:58 -0600682 if (!worker)
Jens Axboeb60fda62019-11-19 08:37:07 -0700683 return false;
Jens Axboe771b53d02019-10-22 10:25:58 -0600684
685 refcount_set(&worker->ref, 1);
686 worker->nulls_node.pprev = NULL;
Jens Axboe771b53d02019-10-22 10:25:58 -0600687 worker->wqe = wqe;
Jens Axboe36c2f922019-11-13 09:43:34 -0700688 spin_lock_init(&worker->lock);
Jens Axboe771b53d02019-10-22 10:25:58 -0600689
690 worker->task = kthread_create_on_node(io_wqe_worker, worker, wqe->node,
Jens Axboec5def4a2019-11-07 11:41:16 -0700691 "io_wqe_worker-%d/%d", index, wqe->node);
Jens Axboe771b53d02019-10-22 10:25:58 -0600692 if (IS_ERR(worker->task)) {
693 kfree(worker);
Jens Axboeb60fda62019-11-19 08:37:07 -0700694 return false;
Jens Axboe771b53d02019-10-22 10:25:58 -0600695 }
Jens Axboea8b595b2020-10-15 10:13:07 -0600696 kthread_bind_mask(worker->task, cpumask_of_node(wqe->node));
Jens Axboe771b53d02019-10-22 10:25:58 -0600697
Sebastian Andrzej Siewior95da8462020-09-01 10:41:46 +0200698 raw_spin_lock_irq(&wqe->lock);
Jens Axboe021d1cd2019-11-14 08:00:41 -0700699 hlist_nulls_add_head_rcu(&worker->nulls_node, &wqe->free_list);
Jens Axboee61df662019-11-13 13:54:49 -0700700 list_add_tail_rcu(&worker->all_list, &wqe->all_list);
Jens Axboe771b53d02019-10-22 10:25:58 -0600701 worker->flags |= IO_WORKER_F_FREE;
Jens Axboec5def4a2019-11-07 11:41:16 -0700702 if (index == IO_WQ_ACCT_BOUND)
703 worker->flags |= IO_WORKER_F_BOUND;
704 if (!acct->nr_workers && (worker->flags & IO_WORKER_F_BOUND))
Jens Axboe771b53d02019-10-22 10:25:58 -0600705 worker->flags |= IO_WORKER_F_FIXED;
Jens Axboec5def4a2019-11-07 11:41:16 -0700706 acct->nr_workers++;
Sebastian Andrzej Siewior95da8462020-09-01 10:41:46 +0200707 raw_spin_unlock_irq(&wqe->lock);
Jens Axboe771b53d02019-10-22 10:25:58 -0600708
Jens Axboec5def4a2019-11-07 11:41:16 -0700709 if (index == IO_WQ_ACCT_UNBOUND)
710 atomic_inc(&wq->user->processes);
711
Hillf Dantonc4068bf2020-09-26 21:26:55 +0800712 refcount_inc(&wq->refs);
Jens Axboe771b53d02019-10-22 10:25:58 -0600713 wake_up_process(worker->task);
Jens Axboeb60fda62019-11-19 08:37:07 -0700714 return true;
Jens Axboe771b53d02019-10-22 10:25:58 -0600715}
716
Jens Axboec5def4a2019-11-07 11:41:16 -0700717static inline bool io_wqe_need_worker(struct io_wqe *wqe, int index)
Jens Axboe771b53d02019-10-22 10:25:58 -0600718 __must_hold(wqe->lock)
719{
Jens Axboec5def4a2019-11-07 11:41:16 -0700720 struct io_wqe_acct *acct = &wqe->acct[index];
Jens Axboe771b53d02019-10-22 10:25:58 -0600721
Jens Axboec5def4a2019-11-07 11:41:16 -0700722 /* if we have available workers or no work, no need */
Jens Axboe021d1cd2019-11-14 08:00:41 -0700723 if (!hlist_nulls_empty(&wqe->free_list) || !io_wqe_run_queue(wqe))
Jens Axboec5def4a2019-11-07 11:41:16 -0700724 return false;
725 return acct->nr_workers < acct->max_workers;
Jens Axboe771b53d02019-10-22 10:25:58 -0600726}
727
Hillf Dantonc4068bf2020-09-26 21:26:55 +0800728/*
729 * Iterate the passed in list and call the specific function for each
730 * worker that isn't exiting
731 */
732static bool io_wq_for_each_worker(struct io_wqe *wqe,
733 bool (*func)(struct io_worker *, void *),
734 void *data)
735{
736 struct io_worker *worker;
737 bool ret = false;
738
739 list_for_each_entry_rcu(worker, &wqe->all_list, all_list) {
740 if (io_worker_get(worker)) {
741 /* no task if node is/was offline */
742 if (worker->task)
743 ret = func(worker, data);
744 io_worker_release(worker);
745 if (ret)
746 break;
747 }
748 }
749
750 return ret;
751}
752
753static bool io_wq_worker_wake(struct io_worker *worker, void *data)
754{
755 wake_up_process(worker->task);
756 return false;
757}
758
Jens Axboe771b53d02019-10-22 10:25:58 -0600759/*
760 * Manager thread. Tasked with creating new workers, if we need them.
761 */
762static int io_wq_manager(void *data)
763{
764 struct io_wq *wq = data;
Jann Horn3fc50ab2019-11-26 19:10:20 +0100765 int node;
Jens Axboeb60fda62019-11-19 08:37:07 -0700766
767 /* create fixed workers */
Hillf Dantonc4068bf2020-09-26 21:26:55 +0800768 refcount_set(&wq->refs, 1);
Jann Horn3fc50ab2019-11-26 19:10:20 +0100769 for_each_node(node) {
Jens Axboe75634392020-02-11 06:30:06 -0700770 if (!node_online(node))
771 continue;
Hillf Dantonc4068bf2020-09-26 21:26:55 +0800772 if (create_io_worker(wq, wq->wqes[node], IO_WQ_ACCT_BOUND))
773 continue;
774 set_bit(IO_WQ_BIT_ERROR, &wq->state);
775 set_bit(IO_WQ_BIT_EXIT, &wq->state);
776 goto out;
Jens Axboeb60fda62019-11-19 08:37:07 -0700777 }
778
779 complete(&wq->done);
Jens Axboe771b53d02019-10-22 10:25:58 -0600780
781 while (!kthread_should_stop()) {
Jens Axboeaa96bf82020-04-03 11:26:26 -0600782 if (current->task_works)
783 task_work_run();
784
Jann Horn3fc50ab2019-11-26 19:10:20 +0100785 for_each_node(node) {
786 struct io_wqe *wqe = wq->wqes[node];
Jens Axboec5def4a2019-11-07 11:41:16 -0700787 bool fork_worker[2] = { false, false };
Jens Axboe771b53d02019-10-22 10:25:58 -0600788
Jens Axboe75634392020-02-11 06:30:06 -0700789 if (!node_online(node))
790 continue;
791
Sebastian Andrzej Siewior95da8462020-09-01 10:41:46 +0200792 raw_spin_lock_irq(&wqe->lock);
Jens Axboec5def4a2019-11-07 11:41:16 -0700793 if (io_wqe_need_worker(wqe, IO_WQ_ACCT_BOUND))
794 fork_worker[IO_WQ_ACCT_BOUND] = true;
795 if (io_wqe_need_worker(wqe, IO_WQ_ACCT_UNBOUND))
796 fork_worker[IO_WQ_ACCT_UNBOUND] = true;
Sebastian Andrzej Siewior95da8462020-09-01 10:41:46 +0200797 raw_spin_unlock_irq(&wqe->lock);
Jens Axboec5def4a2019-11-07 11:41:16 -0700798 if (fork_worker[IO_WQ_ACCT_BOUND])
799 create_io_worker(wq, wqe, IO_WQ_ACCT_BOUND);
800 if (fork_worker[IO_WQ_ACCT_UNBOUND])
801 create_io_worker(wq, wqe, IO_WQ_ACCT_UNBOUND);
Jens Axboe771b53d02019-10-22 10:25:58 -0600802 }
803 set_current_state(TASK_INTERRUPTIBLE);
804 schedule_timeout(HZ);
805 }
806
Jens Axboeaa96bf82020-04-03 11:26:26 -0600807 if (current->task_works)
808 task_work_run();
809
Hillf Dantonc4068bf2020-09-26 21:26:55 +0800810out:
811 if (refcount_dec_and_test(&wq->refs)) {
Jens Axboeb60fda62019-11-19 08:37:07 -0700812 complete(&wq->done);
Hillf Dantonc4068bf2020-09-26 21:26:55 +0800813 return 0;
814 }
815 /* if ERROR is set and we get here, we have workers to wake */
816 if (test_bit(IO_WQ_BIT_ERROR, &wq->state)) {
817 rcu_read_lock();
818 for_each_node(node)
819 io_wq_for_each_worker(wq->wqes[node], io_wq_worker_wake, NULL);
820 rcu_read_unlock();
821 }
Jens Axboeb60fda62019-11-19 08:37:07 -0700822 return 0;
Jens Axboe771b53d02019-10-22 10:25:58 -0600823}
824
Jens Axboec5def4a2019-11-07 11:41:16 -0700825static bool io_wq_can_queue(struct io_wqe *wqe, struct io_wqe_acct *acct,
826 struct io_wq_work *work)
827{
828 bool free_worker;
829
830 if (!(work->flags & IO_WQ_WORK_UNBOUND))
831 return true;
832 if (atomic_read(&acct->nr_running))
833 return true;
834
835 rcu_read_lock();
Jens Axboe021d1cd2019-11-14 08:00:41 -0700836 free_worker = !hlist_nulls_empty(&wqe->free_list);
Jens Axboec5def4a2019-11-07 11:41:16 -0700837 rcu_read_unlock();
838 if (free_worker)
839 return true;
840
841 if (atomic_read(&wqe->wq->user->processes) >= acct->max_workers &&
842 !(capable(CAP_SYS_RESOURCE) || capable(CAP_SYS_ADMIN)))
843 return false;
844
845 return true;
846}
847
Pavel Begunkove9fd9392020-03-04 16:14:12 +0300848static void io_run_cancel(struct io_wq_work *work, struct io_wqe *wqe)
Pavel Begunkovfc04c392020-03-01 19:18:19 +0300849{
Pavel Begunkove9fd9392020-03-04 16:14:12 +0300850 struct io_wq *wq = wqe->wq;
851
Pavel Begunkovfc04c392020-03-01 19:18:19 +0300852 do {
853 struct io_wq_work *old_work = work;
854
855 work->flags |= IO_WQ_WORK_CANCEL;
Pavel Begunkovf4db7182020-06-25 18:20:54 +0300856 work = wq->do_work(work);
Pavel Begunkove9fd9392020-03-04 16:14:12 +0300857 wq->free_work(old_work);
Pavel Begunkovfc04c392020-03-01 19:18:19 +0300858 } while (work);
859}
860
Pavel Begunkov86f3cd12020-03-23 22:57:22 +0300861static void io_wqe_insert_work(struct io_wqe *wqe, struct io_wq_work *work)
862{
863 unsigned int hash;
864 struct io_wq_work *tail;
865
866 if (!io_wq_is_hashed(work)) {
867append:
868 wq_list_add_tail(&work->list, &wqe->work_list);
869 return;
870 }
871
872 hash = io_get_work_hash(work);
873 tail = wqe->hash_tail[hash];
874 wqe->hash_tail[hash] = work;
875 if (!tail)
876 goto append;
877
878 wq_list_add_after(&work->list, &tail->list, &wqe->work_list);
879}
880
Jens Axboe771b53d02019-10-22 10:25:58 -0600881static void io_wqe_enqueue(struct io_wqe *wqe, struct io_wq_work *work)
882{
Jens Axboec5def4a2019-11-07 11:41:16 -0700883 struct io_wqe_acct *acct = io_work_get_acct(wqe, work);
Jens Axboe895e2ca2019-12-17 08:46:33 -0700884 int work_flags;
Jens Axboe771b53d02019-10-22 10:25:58 -0600885 unsigned long flags;
886
Jens Axboec5def4a2019-11-07 11:41:16 -0700887 /*
888 * Do early check to see if we need a new unbound worker, and if we do,
889 * if we're allowed to do so. This isn't 100% accurate as there's a
890 * gap between this check and incrementing the value, but that's OK.
891 * It's close enough to not be an issue, fork() has the same delay.
892 */
893 if (unlikely(!io_wq_can_queue(wqe, acct, work))) {
Pavel Begunkove9fd9392020-03-04 16:14:12 +0300894 io_run_cancel(work, wqe);
Jens Axboec5def4a2019-11-07 11:41:16 -0700895 return;
896 }
897
Jens Axboe895e2ca2019-12-17 08:46:33 -0700898 work_flags = work->flags;
Sebastian Andrzej Siewior95da8462020-09-01 10:41:46 +0200899 raw_spin_lock_irqsave(&wqe->lock, flags);
Pavel Begunkov86f3cd12020-03-23 22:57:22 +0300900 io_wqe_insert_work(wqe, work);
Jens Axboe771b53d02019-10-22 10:25:58 -0600901 wqe->flags &= ~IO_WQE_FLAG_STALLED;
Sebastian Andrzej Siewior95da8462020-09-01 10:41:46 +0200902 raw_spin_unlock_irqrestore(&wqe->lock, flags);
Jens Axboe771b53d02019-10-22 10:25:58 -0600903
Jens Axboe895e2ca2019-12-17 08:46:33 -0700904 if ((work_flags & IO_WQ_WORK_CONCURRENT) ||
905 !atomic_read(&acct->nr_running))
Jens Axboec5def4a2019-11-07 11:41:16 -0700906 io_wqe_wake_worker(wqe, acct);
Jens Axboe771b53d02019-10-22 10:25:58 -0600907}
908
909void io_wq_enqueue(struct io_wq *wq, struct io_wq_work *work)
910{
911 struct io_wqe *wqe = wq->wqes[numa_node_id()];
912
913 io_wqe_enqueue(wqe, work);
914}
915
916/*
Pavel Begunkov8766dd52020-03-14 00:31:04 +0300917 * Work items that hash to the same value will not be done in parallel.
918 * Used to limit concurrent writes, generally hashed by inode.
Jens Axboe771b53d02019-10-22 10:25:58 -0600919 */
Pavel Begunkov8766dd52020-03-14 00:31:04 +0300920void io_wq_hash_work(struct io_wq_work *work, void *val)
Jens Axboe771b53d02019-10-22 10:25:58 -0600921{
Pavel Begunkov8766dd52020-03-14 00:31:04 +0300922 unsigned int bit;
Jens Axboe771b53d02019-10-22 10:25:58 -0600923
924 bit = hash_ptr(val, IO_WQ_HASH_ORDER);
925 work->flags |= (IO_WQ_WORK_HASHED | (bit << IO_WQ_HASH_SHIFT));
Jens Axboe771b53d02019-10-22 10:25:58 -0600926}
927
Jens Axboe62755e32019-10-28 21:49:21 -0600928struct io_cb_cancel_data {
Pavel Begunkov2293b412020-03-07 01:15:39 +0300929 work_cancel_fn *fn;
930 void *data;
Pavel Begunkov4f26bda2020-06-15 10:24:03 +0300931 int nr_running;
932 int nr_pending;
933 bool cancel_all;
Jens Axboe62755e32019-10-28 21:49:21 -0600934};
935
Pavel Begunkov2293b412020-03-07 01:15:39 +0300936static bool io_wq_worker_cancel(struct io_worker *worker, void *data)
Jens Axboe62755e32019-10-28 21:49:21 -0600937{
Pavel Begunkov2293b412020-03-07 01:15:39 +0300938 struct io_cb_cancel_data *match = data;
Jens Axboe6f726532019-11-05 13:51:51 -0700939 unsigned long flags;
Jens Axboe62755e32019-10-28 21:49:21 -0600940
941 /*
942 * Hold the lock to avoid ->cur_work going out of scope, caller
Jens Axboe36c2f922019-11-13 09:43:34 -0700943 * may dereference the passed in work.
Jens Axboe62755e32019-10-28 21:49:21 -0600944 */
Jens Axboe36c2f922019-11-13 09:43:34 -0700945 spin_lock_irqsave(&worker->lock, flags);
Jens Axboe62755e32019-10-28 21:49:21 -0600946 if (worker->cur_work &&
Jens Axboe0c9d5cc2019-12-11 19:29:43 -0700947 !(worker->cur_work->flags & IO_WQ_WORK_NO_CANCEL) &&
Pavel Begunkov2293b412020-03-07 01:15:39 +0300948 match->fn(worker->cur_work, match->data)) {
Jens Axboe771b53d02019-10-22 10:25:58 -0600949 send_sig(SIGINT, worker->task, 1);
Pavel Begunkov4f26bda2020-06-15 10:24:03 +0300950 match->nr_running++;
Jens Axboe771b53d02019-10-22 10:25:58 -0600951 }
Jens Axboe36c2f922019-11-13 09:43:34 -0700952 spin_unlock_irqrestore(&worker->lock, flags);
Jens Axboe771b53d02019-10-22 10:25:58 -0600953
Pavel Begunkov4f26bda2020-06-15 10:24:03 +0300954 return match->nr_running && !match->cancel_all;
Jens Axboe771b53d02019-10-22 10:25:58 -0600955}
956
Pavel Begunkov204361a2020-08-23 20:33:10 +0300957static inline void io_wqe_remove_pending(struct io_wqe *wqe,
958 struct io_wq_work *work,
959 struct io_wq_work_node *prev)
960{
961 unsigned int hash = io_get_work_hash(work);
962 struct io_wq_work *prev_work = NULL;
963
964 if (io_wq_is_hashed(work) && work == wqe->hash_tail[hash]) {
965 if (prev)
966 prev_work = container_of(prev, struct io_wq_work, list);
967 if (prev_work && io_get_work_hash(prev_work) == hash)
968 wqe->hash_tail[hash] = prev_work;
969 else
970 wqe->hash_tail[hash] = NULL;
971 }
972 wq_list_del(&wqe->work_list, &work->list, prev);
973}
974
Pavel Begunkov4f26bda2020-06-15 10:24:03 +0300975static void io_wqe_cancel_pending_work(struct io_wqe *wqe,
Pavel Begunkovf4c26652020-06-15 10:24:02 +0300976 struct io_cb_cancel_data *match)
Jens Axboe771b53d02019-10-22 10:25:58 -0600977{
Jens Axboe6206f0e2019-11-26 11:59:32 -0700978 struct io_wq_work_node *node, *prev;
Jens Axboe771b53d02019-10-22 10:25:58 -0600979 struct io_wq_work *work;
Jens Axboe6f726532019-11-05 13:51:51 -0700980 unsigned long flags;
Jens Axboe771b53d02019-10-22 10:25:58 -0600981
Pavel Begunkov4f26bda2020-06-15 10:24:03 +0300982retry:
Sebastian Andrzej Siewior95da8462020-09-01 10:41:46 +0200983 raw_spin_lock_irqsave(&wqe->lock, flags);
Jens Axboe6206f0e2019-11-26 11:59:32 -0700984 wq_list_for_each(node, prev, &wqe->work_list) {
985 work = container_of(node, struct io_wq_work, list);
Pavel Begunkov4f26bda2020-06-15 10:24:03 +0300986 if (!match->fn(work, match->data))
987 continue;
Pavel Begunkov204361a2020-08-23 20:33:10 +0300988 io_wqe_remove_pending(wqe, work, prev);
Sebastian Andrzej Siewior95da8462020-09-01 10:41:46 +0200989 raw_spin_unlock_irqrestore(&wqe->lock, flags);
Pavel Begunkov4f26bda2020-06-15 10:24:03 +0300990 io_run_cancel(work, wqe);
991 match->nr_pending++;
992 if (!match->cancel_all)
993 return;
994
995 /* not safe to continue after unlock */
996 goto retry;
Jens Axboe771b53d02019-10-22 10:25:58 -0600997 }
Sebastian Andrzej Siewior95da8462020-09-01 10:41:46 +0200998 raw_spin_unlock_irqrestore(&wqe->lock, flags);
Pavel Begunkovf4c26652020-06-15 10:24:02 +0300999}
Jens Axboe771b53d02019-10-22 10:25:58 -06001000
Pavel Begunkov4f26bda2020-06-15 10:24:03 +03001001static void io_wqe_cancel_running_work(struct io_wqe *wqe,
Pavel Begunkovf4c26652020-06-15 10:24:02 +03001002 struct io_cb_cancel_data *match)
1003{
Jens Axboe771b53d02019-10-22 10:25:58 -06001004 rcu_read_lock();
Pavel Begunkov4f26bda2020-06-15 10:24:03 +03001005 io_wq_for_each_worker(wqe, io_wq_worker_cancel, match);
Jens Axboe771b53d02019-10-22 10:25:58 -06001006 rcu_read_unlock();
Jens Axboe771b53d02019-10-22 10:25:58 -06001007}
1008
Pavel Begunkov2293b412020-03-07 01:15:39 +03001009enum io_wq_cancel io_wq_cancel_cb(struct io_wq *wq, work_cancel_fn *cancel,
Pavel Begunkov4f26bda2020-06-15 10:24:03 +03001010 void *data, bool cancel_all)
Pavel Begunkov2293b412020-03-07 01:15:39 +03001011{
1012 struct io_cb_cancel_data match = {
Pavel Begunkov4f26bda2020-06-15 10:24:03 +03001013 .fn = cancel,
1014 .data = data,
1015 .cancel_all = cancel_all,
Pavel Begunkov2293b412020-03-07 01:15:39 +03001016 };
Pavel Begunkov2293b412020-03-07 01:15:39 +03001017 int node;
1018
Pavel Begunkovf4c26652020-06-15 10:24:02 +03001019 /*
1020 * First check pending list, if we're lucky we can just remove it
1021 * from there. CANCEL_OK means that the work is returned as-new,
1022 * no completion will be posted for it.
1023 */
Pavel Begunkov2293b412020-03-07 01:15:39 +03001024 for_each_node(node) {
1025 struct io_wqe *wqe = wq->wqes[node];
1026
Pavel Begunkov4f26bda2020-06-15 10:24:03 +03001027 io_wqe_cancel_pending_work(wqe, &match);
1028 if (match.nr_pending && !match.cancel_all)
Pavel Begunkovf4c26652020-06-15 10:24:02 +03001029 return IO_WQ_CANCEL_OK;
Pavel Begunkov2293b412020-03-07 01:15:39 +03001030 }
1031
Pavel Begunkovf4c26652020-06-15 10:24:02 +03001032 /*
1033 * Now check if a free (going busy) or busy worker has the work
1034 * currently running. If we find it there, we'll return CANCEL_RUNNING
1035 * as an indication that we attempt to signal cancellation. The
1036 * completion will run normally in this case.
1037 */
1038 for_each_node(node) {
1039 struct io_wqe *wqe = wq->wqes[node];
1040
Pavel Begunkov4f26bda2020-06-15 10:24:03 +03001041 io_wqe_cancel_running_work(wqe, &match);
1042 if (match.nr_running && !match.cancel_all)
Pavel Begunkovf4c26652020-06-15 10:24:02 +03001043 return IO_WQ_CANCEL_RUNNING;
1044 }
1045
Pavel Begunkov4f26bda2020-06-15 10:24:03 +03001046 if (match.nr_running)
1047 return IO_WQ_CANCEL_RUNNING;
1048 if (match.nr_pending)
1049 return IO_WQ_CANCEL_OK;
Pavel Begunkovf4c26652020-06-15 10:24:02 +03001050 return IO_WQ_CANCEL_NOTFOUND;
Pavel Begunkov2293b412020-03-07 01:15:39 +03001051}
1052
Jens Axboe576a3472019-11-25 08:49:20 -07001053struct io_wq *io_wq_create(unsigned bounded, struct io_wq_data *data)
Jens Axboe771b53d02019-10-22 10:25:58 -06001054{
Jann Horn3fc50ab2019-11-26 19:10:20 +01001055 int ret = -ENOMEM, node;
Jens Axboe771b53d02019-10-22 10:25:58 -06001056 struct io_wq *wq;
1057
Pavel Begunkovf5fa38c2020-06-08 21:08:20 +03001058 if (WARN_ON_ONCE(!data->free_work || !data->do_work))
Pavel Begunkove9fd9392020-03-04 16:14:12 +03001059 return ERR_PTR(-EINVAL);
1060
Jann Hornad6e0052019-11-26 17:39:45 +01001061 wq = kzalloc(sizeof(*wq), GFP_KERNEL);
Jens Axboe771b53d02019-10-22 10:25:58 -06001062 if (!wq)
1063 return ERR_PTR(-ENOMEM);
1064
Jann Horn3fc50ab2019-11-26 19:10:20 +01001065 wq->wqes = kcalloc(nr_node_ids, sizeof(struct io_wqe *), GFP_KERNEL);
Jens Axboe43c01fb2020-10-22 09:02:50 -06001066 if (!wq->wqes)
1067 goto err_wq;
1068
1069 ret = cpuhp_state_add_instance_nocalls(io_wq_online, &wq->cpuhp_node);
1070 if (ret)
1071 goto err_wqes;
Jens Axboe771b53d02019-10-22 10:25:58 -06001072
Pavel Begunkove9fd9392020-03-04 16:14:12 +03001073 wq->free_work = data->free_work;
Pavel Begunkovf5fa38c2020-06-08 21:08:20 +03001074 wq->do_work = data->do_work;
Jens Axboe7d723062019-11-12 22:31:31 -07001075
Jens Axboec5def4a2019-11-07 11:41:16 -07001076 /* caller must already hold a reference to this */
Jens Axboe576a3472019-11-25 08:49:20 -07001077 wq->user = data->user;
Jens Axboec5def4a2019-11-07 11:41:16 -07001078
Jens Axboe43c01fb2020-10-22 09:02:50 -06001079 ret = -ENOMEM;
Jann Horn3fc50ab2019-11-26 19:10:20 +01001080 for_each_node(node) {
Jens Axboe771b53d02019-10-22 10:25:58 -06001081 struct io_wqe *wqe;
Jens Axboe75634392020-02-11 06:30:06 -07001082 int alloc_node = node;
Jens Axboe771b53d02019-10-22 10:25:58 -06001083
Jens Axboe75634392020-02-11 06:30:06 -07001084 if (!node_online(alloc_node))
1085 alloc_node = NUMA_NO_NODE;
1086 wqe = kzalloc_node(sizeof(struct io_wqe), GFP_KERNEL, alloc_node);
Jens Axboe771b53d02019-10-22 10:25:58 -06001087 if (!wqe)
Jann Horn3fc50ab2019-11-26 19:10:20 +01001088 goto err;
1089 wq->wqes[node] = wqe;
Jens Axboe75634392020-02-11 06:30:06 -07001090 wqe->node = alloc_node;
Jens Axboec5def4a2019-11-07 11:41:16 -07001091 wqe->acct[IO_WQ_ACCT_BOUND].max_workers = bounded;
1092 atomic_set(&wqe->acct[IO_WQ_ACCT_BOUND].nr_running, 0);
Jens Axboe576a3472019-11-25 08:49:20 -07001093 if (wq->user) {
Jens Axboec5def4a2019-11-07 11:41:16 -07001094 wqe->acct[IO_WQ_ACCT_UNBOUND].max_workers =
1095 task_rlimit(current, RLIMIT_NPROC);
1096 }
1097 atomic_set(&wqe->acct[IO_WQ_ACCT_UNBOUND].nr_running, 0);
Jens Axboe771b53d02019-10-22 10:25:58 -06001098 wqe->wq = wq;
Sebastian Andrzej Siewior95da8462020-09-01 10:41:46 +02001099 raw_spin_lock_init(&wqe->lock);
Jens Axboe6206f0e2019-11-26 11:59:32 -07001100 INIT_WQ_LIST(&wqe->work_list);
Jens Axboe021d1cd2019-11-14 08:00:41 -07001101 INIT_HLIST_NULLS_HEAD(&wqe->free_list, 0);
Jens Axboee61df662019-11-13 13:54:49 -07001102 INIT_LIST_HEAD(&wqe->all_list);
Jens Axboe771b53d02019-10-22 10:25:58 -06001103 }
1104
1105 init_completion(&wq->done);
1106
Jens Axboe771b53d02019-10-22 10:25:58 -06001107 wq->manager = kthread_create(io_wq_manager, wq, "io_wq_manager");
1108 if (!IS_ERR(wq->manager)) {
1109 wake_up_process(wq->manager);
Jens Axboeb60fda62019-11-19 08:37:07 -07001110 wait_for_completion(&wq->done);
1111 if (test_bit(IO_WQ_BIT_ERROR, &wq->state)) {
1112 ret = -ENOMEM;
1113 goto err;
1114 }
Jens Axboe848f7e12020-01-23 15:33:32 -07001115 refcount_set(&wq->use_refs, 1);
Jens Axboeb60fda62019-11-19 08:37:07 -07001116 reinit_completion(&wq->done);
Jens Axboe771b53d02019-10-22 10:25:58 -06001117 return wq;
1118 }
1119
1120 ret = PTR_ERR(wq->manager);
Jens Axboe771b53d02019-10-22 10:25:58 -06001121 complete(&wq->done);
Jens Axboeb60fda62019-11-19 08:37:07 -07001122err:
Jens Axboe43c01fb2020-10-22 09:02:50 -06001123 cpuhp_state_remove_instance_nocalls(io_wq_online, &wq->cpuhp_node);
Jann Horn3fc50ab2019-11-26 19:10:20 +01001124 for_each_node(node)
1125 kfree(wq->wqes[node]);
Jens Axboe43c01fb2020-10-22 09:02:50 -06001126err_wqes:
Jens Axboeb60fda62019-11-19 08:37:07 -07001127 kfree(wq->wqes);
Jens Axboe43c01fb2020-10-22 09:02:50 -06001128err_wq:
Jens Axboeb60fda62019-11-19 08:37:07 -07001129 kfree(wq);
Jens Axboe771b53d02019-10-22 10:25:58 -06001130 return ERR_PTR(ret);
1131}
1132
Pavel Begunkoveba6f5a2020-01-28 03:15:47 +03001133bool io_wq_get(struct io_wq *wq, struct io_wq_data *data)
1134{
Pavel Begunkovf5fa38c2020-06-08 21:08:20 +03001135 if (data->free_work != wq->free_work || data->do_work != wq->do_work)
Pavel Begunkoveba6f5a2020-01-28 03:15:47 +03001136 return false;
1137
1138 return refcount_inc_not_zero(&wq->use_refs);
1139}
1140
Jens Axboe848f7e12020-01-23 15:33:32 -07001141static void __io_wq_destroy(struct io_wq *wq)
Jens Axboe771b53d02019-10-22 10:25:58 -06001142{
Jann Horn3fc50ab2019-11-26 19:10:20 +01001143 int node;
Jens Axboe771b53d02019-10-22 10:25:58 -06001144
Jens Axboe43c01fb2020-10-22 09:02:50 -06001145 cpuhp_state_remove_instance_nocalls(io_wq_online, &wq->cpuhp_node);
1146
Jens Axboeb60fda62019-11-19 08:37:07 -07001147 set_bit(IO_WQ_BIT_EXIT, &wq->state);
1148 if (wq->manager)
Jens Axboe771b53d02019-10-22 10:25:58 -06001149 kthread_stop(wq->manager);
Jens Axboe771b53d02019-10-22 10:25:58 -06001150
1151 rcu_read_lock();
Jann Horn3fc50ab2019-11-26 19:10:20 +01001152 for_each_node(node)
1153 io_wq_for_each_worker(wq->wqes[node], io_wq_worker_wake, NULL);
Jens Axboe771b53d02019-10-22 10:25:58 -06001154 rcu_read_unlock();
1155
1156 wait_for_completion(&wq->done);
1157
Jann Horn3fc50ab2019-11-26 19:10:20 +01001158 for_each_node(node)
1159 kfree(wq->wqes[node]);
Jens Axboe771b53d02019-10-22 10:25:58 -06001160 kfree(wq->wqes);
1161 kfree(wq);
1162}
Jens Axboe848f7e12020-01-23 15:33:32 -07001163
1164void io_wq_destroy(struct io_wq *wq)
1165{
1166 if (refcount_dec_and_test(&wq->use_refs))
1167 __io_wq_destroy(wq);
1168}
Jens Axboeaa96bf82020-04-03 11:26:26 -06001169
1170struct task_struct *io_wq_get_task(struct io_wq *wq)
1171{
1172 return wq->manager;
1173}
Jens Axboe43c01fb2020-10-22 09:02:50 -06001174
1175static bool io_wq_worker_affinity(struct io_worker *worker, void *data)
1176{
1177 struct task_struct *task = worker->task;
1178 struct rq_flags rf;
1179 struct rq *rq;
1180
1181 rq = task_rq_lock(task, &rf);
1182 do_set_cpus_allowed(task, cpumask_of_node(worker->wqe->node));
1183 task->flags |= PF_NO_SETAFFINITY;
1184 task_rq_unlock(rq, task, &rf);
1185 return false;
1186}
1187
1188static int io_wq_cpu_online(unsigned int cpu, struct hlist_node *node)
1189{
1190 struct io_wq *wq = hlist_entry_safe(node, struct io_wq, cpuhp_node);
1191 int i;
1192
1193 rcu_read_lock();
1194 for_each_node(i)
1195 io_wq_for_each_worker(wq->wqes[i], io_wq_worker_affinity, NULL);
1196 rcu_read_unlock();
1197 return 0;
1198}
1199
1200static __init int io_wq_init(void)
1201{
1202 int ret;
1203
1204 ret = cpuhp_setup_state_multi(CPUHP_AP_ONLINE_DYN, "io-wq/online",
1205 io_wq_cpu_online, NULL);
1206 if (ret < 0)
1207 return ret;
1208 io_wq_online = ret;
1209 return 0;
1210}
1211subsys_initcall(io_wq_init);