blob: f72d53848dcbcb15581c674fef266b623cdfb469 [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 */
39 IO_WQ_BIT_CANCEL = 1, /* cancel work on list */
Jens Axboeb60fda62019-11-19 08:37:07 -070040 IO_WQ_BIT_ERROR = 2, /* error on setup */
Jens Axboe771b53d02019-10-22 10:25:58 -060041};
42
43enum {
44 IO_WQE_FLAG_STALLED = 1, /* stalled on hash */
45};
46
47/*
48 * One for each thread in a wqe pool
49 */
50struct io_worker {
51 refcount_t ref;
52 unsigned flags;
53 struct hlist_nulls_node nulls_node;
Jens Axboee61df662019-11-13 13:54:49 -070054 struct list_head all_list;
Jens Axboe771b53d02019-10-22 10:25:58 -060055 struct task_struct *task;
Jens Axboe771b53d02019-10-22 10:25:58 -060056 struct io_wqe *wqe;
Jens Axboe36c2f922019-11-13 09:43:34 -070057
Jens Axboe771b53d02019-10-22 10:25:58 -060058 struct io_wq_work *cur_work;
Jens Axboe36c2f922019-11-13 09:43:34 -070059 spinlock_t lock;
Jens Axboe771b53d02019-10-22 10:25:58 -060060
61 struct rcu_head rcu;
62 struct mm_struct *mm;
Dennis Zhou91d8f512020-09-16 13:41:05 -070063#ifdef CONFIG_BLK_CGROUP
64 struct cgroup_subsys_state *blkcg_css;
65#endif
Jens Axboecccf0ee2020-01-27 16:34:48 -070066 const struct cred *cur_creds;
67 const struct cred *saved_creds;
Jens Axboefcb323c2019-10-24 12:39:47 -060068 struct files_struct *restore_files;
Jens Axboe9b828492020-09-18 20:13:06 -060069 struct nsproxy *restore_nsproxy;
Jens Axboe9392a272020-02-06 21:42:51 -070070 struct fs_struct *restore_fs;
Jens Axboe771b53d02019-10-22 10:25:58 -060071};
72
Jens Axboe771b53d02019-10-22 10:25:58 -060073#if BITS_PER_LONG == 64
74#define IO_WQ_HASH_ORDER 6
75#else
76#define IO_WQ_HASH_ORDER 5
77#endif
78
Pavel Begunkov86f3cd12020-03-23 22:57:22 +030079#define IO_WQ_NR_HASH_BUCKETS (1u << IO_WQ_HASH_ORDER)
80
Jens Axboec5def4a2019-11-07 11:41:16 -070081struct io_wqe_acct {
82 unsigned nr_workers;
83 unsigned max_workers;
84 atomic_t nr_running;
85};
86
87enum {
88 IO_WQ_ACCT_BOUND,
89 IO_WQ_ACCT_UNBOUND,
90};
91
Jens Axboe771b53d02019-10-22 10:25:58 -060092/*
93 * Per-node worker thread pool
94 */
95struct io_wqe {
96 struct {
Sebastian Andrzej Siewior95da8462020-09-01 10:41:46 +020097 raw_spinlock_t lock;
Jens Axboe6206f0e2019-11-26 11:59:32 -070098 struct io_wq_work_list work_list;
Jens Axboe771b53d02019-10-22 10:25:58 -060099 unsigned long hash_map;
100 unsigned flags;
101 } ____cacheline_aligned_in_smp;
102
103 int node;
Jens Axboec5def4a2019-11-07 11:41:16 -0700104 struct io_wqe_acct acct[2];
Jens Axboe771b53d02019-10-22 10:25:58 -0600105
Jens Axboe021d1cd2019-11-14 08:00:41 -0700106 struct hlist_nulls_head free_list;
Jens Axboee61df662019-11-13 13:54:49 -0700107 struct list_head all_list;
Jens Axboe771b53d02019-10-22 10:25:58 -0600108
109 struct io_wq *wq;
Pavel Begunkov86f3cd12020-03-23 22:57:22 +0300110 struct io_wq_work *hash_tail[IO_WQ_NR_HASH_BUCKETS];
Jens Axboe771b53d02019-10-22 10:25:58 -0600111};
112
113/*
114 * Per io_wq state
115 */
116struct io_wq {
117 struct io_wqe **wqes;
118 unsigned long state;
Jens Axboe771b53d02019-10-22 10:25:58 -0600119
Pavel Begunkove9fd9392020-03-04 16:14:12 +0300120 free_work_fn *free_work;
Pavel Begunkovf5fa38c2020-06-08 21:08:20 +0300121 io_wq_work_fn *do_work;
Jens Axboe7d723062019-11-12 22:31:31 -0700122
Jens Axboe771b53d02019-10-22 10:25:58 -0600123 struct task_struct *manager;
Jens Axboec5def4a2019-11-07 11:41:16 -0700124 struct user_struct *user;
Jens Axboe771b53d02019-10-22 10:25:58 -0600125 refcount_t refs;
126 struct completion done;
Jens Axboe848f7e12020-01-23 15:33:32 -0700127
Jens Axboe43c01fb2020-10-22 09:02:50 -0600128 struct hlist_node cpuhp_node;
129
Jens Axboe848f7e12020-01-23 15:33:32 -0700130 refcount_t use_refs;
Jens Axboe771b53d02019-10-22 10:25:58 -0600131};
132
Jens Axboe43c01fb2020-10-22 09:02:50 -0600133static enum cpuhp_state io_wq_online;
134
Jens Axboe771b53d02019-10-22 10:25:58 -0600135static bool io_worker_get(struct io_worker *worker)
136{
137 return refcount_inc_not_zero(&worker->ref);
138}
139
140static void io_worker_release(struct io_worker *worker)
141{
142 if (refcount_dec_and_test(&worker->ref))
143 wake_up_process(worker->task);
144}
145
146/*
147 * Note: drops the wqe->lock if returning true! The caller must re-acquire
148 * the lock in that case. Some callers need to restart handling if this
149 * happens, so we can't just re-acquire the lock on behalf of the caller.
150 */
151static bool __io_worker_unuse(struct io_wqe *wqe, struct io_worker *worker)
152{
Jens Axboefcb323c2019-10-24 12:39:47 -0600153 bool dropped_lock = false;
154
Jens Axboecccf0ee2020-01-27 16:34:48 -0700155 if (worker->saved_creds) {
156 revert_creds(worker->saved_creds);
157 worker->cur_creds = worker->saved_creds = NULL;
Jens Axboe181e4482019-11-25 08:52:30 -0700158 }
159
Jens Axboefcb323c2019-10-24 12:39:47 -0600160 if (current->files != worker->restore_files) {
161 __acquire(&wqe->lock);
Sebastian Andrzej Siewior95da8462020-09-01 10:41:46 +0200162 raw_spin_unlock_irq(&wqe->lock);
Jens Axboefcb323c2019-10-24 12:39:47 -0600163 dropped_lock = true;
164
165 task_lock(current);
166 current->files = worker->restore_files;
Jens Axboe9b828492020-09-18 20:13:06 -0600167 current->nsproxy = worker->restore_nsproxy;
Jens Axboefcb323c2019-10-24 12:39:47 -0600168 task_unlock(current);
169 }
170
Jens Axboe9392a272020-02-06 21:42:51 -0700171 if (current->fs != worker->restore_fs)
172 current->fs = worker->restore_fs;
173
Jens Axboe771b53d02019-10-22 10:25:58 -0600174 /*
175 * If we have an active mm, we need to drop the wq lock before unusing
176 * it. If we do, return true and let the caller retry the idle loop.
177 */
178 if (worker->mm) {
Jens Axboefcb323c2019-10-24 12:39:47 -0600179 if (!dropped_lock) {
180 __acquire(&wqe->lock);
Sebastian Andrzej Siewior95da8462020-09-01 10:41:46 +0200181 raw_spin_unlock_irq(&wqe->lock);
Jens Axboefcb323c2019-10-24 12:39:47 -0600182 dropped_lock = true;
183 }
Jens Axboe771b53d02019-10-22 10:25:58 -0600184 __set_current_state(TASK_RUNNING);
Christoph Hellwigf5678e72020-06-10 18:42:06 -0700185 kthread_unuse_mm(worker->mm);
Jens Axboe771b53d02019-10-22 10:25:58 -0600186 mmput(worker->mm);
187 worker->mm = NULL;
Jens Axboe771b53d02019-10-22 10:25:58 -0600188 }
189
Dennis Zhou91d8f512020-09-16 13:41:05 -0700190#ifdef CONFIG_BLK_CGROUP
191 if (worker->blkcg_css) {
192 kthread_associate_blkcg(NULL);
193 worker->blkcg_css = NULL;
194 }
195#endif
Jens Axboe69228332020-10-20 14:28:41 -0600196 if (current->signal->rlim[RLIMIT_FSIZE].rlim_cur != RLIM_INFINITY)
197 current->signal->rlim[RLIMIT_FSIZE].rlim_cur = RLIM_INFINITY;
Jens Axboefcb323c2019-10-24 12:39:47 -0600198 return dropped_lock;
Jens Axboe771b53d02019-10-22 10:25:58 -0600199}
200
Jens Axboec5def4a2019-11-07 11:41:16 -0700201static inline struct io_wqe_acct *io_work_get_acct(struct io_wqe *wqe,
202 struct io_wq_work *work)
203{
204 if (work->flags & IO_WQ_WORK_UNBOUND)
205 return &wqe->acct[IO_WQ_ACCT_UNBOUND];
206
207 return &wqe->acct[IO_WQ_ACCT_BOUND];
208}
209
210static inline struct io_wqe_acct *io_wqe_get_acct(struct io_wqe *wqe,
211 struct io_worker *worker)
212{
213 if (worker->flags & IO_WORKER_F_BOUND)
214 return &wqe->acct[IO_WQ_ACCT_BOUND];
215
216 return &wqe->acct[IO_WQ_ACCT_UNBOUND];
217}
218
Jens Axboe771b53d02019-10-22 10:25:58 -0600219static void io_worker_exit(struct io_worker *worker)
220{
221 struct io_wqe *wqe = worker->wqe;
Jens Axboec5def4a2019-11-07 11:41:16 -0700222 struct io_wqe_acct *acct = io_wqe_get_acct(wqe, worker);
Jens Axboe771b53d02019-10-22 10:25:58 -0600223
224 /*
225 * If we're not at zero, someone else is holding a brief reference
226 * to the worker. Wait for that to go away.
227 */
228 set_current_state(TASK_INTERRUPTIBLE);
229 if (!refcount_dec_and_test(&worker->ref))
230 schedule();
231 __set_current_state(TASK_RUNNING);
232
233 preempt_disable();
234 current->flags &= ~PF_IO_WORKER;
235 if (worker->flags & IO_WORKER_F_RUNNING)
Jens Axboec5def4a2019-11-07 11:41:16 -0700236 atomic_dec(&acct->nr_running);
237 if (!(worker->flags & IO_WORKER_F_BOUND))
238 atomic_dec(&wqe->wq->user->processes);
Jens Axboe771b53d02019-10-22 10:25:58 -0600239 worker->flags = 0;
240 preempt_enable();
241
Sebastian Andrzej Siewior95da8462020-09-01 10:41:46 +0200242 raw_spin_lock_irq(&wqe->lock);
Jens Axboe771b53d02019-10-22 10:25:58 -0600243 hlist_nulls_del_rcu(&worker->nulls_node);
Jens Axboee61df662019-11-13 13:54:49 -0700244 list_del_rcu(&worker->all_list);
Jens Axboe771b53d02019-10-22 10:25:58 -0600245 if (__io_worker_unuse(wqe, worker)) {
246 __release(&wqe->lock);
Sebastian Andrzej Siewior95da8462020-09-01 10:41:46 +0200247 raw_spin_lock_irq(&wqe->lock);
Jens Axboe771b53d02019-10-22 10:25:58 -0600248 }
Jens Axboec5def4a2019-11-07 11:41:16 -0700249 acct->nr_workers--;
Sebastian Andrzej Siewior95da8462020-09-01 10:41:46 +0200250 raw_spin_unlock_irq(&wqe->lock);
Jens Axboe771b53d02019-10-22 10:25:58 -0600251
YueHaibing364b05f2019-11-02 15:55:01 +0800252 kfree_rcu(worker, rcu);
Hillf Dantonc4068bf2020-09-26 21:26:55 +0800253 if (refcount_dec_and_test(&wqe->wq->refs))
254 complete(&wqe->wq->done);
Jens Axboe771b53d02019-10-22 10:25:58 -0600255}
256
Jens Axboec5def4a2019-11-07 11:41:16 -0700257static inline bool io_wqe_run_queue(struct io_wqe *wqe)
258 __must_hold(wqe->lock)
259{
Jens Axboe6206f0e2019-11-26 11:59:32 -0700260 if (!wq_list_empty(&wqe->work_list) &&
261 !(wqe->flags & IO_WQE_FLAG_STALLED))
Jens Axboec5def4a2019-11-07 11:41:16 -0700262 return true;
263 return false;
264}
265
266/*
267 * Check head of free list for an available worker. If one isn't available,
268 * caller must wake up the wq manager to create one.
269 */
270static bool io_wqe_activate_free_worker(struct io_wqe *wqe)
271 __must_hold(RCU)
272{
273 struct hlist_nulls_node *n;
274 struct io_worker *worker;
275
Jens Axboe021d1cd2019-11-14 08:00:41 -0700276 n = rcu_dereference(hlist_nulls_first_rcu(&wqe->free_list));
Jens Axboec5def4a2019-11-07 11:41:16 -0700277 if (is_a_nulls(n))
278 return false;
279
280 worker = hlist_nulls_entry(n, struct io_worker, nulls_node);
281 if (io_worker_get(worker)) {
Jens Axboe506d95f2019-12-07 21:03:59 -0700282 wake_up_process(worker->task);
Jens Axboec5def4a2019-11-07 11:41:16 -0700283 io_worker_release(worker);
284 return true;
285 }
286
287 return false;
288}
289
290/*
291 * We need a worker. If we find a free one, we're good. If not, and we're
292 * below the max number of workers, wake up the manager to create one.
293 */
294static void io_wqe_wake_worker(struct io_wqe *wqe, struct io_wqe_acct *acct)
295{
296 bool ret;
297
298 /*
299 * Most likely an attempt to queue unbounded work on an io_wq that
300 * wasn't setup with any unbounded workers.
301 */
302 WARN_ON_ONCE(!acct->max_workers);
303
304 rcu_read_lock();
305 ret = io_wqe_activate_free_worker(wqe);
306 rcu_read_unlock();
307
308 if (!ret && acct->nr_workers < acct->max_workers)
309 wake_up_process(wqe->wq->manager);
310}
311
312static void io_wqe_inc_running(struct io_wqe *wqe, struct io_worker *worker)
313{
314 struct io_wqe_acct *acct = io_wqe_get_acct(wqe, worker);
315
316 atomic_inc(&acct->nr_running);
317}
318
319static void io_wqe_dec_running(struct io_wqe *wqe, struct io_worker *worker)
320 __must_hold(wqe->lock)
321{
322 struct io_wqe_acct *acct = io_wqe_get_acct(wqe, worker);
323
324 if (atomic_dec_and_test(&acct->nr_running) && io_wqe_run_queue(wqe))
325 io_wqe_wake_worker(wqe, acct);
326}
327
Jens Axboe771b53d02019-10-22 10:25:58 -0600328static void io_worker_start(struct io_wqe *wqe, struct io_worker *worker)
329{
330 allow_kernel_signal(SIGINT);
331
332 current->flags |= PF_IO_WORKER;
333
334 worker->flags |= (IO_WORKER_F_UP | IO_WORKER_F_RUNNING);
Jens Axboefcb323c2019-10-24 12:39:47 -0600335 worker->restore_files = current->files;
Jens Axboe9b828492020-09-18 20:13:06 -0600336 worker->restore_nsproxy = current->nsproxy;
Jens Axboe9392a272020-02-06 21:42:51 -0700337 worker->restore_fs = current->fs;
Jens Axboec5def4a2019-11-07 11:41:16 -0700338 io_wqe_inc_running(wqe, worker);
Jens Axboe771b53d02019-10-22 10:25:58 -0600339}
340
341/*
342 * Worker will start processing some work. Move it to the busy list, if
343 * it's currently on the freelist
344 */
345static void __io_worker_busy(struct io_wqe *wqe, struct io_worker *worker,
346 struct io_wq_work *work)
347 __must_hold(wqe->lock)
348{
Jens Axboec5def4a2019-11-07 11:41:16 -0700349 bool worker_bound, work_bound;
350
Jens Axboe771b53d02019-10-22 10:25:58 -0600351 if (worker->flags & IO_WORKER_F_FREE) {
352 worker->flags &= ~IO_WORKER_F_FREE;
353 hlist_nulls_del_init_rcu(&worker->nulls_node);
Jens Axboe771b53d02019-10-22 10:25:58 -0600354 }
Jens Axboec5def4a2019-11-07 11:41:16 -0700355
356 /*
357 * If worker is moving from bound to unbound (or vice versa), then
358 * ensure we update the running accounting.
359 */
Dan Carpenterb2e9c7d62019-11-19 09:22:16 +0300360 worker_bound = (worker->flags & IO_WORKER_F_BOUND) != 0;
361 work_bound = (work->flags & IO_WQ_WORK_UNBOUND) == 0;
362 if (worker_bound != work_bound) {
Jens Axboec5def4a2019-11-07 11:41:16 -0700363 io_wqe_dec_running(wqe, worker);
364 if (work_bound) {
365 worker->flags |= IO_WORKER_F_BOUND;
366 wqe->acct[IO_WQ_ACCT_UNBOUND].nr_workers--;
367 wqe->acct[IO_WQ_ACCT_BOUND].nr_workers++;
368 atomic_dec(&wqe->wq->user->processes);
369 } else {
370 worker->flags &= ~IO_WORKER_F_BOUND;
371 wqe->acct[IO_WQ_ACCT_UNBOUND].nr_workers++;
372 wqe->acct[IO_WQ_ACCT_BOUND].nr_workers--;
373 atomic_inc(&wqe->wq->user->processes);
374 }
375 io_wqe_inc_running(wqe, worker);
376 }
Jens Axboe771b53d02019-10-22 10:25:58 -0600377}
378
379/*
380 * No work, worker going to sleep. Move to freelist, and unuse mm if we
381 * have one attached. Dropping the mm may potentially sleep, so we drop
382 * the lock in that case and return success. Since the caller has to
383 * retry the loop in that case (we changed task state), we don't regrab
384 * the lock if we return success.
385 */
386static bool __io_worker_idle(struct io_wqe *wqe, struct io_worker *worker)
387 __must_hold(wqe->lock)
388{
389 if (!(worker->flags & IO_WORKER_F_FREE)) {
390 worker->flags |= IO_WORKER_F_FREE;
Jens Axboe021d1cd2019-11-14 08:00:41 -0700391 hlist_nulls_add_head_rcu(&worker->nulls_node, &wqe->free_list);
Jens Axboe771b53d02019-10-22 10:25:58 -0600392 }
393
394 return __io_worker_unuse(wqe, worker);
395}
396
Pavel Begunkov60cf46a2020-03-14 00:31:05 +0300397static inline unsigned int io_get_work_hash(struct io_wq_work *work)
398{
399 return work->flags >> IO_WQ_HASH_SHIFT;
400}
401
402static struct io_wq_work *io_get_next_work(struct io_wqe *wqe)
Jens Axboe771b53d02019-10-22 10:25:58 -0600403 __must_hold(wqe->lock)
404{
Jens Axboe6206f0e2019-11-26 11:59:32 -0700405 struct io_wq_work_node *node, *prev;
Pavel Begunkov86f3cd12020-03-23 22:57:22 +0300406 struct io_wq_work *work, *tail;
Pavel Begunkov60cf46a2020-03-14 00:31:05 +0300407 unsigned int hash;
Jens Axboe771b53d02019-10-22 10:25:58 -0600408
Jens Axboe6206f0e2019-11-26 11:59:32 -0700409 wq_list_for_each(node, prev, &wqe->work_list) {
410 work = container_of(node, struct io_wq_work, list);
411
Jens Axboe771b53d02019-10-22 10:25:58 -0600412 /* not hashed, can run anytime */
Pavel Begunkov8766dd52020-03-14 00:31:04 +0300413 if (!io_wq_is_hashed(work)) {
Pavel Begunkov86f3cd12020-03-23 22:57:22 +0300414 wq_list_del(&wqe->work_list, node, prev);
Jens Axboe771b53d02019-10-22 10:25:58 -0600415 return work;
416 }
417
418 /* hashed, can run if not already running */
Pavel Begunkov60cf46a2020-03-14 00:31:05 +0300419 hash = io_get_work_hash(work);
420 if (!(wqe->hash_map & BIT(hash))) {
421 wqe->hash_map |= BIT(hash);
Pavel Begunkov86f3cd12020-03-23 22:57:22 +0300422 /* all items with this hash lie in [work, tail] */
423 tail = wqe->hash_tail[hash];
424 wqe->hash_tail[hash] = NULL;
425 wq_list_cut(&wqe->work_list, &tail->list, prev);
Jens Axboe771b53d02019-10-22 10:25:58 -0600426 return work;
427 }
428 }
429
430 return NULL;
431}
432
Jens Axboecccf0ee2020-01-27 16:34:48 -0700433static void io_wq_switch_mm(struct io_worker *worker, struct io_wq_work *work)
434{
435 if (worker->mm) {
Christoph Hellwigf5678e72020-06-10 18:42:06 -0700436 kthread_unuse_mm(worker->mm);
Jens Axboecccf0ee2020-01-27 16:34:48 -0700437 mmput(worker->mm);
438 worker->mm = NULL;
439 }
Christoph Hellwig37c54f92020-06-10 18:42:10 -0700440
Jens Axboe98447d62020-10-14 10:48:51 -0600441 if (mmget_not_zero(work->identity->mm)) {
442 kthread_use_mm(work->identity->mm);
443 worker->mm = work->identity->mm;
Jens Axboecccf0ee2020-01-27 16:34:48 -0700444 return;
445 }
446
447 /* failed grabbing mm, ensure work gets cancelled */
448 work->flags |= IO_WQ_WORK_CANCEL;
449}
450
Dennis Zhou91d8f512020-09-16 13:41:05 -0700451static inline void io_wq_switch_blkcg(struct io_worker *worker,
452 struct io_wq_work *work)
453{
454#ifdef CONFIG_BLK_CGROUP
Jens Axboe0f203762020-10-14 09:23:55 -0600455 if (!(work->flags & IO_WQ_WORK_BLKCG))
456 return;
Jens Axboe98447d62020-10-14 10:48:51 -0600457 if (work->identity->blkcg_css != worker->blkcg_css) {
458 kthread_associate_blkcg(work->identity->blkcg_css);
459 worker->blkcg_css = work->identity->blkcg_css;
Dennis Zhou91d8f512020-09-16 13:41:05 -0700460 }
461#endif
462}
463
Jens Axboecccf0ee2020-01-27 16:34:48 -0700464static void io_wq_switch_creds(struct io_worker *worker,
465 struct io_wq_work *work)
466{
Jens Axboe98447d62020-10-14 10:48:51 -0600467 const struct cred *old_creds = override_creds(work->identity->creds);
Jens Axboecccf0ee2020-01-27 16:34:48 -0700468
Jens Axboe98447d62020-10-14 10:48:51 -0600469 worker->cur_creds = work->identity->creds;
Jens Axboecccf0ee2020-01-27 16:34:48 -0700470 if (worker->saved_creds)
471 put_cred(old_creds); /* creds set by previous switch */
472 else
473 worker->saved_creds = old_creds;
474}
475
Pavel Begunkovdc026a72020-03-04 16:14:09 +0300476static void io_impersonate_work(struct io_worker *worker,
477 struct io_wq_work *work)
478{
Jens Axboe98447d62020-10-14 10:48:51 -0600479 if ((work->flags & IO_WQ_WORK_FILES) &&
480 current->files != work->identity->files) {
Pavel Begunkovdc026a72020-03-04 16:14:09 +0300481 task_lock(current);
Jens Axboe98447d62020-10-14 10:48:51 -0600482 current->files = work->identity->files;
483 current->nsproxy = work->identity->nsproxy;
Pavel Begunkovdc026a72020-03-04 16:14:09 +0300484 task_unlock(current);
Jens Axboe3dd16802020-10-30 09:36:41 -0600485 if (!work->identity->files) {
486 /* failed grabbing files, ensure work gets cancelled */
487 work->flags |= IO_WQ_WORK_CANCEL;
488 }
Pavel Begunkovdc026a72020-03-04 16:14:09 +0300489 }
Jens Axboe98447d62020-10-14 10:48:51 -0600490 if ((work->flags & IO_WQ_WORK_FS) && current->fs != work->identity->fs)
491 current->fs = work->identity->fs;
492 if ((work->flags & IO_WQ_WORK_MM) && work->identity->mm != worker->mm)
Pavel Begunkovdc026a72020-03-04 16:14:09 +0300493 io_wq_switch_mm(worker, work);
Jens Axboe98447d62020-10-14 10:48:51 -0600494 if ((work->flags & IO_WQ_WORK_CREDS) &&
495 worker->cur_creds != work->identity->creds)
Pavel Begunkovdc026a72020-03-04 16:14:09 +0300496 io_wq_switch_creds(worker, work);
Jens Axboe69228332020-10-20 14:28:41 -0600497 if (work->flags & IO_WQ_WORK_FSIZE)
498 current->signal->rlim[RLIMIT_FSIZE].rlim_cur = work->identity->fsize;
499 else if (current->signal->rlim[RLIMIT_FSIZE].rlim_cur != RLIM_INFINITY)
500 current->signal->rlim[RLIMIT_FSIZE].rlim_cur = RLIM_INFINITY;
Dennis Zhou91d8f512020-09-16 13:41:05 -0700501 io_wq_switch_blkcg(worker, work);
Jens Axboe4ea33a92020-10-15 13:46:44 -0600502#ifdef CONFIG_AUDIT
503 current->loginuid = work->identity->loginuid;
504 current->sessionid = work->identity->sessionid;
505#endif
Pavel Begunkovdc026a72020-03-04 16:14:09 +0300506}
507
508static void io_assign_current_work(struct io_worker *worker,
509 struct io_wq_work *work)
510{
Pavel Begunkovd78298e2020-03-14 00:31:03 +0300511 if (work) {
512 /* flush pending signals before assigning new work */
513 if (signal_pending(current))
514 flush_signals(current);
515 cond_resched();
516 }
Pavel Begunkovdc026a72020-03-04 16:14:09 +0300517
Jens Axboe4ea33a92020-10-15 13:46:44 -0600518#ifdef CONFIG_AUDIT
519 current->loginuid = KUIDT_INIT(AUDIT_UID_UNSET);
520 current->sessionid = AUDIT_SID_UNSET;
521#endif
522
Pavel Begunkovdc026a72020-03-04 16:14:09 +0300523 spin_lock_irq(&worker->lock);
524 worker->cur_work = work;
525 spin_unlock_irq(&worker->lock);
526}
527
Pavel Begunkov60cf46a2020-03-14 00:31:05 +0300528static void io_wqe_enqueue(struct io_wqe *wqe, struct io_wq_work *work);
529
Jens Axboe771b53d02019-10-22 10:25:58 -0600530static void io_worker_handle_work(struct io_worker *worker)
531 __releases(wqe->lock)
532{
Jens Axboe771b53d02019-10-22 10:25:58 -0600533 struct io_wqe *wqe = worker->wqe;
534 struct io_wq *wq = wqe->wq;
535
536 do {
Pavel Begunkov86f3cd12020-03-23 22:57:22 +0300537 struct io_wq_work *work;
Pavel Begunkovf462fd32020-03-04 16:14:11 +0300538get_next:
Jens Axboe771b53d02019-10-22 10:25:58 -0600539 /*
Jens Axboe771b53d02019-10-22 10:25:58 -0600540 * If we got some work, mark us as busy. If we didn't, but
541 * the list isn't empty, it means we stalled on hashed work.
542 * Mark us stalled so we don't keep looking for work when we
543 * can't make progress, any work completion or insertion will
544 * clear the stalled flag.
545 */
Pavel Begunkov60cf46a2020-03-14 00:31:05 +0300546 work = io_get_next_work(wqe);
Jens Axboe771b53d02019-10-22 10:25:58 -0600547 if (work)
548 __io_worker_busy(wqe, worker, work);
Jens Axboe6206f0e2019-11-26 11:59:32 -0700549 else if (!wq_list_empty(&wqe->work_list))
Jens Axboe771b53d02019-10-22 10:25:58 -0600550 wqe->flags |= IO_WQE_FLAG_STALLED;
551
Sebastian Andrzej Siewior95da8462020-09-01 10:41:46 +0200552 raw_spin_unlock_irq(&wqe->lock);
Jens Axboe771b53d02019-10-22 10:25:58 -0600553 if (!work)
554 break;
Pavel Begunkov58e39312020-03-04 16:14:10 +0300555 io_assign_current_work(worker, work);
Jens Axboe36c2f922019-11-13 09:43:34 -0700556
Pavel Begunkovdc026a72020-03-04 16:14:09 +0300557 /* handle a whole dependent link */
558 do {
Pavel Begunkov86f3cd12020-03-23 22:57:22 +0300559 struct io_wq_work *old_work, *next_hashed, *linked;
Pavel Begunkovb089ed392020-07-25 14:42:00 +0300560 unsigned int hash = io_get_work_hash(work);
Hillf Dantonfd1c4bc2019-12-24 09:14:29 -0700561
Pavel Begunkov86f3cd12020-03-23 22:57:22 +0300562 next_hashed = wq_next_work(work);
Pavel Begunkov58e39312020-03-04 16:14:10 +0300563 io_impersonate_work(worker, work);
Pavel Begunkovdc026a72020-03-04 16:14:09 +0300564 /*
565 * OK to set IO_WQ_WORK_CANCEL even for uncancellable
566 * work, the worker function will do the right thing.
567 */
568 if (test_bit(IO_WQ_BIT_CANCEL, &wq->state))
569 work->flags |= IO_WQ_WORK_CANCEL;
Jens Axboe36c2f922019-11-13 09:43:34 -0700570
Pavel Begunkovf4db7182020-06-25 18:20:54 +0300571 old_work = work;
572 linked = wq->do_work(work);
Pavel Begunkovf2cf1142020-03-22 19:14:26 +0300573
Pavel Begunkov86f3cd12020-03-23 22:57:22 +0300574 work = next_hashed;
575 if (!work && linked && !io_wq_is_hashed(linked)) {
576 work = linked;
577 linked = NULL;
578 }
579 io_assign_current_work(worker, work);
Pavel Begunkove9fd9392020-03-04 16:14:12 +0300580 wq->free_work(old_work);
Pavel Begunkovdc026a72020-03-04 16:14:09 +0300581
Pavel Begunkov86f3cd12020-03-23 22:57:22 +0300582 if (linked)
583 io_wqe_enqueue(wqe, linked);
584
585 if (hash != -1U && !next_hashed) {
Sebastian Andrzej Siewior95da8462020-09-01 10:41:46 +0200586 raw_spin_lock_irq(&wqe->lock);
Pavel Begunkovdc026a72020-03-04 16:14:09 +0300587 wqe->hash_map &= ~BIT_ULL(hash);
588 wqe->flags &= ~IO_WQE_FLAG_STALLED;
Pavel Begunkovf462fd32020-03-04 16:14:11 +0300589 /* skip unnecessary unlock-lock wqe->lock */
590 if (!work)
591 goto get_next;
Sebastian Andrzej Siewior95da8462020-09-01 10:41:46 +0200592 raw_spin_unlock_irq(&wqe->lock);
Pavel Begunkovdc026a72020-03-04 16:14:09 +0300593 }
Pavel Begunkov58e39312020-03-04 16:14:10 +0300594 } while (work);
Jens Axboe36c2f922019-11-13 09:43:34 -0700595
Sebastian Andrzej Siewior95da8462020-09-01 10:41:46 +0200596 raw_spin_lock_irq(&wqe->lock);
Jens Axboe771b53d02019-10-22 10:25:58 -0600597 } while (1);
598}
599
Jens Axboe771b53d02019-10-22 10:25:58 -0600600static int io_wqe_worker(void *data)
601{
602 struct io_worker *worker = data;
603 struct io_wqe *wqe = worker->wqe;
604 struct io_wq *wq = wqe->wq;
Jens Axboe771b53d02019-10-22 10:25:58 -0600605
606 io_worker_start(wqe, worker);
607
608 while (!test_bit(IO_WQ_BIT_EXIT, &wq->state)) {
Jens Axboe506d95f2019-12-07 21:03:59 -0700609 set_current_state(TASK_INTERRUPTIBLE);
Jens Axboee995d512019-12-07 21:06:46 -0700610loop:
Sebastian Andrzej Siewior95da8462020-09-01 10:41:46 +0200611 raw_spin_lock_irq(&wqe->lock);
Jens Axboe771b53d02019-10-22 10:25:58 -0600612 if (io_wqe_run_queue(wqe)) {
613 __set_current_state(TASK_RUNNING);
614 io_worker_handle_work(worker);
Jens Axboee995d512019-12-07 21:06:46 -0700615 goto loop;
Jens Axboe771b53d02019-10-22 10:25:58 -0600616 }
617 /* drops the lock on success, retry */
618 if (__io_worker_idle(wqe, worker)) {
619 __release(&wqe->lock);
Jens Axboee995d512019-12-07 21:06:46 -0700620 goto loop;
Jens Axboe771b53d02019-10-22 10:25:58 -0600621 }
Sebastian Andrzej Siewior95da8462020-09-01 10:41:46 +0200622 raw_spin_unlock_irq(&wqe->lock);
Jens Axboe771b53d02019-10-22 10:25:58 -0600623 if (signal_pending(current))
624 flush_signals(current);
625 if (schedule_timeout(WORKER_IDLE_TIMEOUT))
626 continue;
627 /* timed out, exit unless we're the fixed worker */
628 if (test_bit(IO_WQ_BIT_EXIT, &wq->state) ||
629 !(worker->flags & IO_WORKER_F_FIXED))
630 break;
631 }
632
Jens Axboe771b53d02019-10-22 10:25:58 -0600633 if (test_bit(IO_WQ_BIT_EXIT, &wq->state)) {
Sebastian Andrzej Siewior95da8462020-09-01 10:41:46 +0200634 raw_spin_lock_irq(&wqe->lock);
Jens Axboe6206f0e2019-11-26 11:59:32 -0700635 if (!wq_list_empty(&wqe->work_list))
Jens Axboe771b53d02019-10-22 10:25:58 -0600636 io_worker_handle_work(worker);
637 else
Sebastian Andrzej Siewior95da8462020-09-01 10:41:46 +0200638 raw_spin_unlock_irq(&wqe->lock);
Jens Axboe771b53d02019-10-22 10:25:58 -0600639 }
640
641 io_worker_exit(worker);
642 return 0;
643}
644
645/*
Jens Axboe771b53d02019-10-22 10:25:58 -0600646 * Called when a worker is scheduled in. Mark us as currently running.
647 */
648void io_wq_worker_running(struct task_struct *tsk)
649{
650 struct io_worker *worker = kthread_data(tsk);
651 struct io_wqe *wqe = worker->wqe;
652
653 if (!(worker->flags & IO_WORKER_F_UP))
654 return;
655 if (worker->flags & IO_WORKER_F_RUNNING)
656 return;
657 worker->flags |= IO_WORKER_F_RUNNING;
Jens Axboec5def4a2019-11-07 11:41:16 -0700658 io_wqe_inc_running(wqe, worker);
Jens Axboe771b53d02019-10-22 10:25:58 -0600659}
660
661/*
662 * Called when worker is going to sleep. If there are no workers currently
663 * running and we have work pending, wake up a free one or have the manager
664 * set one up.
665 */
666void io_wq_worker_sleeping(struct task_struct *tsk)
667{
668 struct io_worker *worker = kthread_data(tsk);
669 struct io_wqe *wqe = worker->wqe;
670
671 if (!(worker->flags & IO_WORKER_F_UP))
672 return;
673 if (!(worker->flags & IO_WORKER_F_RUNNING))
674 return;
675
676 worker->flags &= ~IO_WORKER_F_RUNNING;
677
Sebastian Andrzej Siewior95da8462020-09-01 10:41:46 +0200678 raw_spin_lock_irq(&wqe->lock);
Jens Axboec5def4a2019-11-07 11:41:16 -0700679 io_wqe_dec_running(wqe, worker);
Sebastian Andrzej Siewior95da8462020-09-01 10:41:46 +0200680 raw_spin_unlock_irq(&wqe->lock);
Jens Axboe771b53d02019-10-22 10:25:58 -0600681}
682
Jens Axboeb60fda62019-11-19 08:37:07 -0700683static bool create_io_worker(struct io_wq *wq, struct io_wqe *wqe, int index)
Jens Axboe771b53d02019-10-22 10:25:58 -0600684{
Hillf Dantonc4068bf2020-09-26 21:26:55 +0800685 struct io_wqe_acct *acct = &wqe->acct[index];
Jens Axboe771b53d02019-10-22 10:25:58 -0600686 struct io_worker *worker;
687
Jann Hornad6e0052019-11-26 17:39:45 +0100688 worker = kzalloc_node(sizeof(*worker), GFP_KERNEL, wqe->node);
Jens Axboe771b53d02019-10-22 10:25:58 -0600689 if (!worker)
Jens Axboeb60fda62019-11-19 08:37:07 -0700690 return false;
Jens Axboe771b53d02019-10-22 10:25:58 -0600691
692 refcount_set(&worker->ref, 1);
693 worker->nulls_node.pprev = NULL;
Jens Axboe771b53d02019-10-22 10:25:58 -0600694 worker->wqe = wqe;
Jens Axboe36c2f922019-11-13 09:43:34 -0700695 spin_lock_init(&worker->lock);
Jens Axboe771b53d02019-10-22 10:25:58 -0600696
697 worker->task = kthread_create_on_node(io_wqe_worker, worker, wqe->node,
Jens Axboec5def4a2019-11-07 11:41:16 -0700698 "io_wqe_worker-%d/%d", index, wqe->node);
Jens Axboe771b53d02019-10-22 10:25:58 -0600699 if (IS_ERR(worker->task)) {
700 kfree(worker);
Jens Axboeb60fda62019-11-19 08:37:07 -0700701 return false;
Jens Axboe771b53d02019-10-22 10:25:58 -0600702 }
Jens Axboea8b595b2020-10-15 10:13:07 -0600703 kthread_bind_mask(worker->task, cpumask_of_node(wqe->node));
Jens Axboe771b53d02019-10-22 10:25:58 -0600704
Sebastian Andrzej Siewior95da8462020-09-01 10:41:46 +0200705 raw_spin_lock_irq(&wqe->lock);
Jens Axboe021d1cd2019-11-14 08:00:41 -0700706 hlist_nulls_add_head_rcu(&worker->nulls_node, &wqe->free_list);
Jens Axboee61df662019-11-13 13:54:49 -0700707 list_add_tail_rcu(&worker->all_list, &wqe->all_list);
Jens Axboe771b53d02019-10-22 10:25:58 -0600708 worker->flags |= IO_WORKER_F_FREE;
Jens Axboec5def4a2019-11-07 11:41:16 -0700709 if (index == IO_WQ_ACCT_BOUND)
710 worker->flags |= IO_WORKER_F_BOUND;
711 if (!acct->nr_workers && (worker->flags & IO_WORKER_F_BOUND))
Jens Axboe771b53d02019-10-22 10:25:58 -0600712 worker->flags |= IO_WORKER_F_FIXED;
Jens Axboec5def4a2019-11-07 11:41:16 -0700713 acct->nr_workers++;
Sebastian Andrzej Siewior95da8462020-09-01 10:41:46 +0200714 raw_spin_unlock_irq(&wqe->lock);
Jens Axboe771b53d02019-10-22 10:25:58 -0600715
Jens Axboec5def4a2019-11-07 11:41:16 -0700716 if (index == IO_WQ_ACCT_UNBOUND)
717 atomic_inc(&wq->user->processes);
718
Hillf Dantonc4068bf2020-09-26 21:26:55 +0800719 refcount_inc(&wq->refs);
Jens Axboe771b53d02019-10-22 10:25:58 -0600720 wake_up_process(worker->task);
Jens Axboeb60fda62019-11-19 08:37:07 -0700721 return true;
Jens Axboe771b53d02019-10-22 10:25:58 -0600722}
723
Jens Axboec5def4a2019-11-07 11:41:16 -0700724static inline bool io_wqe_need_worker(struct io_wqe *wqe, int index)
Jens Axboe771b53d02019-10-22 10:25:58 -0600725 __must_hold(wqe->lock)
726{
Jens Axboec5def4a2019-11-07 11:41:16 -0700727 struct io_wqe_acct *acct = &wqe->acct[index];
Jens Axboe771b53d02019-10-22 10:25:58 -0600728
Jens Axboec5def4a2019-11-07 11:41:16 -0700729 /* if we have available workers or no work, no need */
Jens Axboe021d1cd2019-11-14 08:00:41 -0700730 if (!hlist_nulls_empty(&wqe->free_list) || !io_wqe_run_queue(wqe))
Jens Axboec5def4a2019-11-07 11:41:16 -0700731 return false;
732 return acct->nr_workers < acct->max_workers;
Jens Axboe771b53d02019-10-22 10:25:58 -0600733}
734
Hillf Dantonc4068bf2020-09-26 21:26:55 +0800735static bool io_wqe_worker_send_sig(struct io_worker *worker, void *data)
736{
737 send_sig(SIGINT, worker->task, 1);
738 return false;
739}
740
741/*
742 * Iterate the passed in list and call the specific function for each
743 * worker that isn't exiting
744 */
745static bool io_wq_for_each_worker(struct io_wqe *wqe,
746 bool (*func)(struct io_worker *, void *),
747 void *data)
748{
749 struct io_worker *worker;
750 bool ret = false;
751
752 list_for_each_entry_rcu(worker, &wqe->all_list, all_list) {
753 if (io_worker_get(worker)) {
754 /* no task if node is/was offline */
755 if (worker->task)
756 ret = func(worker, data);
757 io_worker_release(worker);
758 if (ret)
759 break;
760 }
761 }
762
763 return ret;
764}
765
766static bool io_wq_worker_wake(struct io_worker *worker, void *data)
767{
768 wake_up_process(worker->task);
769 return false;
770}
771
Jens Axboe771b53d02019-10-22 10:25:58 -0600772/*
773 * Manager thread. Tasked with creating new workers, if we need them.
774 */
775static int io_wq_manager(void *data)
776{
777 struct io_wq *wq = data;
Jann Horn3fc50ab2019-11-26 19:10:20 +0100778 int node;
Jens Axboeb60fda62019-11-19 08:37:07 -0700779
780 /* create fixed workers */
Hillf Dantonc4068bf2020-09-26 21:26:55 +0800781 refcount_set(&wq->refs, 1);
Jann Horn3fc50ab2019-11-26 19:10:20 +0100782 for_each_node(node) {
Jens Axboe75634392020-02-11 06:30:06 -0700783 if (!node_online(node))
784 continue;
Hillf Dantonc4068bf2020-09-26 21:26:55 +0800785 if (create_io_worker(wq, wq->wqes[node], IO_WQ_ACCT_BOUND))
786 continue;
787 set_bit(IO_WQ_BIT_ERROR, &wq->state);
788 set_bit(IO_WQ_BIT_EXIT, &wq->state);
789 goto out;
Jens Axboeb60fda62019-11-19 08:37:07 -0700790 }
791
792 complete(&wq->done);
Jens Axboe771b53d02019-10-22 10:25:58 -0600793
794 while (!kthread_should_stop()) {
Jens Axboeaa96bf82020-04-03 11:26:26 -0600795 if (current->task_works)
796 task_work_run();
797
Jann Horn3fc50ab2019-11-26 19:10:20 +0100798 for_each_node(node) {
799 struct io_wqe *wqe = wq->wqes[node];
Jens Axboec5def4a2019-11-07 11:41:16 -0700800 bool fork_worker[2] = { false, false };
Jens Axboe771b53d02019-10-22 10:25:58 -0600801
Jens Axboe75634392020-02-11 06:30:06 -0700802 if (!node_online(node))
803 continue;
804
Sebastian Andrzej Siewior95da8462020-09-01 10:41:46 +0200805 raw_spin_lock_irq(&wqe->lock);
Jens Axboec5def4a2019-11-07 11:41:16 -0700806 if (io_wqe_need_worker(wqe, IO_WQ_ACCT_BOUND))
807 fork_worker[IO_WQ_ACCT_BOUND] = true;
808 if (io_wqe_need_worker(wqe, IO_WQ_ACCT_UNBOUND))
809 fork_worker[IO_WQ_ACCT_UNBOUND] = true;
Sebastian Andrzej Siewior95da8462020-09-01 10:41:46 +0200810 raw_spin_unlock_irq(&wqe->lock);
Jens Axboec5def4a2019-11-07 11:41:16 -0700811 if (fork_worker[IO_WQ_ACCT_BOUND])
812 create_io_worker(wq, wqe, IO_WQ_ACCT_BOUND);
813 if (fork_worker[IO_WQ_ACCT_UNBOUND])
814 create_io_worker(wq, wqe, IO_WQ_ACCT_UNBOUND);
Jens Axboe771b53d02019-10-22 10:25:58 -0600815 }
816 set_current_state(TASK_INTERRUPTIBLE);
817 schedule_timeout(HZ);
818 }
819
Jens Axboeaa96bf82020-04-03 11:26:26 -0600820 if (current->task_works)
821 task_work_run();
822
Hillf Dantonc4068bf2020-09-26 21:26:55 +0800823out:
824 if (refcount_dec_and_test(&wq->refs)) {
Jens Axboeb60fda62019-11-19 08:37:07 -0700825 complete(&wq->done);
Hillf Dantonc4068bf2020-09-26 21:26:55 +0800826 return 0;
827 }
828 /* if ERROR is set and we get here, we have workers to wake */
829 if (test_bit(IO_WQ_BIT_ERROR, &wq->state)) {
830 rcu_read_lock();
831 for_each_node(node)
832 io_wq_for_each_worker(wq->wqes[node], io_wq_worker_wake, NULL);
833 rcu_read_unlock();
834 }
Jens Axboeb60fda62019-11-19 08:37:07 -0700835 return 0;
Jens Axboe771b53d02019-10-22 10:25:58 -0600836}
837
Jens Axboec5def4a2019-11-07 11:41:16 -0700838static bool io_wq_can_queue(struct io_wqe *wqe, struct io_wqe_acct *acct,
839 struct io_wq_work *work)
840{
841 bool free_worker;
842
843 if (!(work->flags & IO_WQ_WORK_UNBOUND))
844 return true;
845 if (atomic_read(&acct->nr_running))
846 return true;
847
848 rcu_read_lock();
Jens Axboe021d1cd2019-11-14 08:00:41 -0700849 free_worker = !hlist_nulls_empty(&wqe->free_list);
Jens Axboec5def4a2019-11-07 11:41:16 -0700850 rcu_read_unlock();
851 if (free_worker)
852 return true;
853
854 if (atomic_read(&wqe->wq->user->processes) >= acct->max_workers &&
855 !(capable(CAP_SYS_RESOURCE) || capable(CAP_SYS_ADMIN)))
856 return false;
857
858 return true;
859}
860
Pavel Begunkove9fd9392020-03-04 16:14:12 +0300861static void io_run_cancel(struct io_wq_work *work, struct io_wqe *wqe)
Pavel Begunkovfc04c392020-03-01 19:18:19 +0300862{
Pavel Begunkove9fd9392020-03-04 16:14:12 +0300863 struct io_wq *wq = wqe->wq;
864
Pavel Begunkovfc04c392020-03-01 19:18:19 +0300865 do {
866 struct io_wq_work *old_work = work;
867
868 work->flags |= IO_WQ_WORK_CANCEL;
Pavel Begunkovf4db7182020-06-25 18:20:54 +0300869 work = wq->do_work(work);
Pavel Begunkove9fd9392020-03-04 16:14:12 +0300870 wq->free_work(old_work);
Pavel Begunkovfc04c392020-03-01 19:18:19 +0300871 } while (work);
872}
873
Pavel Begunkov86f3cd12020-03-23 22:57:22 +0300874static void io_wqe_insert_work(struct io_wqe *wqe, struct io_wq_work *work)
875{
876 unsigned int hash;
877 struct io_wq_work *tail;
878
879 if (!io_wq_is_hashed(work)) {
880append:
881 wq_list_add_tail(&work->list, &wqe->work_list);
882 return;
883 }
884
885 hash = io_get_work_hash(work);
886 tail = wqe->hash_tail[hash];
887 wqe->hash_tail[hash] = work;
888 if (!tail)
889 goto append;
890
891 wq_list_add_after(&work->list, &tail->list, &wqe->work_list);
892}
893
Jens Axboe771b53d02019-10-22 10:25:58 -0600894static void io_wqe_enqueue(struct io_wqe *wqe, struct io_wq_work *work)
895{
Jens Axboec5def4a2019-11-07 11:41:16 -0700896 struct io_wqe_acct *acct = io_work_get_acct(wqe, work);
Jens Axboe895e2ca2019-12-17 08:46:33 -0700897 int work_flags;
Jens Axboe771b53d02019-10-22 10:25:58 -0600898 unsigned long flags;
899
Jens Axboec5def4a2019-11-07 11:41:16 -0700900 /*
901 * Do early check to see if we need a new unbound worker, and if we do,
902 * if we're allowed to do so. This isn't 100% accurate as there's a
903 * gap between this check and incrementing the value, but that's OK.
904 * It's close enough to not be an issue, fork() has the same delay.
905 */
906 if (unlikely(!io_wq_can_queue(wqe, acct, work))) {
Pavel Begunkove9fd9392020-03-04 16:14:12 +0300907 io_run_cancel(work, wqe);
Jens Axboec5def4a2019-11-07 11:41:16 -0700908 return;
909 }
910
Jens Axboe895e2ca2019-12-17 08:46:33 -0700911 work_flags = work->flags;
Sebastian Andrzej Siewior95da8462020-09-01 10:41:46 +0200912 raw_spin_lock_irqsave(&wqe->lock, flags);
Pavel Begunkov86f3cd12020-03-23 22:57:22 +0300913 io_wqe_insert_work(wqe, work);
Jens Axboe771b53d02019-10-22 10:25:58 -0600914 wqe->flags &= ~IO_WQE_FLAG_STALLED;
Sebastian Andrzej Siewior95da8462020-09-01 10:41:46 +0200915 raw_spin_unlock_irqrestore(&wqe->lock, flags);
Jens Axboe771b53d02019-10-22 10:25:58 -0600916
Jens Axboe895e2ca2019-12-17 08:46:33 -0700917 if ((work_flags & IO_WQ_WORK_CONCURRENT) ||
918 !atomic_read(&acct->nr_running))
Jens Axboec5def4a2019-11-07 11:41:16 -0700919 io_wqe_wake_worker(wqe, acct);
Jens Axboe771b53d02019-10-22 10:25:58 -0600920}
921
922void io_wq_enqueue(struct io_wq *wq, struct io_wq_work *work)
923{
924 struct io_wqe *wqe = wq->wqes[numa_node_id()];
925
926 io_wqe_enqueue(wqe, work);
927}
928
929/*
Pavel Begunkov8766dd52020-03-14 00:31:04 +0300930 * Work items that hash to the same value will not be done in parallel.
931 * Used to limit concurrent writes, generally hashed by inode.
Jens Axboe771b53d02019-10-22 10:25:58 -0600932 */
Pavel Begunkov8766dd52020-03-14 00:31:04 +0300933void io_wq_hash_work(struct io_wq_work *work, void *val)
Jens Axboe771b53d02019-10-22 10:25:58 -0600934{
Pavel Begunkov8766dd52020-03-14 00:31:04 +0300935 unsigned int bit;
Jens Axboe771b53d02019-10-22 10:25:58 -0600936
937 bit = hash_ptr(val, IO_WQ_HASH_ORDER);
938 work->flags |= (IO_WQ_WORK_HASHED | (bit << IO_WQ_HASH_SHIFT));
Jens Axboe771b53d02019-10-22 10:25:58 -0600939}
940
Jens Axboe771b53d02019-10-22 10:25:58 -0600941void io_wq_cancel_all(struct io_wq *wq)
942{
Jann Horn3fc50ab2019-11-26 19:10:20 +0100943 int node;
Jens Axboe771b53d02019-10-22 10:25:58 -0600944
945 set_bit(IO_WQ_BIT_CANCEL, &wq->state);
946
Jens Axboe771b53d02019-10-22 10:25:58 -0600947 rcu_read_lock();
Jann Horn3fc50ab2019-11-26 19:10:20 +0100948 for_each_node(node) {
949 struct io_wqe *wqe = wq->wqes[node];
Jens Axboe771b53d02019-10-22 10:25:58 -0600950
Jens Axboee61df662019-11-13 13:54:49 -0700951 io_wq_for_each_worker(wqe, io_wqe_worker_send_sig, NULL);
Jens Axboe771b53d02019-10-22 10:25:58 -0600952 }
953 rcu_read_unlock();
954}
955
Jens Axboe62755e32019-10-28 21:49:21 -0600956struct io_cb_cancel_data {
Pavel Begunkov2293b412020-03-07 01:15:39 +0300957 work_cancel_fn *fn;
958 void *data;
Pavel Begunkov4f26bda2020-06-15 10:24:03 +0300959 int nr_running;
960 int nr_pending;
961 bool cancel_all;
Jens Axboe62755e32019-10-28 21:49:21 -0600962};
963
Pavel Begunkov2293b412020-03-07 01:15:39 +0300964static bool io_wq_worker_cancel(struct io_worker *worker, void *data)
Jens Axboe62755e32019-10-28 21:49:21 -0600965{
Pavel Begunkov2293b412020-03-07 01:15:39 +0300966 struct io_cb_cancel_data *match = data;
Jens Axboe6f726532019-11-05 13:51:51 -0700967 unsigned long flags;
Jens Axboe62755e32019-10-28 21:49:21 -0600968
969 /*
970 * Hold the lock to avoid ->cur_work going out of scope, caller
Jens Axboe36c2f922019-11-13 09:43:34 -0700971 * may dereference the passed in work.
Jens Axboe62755e32019-10-28 21:49:21 -0600972 */
Jens Axboe36c2f922019-11-13 09:43:34 -0700973 spin_lock_irqsave(&worker->lock, flags);
Jens Axboe62755e32019-10-28 21:49:21 -0600974 if (worker->cur_work &&
Jens Axboe0c9d5cc2019-12-11 19:29:43 -0700975 !(worker->cur_work->flags & IO_WQ_WORK_NO_CANCEL) &&
Pavel Begunkov2293b412020-03-07 01:15:39 +0300976 match->fn(worker->cur_work, match->data)) {
Jens Axboe771b53d02019-10-22 10:25:58 -0600977 send_sig(SIGINT, worker->task, 1);
Pavel Begunkov4f26bda2020-06-15 10:24:03 +0300978 match->nr_running++;
Jens Axboe771b53d02019-10-22 10:25:58 -0600979 }
Jens Axboe36c2f922019-11-13 09:43:34 -0700980 spin_unlock_irqrestore(&worker->lock, flags);
Jens Axboe771b53d02019-10-22 10:25:58 -0600981
Pavel Begunkov4f26bda2020-06-15 10:24:03 +0300982 return match->nr_running && !match->cancel_all;
Jens Axboe771b53d02019-10-22 10:25:58 -0600983}
984
Pavel Begunkov204361a2020-08-23 20:33:10 +0300985static inline void io_wqe_remove_pending(struct io_wqe *wqe,
986 struct io_wq_work *work,
987 struct io_wq_work_node *prev)
988{
989 unsigned int hash = io_get_work_hash(work);
990 struct io_wq_work *prev_work = NULL;
991
992 if (io_wq_is_hashed(work) && work == wqe->hash_tail[hash]) {
993 if (prev)
994 prev_work = container_of(prev, struct io_wq_work, list);
995 if (prev_work && io_get_work_hash(prev_work) == hash)
996 wqe->hash_tail[hash] = prev_work;
997 else
998 wqe->hash_tail[hash] = NULL;
999 }
1000 wq_list_del(&wqe->work_list, &work->list, prev);
1001}
1002
Pavel Begunkov4f26bda2020-06-15 10:24:03 +03001003static void io_wqe_cancel_pending_work(struct io_wqe *wqe,
Pavel Begunkovf4c26652020-06-15 10:24:02 +03001004 struct io_cb_cancel_data *match)
Jens Axboe771b53d02019-10-22 10:25:58 -06001005{
Jens Axboe6206f0e2019-11-26 11:59:32 -07001006 struct io_wq_work_node *node, *prev;
Jens Axboe771b53d02019-10-22 10:25:58 -06001007 struct io_wq_work *work;
Jens Axboe6f726532019-11-05 13:51:51 -07001008 unsigned long flags;
Jens Axboe771b53d02019-10-22 10:25:58 -06001009
Pavel Begunkov4f26bda2020-06-15 10:24:03 +03001010retry:
Sebastian Andrzej Siewior95da8462020-09-01 10:41:46 +02001011 raw_spin_lock_irqsave(&wqe->lock, flags);
Jens Axboe6206f0e2019-11-26 11:59:32 -07001012 wq_list_for_each(node, prev, &wqe->work_list) {
1013 work = container_of(node, struct io_wq_work, list);
Pavel Begunkov4f26bda2020-06-15 10:24:03 +03001014 if (!match->fn(work, match->data))
1015 continue;
Pavel Begunkov204361a2020-08-23 20:33:10 +03001016 io_wqe_remove_pending(wqe, work, prev);
Sebastian Andrzej Siewior95da8462020-09-01 10:41:46 +02001017 raw_spin_unlock_irqrestore(&wqe->lock, flags);
Pavel Begunkov4f26bda2020-06-15 10:24:03 +03001018 io_run_cancel(work, wqe);
1019 match->nr_pending++;
1020 if (!match->cancel_all)
1021 return;
1022
1023 /* not safe to continue after unlock */
1024 goto retry;
Jens Axboe771b53d02019-10-22 10:25:58 -06001025 }
Sebastian Andrzej Siewior95da8462020-09-01 10:41:46 +02001026 raw_spin_unlock_irqrestore(&wqe->lock, flags);
Pavel Begunkovf4c26652020-06-15 10:24:02 +03001027}
Jens Axboe771b53d02019-10-22 10:25:58 -06001028
Pavel Begunkov4f26bda2020-06-15 10:24:03 +03001029static void io_wqe_cancel_running_work(struct io_wqe *wqe,
Pavel Begunkovf4c26652020-06-15 10:24:02 +03001030 struct io_cb_cancel_data *match)
1031{
Jens Axboe771b53d02019-10-22 10:25:58 -06001032 rcu_read_lock();
Pavel Begunkov4f26bda2020-06-15 10:24:03 +03001033 io_wq_for_each_worker(wqe, io_wq_worker_cancel, match);
Jens Axboe771b53d02019-10-22 10:25:58 -06001034 rcu_read_unlock();
Jens Axboe771b53d02019-10-22 10:25:58 -06001035}
1036
Pavel Begunkov2293b412020-03-07 01:15:39 +03001037enum io_wq_cancel io_wq_cancel_cb(struct io_wq *wq, work_cancel_fn *cancel,
Pavel Begunkov4f26bda2020-06-15 10:24:03 +03001038 void *data, bool cancel_all)
Pavel Begunkov2293b412020-03-07 01:15:39 +03001039{
1040 struct io_cb_cancel_data match = {
Pavel Begunkov4f26bda2020-06-15 10:24:03 +03001041 .fn = cancel,
1042 .data = data,
1043 .cancel_all = cancel_all,
Pavel Begunkov2293b412020-03-07 01:15:39 +03001044 };
Pavel Begunkov2293b412020-03-07 01:15:39 +03001045 int node;
1046
Pavel Begunkovf4c26652020-06-15 10:24:02 +03001047 /*
1048 * First check pending list, if we're lucky we can just remove it
1049 * from there. CANCEL_OK means that the work is returned as-new,
1050 * no completion will be posted for it.
1051 */
Pavel Begunkov2293b412020-03-07 01:15:39 +03001052 for_each_node(node) {
1053 struct io_wqe *wqe = wq->wqes[node];
1054
Pavel Begunkov4f26bda2020-06-15 10:24:03 +03001055 io_wqe_cancel_pending_work(wqe, &match);
1056 if (match.nr_pending && !match.cancel_all)
Pavel Begunkovf4c26652020-06-15 10:24:02 +03001057 return IO_WQ_CANCEL_OK;
Pavel Begunkov2293b412020-03-07 01:15:39 +03001058 }
1059
Pavel Begunkovf4c26652020-06-15 10:24:02 +03001060 /*
1061 * Now check if a free (going busy) or busy worker has the work
1062 * currently running. If we find it there, we'll return CANCEL_RUNNING
1063 * as an indication that we attempt to signal cancellation. The
1064 * completion will run normally in this case.
1065 */
1066 for_each_node(node) {
1067 struct io_wqe *wqe = wq->wqes[node];
1068
Pavel Begunkov4f26bda2020-06-15 10:24:03 +03001069 io_wqe_cancel_running_work(wqe, &match);
1070 if (match.nr_running && !match.cancel_all)
Pavel Begunkovf4c26652020-06-15 10:24:02 +03001071 return IO_WQ_CANCEL_RUNNING;
1072 }
1073
Pavel Begunkov4f26bda2020-06-15 10:24:03 +03001074 if (match.nr_running)
1075 return IO_WQ_CANCEL_RUNNING;
1076 if (match.nr_pending)
1077 return IO_WQ_CANCEL_OK;
Pavel Begunkovf4c26652020-06-15 10:24:02 +03001078 return IO_WQ_CANCEL_NOTFOUND;
Pavel Begunkov2293b412020-03-07 01:15:39 +03001079}
1080
Jens Axboe576a3472019-11-25 08:49:20 -07001081struct io_wq *io_wq_create(unsigned bounded, struct io_wq_data *data)
Jens Axboe771b53d02019-10-22 10:25:58 -06001082{
Jann Horn3fc50ab2019-11-26 19:10:20 +01001083 int ret = -ENOMEM, node;
Jens Axboe771b53d02019-10-22 10:25:58 -06001084 struct io_wq *wq;
1085
Pavel Begunkovf5fa38c2020-06-08 21:08:20 +03001086 if (WARN_ON_ONCE(!data->free_work || !data->do_work))
Pavel Begunkove9fd9392020-03-04 16:14:12 +03001087 return ERR_PTR(-EINVAL);
1088
Jann Hornad6e0052019-11-26 17:39:45 +01001089 wq = kzalloc(sizeof(*wq), GFP_KERNEL);
Jens Axboe771b53d02019-10-22 10:25:58 -06001090 if (!wq)
1091 return ERR_PTR(-ENOMEM);
1092
Jann Horn3fc50ab2019-11-26 19:10:20 +01001093 wq->wqes = kcalloc(nr_node_ids, sizeof(struct io_wqe *), GFP_KERNEL);
Jens Axboe43c01fb2020-10-22 09:02:50 -06001094 if (!wq->wqes)
1095 goto err_wq;
1096
1097 ret = cpuhp_state_add_instance_nocalls(io_wq_online, &wq->cpuhp_node);
1098 if (ret)
1099 goto err_wqes;
Jens Axboe771b53d02019-10-22 10:25:58 -06001100
Pavel Begunkove9fd9392020-03-04 16:14:12 +03001101 wq->free_work = data->free_work;
Pavel Begunkovf5fa38c2020-06-08 21:08:20 +03001102 wq->do_work = data->do_work;
Jens Axboe7d723062019-11-12 22:31:31 -07001103
Jens Axboec5def4a2019-11-07 11:41:16 -07001104 /* caller must already hold a reference to this */
Jens Axboe576a3472019-11-25 08:49:20 -07001105 wq->user = data->user;
Jens Axboec5def4a2019-11-07 11:41:16 -07001106
Jens Axboe43c01fb2020-10-22 09:02:50 -06001107 ret = -ENOMEM;
Jann Horn3fc50ab2019-11-26 19:10:20 +01001108 for_each_node(node) {
Jens Axboe771b53d02019-10-22 10:25:58 -06001109 struct io_wqe *wqe;
Jens Axboe75634392020-02-11 06:30:06 -07001110 int alloc_node = node;
Jens Axboe771b53d02019-10-22 10:25:58 -06001111
Jens Axboe75634392020-02-11 06:30:06 -07001112 if (!node_online(alloc_node))
1113 alloc_node = NUMA_NO_NODE;
1114 wqe = kzalloc_node(sizeof(struct io_wqe), GFP_KERNEL, alloc_node);
Jens Axboe771b53d02019-10-22 10:25:58 -06001115 if (!wqe)
Jann Horn3fc50ab2019-11-26 19:10:20 +01001116 goto err;
1117 wq->wqes[node] = wqe;
Jens Axboe75634392020-02-11 06:30:06 -07001118 wqe->node = alloc_node;
Jens Axboec5def4a2019-11-07 11:41:16 -07001119 wqe->acct[IO_WQ_ACCT_BOUND].max_workers = bounded;
1120 atomic_set(&wqe->acct[IO_WQ_ACCT_BOUND].nr_running, 0);
Jens Axboe576a3472019-11-25 08:49:20 -07001121 if (wq->user) {
Jens Axboec5def4a2019-11-07 11:41:16 -07001122 wqe->acct[IO_WQ_ACCT_UNBOUND].max_workers =
1123 task_rlimit(current, RLIMIT_NPROC);
1124 }
1125 atomic_set(&wqe->acct[IO_WQ_ACCT_UNBOUND].nr_running, 0);
Jens Axboe771b53d02019-10-22 10:25:58 -06001126 wqe->wq = wq;
Sebastian Andrzej Siewior95da8462020-09-01 10:41:46 +02001127 raw_spin_lock_init(&wqe->lock);
Jens Axboe6206f0e2019-11-26 11:59:32 -07001128 INIT_WQ_LIST(&wqe->work_list);
Jens Axboe021d1cd2019-11-14 08:00:41 -07001129 INIT_HLIST_NULLS_HEAD(&wqe->free_list, 0);
Jens Axboee61df662019-11-13 13:54:49 -07001130 INIT_LIST_HEAD(&wqe->all_list);
Jens Axboe771b53d02019-10-22 10:25:58 -06001131 }
1132
1133 init_completion(&wq->done);
1134
Jens Axboe771b53d02019-10-22 10:25:58 -06001135 wq->manager = kthread_create(io_wq_manager, wq, "io_wq_manager");
1136 if (!IS_ERR(wq->manager)) {
1137 wake_up_process(wq->manager);
Jens Axboeb60fda62019-11-19 08:37:07 -07001138 wait_for_completion(&wq->done);
1139 if (test_bit(IO_WQ_BIT_ERROR, &wq->state)) {
1140 ret = -ENOMEM;
1141 goto err;
1142 }
Jens Axboe848f7e12020-01-23 15:33:32 -07001143 refcount_set(&wq->use_refs, 1);
Jens Axboeb60fda62019-11-19 08:37:07 -07001144 reinit_completion(&wq->done);
Jens Axboe771b53d02019-10-22 10:25:58 -06001145 return wq;
1146 }
1147
1148 ret = PTR_ERR(wq->manager);
Jens Axboe771b53d02019-10-22 10:25:58 -06001149 complete(&wq->done);
Jens Axboeb60fda62019-11-19 08:37:07 -07001150err:
Jens Axboe43c01fb2020-10-22 09:02:50 -06001151 cpuhp_state_remove_instance_nocalls(io_wq_online, &wq->cpuhp_node);
Jann Horn3fc50ab2019-11-26 19:10:20 +01001152 for_each_node(node)
1153 kfree(wq->wqes[node]);
Jens Axboe43c01fb2020-10-22 09:02:50 -06001154err_wqes:
Jens Axboeb60fda62019-11-19 08:37:07 -07001155 kfree(wq->wqes);
Jens Axboe43c01fb2020-10-22 09:02:50 -06001156err_wq:
Jens Axboeb60fda62019-11-19 08:37:07 -07001157 kfree(wq);
Jens Axboe771b53d02019-10-22 10:25:58 -06001158 return ERR_PTR(ret);
1159}
1160
Pavel Begunkoveba6f5a2020-01-28 03:15:47 +03001161bool io_wq_get(struct io_wq *wq, struct io_wq_data *data)
1162{
Pavel Begunkovf5fa38c2020-06-08 21:08:20 +03001163 if (data->free_work != wq->free_work || data->do_work != wq->do_work)
Pavel Begunkoveba6f5a2020-01-28 03:15:47 +03001164 return false;
1165
1166 return refcount_inc_not_zero(&wq->use_refs);
1167}
1168
Jens Axboe848f7e12020-01-23 15:33:32 -07001169static void __io_wq_destroy(struct io_wq *wq)
Jens Axboe771b53d02019-10-22 10:25:58 -06001170{
Jann Horn3fc50ab2019-11-26 19:10:20 +01001171 int node;
Jens Axboe771b53d02019-10-22 10:25:58 -06001172
Jens Axboe43c01fb2020-10-22 09:02:50 -06001173 cpuhp_state_remove_instance_nocalls(io_wq_online, &wq->cpuhp_node);
1174
Jens Axboeb60fda62019-11-19 08:37:07 -07001175 set_bit(IO_WQ_BIT_EXIT, &wq->state);
1176 if (wq->manager)
Jens Axboe771b53d02019-10-22 10:25:58 -06001177 kthread_stop(wq->manager);
Jens Axboe771b53d02019-10-22 10:25:58 -06001178
1179 rcu_read_lock();
Jann Horn3fc50ab2019-11-26 19:10:20 +01001180 for_each_node(node)
1181 io_wq_for_each_worker(wq->wqes[node], io_wq_worker_wake, NULL);
Jens Axboe771b53d02019-10-22 10:25:58 -06001182 rcu_read_unlock();
1183
1184 wait_for_completion(&wq->done);
1185
Jann Horn3fc50ab2019-11-26 19:10:20 +01001186 for_each_node(node)
1187 kfree(wq->wqes[node]);
Jens Axboe771b53d02019-10-22 10:25:58 -06001188 kfree(wq->wqes);
1189 kfree(wq);
1190}
Jens Axboe848f7e12020-01-23 15:33:32 -07001191
1192void io_wq_destroy(struct io_wq *wq)
1193{
1194 if (refcount_dec_and_test(&wq->use_refs))
1195 __io_wq_destroy(wq);
1196}
Jens Axboeaa96bf82020-04-03 11:26:26 -06001197
1198struct task_struct *io_wq_get_task(struct io_wq *wq)
1199{
1200 return wq->manager;
1201}
Jens Axboe43c01fb2020-10-22 09:02:50 -06001202
1203static bool io_wq_worker_affinity(struct io_worker *worker, void *data)
1204{
1205 struct task_struct *task = worker->task;
1206 struct rq_flags rf;
1207 struct rq *rq;
1208
1209 rq = task_rq_lock(task, &rf);
1210 do_set_cpus_allowed(task, cpumask_of_node(worker->wqe->node));
1211 task->flags |= PF_NO_SETAFFINITY;
1212 task_rq_unlock(rq, task, &rf);
1213 return false;
1214}
1215
1216static int io_wq_cpu_online(unsigned int cpu, struct hlist_node *node)
1217{
1218 struct io_wq *wq = hlist_entry_safe(node, struct io_wq, cpuhp_node);
1219 int i;
1220
1221 rcu_read_lock();
1222 for_each_node(i)
1223 io_wq_for_each_worker(wq->wqes[i], io_wq_worker_affinity, NULL);
1224 rcu_read_unlock();
1225 return 0;
1226}
1227
1228static __init int io_wq_init(void)
1229{
1230 int ret;
1231
1232 ret = cpuhp_setup_state_multi(CPUHP_AP_ONLINE_DYN, "io-wq/online",
1233 io_wq_cpu_online, NULL);
1234 if (ret < 0)
1235 return ret;
1236 io_wq_online = ret;
1237 return 0;
1238}
1239subsys_initcall(io_wq_init);