io-wq.c 25.4 KB
Newer Older
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16
// SPDX-License-Identifier: GPL-2.0
/*
 * Basic worker thread pool for io_uring
 *
 * Copyright (C) 2019 Jens Axboe
 *
 */
#include <linux/kernel.h>
#include <linux/init.h>
#include <linux/errno.h>
#include <linux/sched/signal.h>
#include <linux/mm.h>
#include <linux/sched/mm.h>
#include <linux/percpu.h>
#include <linux/slab.h>
#include <linux/rculist_nulls.h>
17
#include <linux/cpu.h>
18
#include <linux/tracehook.h>
19

20
#include "../kernel/sched/sched.h"
21 22 23 24 25 26 27 28
#include "io-wq.h"

#define WORKER_IDLE_TIMEOUT	(5 * HZ)

enum {
	IO_WORKER_F_UP		= 1,	/* up and active */
	IO_WORKER_F_RUNNING	= 2,	/* account as running */
	IO_WORKER_F_FREE	= 4,	/* worker on free list */
29 30
	IO_WORKER_F_FIXED	= 8,	/* static idle worker */
	IO_WORKER_F_BOUND	= 16,	/* is doing bounded work */
31 32 33 34
};

enum {
	IO_WQ_BIT_EXIT		= 0,	/* wq exiting */
35
	IO_WQ_BIT_ERROR		= 1,	/* error on setup */
36 37 38 39 40 41 42 43 44 45 46 47 48
};

enum {
	IO_WQE_FLAG_STALLED	= 1,	/* stalled on hash */
};

/*
 * One for each thread in a wqe pool
 */
struct io_worker {
	refcount_t ref;
	unsigned flags;
	struct hlist_nulls_node nulls_node;
49
	struct list_head all_list;
50 51
	struct task_struct *task;
	struct io_wqe *wqe;
52

53
	struct io_wq_work *cur_work;
54
	spinlock_t lock;
55 56 57 58 59 60 61 62 63 64

	struct rcu_head rcu;
};

#if BITS_PER_LONG == 64
#define IO_WQ_HASH_ORDER	6
#else
#define IO_WQ_HASH_ORDER	5
#endif

65 66
#define IO_WQ_NR_HASH_BUCKETS	(1u << IO_WQ_HASH_ORDER)

67 68 69 70 71 72 73 74 75 76 77
struct io_wqe_acct {
	unsigned nr_workers;
	unsigned max_workers;
	atomic_t nr_running;
};

enum {
	IO_WQ_ACCT_BOUND,
	IO_WQ_ACCT_UNBOUND,
};

78 79 80 81 82
/*
 * Per-node worker thread pool
 */
struct io_wqe {
	struct {
83
		raw_spinlock_t lock;
J
Jens Axboe 已提交
84
		struct io_wq_work_list work_list;
85 86 87 88 89
		unsigned long hash_map;
		unsigned flags;
	} ____cacheline_aligned_in_smp;

	int node;
90
	struct io_wqe_acct acct[2];
91

92
	struct hlist_nulls_head free_list;
93
	struct list_head all_list;
94 95

	struct io_wq *wq;
96
	struct io_wq_work *hash_tail[IO_WQ_NR_HASH_BUCKETS];
97 98 99 100 101 102 103 104 105
};

/*
 * Per io_wq state
  */
struct io_wq {
	struct io_wqe **wqes;
	unsigned long state;

106
	free_work_fn *free_work;
107
	io_wq_work_fn *do_work;
108

109
	struct task_struct *manager;
110
	struct user_struct *user;
111 112
	refcount_t refs;
	struct completion done;
J
Jens Axboe 已提交
113

114
	struct hlist_node cpuhp_node;
115 116

	pid_t task_pid;
117 118
};

119 120
static enum cpuhp_state io_wq_online;

121 122 123 124 125 126 127 128 129 130 131
static bool io_worker_get(struct io_worker *worker)
{
	return refcount_inc_not_zero(&worker->ref);
}

static void io_worker_release(struct io_worker *worker)
{
	if (refcount_dec_and_test(&worker->ref))
		wake_up_process(worker->task);
}

132 133 134 135 136 137 138 139 140
static inline struct io_wqe_acct *io_work_get_acct(struct io_wqe *wqe,
						   struct io_wq_work *work)
{
	if (work->flags & IO_WQ_WORK_UNBOUND)
		return &wqe->acct[IO_WQ_ACCT_UNBOUND];

	return &wqe->acct[IO_WQ_ACCT_BOUND];
}

141
static inline struct io_wqe_acct *io_wqe_get_acct(struct io_worker *worker)
142
{
143 144
	struct io_wqe *wqe = worker->wqe;

145 146 147 148 149 150
	if (worker->flags & IO_WORKER_F_BOUND)
		return &wqe->acct[IO_WQ_ACCT_BOUND];

	return &wqe->acct[IO_WQ_ACCT_UNBOUND];
}

151 152 153
static void io_worker_exit(struct io_worker *worker)
{
	struct io_wqe *wqe = worker->wqe;
154
	struct io_wqe_acct *acct = io_wqe_get_acct(worker);
155 156 157 158 159 160 161 162 163 164 165 166 167

	/*
	 * If we're not at zero, someone else is holding a brief reference
	 * to the worker. Wait for that to go away.
	 */
	set_current_state(TASK_INTERRUPTIBLE);
	if (!refcount_dec_and_test(&worker->ref))
		schedule();
	__set_current_state(TASK_RUNNING);

	preempt_disable();
	current->flags &= ~PF_IO_WORKER;
	if (worker->flags & IO_WORKER_F_RUNNING)
168 169 170
		atomic_dec(&acct->nr_running);
	if (!(worker->flags & IO_WORKER_F_BOUND))
		atomic_dec(&wqe->wq->user->processes);
171 172 173
	worker->flags = 0;
	preempt_enable();

174
	raw_spin_lock_irq(&wqe->lock);
175
	hlist_nulls_del_rcu(&worker->nulls_node);
176
	list_del_rcu(&worker->all_list);
177
	acct->nr_workers--;
178
	raw_spin_unlock_irq(&wqe->lock);
179

180
	kfree_rcu(worker, rcu);
181 182
	if (refcount_dec_and_test(&wqe->wq->refs))
		complete(&wqe->wq->done);
183 184
}

185 186 187
static inline bool io_wqe_run_queue(struct io_wqe *wqe)
	__must_hold(wqe->lock)
{
J
Jens Axboe 已提交
188 189
	if (!wq_list_empty(&wqe->work_list) &&
	    !(wqe->flags & IO_WQE_FLAG_STALLED))
190 191 192 193 194 195 196 197 198 199 200 201 202 203
		return true;
	return false;
}

/*
 * Check head of free list for an available worker. If one isn't available,
 * caller must wake up the wq manager to create one.
 */
static bool io_wqe_activate_free_worker(struct io_wqe *wqe)
	__must_hold(RCU)
{
	struct hlist_nulls_node *n;
	struct io_worker *worker;

204
	n = rcu_dereference(hlist_nulls_first_rcu(&wqe->free_list));
205 206 207 208 209
	if (is_a_nulls(n))
		return false;

	worker = hlist_nulls_entry(n, struct io_worker, nulls_node);
	if (io_worker_get(worker)) {
J
Jens Axboe 已提交
210
		wake_up_process(worker->task);
211 212 213 214 215 216 217 218 219 220 221 222 223 224 225 226 227 228 229 230 231 232 233 234 235 236 237 238 239
		io_worker_release(worker);
		return true;
	}

	return false;
}

/*
 * We need a worker. If we find a free one, we're good. If not, and we're
 * below the max number of workers, wake up the manager to create one.
 */
static void io_wqe_wake_worker(struct io_wqe *wqe, struct io_wqe_acct *acct)
{
	bool ret;

	/*
	 * Most likely an attempt to queue unbounded work on an io_wq that
	 * wasn't setup with any unbounded workers.
	 */
	WARN_ON_ONCE(!acct->max_workers);

	rcu_read_lock();
	ret = io_wqe_activate_free_worker(wqe);
	rcu_read_unlock();

	if (!ret && acct->nr_workers < acct->max_workers)
		wake_up_process(wqe->wq->manager);
}

240
static void io_wqe_inc_running(struct io_worker *worker)
241
{
242
	struct io_wqe_acct *acct = io_wqe_get_acct(worker);
243 244 245 246

	atomic_inc(&acct->nr_running);
}

247
static void io_wqe_dec_running(struct io_worker *worker)
248 249
	__must_hold(wqe->lock)
{
250 251
	struct io_wqe_acct *acct = io_wqe_get_acct(worker);
	struct io_wqe *wqe = worker->wqe;
252 253 254 255 256

	if (atomic_dec_and_test(&acct->nr_running) && io_wqe_run_queue(wqe))
		io_wqe_wake_worker(wqe, acct);
}

257
static void io_worker_start(struct io_worker *worker)
258 259
{
	worker->flags |= (IO_WORKER_F_UP | IO_WORKER_F_RUNNING);
260
	io_wqe_inc_running(worker);
261 262 263 264 265 266 267 268 269 270
}

/*
 * Worker will start processing some work. Move it to the busy list, if
 * it's currently on the freelist
 */
static void __io_worker_busy(struct io_wqe *wqe, struct io_worker *worker,
			     struct io_wq_work *work)
	__must_hold(wqe->lock)
{
271 272
	bool worker_bound, work_bound;

273 274 275 276
	if (worker->flags & IO_WORKER_F_FREE) {
		worker->flags &= ~IO_WORKER_F_FREE;
		hlist_nulls_del_init_rcu(&worker->nulls_node);
	}
277 278 279 280 281

	/*
	 * If worker is moving from bound to unbound (or vice versa), then
	 * ensure we update the running accounting.
	 */
282 283 284
	worker_bound = (worker->flags & IO_WORKER_F_BOUND) != 0;
	work_bound = (work->flags & IO_WQ_WORK_UNBOUND) == 0;
	if (worker_bound != work_bound) {
285
		io_wqe_dec_running(worker);
286 287 288 289 290 291 292 293 294 295 296
		if (work_bound) {
			worker->flags |= IO_WORKER_F_BOUND;
			wqe->acct[IO_WQ_ACCT_UNBOUND].nr_workers--;
			wqe->acct[IO_WQ_ACCT_BOUND].nr_workers++;
			atomic_dec(&wqe->wq->user->processes);
		} else {
			worker->flags &= ~IO_WORKER_F_BOUND;
			wqe->acct[IO_WQ_ACCT_UNBOUND].nr_workers++;
			wqe->acct[IO_WQ_ACCT_BOUND].nr_workers--;
			atomic_inc(&wqe->wq->user->processes);
		}
297
		io_wqe_inc_running(worker);
298
	 }
299 300 301 302 303 304 305 306 307 308 309 310 311 312
}

/*
 * No work, worker going to sleep. Move to freelist, and unuse mm if we
 * have one attached. Dropping the mm may potentially sleep, so we drop
 * the lock in that case and return success. Since the caller has to
 * retry the loop in that case (we changed task state), we don't regrab
 * the lock if we return success.
 */
static bool __io_worker_idle(struct io_wqe *wqe, struct io_worker *worker)
	__must_hold(wqe->lock)
{
	if (!(worker->flags & IO_WORKER_F_FREE)) {
		worker->flags |= IO_WORKER_F_FREE;
313
		hlist_nulls_add_head_rcu(&worker->nulls_node, &wqe->free_list);
314 315
	}

316
	return false;
317 318
}

P
Pavel Begunkov 已提交
319 320 321 322 323 324
static inline unsigned int io_get_work_hash(struct io_wq_work *work)
{
	return work->flags >> IO_WQ_HASH_SHIFT;
}

static struct io_wq_work *io_get_next_work(struct io_wqe *wqe)
325 326
	__must_hold(wqe->lock)
{
J
Jens Axboe 已提交
327
	struct io_wq_work_node *node, *prev;
328
	struct io_wq_work *work, *tail;
P
Pavel Begunkov 已提交
329
	unsigned int hash;
330

J
Jens Axboe 已提交
331 332 333
	wq_list_for_each(node, prev, &wqe->work_list) {
		work = container_of(node, struct io_wq_work, list);

334
		/* not hashed, can run anytime */
335
		if (!io_wq_is_hashed(work)) {
336
			wq_list_del(&wqe->work_list, node, prev);
337 338 339 340
			return work;
		}

		/* hashed, can run if not already running */
P
Pavel Begunkov 已提交
341 342 343
		hash = io_get_work_hash(work);
		if (!(wqe->hash_map & BIT(hash))) {
			wqe->hash_map |= BIT(hash);
344 345 346 347
			/* all items with this hash lie in [work, tail] */
			tail = wqe->hash_tail[hash];
			wqe->hash_tail[hash] = NULL;
			wq_list_cut(&wqe->work_list, &tail->list, prev);
348 349 350 351 352 353 354
			return work;
		}
	}

	return NULL;
}

355
static void io_flush_signals(void)
356
{
357 358 359 360
	if (unlikely(test_tsk_thread_flag(current, TIF_NOTIFY_SIGNAL))) {
		if (current->task_works)
			task_work_run();
		clear_tsk_thread_flag(current, TIF_NOTIFY_SIGNAL);
361
	}
362 363 364 365 366
}

static void io_assign_current_work(struct io_worker *worker,
				   struct io_wq_work *work)
{
367
	if (work) {
368
		io_flush_signals();
369 370
		cond_resched();
	}
371 372 373 374 375 376

	spin_lock_irq(&worker->lock);
	worker->cur_work = work;
	spin_unlock_irq(&worker->lock);
}

P
Pavel Begunkov 已提交
377 378
static void io_wqe_enqueue(struct io_wqe *wqe, struct io_wq_work *work);

379 380 381 382 383 384 385
static void io_worker_handle_work(struct io_worker *worker)
	__releases(wqe->lock)
{
	struct io_wqe *wqe = worker->wqe;
	struct io_wq *wq = wqe->wq;

	do {
386
		struct io_wq_work *work;
387
get_next:
388 389 390 391 392 393 394
		/*
		 * If we got some work, mark us as busy. If we didn't, but
		 * the list isn't empty, it means we stalled on hashed work.
		 * Mark us stalled so we don't keep looking for work when we
		 * can't make progress, any work completion or insertion will
		 * clear the stalled flag.
		 */
P
Pavel Begunkov 已提交
395
		work = io_get_next_work(wqe);
396 397
		if (work)
			__io_worker_busy(wqe, worker, work);
J
Jens Axboe 已提交
398
		else if (!wq_list_empty(&wqe->work_list))
399 400
			wqe->flags |= IO_WQE_FLAG_STALLED;

401
		raw_spin_unlock_irq(&wqe->lock);
402 403
		if (!work)
			break;
404
		io_assign_current_work(worker, work);
405

406 407
		/* handle a whole dependent link */
		do {
408
			struct io_wq_work *next_hashed, *linked;
P
Pavel Begunkov 已提交
409
			unsigned int hash = io_get_work_hash(work);
410

411
			next_hashed = wq_next_work(work);
412 413
			wq->do_work(work);
			io_assign_current_work(worker, NULL);
414

415
			linked = wq->free_work(work);
416 417 418 419 420 421 422 423 424 425
			work = next_hashed;
			if (!work && linked && !io_wq_is_hashed(linked)) {
				work = linked;
				linked = NULL;
			}
			io_assign_current_work(worker, work);
			if (linked)
				io_wqe_enqueue(wqe, linked);

			if (hash != -1U && !next_hashed) {
426
				raw_spin_lock_irq(&wqe->lock);
427 428
				wqe->hash_map &= ~BIT_ULL(hash);
				wqe->flags &= ~IO_WQE_FLAG_STALLED;
429 430 431
				/* skip unnecessary unlock-lock wqe->lock */
				if (!work)
					goto get_next;
432
				raw_spin_unlock_irq(&wqe->lock);
433
			}
434
		} while (work);
435

436
		raw_spin_lock_irq(&wqe->lock);
437 438 439 440 441 442 443 444 445
	} while (1);
}

static int io_wqe_worker(void *data)
{
	struct io_worker *worker = data;
	struct io_wqe *wqe = worker->wqe;
	struct io_wq *wq = wqe->wq;

446
	io_worker_start(worker);
447 448

	while (!test_bit(IO_WQ_BIT_EXIT, &wq->state)) {
J
Jens Axboe 已提交
449
		set_current_state(TASK_INTERRUPTIBLE);
450
loop:
451
		raw_spin_lock_irq(&wqe->lock);
452 453 454
		if (io_wqe_run_queue(wqe)) {
			__set_current_state(TASK_RUNNING);
			io_worker_handle_work(worker);
455
			goto loop;
456 457 458 459
		}
		/* drops the lock on success, retry */
		if (__io_worker_idle(wqe, worker)) {
			__release(&wqe->lock);
460
			goto loop;
461
		}
462
		raw_spin_unlock_irq(&wqe->lock);
463
		io_flush_signals();
464 465
		if (schedule_timeout(WORKER_IDLE_TIMEOUT))
			continue;
466 467
		if (fatal_signal_pending(current))
			break;
468 469 470 471 472 473 474
		/* timed out, exit unless we're the fixed worker */
		if (test_bit(IO_WQ_BIT_EXIT, &wq->state) ||
		    !(worker->flags & IO_WORKER_F_FIXED))
			break;
	}

	if (test_bit(IO_WQ_BIT_EXIT, &wq->state)) {
475
		raw_spin_lock_irq(&wqe->lock);
J
Jens Axboe 已提交
476
		if (!wq_list_empty(&wqe->work_list))
477 478
			io_worker_handle_work(worker);
		else
479
			raw_spin_unlock_irq(&wqe->lock);
480 481 482 483 484 485 486 487 488 489 490
	}

	io_worker_exit(worker);
	return 0;
}

/*
 * Called when a worker is scheduled in. Mark us as currently running.
 */
void io_wq_worker_running(struct task_struct *tsk)
{
491
	struct io_worker *worker = tsk->pf_io_worker;
492

493 494
	if (!worker)
		return;
495 496 497 498 499
	if (!(worker->flags & IO_WORKER_F_UP))
		return;
	if (worker->flags & IO_WORKER_F_RUNNING)
		return;
	worker->flags |= IO_WORKER_F_RUNNING;
500
	io_wqe_inc_running(worker);
501 502 503 504 505 506 507 508 509
}

/*
 * Called when worker is going to sleep. If there are no workers currently
 * running and we have work pending, wake up a free one or have the manager
 * set one up.
 */
void io_wq_worker_sleeping(struct task_struct *tsk)
{
510
	struct io_worker *worker = tsk->pf_io_worker;
511

512 513
	if (!worker)
		return;
514 515 516 517 518 519 520
	if (!(worker->flags & IO_WORKER_F_UP))
		return;
	if (!(worker->flags & IO_WORKER_F_RUNNING))
		return;

	worker->flags &= ~IO_WORKER_F_RUNNING;

521
	raw_spin_lock_irq(&worker->wqe->lock);
522
	io_wqe_dec_running(worker);
523
	raw_spin_unlock_irq(&worker->wqe->lock);
524 525
}

526
static int task_thread(void *data, int index)
527
{
528 529
	struct io_worker *worker = data;
	struct io_wqe *wqe = worker->wqe;
530
	struct io_wqe_acct *acct = &wqe->acct[index];
531 532
	struct io_wq *wq = wqe->wq;
	char buf[TASK_COMM_LEN];
533

534 535
	sprintf(buf, "iou-wrk-%d", wq->task_pid);
	set_task_comm(current, buf);
536

537 538
	current->pf_io_worker = worker;
	worker->task = current;
539

540 541
	set_cpus_allowed_ptr(current, cpumask_of_node(wqe->node));
	current->flags |= PF_NO_SETAFFINITY;
542

543
	raw_spin_lock_irq(&wqe->lock);
544
	hlist_nulls_add_head_rcu(&worker->nulls_node, &wqe->free_list);
545
	list_add_tail_rcu(&worker->all_list, &wqe->all_list);
546
	worker->flags |= IO_WORKER_F_FREE;
547 548 549
	if (index == IO_WQ_ACCT_BOUND)
		worker->flags |= IO_WORKER_F_BOUND;
	if (!acct->nr_workers && (worker->flags & IO_WORKER_F_BOUND))
550
		worker->flags |= IO_WORKER_F_FIXED;
551
	acct->nr_workers++;
552
	raw_spin_unlock_irq(&wqe->lock);
553

554 555 556
	if (index == IO_WQ_ACCT_UNBOUND)
		atomic_inc(&wq->user->processes);

557 558 559 560 561 562 563 564 565 566 567 568 569 570 571 572 573 574 575 576 577 578 579 580 581 582 583 584 585 586 587 588 589 590 591 592 593 594 595 596 597 598 599 600 601 602 603 604 605 606 607
	io_wqe_worker(data);
	do_exit(0);
}

static int task_thread_bound(void *data)
{
	return task_thread(data, IO_WQ_ACCT_BOUND);
}

static int task_thread_unbound(void *data)
{
	return task_thread(data, IO_WQ_ACCT_UNBOUND);
}

static pid_t fork_thread(int (*fn)(void *), void *arg)
{
	unsigned long flags = CLONE_FS|CLONE_FILES|CLONE_SIGHAND|CLONE_THREAD|
				CLONE_IO|SIGCHLD;
	struct kernel_clone_args args = {
		.flags		= ((lower_32_bits(flags) | CLONE_VM |
				    CLONE_UNTRACED) & ~CSIGNAL),
		.exit_signal	= (lower_32_bits(flags) & CSIGNAL),
		.stack		= (unsigned long)fn,
		.stack_size	= (unsigned long)arg,
	};

	return kernel_clone(&args);
}

static bool create_io_worker(struct io_wq *wq, struct io_wqe *wqe, int index)
{
	struct io_worker *worker;
	pid_t pid;

	worker = kzalloc_node(sizeof(*worker), GFP_KERNEL, wqe->node);
	if (!worker)
		return false;

	refcount_set(&worker->ref, 1);
	worker->nulls_node.pprev = NULL;
	worker->wqe = wqe;
	spin_lock_init(&worker->lock);

	if (index == IO_WQ_ACCT_BOUND)
		pid = fork_thread(task_thread_bound, worker);
	else
		pid = fork_thread(task_thread_unbound, worker);
	if (pid < 0) {
		kfree(worker);
		return false;
	}
608
	refcount_inc(&wq->refs);
609
	return true;
610 611
}

612
static inline bool io_wqe_need_worker(struct io_wqe *wqe, int index)
613 614
	__must_hold(wqe->lock)
{
615
	struct io_wqe_acct *acct = &wqe->acct[index];
616

617
	/* if we have available workers or no work, no need */
618
	if (!hlist_nulls_empty(&wqe->free_list) || !io_wqe_run_queue(wqe))
619 620
		return false;
	return acct->nr_workers < acct->max_workers;
621 622
}

623 624 625 626 627 628 629 630 631 632 633 634 635 636 637 638 639 640 641 642 643 644 645 646 647 648 649 650 651 652 653
/*
 * Iterate the passed in list and call the specific function for each
 * worker that isn't exiting
 */
static bool io_wq_for_each_worker(struct io_wqe *wqe,
				  bool (*func)(struct io_worker *, void *),
				  void *data)
{
	struct io_worker *worker;
	bool ret = false;

	list_for_each_entry_rcu(worker, &wqe->all_list, all_list) {
		if (io_worker_get(worker)) {
			/* no task if node is/was offline */
			if (worker->task)
				ret = func(worker, data);
			io_worker_release(worker);
			if (ret)
				break;
		}
	}

	return ret;
}

static bool io_wq_worker_wake(struct io_worker *worker, void *data)
{
	wake_up_process(worker->task);
	return false;
}

654 655 656 657 658 659
/*
 * Manager thread. Tasked with creating new workers, if we need them.
 */
static int io_wq_manager(void *data)
{
	struct io_wq *wq = data;
660
	char buf[TASK_COMM_LEN];
J
Jann Horn 已提交
661
	int node;
662

663 664 665 666 667
	sprintf(buf, "iou-mgr-%d", wq->task_pid);
	set_task_comm(current, buf);
	current->flags |= PF_IO_WORKER;
	wq->manager = current;

668 669
	complete(&wq->done);

670
	while (!test_bit(IO_WQ_BIT_EXIT, &wq->state)) {
J
Jann Horn 已提交
671 672
		for_each_node(node) {
			struct io_wqe *wqe = wq->wqes[node];
673
			bool fork_worker[2] = { false, false };
674

675 676 677
			if (!node_online(node))
				continue;

678
			raw_spin_lock_irq(&wqe->lock);
679 680 681 682
			if (io_wqe_need_worker(wqe, IO_WQ_ACCT_BOUND))
				fork_worker[IO_WQ_ACCT_BOUND] = true;
			if (io_wqe_need_worker(wqe, IO_WQ_ACCT_UNBOUND))
				fork_worker[IO_WQ_ACCT_UNBOUND] = true;
683
			raw_spin_unlock_irq(&wqe->lock);
684 685 686 687
			if (fork_worker[IO_WQ_ACCT_BOUND])
				create_io_worker(wq, wqe, IO_WQ_ACCT_BOUND);
			if (fork_worker[IO_WQ_ACCT_UNBOUND])
				create_io_worker(wq, wqe, IO_WQ_ACCT_UNBOUND);
688 689 690
		}
		set_current_state(TASK_INTERRUPTIBLE);
		schedule_timeout(HZ);
691 692
		if (fatal_signal_pending(current))
			set_bit(IO_WQ_BIT_EXIT, &wq->state);
693 694
	}

695
	if (refcount_dec_and_test(&wq->refs)) {
696
		complete(&wq->done);
697
		do_exit(0);
698 699 700 701 702 703 704 705
	}
	/* if ERROR is set and we get here, we have workers to wake */
	if (test_bit(IO_WQ_BIT_ERROR, &wq->state)) {
		rcu_read_lock();
		for_each_node(node)
			io_wq_for_each_worker(wq->wqes[node], io_wq_worker_wake, NULL);
		rcu_read_unlock();
	}
706
	do_exit(0);
707 708
}

709 710 711 712 713 714 715 716 717 718 719
static bool io_wq_can_queue(struct io_wqe *wqe, struct io_wqe_acct *acct,
			    struct io_wq_work *work)
{
	bool free_worker;

	if (!(work->flags & IO_WQ_WORK_UNBOUND))
		return true;
	if (atomic_read(&acct->nr_running))
		return true;

	rcu_read_lock();
720
	free_worker = !hlist_nulls_empty(&wqe->free_list);
721 722 723 724 725 726 727 728 729 730 731
	rcu_read_unlock();
	if (free_worker)
		return true;

	if (atomic_read(&wqe->wq->user->processes) >= acct->max_workers &&
	    !(capable(CAP_SYS_RESOURCE) || capable(CAP_SYS_ADMIN)))
		return false;

	return true;
}

732
static void io_run_cancel(struct io_wq_work *work, struct io_wqe *wqe)
733
{
734 735
	struct io_wq *wq = wqe->wq;

736 737
	do {
		work->flags |= IO_WQ_WORK_CANCEL;
738 739
		wq->do_work(work);
		work = wq->free_work(work);
740 741 742
	} while (work);
}

743 744 745 746 747 748 749 750 751 752 753 754 755 756 757 758 759 760 761 762
static void io_wqe_insert_work(struct io_wqe *wqe, struct io_wq_work *work)
{
	unsigned int hash;
	struct io_wq_work *tail;

	if (!io_wq_is_hashed(work)) {
append:
		wq_list_add_tail(&work->list, &wqe->work_list);
		return;
	}

	hash = io_get_work_hash(work);
	tail = wqe->hash_tail[hash];
	wqe->hash_tail[hash] = work;
	if (!tail)
		goto append;

	wq_list_add_after(&work->list, &tail->list, &wqe->work_list);
}

763 764
static void io_wqe_enqueue(struct io_wqe *wqe, struct io_wq_work *work)
{
765
	struct io_wqe_acct *acct = io_work_get_acct(wqe, work);
766
	int work_flags;
767 768
	unsigned long flags;

769 770 771 772 773 774 775
	/*
	 * Do early check to see if we need a new unbound worker, and if we do,
	 * if we're allowed to do so. This isn't 100% accurate as there's a
	 * gap between this check and incrementing the value, but that's OK.
	 * It's close enough to not be an issue, fork() has the same delay.
	 */
	if (unlikely(!io_wq_can_queue(wqe, acct, work))) {
776
		io_run_cancel(work, wqe);
777 778 779
		return;
	}

780
	work_flags = work->flags;
781
	raw_spin_lock_irqsave(&wqe->lock, flags);
782
	io_wqe_insert_work(wqe, work);
783
	wqe->flags &= ~IO_WQE_FLAG_STALLED;
784
	raw_spin_unlock_irqrestore(&wqe->lock, flags);
785

786 787
	if ((work_flags & IO_WQ_WORK_CONCURRENT) ||
	    !atomic_read(&acct->nr_running))
788
		io_wqe_wake_worker(wqe, acct);
789 790 791 792 793 794 795 796 797 798
}

void io_wq_enqueue(struct io_wq *wq, struct io_wq_work *work)
{
	struct io_wqe *wqe = wq->wqes[numa_node_id()];

	io_wqe_enqueue(wqe, work);
}

/*
799 800
 * Work items that hash to the same value will not be done in parallel.
 * Used to limit concurrent writes, generally hashed by inode.
801
 */
802
void io_wq_hash_work(struct io_wq_work *work, void *val)
803
{
804
	unsigned int bit;
805 806 807 808 809

	bit = hash_ptr(val, IO_WQ_HASH_ORDER);
	work->flags |= (IO_WQ_WORK_HASHED | (bit << IO_WQ_HASH_SHIFT));
}

810
struct io_cb_cancel_data {
811 812
	work_cancel_fn *fn;
	void *data;
813 814 815
	int nr_running;
	int nr_pending;
	bool cancel_all;
816 817
};

818
static bool io_wq_worker_cancel(struct io_worker *worker, void *data)
819
{
820
	struct io_cb_cancel_data *match = data;
821
	unsigned long flags;
822 823 824

	/*
	 * Hold the lock to avoid ->cur_work going out of scope, caller
825
	 * may dereference the passed in work.
826
	 */
827
	spin_lock_irqsave(&worker->lock, flags);
828
	if (worker->cur_work &&
829
	    match->fn(worker->cur_work, match->data)) {
830
		set_notify_signal(worker->task);
831
		match->nr_running++;
832
	}
833
	spin_unlock_irqrestore(&worker->lock, flags);
834

835
	return match->nr_running && !match->cancel_all;
836 837
}

838 839 840 841 842 843 844 845 846 847 848 849 850 851 852 853 854 855
static inline void io_wqe_remove_pending(struct io_wqe *wqe,
					 struct io_wq_work *work,
					 struct io_wq_work_node *prev)
{
	unsigned int hash = io_get_work_hash(work);
	struct io_wq_work *prev_work = NULL;

	if (io_wq_is_hashed(work) && work == wqe->hash_tail[hash]) {
		if (prev)
			prev_work = container_of(prev, struct io_wq_work, list);
		if (prev_work && io_get_work_hash(prev_work) == hash)
			wqe->hash_tail[hash] = prev_work;
		else
			wqe->hash_tail[hash] = NULL;
	}
	wq_list_del(&wqe->work_list, &work->list, prev);
}

856
static void io_wqe_cancel_pending_work(struct io_wqe *wqe,
857
				       struct io_cb_cancel_data *match)
858
{
J
Jens Axboe 已提交
859
	struct io_wq_work_node *node, *prev;
860
	struct io_wq_work *work;
861
	unsigned long flags;
862

863
retry:
864
	raw_spin_lock_irqsave(&wqe->lock, flags);
J
Jens Axboe 已提交
865 866
	wq_list_for_each(node, prev, &wqe->work_list) {
		work = container_of(node, struct io_wq_work, list);
867 868
		if (!match->fn(work, match->data))
			continue;
869
		io_wqe_remove_pending(wqe, work, prev);
870
		raw_spin_unlock_irqrestore(&wqe->lock, flags);
871 872 873 874 875 876 877
		io_run_cancel(work, wqe);
		match->nr_pending++;
		if (!match->cancel_all)
			return;

		/* not safe to continue after unlock */
		goto retry;
878
	}
879
	raw_spin_unlock_irqrestore(&wqe->lock, flags);
880 881
}

882
static void io_wqe_cancel_running_work(struct io_wqe *wqe,
883 884
				       struct io_cb_cancel_data *match)
{
885
	rcu_read_lock();
886
	io_wq_for_each_worker(wqe, io_wq_worker_cancel, match);
887 888 889
	rcu_read_unlock();
}

890
enum io_wq_cancel io_wq_cancel_cb(struct io_wq *wq, work_cancel_fn *cancel,
891
				  void *data, bool cancel_all)
892
{
893
	struct io_cb_cancel_data match = {
894 895 896
		.fn		= cancel,
		.data		= data,
		.cancel_all	= cancel_all,
897
	};
J
Jann Horn 已提交
898
	int node;
899

900 901 902 903 904
	/*
	 * First check pending list, if we're lucky we can just remove it
	 * from there. CANCEL_OK means that the work is returned as-new,
	 * no completion will be posted for it.
	 */
J
Jann Horn 已提交
905 906
	for_each_node(node) {
		struct io_wqe *wqe = wq->wqes[node];
907

908 909
		io_wqe_cancel_pending_work(wqe, &match);
		if (match.nr_pending && !match.cancel_all)
910
			return IO_WQ_CANCEL_OK;
911 912
	}

913 914 915 916 917 918 919 920 921
	/*
	 * Now check if a free (going busy) or busy worker has the work
	 * currently running. If we find it there, we'll return CANCEL_RUNNING
	 * as an indication that we attempt to signal cancellation. The
	 * completion will run normally in this case.
	 */
	for_each_node(node) {
		struct io_wqe *wqe = wq->wqes[node];

922 923
		io_wqe_cancel_running_work(wqe, &match);
		if (match.nr_running && !match.cancel_all)
924 925 926
			return IO_WQ_CANCEL_RUNNING;
	}

927 928 929 930
	if (match.nr_running)
		return IO_WQ_CANCEL_RUNNING;
	if (match.nr_pending)
		return IO_WQ_CANCEL_OK;
931
	return IO_WQ_CANCEL_NOTFOUND;
932 933
}

934
struct io_wq *io_wq_create(unsigned bounded, struct io_wq_data *data)
935
{
J
Jann Horn 已提交
936
	int ret = -ENOMEM, node;
937 938
	struct io_wq *wq;

939
	if (WARN_ON_ONCE(!data->free_work || !data->do_work))
940 941
		return ERR_PTR(-EINVAL);

942
	wq = kzalloc(sizeof(*wq), GFP_KERNEL);
943 944 945
	if (!wq)
		return ERR_PTR(-ENOMEM);

J
Jann Horn 已提交
946
	wq->wqes = kcalloc(nr_node_ids, sizeof(struct io_wqe *), GFP_KERNEL);
947 948 949 950 951 952
	if (!wq->wqes)
		goto err_wq;

	ret = cpuhp_state_add_instance_nocalls(io_wq_online, &wq->cpuhp_node);
	if (ret)
		goto err_wqes;
953

954
	wq->free_work = data->free_work;
955
	wq->do_work = data->do_work;
956

957
	/* caller must already hold a reference to this */
958
	wq->user = data->user;
959

960
	ret = -ENOMEM;
J
Jann Horn 已提交
961
	for_each_node(node) {
962
		struct io_wqe *wqe;
963
		int alloc_node = node;
964

965 966 967
		if (!node_online(alloc_node))
			alloc_node = NUMA_NO_NODE;
		wqe = kzalloc_node(sizeof(struct io_wqe), GFP_KERNEL, alloc_node);
968
		if (!wqe)
J
Jann Horn 已提交
969 970
			goto err;
		wq->wqes[node] = wqe;
971
		wqe->node = alloc_node;
972 973
		wqe->acct[IO_WQ_ACCT_BOUND].max_workers = bounded;
		atomic_set(&wqe->acct[IO_WQ_ACCT_BOUND].nr_running, 0);
974
		if (wq->user) {
975 976 977 978
			wqe->acct[IO_WQ_ACCT_UNBOUND].max_workers =
					task_rlimit(current, RLIMIT_NPROC);
		}
		atomic_set(&wqe->acct[IO_WQ_ACCT_UNBOUND].nr_running, 0);
979
		wqe->wq = wq;
980
		raw_spin_lock_init(&wqe->lock);
J
Jens Axboe 已提交
981
		INIT_WQ_LIST(&wqe->work_list);
982
		INIT_HLIST_NULLS_HEAD(&wqe->free_list, 0);
983
		INIT_LIST_HEAD(&wqe->all_list);
984 985
	}

986
	wq->task_pid = current->pid;
987
	init_completion(&wq->done);
988
	refcount_set(&wq->refs, 1);
989

990 991 992 993
	current->flags |= PF_IO_WORKER;
	ret = fork_thread(io_wq_manager, wq);
	current->flags &= ~PF_IO_WORKER;
	if (ret >= 0) {
994 995
		wait_for_completion(&wq->done);
		reinit_completion(&wq->done);
996 997 998
		return wq;
	}

999 1000
	if (refcount_dec_and_test(&wq->refs))
		complete(&wq->done);
1001
err:
1002
	cpuhp_state_remove_instance_nocalls(io_wq_online, &wq->cpuhp_node);
J
Jann Horn 已提交
1003 1004
	for_each_node(node)
		kfree(wq->wqes[node]);
1005
err_wqes:
1006
	kfree(wq->wqes);
1007
err_wq:
1008
	kfree(wq);
1009 1010 1011
	return ERR_PTR(ret);
}

J
Jens Axboe 已提交
1012
void io_wq_destroy(struct io_wq *wq)
1013
{
J
Jann Horn 已提交
1014
	int node;
1015

1016 1017
	cpuhp_state_remove_instance_nocalls(io_wq_online, &wq->cpuhp_node);

1018 1019
	set_bit(IO_WQ_BIT_EXIT, &wq->state);
	if (wq->manager)
1020
		wake_up_process(wq->manager);
1021 1022

	rcu_read_lock();
J
Jann Horn 已提交
1023 1024
	for_each_node(node)
		io_wq_for_each_worker(wq->wqes[node], io_wq_worker_wake, NULL);
1025 1026 1027 1028
	rcu_read_unlock();

	wait_for_completion(&wq->done);

J
Jann Horn 已提交
1029 1030
	for_each_node(node)
		kfree(wq->wqes[node]);
1031 1032 1033
	kfree(wq->wqes);
	kfree(wq);
}
J
Jens Axboe 已提交
1034

1035 1036 1037 1038 1039 1040 1041 1042 1043 1044 1045 1046 1047 1048 1049 1050 1051 1052 1053 1054 1055 1056 1057 1058 1059 1060 1061 1062 1063 1064 1065 1066 1067 1068 1069 1070 1071
static bool io_wq_worker_affinity(struct io_worker *worker, void *data)
{
	struct task_struct *task = worker->task;
	struct rq_flags rf;
	struct rq *rq;

	rq = task_rq_lock(task, &rf);
	do_set_cpus_allowed(task, cpumask_of_node(worker->wqe->node));
	task->flags |= PF_NO_SETAFFINITY;
	task_rq_unlock(rq, task, &rf);
	return false;
}

static int io_wq_cpu_online(unsigned int cpu, struct hlist_node *node)
{
	struct io_wq *wq = hlist_entry_safe(node, struct io_wq, cpuhp_node);
	int i;

	rcu_read_lock();
	for_each_node(i)
		io_wq_for_each_worker(wq->wqes[i], io_wq_worker_affinity, NULL);
	rcu_read_unlock();
	return 0;
}

static __init int io_wq_init(void)
{
	int ret;

	ret = cpuhp_setup_state_multi(CPUHP_AP_ONLINE_DYN, "io-wq/online",
					io_wq_cpu_online, NULL);
	if (ret < 0)
		return ret;
	io_wq_online = ret;
	return 0;
}
subsys_initcall(io_wq_init);