xref: /openbmc/linux/block/blk-cgroup.c (revision c0e297dc)
1 /*
2  * Common Block IO controller cgroup interface
3  *
4  * Based on ideas and code from CFQ, CFS and BFQ:
5  * Copyright (C) 2003 Jens Axboe <axboe@kernel.dk>
6  *
7  * Copyright (C) 2008 Fabio Checconi <fabio@gandalf.sssup.it>
8  *		      Paolo Valente <paolo.valente@unimore.it>
9  *
10  * Copyright (C) 2009 Vivek Goyal <vgoyal@redhat.com>
11  * 	              Nauman Rafique <nauman@google.com>
12  *
13  * For policy-specific per-blkcg data:
14  * Copyright (C) 2015 Paolo Valente <paolo.valente@unimore.it>
15  *                    Arianna Avanzini <avanzini.arianna@gmail.com>
16  */
17 #include <linux/ioprio.h>
18 #include <linux/kdev_t.h>
19 #include <linux/module.h>
20 #include <linux/err.h>
21 #include <linux/blkdev.h>
22 #include <linux/backing-dev.h>
23 #include <linux/slab.h>
24 #include <linux/genhd.h>
25 #include <linux/delay.h>
26 #include <linux/atomic.h>
27 #include <linux/blk-cgroup.h>
28 #include "blk.h"
29 
30 #define MAX_KEY_LEN 100
31 
32 /*
33  * blkcg_pol_mutex protects blkcg_policy[] and policy [de]activation.
34  * blkcg_pol_register_mutex nests outside of it and synchronizes entire
35  * policy [un]register operations including cgroup file additions /
36  * removals.  Putting cgroup file registration outside blkcg_pol_mutex
37  * allows grabbing it from cgroup callbacks.
38  */
39 static DEFINE_MUTEX(blkcg_pol_register_mutex);
40 static DEFINE_MUTEX(blkcg_pol_mutex);
41 
42 struct blkcg blkcg_root;
43 EXPORT_SYMBOL_GPL(blkcg_root);
44 
45 struct cgroup_subsys_state * const blkcg_root_css = &blkcg_root.css;
46 
47 static struct blkcg_policy *blkcg_policy[BLKCG_MAX_POLS];
48 
49 static LIST_HEAD(all_blkcgs);		/* protected by blkcg_pol_mutex */
50 
51 static bool blkcg_policy_enabled(struct request_queue *q,
52 				 const struct blkcg_policy *pol)
53 {
54 	return pol && test_bit(pol->plid, q->blkcg_pols);
55 }
56 
57 /**
58  * blkg_free - free a blkg
59  * @blkg: blkg to free
60  *
61  * Free @blkg which may be partially allocated.
62  */
63 static void blkg_free(struct blkcg_gq *blkg)
64 {
65 	int i;
66 
67 	if (!blkg)
68 		return;
69 
70 	for (i = 0; i < BLKCG_MAX_POLS; i++)
71 		kfree(blkg->pd[i]);
72 
73 	blk_exit_rl(&blkg->rl);
74 	kfree(blkg);
75 }
76 
77 /**
78  * blkg_alloc - allocate a blkg
79  * @blkcg: block cgroup the new blkg is associated with
80  * @q: request_queue the new blkg is associated with
81  * @gfp_mask: allocation mask to use
82  *
83  * Allocate a new blkg assocating @blkcg and @q.
84  */
85 static struct blkcg_gq *blkg_alloc(struct blkcg *blkcg, struct request_queue *q,
86 				   gfp_t gfp_mask)
87 {
88 	struct blkcg_gq *blkg;
89 	int i;
90 
91 	/* alloc and init base part */
92 	blkg = kzalloc_node(sizeof(*blkg), gfp_mask, q->node);
93 	if (!blkg)
94 		return NULL;
95 
96 	blkg->q = q;
97 	INIT_LIST_HEAD(&blkg->q_node);
98 	blkg->blkcg = blkcg;
99 	atomic_set(&blkg->refcnt, 1);
100 
101 	/* root blkg uses @q->root_rl, init rl only for !root blkgs */
102 	if (blkcg != &blkcg_root) {
103 		if (blk_init_rl(&blkg->rl, q, gfp_mask))
104 			goto err_free;
105 		blkg->rl.blkg = blkg;
106 	}
107 
108 	for (i = 0; i < BLKCG_MAX_POLS; i++) {
109 		struct blkcg_policy *pol = blkcg_policy[i];
110 		struct blkg_policy_data *pd;
111 
112 		if (!blkcg_policy_enabled(q, pol))
113 			continue;
114 
115 		/* alloc per-policy data and attach it to blkg */
116 		pd = kzalloc_node(pol->pd_size, gfp_mask, q->node);
117 		if (!pd)
118 			goto err_free;
119 
120 		blkg->pd[i] = pd;
121 		pd->blkg = blkg;
122 		pd->plid = i;
123 	}
124 
125 	return blkg;
126 
127 err_free:
128 	blkg_free(blkg);
129 	return NULL;
130 }
131 
132 /**
133  * __blkg_lookup - internal version of blkg_lookup()
134  * @blkcg: blkcg of interest
135  * @q: request_queue of interest
136  * @update_hint: whether to update lookup hint with the result or not
137  *
138  * This is internal version and shouldn't be used by policy
139  * implementations.  Looks up blkgs for the @blkcg - @q pair regardless of
140  * @q's bypass state.  If @update_hint is %true, the caller should be
141  * holding @q->queue_lock and lookup hint is updated on success.
142  */
143 struct blkcg_gq *__blkg_lookup(struct blkcg *blkcg, struct request_queue *q,
144 			       bool update_hint)
145 {
146 	struct blkcg_gq *blkg;
147 
148 	blkg = rcu_dereference(blkcg->blkg_hint);
149 	if (blkg && blkg->q == q)
150 		return blkg;
151 
152 	/*
153 	 * Hint didn't match.  Look up from the radix tree.  Note that the
154 	 * hint can only be updated under queue_lock as otherwise @blkg
155 	 * could have already been removed from blkg_tree.  The caller is
156 	 * responsible for grabbing queue_lock if @update_hint.
157 	 */
158 	blkg = radix_tree_lookup(&blkcg->blkg_tree, q->id);
159 	if (blkg && blkg->q == q) {
160 		if (update_hint) {
161 			lockdep_assert_held(q->queue_lock);
162 			rcu_assign_pointer(blkcg->blkg_hint, blkg);
163 		}
164 		return blkg;
165 	}
166 
167 	return NULL;
168 }
169 
170 /**
171  * blkg_lookup - lookup blkg for the specified blkcg - q pair
172  * @blkcg: blkcg of interest
173  * @q: request_queue of interest
174  *
175  * Lookup blkg for the @blkcg - @q pair.  This function should be called
176  * under RCU read lock and is guaranteed to return %NULL if @q is bypassing
177  * - see blk_queue_bypass_start() for details.
178  */
179 struct blkcg_gq *blkg_lookup(struct blkcg *blkcg, struct request_queue *q)
180 {
181 	WARN_ON_ONCE(!rcu_read_lock_held());
182 
183 	if (unlikely(blk_queue_bypass(q)))
184 		return NULL;
185 	return __blkg_lookup(blkcg, q, false);
186 }
187 EXPORT_SYMBOL_GPL(blkg_lookup);
188 
189 /*
190  * If @new_blkg is %NULL, this function tries to allocate a new one as
191  * necessary using %GFP_ATOMIC.  @new_blkg is always consumed on return.
192  */
193 static struct blkcg_gq *blkg_create(struct blkcg *blkcg,
194 				    struct request_queue *q,
195 				    struct blkcg_gq *new_blkg)
196 {
197 	struct blkcg_gq *blkg;
198 	struct bdi_writeback_congested *wb_congested;
199 	int i, ret;
200 
201 	WARN_ON_ONCE(!rcu_read_lock_held());
202 	lockdep_assert_held(q->queue_lock);
203 
204 	/* blkg holds a reference to blkcg */
205 	if (!css_tryget_online(&blkcg->css)) {
206 		ret = -EINVAL;
207 		goto err_free_blkg;
208 	}
209 
210 	wb_congested = wb_congested_get_create(&q->backing_dev_info,
211 					       blkcg->css.id, GFP_ATOMIC);
212 	if (!wb_congested) {
213 		ret = -ENOMEM;
214 		goto err_put_css;
215 	}
216 
217 	/* allocate */
218 	if (!new_blkg) {
219 		new_blkg = blkg_alloc(blkcg, q, GFP_ATOMIC);
220 		if (unlikely(!new_blkg)) {
221 			ret = -ENOMEM;
222 			goto err_put_congested;
223 		}
224 	}
225 	blkg = new_blkg;
226 	blkg->wb_congested = wb_congested;
227 
228 	/* link parent */
229 	if (blkcg_parent(blkcg)) {
230 		blkg->parent = __blkg_lookup(blkcg_parent(blkcg), q, false);
231 		if (WARN_ON_ONCE(!blkg->parent)) {
232 			ret = -EINVAL;
233 			goto err_put_congested;
234 		}
235 		blkg_get(blkg->parent);
236 	}
237 
238 	/* invoke per-policy init */
239 	for (i = 0; i < BLKCG_MAX_POLS; i++) {
240 		struct blkcg_policy *pol = blkcg_policy[i];
241 
242 		if (blkg->pd[i] && pol->pd_init_fn)
243 			pol->pd_init_fn(blkg);
244 	}
245 
246 	/* insert */
247 	spin_lock(&blkcg->lock);
248 	ret = radix_tree_insert(&blkcg->blkg_tree, q->id, blkg);
249 	if (likely(!ret)) {
250 		hlist_add_head_rcu(&blkg->blkcg_node, &blkcg->blkg_list);
251 		list_add(&blkg->q_node, &q->blkg_list);
252 
253 		for (i = 0; i < BLKCG_MAX_POLS; i++) {
254 			struct blkcg_policy *pol = blkcg_policy[i];
255 
256 			if (blkg->pd[i] && pol->pd_online_fn)
257 				pol->pd_online_fn(blkg);
258 		}
259 	}
260 	blkg->online = true;
261 	spin_unlock(&blkcg->lock);
262 
263 	if (!ret)
264 		return blkg;
265 
266 	/* @blkg failed fully initialized, use the usual release path */
267 	blkg_put(blkg);
268 	return ERR_PTR(ret);
269 
270 err_put_congested:
271 	wb_congested_put(wb_congested);
272 err_put_css:
273 	css_put(&blkcg->css);
274 err_free_blkg:
275 	blkg_free(new_blkg);
276 	return ERR_PTR(ret);
277 }
278 
279 /**
280  * blkg_lookup_create - lookup blkg, try to create one if not there
281  * @blkcg: blkcg of interest
282  * @q: request_queue of interest
283  *
284  * Lookup blkg for the @blkcg - @q pair.  If it doesn't exist, try to
285  * create one.  blkg creation is performed recursively from blkcg_root such
286  * that all non-root blkg's have access to the parent blkg.  This function
287  * should be called under RCU read lock and @q->queue_lock.
288  *
289  * Returns pointer to the looked up or created blkg on success, ERR_PTR()
290  * value on error.  If @q is dead, returns ERR_PTR(-EINVAL).  If @q is not
291  * dead and bypassing, returns ERR_PTR(-EBUSY).
292  */
293 struct blkcg_gq *blkg_lookup_create(struct blkcg *blkcg,
294 				    struct request_queue *q)
295 {
296 	struct blkcg_gq *blkg;
297 
298 	WARN_ON_ONCE(!rcu_read_lock_held());
299 	lockdep_assert_held(q->queue_lock);
300 
301 	/*
302 	 * This could be the first entry point of blkcg implementation and
303 	 * we shouldn't allow anything to go through for a bypassing queue.
304 	 */
305 	if (unlikely(blk_queue_bypass(q)))
306 		return ERR_PTR(blk_queue_dying(q) ? -EINVAL : -EBUSY);
307 
308 	blkg = __blkg_lookup(blkcg, q, true);
309 	if (blkg)
310 		return blkg;
311 
312 	/*
313 	 * Create blkgs walking down from blkcg_root to @blkcg, so that all
314 	 * non-root blkgs have access to their parents.
315 	 */
316 	while (true) {
317 		struct blkcg *pos = blkcg;
318 		struct blkcg *parent = blkcg_parent(blkcg);
319 
320 		while (parent && !__blkg_lookup(parent, q, false)) {
321 			pos = parent;
322 			parent = blkcg_parent(parent);
323 		}
324 
325 		blkg = blkg_create(pos, q, NULL);
326 		if (pos == blkcg || IS_ERR(blkg))
327 			return blkg;
328 	}
329 }
330 EXPORT_SYMBOL_GPL(blkg_lookup_create);
331 
332 static void blkg_destroy(struct blkcg_gq *blkg)
333 {
334 	struct blkcg *blkcg = blkg->blkcg;
335 	int i;
336 
337 	lockdep_assert_held(blkg->q->queue_lock);
338 	lockdep_assert_held(&blkcg->lock);
339 
340 	/* Something wrong if we are trying to remove same group twice */
341 	WARN_ON_ONCE(list_empty(&blkg->q_node));
342 	WARN_ON_ONCE(hlist_unhashed(&blkg->blkcg_node));
343 
344 	for (i = 0; i < BLKCG_MAX_POLS; i++) {
345 		struct blkcg_policy *pol = blkcg_policy[i];
346 
347 		if (blkg->pd[i] && pol->pd_offline_fn)
348 			pol->pd_offline_fn(blkg);
349 	}
350 	blkg->online = false;
351 
352 	radix_tree_delete(&blkcg->blkg_tree, blkg->q->id);
353 	list_del_init(&blkg->q_node);
354 	hlist_del_init_rcu(&blkg->blkcg_node);
355 
356 	/*
357 	 * Both setting lookup hint to and clearing it from @blkg are done
358 	 * under queue_lock.  If it's not pointing to @blkg now, it never
359 	 * will.  Hint assignment itself can race safely.
360 	 */
361 	if (rcu_access_pointer(blkcg->blkg_hint) == blkg)
362 		rcu_assign_pointer(blkcg->blkg_hint, NULL);
363 
364 	/*
365 	 * Put the reference taken at the time of creation so that when all
366 	 * queues are gone, group can be destroyed.
367 	 */
368 	blkg_put(blkg);
369 }
370 
371 /**
372  * blkg_destroy_all - destroy all blkgs associated with a request_queue
373  * @q: request_queue of interest
374  *
375  * Destroy all blkgs associated with @q.
376  */
377 static void blkg_destroy_all(struct request_queue *q)
378 {
379 	struct blkcg_gq *blkg, *n;
380 
381 	lockdep_assert_held(q->queue_lock);
382 
383 	list_for_each_entry_safe(blkg, n, &q->blkg_list, q_node) {
384 		struct blkcg *blkcg = blkg->blkcg;
385 
386 		spin_lock(&blkcg->lock);
387 		blkg_destroy(blkg);
388 		spin_unlock(&blkcg->lock);
389 	}
390 }
391 
392 /*
393  * A group is RCU protected, but having an rcu lock does not mean that one
394  * can access all the fields of blkg and assume these are valid.  For
395  * example, don't try to follow throtl_data and request queue links.
396  *
397  * Having a reference to blkg under an rcu allows accesses to only values
398  * local to groups like group stats and group rate limits.
399  */
400 void __blkg_release_rcu(struct rcu_head *rcu_head)
401 {
402 	struct blkcg_gq *blkg = container_of(rcu_head, struct blkcg_gq, rcu_head);
403 	int i;
404 
405 	/* tell policies that this one is being freed */
406 	for (i = 0; i < BLKCG_MAX_POLS; i++) {
407 		struct blkcg_policy *pol = blkcg_policy[i];
408 
409 		if (blkg->pd[i] && pol->pd_exit_fn)
410 			pol->pd_exit_fn(blkg);
411 	}
412 
413 	/* release the blkcg and parent blkg refs this blkg has been holding */
414 	css_put(&blkg->blkcg->css);
415 	if (blkg->parent)
416 		blkg_put(blkg->parent);
417 
418 	wb_congested_put(blkg->wb_congested);
419 
420 	blkg_free(blkg);
421 }
422 EXPORT_SYMBOL_GPL(__blkg_release_rcu);
423 
424 /*
425  * The next function used by blk_queue_for_each_rl().  It's a bit tricky
426  * because the root blkg uses @q->root_rl instead of its own rl.
427  */
428 struct request_list *__blk_queue_next_rl(struct request_list *rl,
429 					 struct request_queue *q)
430 {
431 	struct list_head *ent;
432 	struct blkcg_gq *blkg;
433 
434 	/*
435 	 * Determine the current blkg list_head.  The first entry is
436 	 * root_rl which is off @q->blkg_list and mapped to the head.
437 	 */
438 	if (rl == &q->root_rl) {
439 		ent = &q->blkg_list;
440 		/* There are no more block groups, hence no request lists */
441 		if (list_empty(ent))
442 			return NULL;
443 	} else {
444 		blkg = container_of(rl, struct blkcg_gq, rl);
445 		ent = &blkg->q_node;
446 	}
447 
448 	/* walk to the next list_head, skip root blkcg */
449 	ent = ent->next;
450 	if (ent == &q->root_blkg->q_node)
451 		ent = ent->next;
452 	if (ent == &q->blkg_list)
453 		return NULL;
454 
455 	blkg = container_of(ent, struct blkcg_gq, q_node);
456 	return &blkg->rl;
457 }
458 
459 static int blkcg_reset_stats(struct cgroup_subsys_state *css,
460 			     struct cftype *cftype, u64 val)
461 {
462 	struct blkcg *blkcg = css_to_blkcg(css);
463 	struct blkcg_gq *blkg;
464 	int i;
465 
466 	mutex_lock(&blkcg_pol_mutex);
467 	spin_lock_irq(&blkcg->lock);
468 
469 	/*
470 	 * Note that stat reset is racy - it doesn't synchronize against
471 	 * stat updates.  This is a debug feature which shouldn't exist
472 	 * anyway.  If you get hit by a race, retry.
473 	 */
474 	hlist_for_each_entry(blkg, &blkcg->blkg_list, blkcg_node) {
475 		for (i = 0; i < BLKCG_MAX_POLS; i++) {
476 			struct blkcg_policy *pol = blkcg_policy[i];
477 
478 			if (blkcg_policy_enabled(blkg->q, pol) &&
479 			    pol->pd_reset_stats_fn)
480 				pol->pd_reset_stats_fn(blkg);
481 		}
482 	}
483 
484 	spin_unlock_irq(&blkcg->lock);
485 	mutex_unlock(&blkcg_pol_mutex);
486 	return 0;
487 }
488 
489 static const char *blkg_dev_name(struct blkcg_gq *blkg)
490 {
491 	/* some drivers (floppy) instantiate a queue w/o disk registered */
492 	if (blkg->q->backing_dev_info.dev)
493 		return dev_name(blkg->q->backing_dev_info.dev);
494 	return NULL;
495 }
496 
497 /**
498  * blkcg_print_blkgs - helper for printing per-blkg data
499  * @sf: seq_file to print to
500  * @blkcg: blkcg of interest
501  * @prfill: fill function to print out a blkg
502  * @pol: policy in question
503  * @data: data to be passed to @prfill
504  * @show_total: to print out sum of prfill return values or not
505  *
506  * This function invokes @prfill on each blkg of @blkcg if pd for the
507  * policy specified by @pol exists.  @prfill is invoked with @sf, the
508  * policy data and @data and the matching queue lock held.  If @show_total
509  * is %true, the sum of the return values from @prfill is printed with
510  * "Total" label at the end.
511  *
512  * This is to be used to construct print functions for
513  * cftype->read_seq_string method.
514  */
515 void blkcg_print_blkgs(struct seq_file *sf, struct blkcg *blkcg,
516 		       u64 (*prfill)(struct seq_file *,
517 				     struct blkg_policy_data *, int),
518 		       const struct blkcg_policy *pol, int data,
519 		       bool show_total)
520 {
521 	struct blkcg_gq *blkg;
522 	u64 total = 0;
523 
524 	rcu_read_lock();
525 	hlist_for_each_entry_rcu(blkg, &blkcg->blkg_list, blkcg_node) {
526 		spin_lock_irq(blkg->q->queue_lock);
527 		if (blkcg_policy_enabled(blkg->q, pol))
528 			total += prfill(sf, blkg->pd[pol->plid], data);
529 		spin_unlock_irq(blkg->q->queue_lock);
530 	}
531 	rcu_read_unlock();
532 
533 	if (show_total)
534 		seq_printf(sf, "Total %llu\n", (unsigned long long)total);
535 }
536 EXPORT_SYMBOL_GPL(blkcg_print_blkgs);
537 
538 /**
539  * __blkg_prfill_u64 - prfill helper for a single u64 value
540  * @sf: seq_file to print to
541  * @pd: policy private data of interest
542  * @v: value to print
543  *
544  * Print @v to @sf for the device assocaited with @pd.
545  */
546 u64 __blkg_prfill_u64(struct seq_file *sf, struct blkg_policy_data *pd, u64 v)
547 {
548 	const char *dname = blkg_dev_name(pd->blkg);
549 
550 	if (!dname)
551 		return 0;
552 
553 	seq_printf(sf, "%s %llu\n", dname, (unsigned long long)v);
554 	return v;
555 }
556 EXPORT_SYMBOL_GPL(__blkg_prfill_u64);
557 
558 /**
559  * __blkg_prfill_rwstat - prfill helper for a blkg_rwstat
560  * @sf: seq_file to print to
561  * @pd: policy private data of interest
562  * @rwstat: rwstat to print
563  *
564  * Print @rwstat to @sf for the device assocaited with @pd.
565  */
566 u64 __blkg_prfill_rwstat(struct seq_file *sf, struct blkg_policy_data *pd,
567 			 const struct blkg_rwstat *rwstat)
568 {
569 	static const char *rwstr[] = {
570 		[BLKG_RWSTAT_READ]	= "Read",
571 		[BLKG_RWSTAT_WRITE]	= "Write",
572 		[BLKG_RWSTAT_SYNC]	= "Sync",
573 		[BLKG_RWSTAT_ASYNC]	= "Async",
574 	};
575 	const char *dname = blkg_dev_name(pd->blkg);
576 	u64 v;
577 	int i;
578 
579 	if (!dname)
580 		return 0;
581 
582 	for (i = 0; i < BLKG_RWSTAT_NR; i++)
583 		seq_printf(sf, "%s %s %llu\n", dname, rwstr[i],
584 			   (unsigned long long)rwstat->cnt[i]);
585 
586 	v = rwstat->cnt[BLKG_RWSTAT_READ] + rwstat->cnt[BLKG_RWSTAT_WRITE];
587 	seq_printf(sf, "%s Total %llu\n", dname, (unsigned long long)v);
588 	return v;
589 }
590 EXPORT_SYMBOL_GPL(__blkg_prfill_rwstat);
591 
592 /**
593  * blkg_prfill_stat - prfill callback for blkg_stat
594  * @sf: seq_file to print to
595  * @pd: policy private data of interest
596  * @off: offset to the blkg_stat in @pd
597  *
598  * prfill callback for printing a blkg_stat.
599  */
600 u64 blkg_prfill_stat(struct seq_file *sf, struct blkg_policy_data *pd, int off)
601 {
602 	return __blkg_prfill_u64(sf, pd, blkg_stat_read((void *)pd + off));
603 }
604 EXPORT_SYMBOL_GPL(blkg_prfill_stat);
605 
606 /**
607  * blkg_prfill_rwstat - prfill callback for blkg_rwstat
608  * @sf: seq_file to print to
609  * @pd: policy private data of interest
610  * @off: offset to the blkg_rwstat in @pd
611  *
612  * prfill callback for printing a blkg_rwstat.
613  */
614 u64 blkg_prfill_rwstat(struct seq_file *sf, struct blkg_policy_data *pd,
615 		       int off)
616 {
617 	struct blkg_rwstat rwstat = blkg_rwstat_read((void *)pd + off);
618 
619 	return __blkg_prfill_rwstat(sf, pd, &rwstat);
620 }
621 EXPORT_SYMBOL_GPL(blkg_prfill_rwstat);
622 
623 /**
624  * blkg_stat_recursive_sum - collect hierarchical blkg_stat
625  * @pd: policy private data of interest
626  * @off: offset to the blkg_stat in @pd
627  *
628  * Collect the blkg_stat specified by @off from @pd and all its online
629  * descendants and return the sum.  The caller must be holding the queue
630  * lock for online tests.
631  */
632 u64 blkg_stat_recursive_sum(struct blkg_policy_data *pd, int off)
633 {
634 	struct blkcg_policy *pol = blkcg_policy[pd->plid];
635 	struct blkcg_gq *pos_blkg;
636 	struct cgroup_subsys_state *pos_css;
637 	u64 sum = 0;
638 
639 	lockdep_assert_held(pd->blkg->q->queue_lock);
640 
641 	rcu_read_lock();
642 	blkg_for_each_descendant_pre(pos_blkg, pos_css, pd_to_blkg(pd)) {
643 		struct blkg_policy_data *pos_pd = blkg_to_pd(pos_blkg, pol);
644 		struct blkg_stat *stat = (void *)pos_pd + off;
645 
646 		if (pos_blkg->online)
647 			sum += blkg_stat_read(stat);
648 	}
649 	rcu_read_unlock();
650 
651 	return sum;
652 }
653 EXPORT_SYMBOL_GPL(blkg_stat_recursive_sum);
654 
655 /**
656  * blkg_rwstat_recursive_sum - collect hierarchical blkg_rwstat
657  * @pd: policy private data of interest
658  * @off: offset to the blkg_stat in @pd
659  *
660  * Collect the blkg_rwstat specified by @off from @pd and all its online
661  * descendants and return the sum.  The caller must be holding the queue
662  * lock for online tests.
663  */
664 struct blkg_rwstat blkg_rwstat_recursive_sum(struct blkg_policy_data *pd,
665 					     int off)
666 {
667 	struct blkcg_policy *pol = blkcg_policy[pd->plid];
668 	struct blkcg_gq *pos_blkg;
669 	struct cgroup_subsys_state *pos_css;
670 	struct blkg_rwstat sum = { };
671 	int i;
672 
673 	lockdep_assert_held(pd->blkg->q->queue_lock);
674 
675 	rcu_read_lock();
676 	blkg_for_each_descendant_pre(pos_blkg, pos_css, pd_to_blkg(pd)) {
677 		struct blkg_policy_data *pos_pd = blkg_to_pd(pos_blkg, pol);
678 		struct blkg_rwstat *rwstat = (void *)pos_pd + off;
679 		struct blkg_rwstat tmp;
680 
681 		if (!pos_blkg->online)
682 			continue;
683 
684 		tmp = blkg_rwstat_read(rwstat);
685 
686 		for (i = 0; i < BLKG_RWSTAT_NR; i++)
687 			sum.cnt[i] += tmp.cnt[i];
688 	}
689 	rcu_read_unlock();
690 
691 	return sum;
692 }
693 EXPORT_SYMBOL_GPL(blkg_rwstat_recursive_sum);
694 
695 /**
696  * blkg_conf_prep - parse and prepare for per-blkg config update
697  * @blkcg: target block cgroup
698  * @pol: target policy
699  * @input: input string
700  * @ctx: blkg_conf_ctx to be filled
701  *
702  * Parse per-blkg config update from @input and initialize @ctx with the
703  * result.  @ctx->blkg points to the blkg to be updated and @ctx->v the new
704  * value.  This function returns with RCU read lock and queue lock held and
705  * must be paired with blkg_conf_finish().
706  */
707 int blkg_conf_prep(struct blkcg *blkcg, const struct blkcg_policy *pol,
708 		   const char *input, struct blkg_conf_ctx *ctx)
709 	__acquires(rcu) __acquires(disk->queue->queue_lock)
710 {
711 	struct gendisk *disk;
712 	struct blkcg_gq *blkg;
713 	unsigned int major, minor;
714 	unsigned long long v;
715 	int part, ret;
716 
717 	if (sscanf(input, "%u:%u %llu", &major, &minor, &v) != 3)
718 		return -EINVAL;
719 
720 	disk = get_gendisk(MKDEV(major, minor), &part);
721 	if (!disk)
722 		return -EINVAL;
723 	if (part) {
724 		put_disk(disk);
725 		return -EINVAL;
726 	}
727 
728 	rcu_read_lock();
729 	spin_lock_irq(disk->queue->queue_lock);
730 
731 	if (blkcg_policy_enabled(disk->queue, pol))
732 		blkg = blkg_lookup_create(blkcg, disk->queue);
733 	else
734 		blkg = ERR_PTR(-EINVAL);
735 
736 	if (IS_ERR(blkg)) {
737 		ret = PTR_ERR(blkg);
738 		rcu_read_unlock();
739 		spin_unlock_irq(disk->queue->queue_lock);
740 		put_disk(disk);
741 		/*
742 		 * If queue was bypassing, we should retry.  Do so after a
743 		 * short msleep().  It isn't strictly necessary but queue
744 		 * can be bypassing for some time and it's always nice to
745 		 * avoid busy looping.
746 		 */
747 		if (ret == -EBUSY) {
748 			msleep(10);
749 			ret = restart_syscall();
750 		}
751 		return ret;
752 	}
753 
754 	ctx->disk = disk;
755 	ctx->blkg = blkg;
756 	ctx->v = v;
757 	return 0;
758 }
759 EXPORT_SYMBOL_GPL(blkg_conf_prep);
760 
761 /**
762  * blkg_conf_finish - finish up per-blkg config update
763  * @ctx: blkg_conf_ctx intiailized by blkg_conf_prep()
764  *
765  * Finish up after per-blkg config update.  This function must be paired
766  * with blkg_conf_prep().
767  */
768 void blkg_conf_finish(struct blkg_conf_ctx *ctx)
769 	__releases(ctx->disk->queue->queue_lock) __releases(rcu)
770 {
771 	spin_unlock_irq(ctx->disk->queue->queue_lock);
772 	rcu_read_unlock();
773 	put_disk(ctx->disk);
774 }
775 EXPORT_SYMBOL_GPL(blkg_conf_finish);
776 
777 struct cftype blkcg_files[] = {
778 	{
779 		.name = "reset_stats",
780 		.write_u64 = blkcg_reset_stats,
781 	},
782 	{ }	/* terminate */
783 };
784 
785 /**
786  * blkcg_css_offline - cgroup css_offline callback
787  * @css: css of interest
788  *
789  * This function is called when @css is about to go away and responsible
790  * for shooting down all blkgs associated with @css.  blkgs should be
791  * removed while holding both q and blkcg locks.  As blkcg lock is nested
792  * inside q lock, this function performs reverse double lock dancing.
793  *
794  * This is the blkcg counterpart of ioc_release_fn().
795  */
796 static void blkcg_css_offline(struct cgroup_subsys_state *css)
797 {
798 	struct blkcg *blkcg = css_to_blkcg(css);
799 
800 	spin_lock_irq(&blkcg->lock);
801 
802 	while (!hlist_empty(&blkcg->blkg_list)) {
803 		struct blkcg_gq *blkg = hlist_entry(blkcg->blkg_list.first,
804 						struct blkcg_gq, blkcg_node);
805 		struct request_queue *q = blkg->q;
806 
807 		if (spin_trylock(q->queue_lock)) {
808 			blkg_destroy(blkg);
809 			spin_unlock(q->queue_lock);
810 		} else {
811 			spin_unlock_irq(&blkcg->lock);
812 			cpu_relax();
813 			spin_lock_irq(&blkcg->lock);
814 		}
815 	}
816 
817 	spin_unlock_irq(&blkcg->lock);
818 
819 	wb_blkcg_offline(blkcg);
820 }
821 
822 static void blkcg_css_free(struct cgroup_subsys_state *css)
823 {
824 	struct blkcg *blkcg = css_to_blkcg(css);
825 
826 	mutex_lock(&blkcg_pol_mutex);
827 	list_del(&blkcg->all_blkcgs_node);
828 	mutex_unlock(&blkcg_pol_mutex);
829 
830 	if (blkcg != &blkcg_root) {
831 		int i;
832 
833 		for (i = 0; i < BLKCG_MAX_POLS; i++)
834 			kfree(blkcg->pd[i]);
835 		kfree(blkcg);
836 	}
837 }
838 
839 static struct cgroup_subsys_state *
840 blkcg_css_alloc(struct cgroup_subsys_state *parent_css)
841 {
842 	struct blkcg *blkcg;
843 	struct cgroup_subsys_state *ret;
844 	int i;
845 
846 	mutex_lock(&blkcg_pol_mutex);
847 
848 	if (!parent_css) {
849 		blkcg = &blkcg_root;
850 		goto done;
851 	}
852 
853 	blkcg = kzalloc(sizeof(*blkcg), GFP_KERNEL);
854 	if (!blkcg) {
855 		ret = ERR_PTR(-ENOMEM);
856 		goto free_blkcg;
857 	}
858 
859 	for (i = 0; i < BLKCG_MAX_POLS ; i++) {
860 		struct blkcg_policy *pol = blkcg_policy[i];
861 		struct blkcg_policy_data *cpd;
862 
863 		/*
864 		 * If the policy hasn't been attached yet, wait for it
865 		 * to be attached before doing anything else. Otherwise,
866 		 * check if the policy requires any specific per-cgroup
867 		 * data: if it does, allocate and initialize it.
868 		 */
869 		if (!pol || !pol->cpd_size)
870 			continue;
871 
872 		BUG_ON(blkcg->pd[i]);
873 		cpd = kzalloc(pol->cpd_size, GFP_KERNEL);
874 		if (!cpd) {
875 			ret = ERR_PTR(-ENOMEM);
876 			goto free_pd_blkcg;
877 		}
878 		blkcg->pd[i] = cpd;
879 		cpd->plid = i;
880 		pol->cpd_init_fn(blkcg);
881 	}
882 
883 done:
884 	spin_lock_init(&blkcg->lock);
885 	INIT_RADIX_TREE(&blkcg->blkg_tree, GFP_ATOMIC);
886 	INIT_HLIST_HEAD(&blkcg->blkg_list);
887 #ifdef CONFIG_CGROUP_WRITEBACK
888 	INIT_LIST_HEAD(&blkcg->cgwb_list);
889 #endif
890 	list_add_tail(&blkcg->all_blkcgs_node, &all_blkcgs);
891 
892 	mutex_unlock(&blkcg_pol_mutex);
893 	return &blkcg->css;
894 
895 free_pd_blkcg:
896 	for (i--; i >= 0; i--)
897 		kfree(blkcg->pd[i]);
898 free_blkcg:
899 	kfree(blkcg);
900 	mutex_unlock(&blkcg_pol_mutex);
901 	return ret;
902 }
903 
904 /**
905  * blkcg_init_queue - initialize blkcg part of request queue
906  * @q: request_queue to initialize
907  *
908  * Called from blk_alloc_queue_node(). Responsible for initializing blkcg
909  * part of new request_queue @q.
910  *
911  * RETURNS:
912  * 0 on success, -errno on failure.
913  */
914 int blkcg_init_queue(struct request_queue *q)
915 {
916 	struct blkcg_gq *new_blkg, *blkg;
917 	bool preloaded;
918 	int ret;
919 
920 	new_blkg = blkg_alloc(&blkcg_root, q, GFP_KERNEL);
921 	if (!new_blkg)
922 		return -ENOMEM;
923 
924 	preloaded = !radix_tree_preload(GFP_KERNEL);
925 
926 	/*
927 	 * Make sure the root blkg exists and count the existing blkgs.  As
928 	 * @q is bypassing at this point, blkg_lookup_create() can't be
929 	 * used.  Open code insertion.
930 	 */
931 	rcu_read_lock();
932 	spin_lock_irq(q->queue_lock);
933 	blkg = blkg_create(&blkcg_root, q, new_blkg);
934 	spin_unlock_irq(q->queue_lock);
935 	rcu_read_unlock();
936 
937 	if (preloaded)
938 		radix_tree_preload_end();
939 
940 	if (IS_ERR(blkg)) {
941 		kfree(new_blkg);
942 		return PTR_ERR(blkg);
943 	}
944 
945 	q->root_blkg = blkg;
946 	q->root_rl.blkg = blkg;
947 
948 	ret = blk_throtl_init(q);
949 	if (ret) {
950 		spin_lock_irq(q->queue_lock);
951 		blkg_destroy_all(q);
952 		spin_unlock_irq(q->queue_lock);
953 	}
954 	return ret;
955 }
956 
957 /**
958  * blkcg_drain_queue - drain blkcg part of request_queue
959  * @q: request_queue to drain
960  *
961  * Called from blk_drain_queue().  Responsible for draining blkcg part.
962  */
963 void blkcg_drain_queue(struct request_queue *q)
964 {
965 	lockdep_assert_held(q->queue_lock);
966 
967 	/*
968 	 * @q could be exiting and already have destroyed all blkgs as
969 	 * indicated by NULL root_blkg.  If so, don't confuse policies.
970 	 */
971 	if (!q->root_blkg)
972 		return;
973 
974 	blk_throtl_drain(q);
975 }
976 
977 /**
978  * blkcg_exit_queue - exit and release blkcg part of request_queue
979  * @q: request_queue being released
980  *
981  * Called from blk_release_queue().  Responsible for exiting blkcg part.
982  */
983 void blkcg_exit_queue(struct request_queue *q)
984 {
985 	spin_lock_irq(q->queue_lock);
986 	blkg_destroy_all(q);
987 	spin_unlock_irq(q->queue_lock);
988 
989 	blk_throtl_exit(q);
990 }
991 
992 /*
993  * We cannot support shared io contexts, as we have no mean to support
994  * two tasks with the same ioc in two different groups without major rework
995  * of the main cic data structures.  For now we allow a task to change
996  * its cgroup only if it's the only owner of its ioc.
997  */
998 static int blkcg_can_attach(struct cgroup_subsys_state *css,
999 			    struct cgroup_taskset *tset)
1000 {
1001 	struct task_struct *task;
1002 	struct io_context *ioc;
1003 	int ret = 0;
1004 
1005 	/* task_lock() is needed to avoid races with exit_io_context() */
1006 	cgroup_taskset_for_each(task, tset) {
1007 		task_lock(task);
1008 		ioc = task->io_context;
1009 		if (ioc && atomic_read(&ioc->nr_tasks) > 1)
1010 			ret = -EINVAL;
1011 		task_unlock(task);
1012 		if (ret)
1013 			break;
1014 	}
1015 	return ret;
1016 }
1017 
1018 struct cgroup_subsys blkio_cgrp_subsys = {
1019 	.css_alloc = blkcg_css_alloc,
1020 	.css_offline = blkcg_css_offline,
1021 	.css_free = blkcg_css_free,
1022 	.can_attach = blkcg_can_attach,
1023 	.legacy_cftypes = blkcg_files,
1024 #ifdef CONFIG_MEMCG
1025 	/*
1026 	 * This ensures that, if available, memcg is automatically enabled
1027 	 * together on the default hierarchy so that the owner cgroup can
1028 	 * be retrieved from writeback pages.
1029 	 */
1030 	.depends_on = 1 << memory_cgrp_id,
1031 #endif
1032 };
1033 EXPORT_SYMBOL_GPL(blkio_cgrp_subsys);
1034 
1035 /**
1036  * blkcg_activate_policy - activate a blkcg policy on a request_queue
1037  * @q: request_queue of interest
1038  * @pol: blkcg policy to activate
1039  *
1040  * Activate @pol on @q.  Requires %GFP_KERNEL context.  @q goes through
1041  * bypass mode to populate its blkgs with policy_data for @pol.
1042  *
1043  * Activation happens with @q bypassed, so nobody would be accessing blkgs
1044  * from IO path.  Update of each blkg is protected by both queue and blkcg
1045  * locks so that holding either lock and testing blkcg_policy_enabled() is
1046  * always enough for dereferencing policy data.
1047  *
1048  * The caller is responsible for synchronizing [de]activations and policy
1049  * [un]registerations.  Returns 0 on success, -errno on failure.
1050  */
1051 int blkcg_activate_policy(struct request_queue *q,
1052 			  const struct blkcg_policy *pol)
1053 {
1054 	LIST_HEAD(pds);
1055 	struct blkcg_gq *blkg;
1056 	struct blkg_policy_data *pd, *nd;
1057 	int cnt = 0, ret;
1058 
1059 	if (blkcg_policy_enabled(q, pol))
1060 		return 0;
1061 
1062 	/* count and allocate policy_data for all existing blkgs */
1063 	blk_queue_bypass_start(q);
1064 	spin_lock_irq(q->queue_lock);
1065 	list_for_each_entry(blkg, &q->blkg_list, q_node)
1066 		cnt++;
1067 	spin_unlock_irq(q->queue_lock);
1068 
1069 	/* allocate per-blkg policy data for all existing blkgs */
1070 	while (cnt--) {
1071 		pd = kzalloc_node(pol->pd_size, GFP_KERNEL, q->node);
1072 		if (!pd) {
1073 			ret = -ENOMEM;
1074 			goto out_free;
1075 		}
1076 		list_add_tail(&pd->alloc_node, &pds);
1077 	}
1078 
1079 	/*
1080 	 * Install the allocated pds and cpds. With @q bypassing, no new blkg
1081 	 * should have been created while the queue lock was dropped.
1082 	 */
1083 	spin_lock_irq(q->queue_lock);
1084 
1085 	list_for_each_entry(blkg, &q->blkg_list, q_node) {
1086 		if (WARN_ON(list_empty(&pds))) {
1087 			/* umm... this shouldn't happen, just abort */
1088 			ret = -ENOMEM;
1089 			goto out_unlock;
1090 		}
1091 		pd = list_first_entry(&pds, struct blkg_policy_data, alloc_node);
1092 		list_del_init(&pd->alloc_node);
1093 
1094 		/* grab blkcg lock too while installing @pd on @blkg */
1095 		spin_lock(&blkg->blkcg->lock);
1096 
1097 		blkg->pd[pol->plid] = pd;
1098 		pd->blkg = blkg;
1099 		pd->plid = pol->plid;
1100 		pol->pd_init_fn(blkg);
1101 
1102 		spin_unlock(&blkg->blkcg->lock);
1103 	}
1104 
1105 	__set_bit(pol->plid, q->blkcg_pols);
1106 	ret = 0;
1107 out_unlock:
1108 	spin_unlock_irq(q->queue_lock);
1109 out_free:
1110 	blk_queue_bypass_end(q);
1111 	list_for_each_entry_safe(pd, nd, &pds, alloc_node)
1112 		kfree(pd);
1113 	return ret;
1114 }
1115 EXPORT_SYMBOL_GPL(blkcg_activate_policy);
1116 
1117 /**
1118  * blkcg_deactivate_policy - deactivate a blkcg policy on a request_queue
1119  * @q: request_queue of interest
1120  * @pol: blkcg policy to deactivate
1121  *
1122  * Deactivate @pol on @q.  Follows the same synchronization rules as
1123  * blkcg_activate_policy().
1124  */
1125 void blkcg_deactivate_policy(struct request_queue *q,
1126 			     const struct blkcg_policy *pol)
1127 {
1128 	struct blkcg_gq *blkg;
1129 
1130 	if (!blkcg_policy_enabled(q, pol))
1131 		return;
1132 
1133 	blk_queue_bypass_start(q);
1134 	spin_lock_irq(q->queue_lock);
1135 
1136 	__clear_bit(pol->plid, q->blkcg_pols);
1137 
1138 	list_for_each_entry(blkg, &q->blkg_list, q_node) {
1139 		/* grab blkcg lock too while removing @pd from @blkg */
1140 		spin_lock(&blkg->blkcg->lock);
1141 
1142 		if (pol->pd_offline_fn)
1143 			pol->pd_offline_fn(blkg);
1144 		if (pol->pd_exit_fn)
1145 			pol->pd_exit_fn(blkg);
1146 
1147 		kfree(blkg->pd[pol->plid]);
1148 		blkg->pd[pol->plid] = NULL;
1149 
1150 		spin_unlock(&blkg->blkcg->lock);
1151 	}
1152 
1153 	spin_unlock_irq(q->queue_lock);
1154 	blk_queue_bypass_end(q);
1155 }
1156 EXPORT_SYMBOL_GPL(blkcg_deactivate_policy);
1157 
1158 /**
1159  * blkcg_policy_register - register a blkcg policy
1160  * @pol: blkcg policy to register
1161  *
1162  * Register @pol with blkcg core.  Might sleep and @pol may be modified on
1163  * successful registration.  Returns 0 on success and -errno on failure.
1164  */
1165 int blkcg_policy_register(struct blkcg_policy *pol)
1166 {
1167 	struct blkcg *blkcg;
1168 	int i, ret;
1169 
1170 	if (WARN_ON(pol->pd_size < sizeof(struct blkg_policy_data)))
1171 		return -EINVAL;
1172 
1173 	mutex_lock(&blkcg_pol_register_mutex);
1174 	mutex_lock(&blkcg_pol_mutex);
1175 
1176 	/* find an empty slot */
1177 	ret = -ENOSPC;
1178 	for (i = 0; i < BLKCG_MAX_POLS; i++)
1179 		if (!blkcg_policy[i])
1180 			break;
1181 	if (i >= BLKCG_MAX_POLS)
1182 		goto err_unlock;
1183 
1184 	/* register @pol */
1185 	pol->plid = i;
1186 	blkcg_policy[pol->plid] = pol;
1187 
1188 	/* allocate and install cpd's */
1189 	if (pol->cpd_size) {
1190 		list_for_each_entry(blkcg, &all_blkcgs, all_blkcgs_node) {
1191 			struct blkcg_policy_data *cpd;
1192 
1193 			cpd = kzalloc(pol->cpd_size, GFP_KERNEL);
1194 			if (!cpd) {
1195 				mutex_unlock(&blkcg_pol_mutex);
1196 				goto err_free_cpds;
1197 			}
1198 
1199 			blkcg->pd[pol->plid] = cpd;
1200 			cpd->plid = pol->plid;
1201 			pol->cpd_init_fn(blkcg);
1202 		}
1203 	}
1204 
1205 	mutex_unlock(&blkcg_pol_mutex);
1206 
1207 	/* everything is in place, add intf files for the new policy */
1208 	if (pol->cftypes)
1209 		WARN_ON(cgroup_add_legacy_cftypes(&blkio_cgrp_subsys,
1210 						  pol->cftypes));
1211 	mutex_unlock(&blkcg_pol_register_mutex);
1212 	return 0;
1213 
1214 err_free_cpds:
1215 	if (pol->cpd_size) {
1216 		list_for_each_entry(blkcg, &all_blkcgs, all_blkcgs_node) {
1217 			kfree(blkcg->pd[pol->plid]);
1218 			blkcg->pd[pol->plid] = NULL;
1219 		}
1220 	}
1221 	blkcg_policy[pol->plid] = NULL;
1222 err_unlock:
1223 	mutex_unlock(&blkcg_pol_mutex);
1224 	mutex_unlock(&blkcg_pol_register_mutex);
1225 	return ret;
1226 }
1227 EXPORT_SYMBOL_GPL(blkcg_policy_register);
1228 
1229 /**
1230  * blkcg_policy_unregister - unregister a blkcg policy
1231  * @pol: blkcg policy to unregister
1232  *
1233  * Undo blkcg_policy_register(@pol).  Might sleep.
1234  */
1235 void blkcg_policy_unregister(struct blkcg_policy *pol)
1236 {
1237 	struct blkcg *blkcg;
1238 
1239 	mutex_lock(&blkcg_pol_register_mutex);
1240 
1241 	if (WARN_ON(blkcg_policy[pol->plid] != pol))
1242 		goto out_unlock;
1243 
1244 	/* kill the intf files first */
1245 	if (pol->cftypes)
1246 		cgroup_rm_cftypes(pol->cftypes);
1247 
1248 	/* remove cpds and unregister */
1249 	mutex_lock(&blkcg_pol_mutex);
1250 
1251 	if (pol->cpd_size) {
1252 		list_for_each_entry(blkcg, &all_blkcgs, all_blkcgs_node) {
1253 			kfree(blkcg->pd[pol->plid]);
1254 			blkcg->pd[pol->plid] = NULL;
1255 		}
1256 	}
1257 	blkcg_policy[pol->plid] = NULL;
1258 
1259 	mutex_unlock(&blkcg_pol_mutex);
1260 out_unlock:
1261 	mutex_unlock(&blkcg_pol_register_mutex);
1262 }
1263 EXPORT_SYMBOL_GPL(blkcg_policy_unregister);
1264