blob: c526fdd0a7b909e13d6437c8fa72b7a0f09fb400 [file] [log] [blame]
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00001// SPDX-License-Identifier: GPL-2.0
2/*
3 * Interface for controlling IO bandwidth on a request queue
4 *
5 * Copyright (C) 2010 Vivek Goyal <vgoyal@redhat.com>
6 */
7
8#include <linux/module.h>
9#include <linux/slab.h>
10#include <linux/blkdev.h>
11#include <linux/bio.h>
12#include <linux/blktrace_api.h>
13#include <linux/blk-cgroup.h>
14#include "blk.h"
Olivier Deprez157378f2022-04-04 15:47:50 +020015#include "blk-cgroup-rwstat.h"
Andrew Scullb4b6d4a2019-01-02 15:54:55 +000016
17/* Max dispatch from a group in 1 round */
Olivier Deprez157378f2022-04-04 15:47:50 +020018#define THROTL_GRP_QUANTUM 8
Andrew Scullb4b6d4a2019-01-02 15:54:55 +000019
20/* Total max dispatch from all groups in one round */
Olivier Deprez157378f2022-04-04 15:47:50 +020021#define THROTL_QUANTUM 32
Andrew Scullb4b6d4a2019-01-02 15:54:55 +000022
23/* Throttling is performed over a slice and after that slice is renewed */
24#define DFL_THROTL_SLICE_HD (HZ / 10)
25#define DFL_THROTL_SLICE_SSD (HZ / 50)
26#define MAX_THROTL_SLICE (HZ)
27#define MAX_IDLE_TIME (5L * 1000 * 1000) /* 5 s */
28#define MIN_THROTL_BPS (320 * 1024)
29#define MIN_THROTL_IOPS (10)
30#define DFL_LATENCY_TARGET (-1L)
31#define DFL_IDLE_THRESHOLD (0)
32#define DFL_HD_BASELINE_LATENCY (4000L) /* 4ms */
33#define LATENCY_FILTERED_SSD (0)
34/*
35 * For HD, very small latency comes from sequential IO. Such IO is helpless to
36 * help determine if its IO is impacted by others, hence we ignore the IO
37 */
38#define LATENCY_FILTERED_HD (1000L) /* 1ms */
39
40static struct blkcg_policy blkcg_policy_throtl;
41
42/* A workqueue to queue throttle related work */
43static struct workqueue_struct *kthrotld_workqueue;
44
45/*
46 * To implement hierarchical throttling, throtl_grps form a tree and bios
47 * are dispatched upwards level by level until they reach the top and get
48 * issued. When dispatching bios from the children and local group at each
49 * level, if the bios are dispatched into a single bio_list, there's a risk
50 * of a local or child group which can queue many bios at once filling up
51 * the list starving others.
52 *
53 * To avoid such starvation, dispatched bios are queued separately
54 * according to where they came from. When they are again dispatched to
55 * the parent, they're popped in round-robin order so that no single source
56 * hogs the dispatch window.
57 *
58 * throtl_qnode is used to keep the queued bios separated by their sources.
59 * Bios are queued to throtl_qnode which in turn is queued to
60 * throtl_service_queue and then dispatched in round-robin order.
61 *
62 * It's also used to track the reference counts on blkg's. A qnode always
63 * belongs to a throtl_grp and gets queued on itself or the parent, so
64 * incrementing the reference of the associated throtl_grp when a qnode is
65 * queued and decrementing when dequeued is enough to keep the whole blkg
66 * tree pinned while bios are in flight.
67 */
68struct throtl_qnode {
69 struct list_head node; /* service_queue->queued[] */
70 struct bio_list bios; /* queued bios */
71 struct throtl_grp *tg; /* tg this qnode belongs to */
72};
73
74struct throtl_service_queue {
75 struct throtl_service_queue *parent_sq; /* the parent service_queue */
76
77 /*
78 * Bios queued directly to this service_queue or dispatched from
79 * children throtl_grp's.
80 */
81 struct list_head queued[2]; /* throtl_qnode [READ/WRITE] */
82 unsigned int nr_queued[2]; /* number of queued bios */
83
84 /*
85 * RB tree of active children throtl_grp's, which are sorted by
86 * their ->disptime.
87 */
David Brazdil0f672f62019-12-10 10:32:29 +000088 struct rb_root_cached pending_tree; /* RB tree of active tgs */
Andrew Scullb4b6d4a2019-01-02 15:54:55 +000089 unsigned int nr_pending; /* # queued in the tree */
90 unsigned long first_pending_disptime; /* disptime of the first tg */
91 struct timer_list pending_timer; /* fires on first_pending_disptime */
92};
93
94enum tg_state_flags {
95 THROTL_TG_PENDING = 1 << 0, /* on parent's pending tree */
96 THROTL_TG_WAS_EMPTY = 1 << 1, /* bio_lists[] became non-empty */
97};
98
99#define rb_entry_tg(node) rb_entry((node), struct throtl_grp, rb_node)
100
101enum {
102 LIMIT_LOW,
103 LIMIT_MAX,
104 LIMIT_CNT,
105};
106
107struct throtl_grp {
108 /* must be the first member */
109 struct blkg_policy_data pd;
110
111 /* active throtl group service_queue member */
112 struct rb_node rb_node;
113
114 /* throtl_data this group belongs to */
115 struct throtl_data *td;
116
117 /* this group's service queue */
118 struct throtl_service_queue service_queue;
119
120 /*
121 * qnode_on_self is used when bios are directly queued to this
122 * throtl_grp so that local bios compete fairly with bios
123 * dispatched from children. qnode_on_parent is used when bios are
124 * dispatched from this throtl_grp into its parent and will compete
125 * with the sibling qnode_on_parents and the parent's
126 * qnode_on_self.
127 */
128 struct throtl_qnode qnode_on_self[2];
129 struct throtl_qnode qnode_on_parent[2];
130
131 /*
132 * Dispatch time in jiffies. This is the estimated time when group
133 * will unthrottle and is ready to dispatch more bio. It is used as
134 * key to sort active groups in service tree.
135 */
136 unsigned long disptime;
137
138 unsigned int flags;
139
140 /* are there any throtl rules between this group and td? */
141 bool has_rules[2];
142
143 /* internally used bytes per second rate limits */
144 uint64_t bps[2][LIMIT_CNT];
145 /* user configured bps limits */
146 uint64_t bps_conf[2][LIMIT_CNT];
147
148 /* internally used IOPS limits */
149 unsigned int iops[2][LIMIT_CNT];
150 /* user configured IOPS limits */
151 unsigned int iops_conf[2][LIMIT_CNT];
152
Olivier Deprez157378f2022-04-04 15:47:50 +0200153 /* Number of bytes dispatched in current slice */
Andrew Scullb4b6d4a2019-01-02 15:54:55 +0000154 uint64_t bytes_disp[2];
155 /* Number of bio's dispatched in current slice */
156 unsigned int io_disp[2];
157
158 unsigned long last_low_overflow_time[2];
159
160 uint64_t last_bytes_disp[2];
161 unsigned int last_io_disp[2];
162
163 unsigned long last_check_time;
164
165 unsigned long latency_target; /* us */
166 unsigned long latency_target_conf; /* us */
167 /* When did we start a new slice */
168 unsigned long slice_start[2];
169 unsigned long slice_end[2];
170
171 unsigned long last_finish_time; /* ns / 1024 */
172 unsigned long checked_last_finish_time; /* ns / 1024 */
173 unsigned long avg_idletime; /* ns / 1024 */
174 unsigned long idletime_threshold; /* us */
175 unsigned long idletime_threshold_conf; /* us */
176
177 unsigned int bio_cnt; /* total bios */
178 unsigned int bad_bio_cnt; /* bios exceeding latency threshold */
179 unsigned long bio_cnt_reset_time;
Olivier Deprez157378f2022-04-04 15:47:50 +0200180
181 atomic_t io_split_cnt[2];
182 atomic_t last_io_split_cnt[2];
183
184 struct blkg_rwstat stat_bytes;
185 struct blkg_rwstat stat_ios;
Andrew Scullb4b6d4a2019-01-02 15:54:55 +0000186};
187
188/* We measure latency for request size from <= 4k to >= 1M */
189#define LATENCY_BUCKET_SIZE 9
190
191struct latency_bucket {
192 unsigned long total_latency; /* ns / 1024 */
193 int samples;
194};
195
196struct avg_latency_bucket {
197 unsigned long latency; /* ns / 1024 */
198 bool valid;
199};
200
201struct throtl_data
202{
203 /* service tree for active throtl groups */
204 struct throtl_service_queue service_queue;
205
206 struct request_queue *queue;
207
208 /* Total Number of queued bios on READ and WRITE lists */
209 unsigned int nr_queued[2];
210
211 unsigned int throtl_slice;
212
213 /* Work for dispatching throttled bios */
214 struct work_struct dispatch_work;
215 unsigned int limit_index;
216 bool limit_valid[LIMIT_CNT];
217
218 unsigned long low_upgrade_time;
219 unsigned long low_downgrade_time;
220
221 unsigned int scale;
222
223 struct latency_bucket tmp_buckets[2][LATENCY_BUCKET_SIZE];
224 struct avg_latency_bucket avg_buckets[2][LATENCY_BUCKET_SIZE];
225 struct latency_bucket __percpu *latency_buckets[2];
226 unsigned long last_calculate_time;
227 unsigned long filtered_latency;
228
229 bool track_bio_latency;
230};
231
232static void throtl_pending_timer_fn(struct timer_list *t);
233
234static inline struct throtl_grp *pd_to_tg(struct blkg_policy_data *pd)
235{
236 return pd ? container_of(pd, struct throtl_grp, pd) : NULL;
237}
238
239static inline struct throtl_grp *blkg_to_tg(struct blkcg_gq *blkg)
240{
241 return pd_to_tg(blkg_to_pd(blkg, &blkcg_policy_throtl));
242}
243
244static inline struct blkcg_gq *tg_to_blkg(struct throtl_grp *tg)
245{
246 return pd_to_blkg(&tg->pd);
247}
248
249/**
250 * sq_to_tg - return the throl_grp the specified service queue belongs to
251 * @sq: the throtl_service_queue of interest
252 *
253 * Return the throtl_grp @sq belongs to. If @sq is the top-level one
254 * embedded in throtl_data, %NULL is returned.
255 */
256static struct throtl_grp *sq_to_tg(struct throtl_service_queue *sq)
257{
258 if (sq && sq->parent_sq)
259 return container_of(sq, struct throtl_grp, service_queue);
260 else
261 return NULL;
262}
263
264/**
265 * sq_to_td - return throtl_data the specified service queue belongs to
266 * @sq: the throtl_service_queue of interest
267 *
268 * A service_queue can be embedded in either a throtl_grp or throtl_data.
269 * Determine the associated throtl_data accordingly and return it.
270 */
271static struct throtl_data *sq_to_td(struct throtl_service_queue *sq)
272{
273 struct throtl_grp *tg = sq_to_tg(sq);
274
275 if (tg)
276 return tg->td;
277 else
278 return container_of(sq, struct throtl_data, service_queue);
279}
280
281/*
282 * cgroup's limit in LIMIT_MAX is scaled if low limit is set. This scale is to
283 * make the IO dispatch more smooth.
284 * Scale up: linearly scale up according to lapsed time since upgrade. For
285 * every throtl_slice, the limit scales up 1/2 .low limit till the
286 * limit hits .max limit
287 * Scale down: exponentially scale down if a cgroup doesn't hit its .low limit
288 */
289static uint64_t throtl_adjusted_limit(uint64_t low, struct throtl_data *td)
290{
291 /* arbitrary value to avoid too big scale */
292 if (td->scale < 4096 && time_after_eq(jiffies,
293 td->low_upgrade_time + td->scale * td->throtl_slice))
294 td->scale = (jiffies - td->low_upgrade_time) / td->throtl_slice;
295
296 return low + (low >> 1) * td->scale;
297}
298
299static uint64_t tg_bps_limit(struct throtl_grp *tg, int rw)
300{
301 struct blkcg_gq *blkg = tg_to_blkg(tg);
302 struct throtl_data *td;
303 uint64_t ret;
304
305 if (cgroup_subsys_on_dfl(io_cgrp_subsys) && !blkg->parent)
306 return U64_MAX;
307
308 td = tg->td;
309 ret = tg->bps[rw][td->limit_index];
310 if (ret == 0 && td->limit_index == LIMIT_LOW) {
311 /* intermediate node or iops isn't 0 */
312 if (!list_empty(&blkg->blkcg->css.children) ||
313 tg->iops[rw][td->limit_index])
314 return U64_MAX;
315 else
316 return MIN_THROTL_BPS;
317 }
318
319 if (td->limit_index == LIMIT_MAX && tg->bps[rw][LIMIT_LOW] &&
320 tg->bps[rw][LIMIT_LOW] != tg->bps[rw][LIMIT_MAX]) {
321 uint64_t adjusted;
322
323 adjusted = throtl_adjusted_limit(tg->bps[rw][LIMIT_LOW], td);
324 ret = min(tg->bps[rw][LIMIT_MAX], adjusted);
325 }
326 return ret;
327}
328
329static unsigned int tg_iops_limit(struct throtl_grp *tg, int rw)
330{
331 struct blkcg_gq *blkg = tg_to_blkg(tg);
332 struct throtl_data *td;
333 unsigned int ret;
334
335 if (cgroup_subsys_on_dfl(io_cgrp_subsys) && !blkg->parent)
336 return UINT_MAX;
337
338 td = tg->td;
339 ret = tg->iops[rw][td->limit_index];
340 if (ret == 0 && tg->td->limit_index == LIMIT_LOW) {
341 /* intermediate node or bps isn't 0 */
342 if (!list_empty(&blkg->blkcg->css.children) ||
343 tg->bps[rw][td->limit_index])
344 return UINT_MAX;
345 else
346 return MIN_THROTL_IOPS;
347 }
348
349 if (td->limit_index == LIMIT_MAX && tg->iops[rw][LIMIT_LOW] &&
350 tg->iops[rw][LIMIT_LOW] != tg->iops[rw][LIMIT_MAX]) {
351 uint64_t adjusted;
352
353 adjusted = throtl_adjusted_limit(tg->iops[rw][LIMIT_LOW], td);
354 if (adjusted > UINT_MAX)
355 adjusted = UINT_MAX;
356 ret = min_t(unsigned int, tg->iops[rw][LIMIT_MAX], adjusted);
357 }
358 return ret;
359}
360
361#define request_bucket_index(sectors) \
362 clamp_t(int, order_base_2(sectors) - 3, 0, LATENCY_BUCKET_SIZE - 1)
363
364/**
365 * throtl_log - log debug message via blktrace
366 * @sq: the service_queue being reported
367 * @fmt: printf format string
368 * @args: printf args
369 *
370 * The messages are prefixed with "throtl BLKG_NAME" if @sq belongs to a
371 * throtl_grp; otherwise, just "throtl".
372 */
373#define throtl_log(sq, fmt, args...) do { \
374 struct throtl_grp *__tg = sq_to_tg((sq)); \
375 struct throtl_data *__td = sq_to_td((sq)); \
376 \
377 (void)__td; \
378 if (likely(!blk_trace_note_message_enabled(__td->queue))) \
379 break; \
380 if ((__tg)) { \
381 blk_add_cgroup_trace_msg(__td->queue, \
382 tg_to_blkg(__tg)->blkcg, "throtl " fmt, ##args);\
383 } else { \
384 blk_add_trace_msg(__td->queue, "throtl " fmt, ##args); \
385 } \
386} while (0)
387
388static inline unsigned int throtl_bio_data_size(struct bio *bio)
389{
390 /* assume it's one sector */
391 if (unlikely(bio_op(bio) == REQ_OP_DISCARD))
392 return 512;
393 return bio->bi_iter.bi_size;
394}
395
396static void throtl_qnode_init(struct throtl_qnode *qn, struct throtl_grp *tg)
397{
398 INIT_LIST_HEAD(&qn->node);
399 bio_list_init(&qn->bios);
400 qn->tg = tg;
401}
402
403/**
404 * throtl_qnode_add_bio - add a bio to a throtl_qnode and activate it
405 * @bio: bio being added
406 * @qn: qnode to add bio to
407 * @queued: the service_queue->queued[] list @qn belongs to
408 *
409 * Add @bio to @qn and put @qn on @queued if it's not already on.
410 * @qn->tg's reference count is bumped when @qn is activated. See the
411 * comment on top of throtl_qnode definition for details.
412 */
413static void throtl_qnode_add_bio(struct bio *bio, struct throtl_qnode *qn,
414 struct list_head *queued)
415{
416 bio_list_add(&qn->bios, bio);
417 if (list_empty(&qn->node)) {
418 list_add_tail(&qn->node, queued);
419 blkg_get(tg_to_blkg(qn->tg));
420 }
421}
422
423/**
424 * throtl_peek_queued - peek the first bio on a qnode list
425 * @queued: the qnode list to peek
426 */
427static struct bio *throtl_peek_queued(struct list_head *queued)
428{
Olivier Deprez157378f2022-04-04 15:47:50 +0200429 struct throtl_qnode *qn;
Andrew Scullb4b6d4a2019-01-02 15:54:55 +0000430 struct bio *bio;
431
432 if (list_empty(queued))
433 return NULL;
434
Olivier Deprez157378f2022-04-04 15:47:50 +0200435 qn = list_first_entry(queued, struct throtl_qnode, node);
Andrew Scullb4b6d4a2019-01-02 15:54:55 +0000436 bio = bio_list_peek(&qn->bios);
437 WARN_ON_ONCE(!bio);
438 return bio;
439}
440
441/**
442 * throtl_pop_queued - pop the first bio form a qnode list
443 * @queued: the qnode list to pop a bio from
444 * @tg_to_put: optional out argument for throtl_grp to put
445 *
446 * Pop the first bio from the qnode list @queued. After popping, the first
447 * qnode is removed from @queued if empty or moved to the end of @queued so
448 * that the popping order is round-robin.
449 *
450 * When the first qnode is removed, its associated throtl_grp should be put
451 * too. If @tg_to_put is NULL, this function automatically puts it;
452 * otherwise, *@tg_to_put is set to the throtl_grp to put and the caller is
453 * responsible for putting it.
454 */
455static struct bio *throtl_pop_queued(struct list_head *queued,
456 struct throtl_grp **tg_to_put)
457{
Olivier Deprez157378f2022-04-04 15:47:50 +0200458 struct throtl_qnode *qn;
Andrew Scullb4b6d4a2019-01-02 15:54:55 +0000459 struct bio *bio;
460
461 if (list_empty(queued))
462 return NULL;
463
Olivier Deprez157378f2022-04-04 15:47:50 +0200464 qn = list_first_entry(queued, struct throtl_qnode, node);
Andrew Scullb4b6d4a2019-01-02 15:54:55 +0000465 bio = bio_list_pop(&qn->bios);
466 WARN_ON_ONCE(!bio);
467
468 if (bio_list_empty(&qn->bios)) {
469 list_del_init(&qn->node);
470 if (tg_to_put)
471 *tg_to_put = qn->tg;
472 else
473 blkg_put(tg_to_blkg(qn->tg));
474 } else {
475 list_move_tail(&qn->node, queued);
476 }
477
478 return bio;
479}
480
481/* init a service_queue, assumes the caller zeroed it */
482static void throtl_service_queue_init(struct throtl_service_queue *sq)
483{
484 INIT_LIST_HEAD(&sq->queued[0]);
485 INIT_LIST_HEAD(&sq->queued[1]);
David Brazdil0f672f62019-12-10 10:32:29 +0000486 sq->pending_tree = RB_ROOT_CACHED;
Andrew Scullb4b6d4a2019-01-02 15:54:55 +0000487 timer_setup(&sq->pending_timer, throtl_pending_timer_fn, 0);
488}
489
David Brazdil0f672f62019-12-10 10:32:29 +0000490static struct blkg_policy_data *throtl_pd_alloc(gfp_t gfp,
491 struct request_queue *q,
492 struct blkcg *blkcg)
Andrew Scullb4b6d4a2019-01-02 15:54:55 +0000493{
494 struct throtl_grp *tg;
495 int rw;
496
David Brazdil0f672f62019-12-10 10:32:29 +0000497 tg = kzalloc_node(sizeof(*tg), gfp, q->node);
Andrew Scullb4b6d4a2019-01-02 15:54:55 +0000498 if (!tg)
499 return NULL;
500
Olivier Deprez157378f2022-04-04 15:47:50 +0200501 if (blkg_rwstat_init(&tg->stat_bytes, gfp))
502 goto err_free_tg;
503
504 if (blkg_rwstat_init(&tg->stat_ios, gfp))
505 goto err_exit_stat_bytes;
506
Andrew Scullb4b6d4a2019-01-02 15:54:55 +0000507 throtl_service_queue_init(&tg->service_queue);
508
509 for (rw = READ; rw <= WRITE; rw++) {
510 throtl_qnode_init(&tg->qnode_on_self[rw], tg);
511 throtl_qnode_init(&tg->qnode_on_parent[rw], tg);
512 }
513
514 RB_CLEAR_NODE(&tg->rb_node);
515 tg->bps[READ][LIMIT_MAX] = U64_MAX;
516 tg->bps[WRITE][LIMIT_MAX] = U64_MAX;
517 tg->iops[READ][LIMIT_MAX] = UINT_MAX;
518 tg->iops[WRITE][LIMIT_MAX] = UINT_MAX;
519 tg->bps_conf[READ][LIMIT_MAX] = U64_MAX;
520 tg->bps_conf[WRITE][LIMIT_MAX] = U64_MAX;
521 tg->iops_conf[READ][LIMIT_MAX] = UINT_MAX;
522 tg->iops_conf[WRITE][LIMIT_MAX] = UINT_MAX;
523 /* LIMIT_LOW will have default value 0 */
524
525 tg->latency_target = DFL_LATENCY_TARGET;
526 tg->latency_target_conf = DFL_LATENCY_TARGET;
527 tg->idletime_threshold = DFL_IDLE_THRESHOLD;
528 tg->idletime_threshold_conf = DFL_IDLE_THRESHOLD;
529
530 return &tg->pd;
Olivier Deprez157378f2022-04-04 15:47:50 +0200531
532err_exit_stat_bytes:
533 blkg_rwstat_exit(&tg->stat_bytes);
534err_free_tg:
535 kfree(tg);
536 return NULL;
Andrew Scullb4b6d4a2019-01-02 15:54:55 +0000537}
538
539static void throtl_pd_init(struct blkg_policy_data *pd)
540{
541 struct throtl_grp *tg = pd_to_tg(pd);
542 struct blkcg_gq *blkg = tg_to_blkg(tg);
543 struct throtl_data *td = blkg->q->td;
544 struct throtl_service_queue *sq = &tg->service_queue;
545
546 /*
547 * If on the default hierarchy, we switch to properly hierarchical
548 * behavior where limits on a given throtl_grp are applied to the
549 * whole subtree rather than just the group itself. e.g. If 16M
550 * read_bps limit is set on the root group, the whole system can't
551 * exceed 16M for the device.
552 *
553 * If not on the default hierarchy, the broken flat hierarchy
554 * behavior is retained where all throtl_grps are treated as if
555 * they're all separate root groups right below throtl_data.
556 * Limits of a group don't interact with limits of other groups
557 * regardless of the position of the group in the hierarchy.
558 */
559 sq->parent_sq = &td->service_queue;
560 if (cgroup_subsys_on_dfl(io_cgrp_subsys) && blkg->parent)
561 sq->parent_sq = &blkg_to_tg(blkg->parent)->service_queue;
562 tg->td = td;
563}
564
565/*
566 * Set has_rules[] if @tg or any of its parents have limits configured.
567 * This doesn't require walking up to the top of the hierarchy as the
568 * parent's has_rules[] is guaranteed to be correct.
569 */
570static void tg_update_has_rules(struct throtl_grp *tg)
571{
572 struct throtl_grp *parent_tg = sq_to_tg(tg->service_queue.parent_sq);
573 struct throtl_data *td = tg->td;
574 int rw;
575
576 for (rw = READ; rw <= WRITE; rw++)
577 tg->has_rules[rw] = (parent_tg && parent_tg->has_rules[rw]) ||
578 (td->limit_valid[td->limit_index] &&
579 (tg_bps_limit(tg, rw) != U64_MAX ||
580 tg_iops_limit(tg, rw) != UINT_MAX));
581}
582
583static void throtl_pd_online(struct blkg_policy_data *pd)
584{
585 struct throtl_grp *tg = pd_to_tg(pd);
586 /*
587 * We don't want new groups to escape the limits of its ancestors.
588 * Update has_rules[] after a new group is brought online.
589 */
590 tg_update_has_rules(tg);
591}
592
593static void blk_throtl_update_limit_valid(struct throtl_data *td)
594{
595 struct cgroup_subsys_state *pos_css;
596 struct blkcg_gq *blkg;
597 bool low_valid = false;
598
599 rcu_read_lock();
600 blkg_for_each_descendant_post(blkg, pos_css, td->queue->root_blkg) {
601 struct throtl_grp *tg = blkg_to_tg(blkg);
602
603 if (tg->bps[READ][LIMIT_LOW] || tg->bps[WRITE][LIMIT_LOW] ||
604 tg->iops[READ][LIMIT_LOW] || tg->iops[WRITE][LIMIT_LOW]) {
605 low_valid = true;
606 break;
607 }
608 }
609 rcu_read_unlock();
610
611 td->limit_valid[LIMIT_LOW] = low_valid;
612}
613
614static void throtl_upgrade_state(struct throtl_data *td);
615static void throtl_pd_offline(struct blkg_policy_data *pd)
616{
617 struct throtl_grp *tg = pd_to_tg(pd);
618
619 tg->bps[READ][LIMIT_LOW] = 0;
620 tg->bps[WRITE][LIMIT_LOW] = 0;
621 tg->iops[READ][LIMIT_LOW] = 0;
622 tg->iops[WRITE][LIMIT_LOW] = 0;
623
624 blk_throtl_update_limit_valid(tg->td);
625
626 if (!tg->td->limit_valid[tg->td->limit_index])
627 throtl_upgrade_state(tg->td);
628}
629
630static void throtl_pd_free(struct blkg_policy_data *pd)
631{
632 struct throtl_grp *tg = pd_to_tg(pd);
633
634 del_timer_sync(&tg->service_queue.pending_timer);
Olivier Deprez157378f2022-04-04 15:47:50 +0200635 blkg_rwstat_exit(&tg->stat_bytes);
636 blkg_rwstat_exit(&tg->stat_ios);
Andrew Scullb4b6d4a2019-01-02 15:54:55 +0000637 kfree(tg);
638}
639
640static struct throtl_grp *
641throtl_rb_first(struct throtl_service_queue *parent_sq)
642{
David Brazdil0f672f62019-12-10 10:32:29 +0000643 struct rb_node *n;
Andrew Scullb4b6d4a2019-01-02 15:54:55 +0000644
David Brazdil0f672f62019-12-10 10:32:29 +0000645 n = rb_first_cached(&parent_sq->pending_tree);
646 WARN_ON_ONCE(!n);
647 if (!n)
648 return NULL;
649 return rb_entry_tg(n);
Andrew Scullb4b6d4a2019-01-02 15:54:55 +0000650}
651
652static void throtl_rb_erase(struct rb_node *n,
653 struct throtl_service_queue *parent_sq)
654{
David Brazdil0f672f62019-12-10 10:32:29 +0000655 rb_erase_cached(n, &parent_sq->pending_tree);
656 RB_CLEAR_NODE(n);
Andrew Scullb4b6d4a2019-01-02 15:54:55 +0000657 --parent_sq->nr_pending;
658}
659
660static void update_min_dispatch_time(struct throtl_service_queue *parent_sq)
661{
662 struct throtl_grp *tg;
663
664 tg = throtl_rb_first(parent_sq);
665 if (!tg)
666 return;
667
668 parent_sq->first_pending_disptime = tg->disptime;
669}
670
671static void tg_service_queue_add(struct throtl_grp *tg)
672{
673 struct throtl_service_queue *parent_sq = tg->service_queue.parent_sq;
David Brazdil0f672f62019-12-10 10:32:29 +0000674 struct rb_node **node = &parent_sq->pending_tree.rb_root.rb_node;
Andrew Scullb4b6d4a2019-01-02 15:54:55 +0000675 struct rb_node *parent = NULL;
676 struct throtl_grp *__tg;
677 unsigned long key = tg->disptime;
David Brazdil0f672f62019-12-10 10:32:29 +0000678 bool leftmost = true;
Andrew Scullb4b6d4a2019-01-02 15:54:55 +0000679
680 while (*node != NULL) {
681 parent = *node;
682 __tg = rb_entry_tg(parent);
683
684 if (time_before(key, __tg->disptime))
685 node = &parent->rb_left;
686 else {
687 node = &parent->rb_right;
David Brazdil0f672f62019-12-10 10:32:29 +0000688 leftmost = false;
Andrew Scullb4b6d4a2019-01-02 15:54:55 +0000689 }
690 }
691
Andrew Scullb4b6d4a2019-01-02 15:54:55 +0000692 rb_link_node(&tg->rb_node, parent, node);
David Brazdil0f672f62019-12-10 10:32:29 +0000693 rb_insert_color_cached(&tg->rb_node, &parent_sq->pending_tree,
694 leftmost);
Andrew Scullb4b6d4a2019-01-02 15:54:55 +0000695}
696
Andrew Scullb4b6d4a2019-01-02 15:54:55 +0000697static void throtl_enqueue_tg(struct throtl_grp *tg)
698{
Olivier Deprez157378f2022-04-04 15:47:50 +0200699 if (!(tg->flags & THROTL_TG_PENDING)) {
700 tg_service_queue_add(tg);
701 tg->flags |= THROTL_TG_PENDING;
702 tg->service_queue.parent_sq->nr_pending++;
703 }
Andrew Scullb4b6d4a2019-01-02 15:54:55 +0000704}
705
706static void throtl_dequeue_tg(struct throtl_grp *tg)
707{
Olivier Deprez157378f2022-04-04 15:47:50 +0200708 if (tg->flags & THROTL_TG_PENDING) {
709 throtl_rb_erase(&tg->rb_node, tg->service_queue.parent_sq);
710 tg->flags &= ~THROTL_TG_PENDING;
711 }
Andrew Scullb4b6d4a2019-01-02 15:54:55 +0000712}
713
714/* Call with queue lock held */
715static void throtl_schedule_pending_timer(struct throtl_service_queue *sq,
716 unsigned long expires)
717{
718 unsigned long max_expire = jiffies + 8 * sq_to_td(sq)->throtl_slice;
719
720 /*
721 * Since we are adjusting the throttle limit dynamically, the sleep
722 * time calculated according to previous limit might be invalid. It's
723 * possible the cgroup sleep time is very long and no other cgroups
724 * have IO running so notify the limit changes. Make sure the cgroup
725 * doesn't sleep too long to avoid the missed notification.
726 */
727 if (time_after(expires, max_expire))
728 expires = max_expire;
729 mod_timer(&sq->pending_timer, expires);
730 throtl_log(sq, "schedule timer. delay=%lu jiffies=%lu",
731 expires - jiffies, jiffies);
732}
733
734/**
735 * throtl_schedule_next_dispatch - schedule the next dispatch cycle
736 * @sq: the service_queue to schedule dispatch for
737 * @force: force scheduling
738 *
739 * Arm @sq->pending_timer so that the next dispatch cycle starts on the
740 * dispatch time of the first pending child. Returns %true if either timer
741 * is armed or there's no pending child left. %false if the current
742 * dispatch window is still open and the caller should continue
743 * dispatching.
744 *
745 * If @force is %true, the dispatch timer is always scheduled and this
746 * function is guaranteed to return %true. This is to be used when the
747 * caller can't dispatch itself and needs to invoke pending_timer
748 * unconditionally. Note that forced scheduling is likely to induce short
749 * delay before dispatch starts even if @sq->first_pending_disptime is not
750 * in the future and thus shouldn't be used in hot paths.
751 */
752static bool throtl_schedule_next_dispatch(struct throtl_service_queue *sq,
753 bool force)
754{
755 /* any pending children left? */
756 if (!sq->nr_pending)
757 return true;
758
759 update_min_dispatch_time(sq);
760
761 /* is the next dispatch time in the future? */
762 if (force || time_after(sq->first_pending_disptime, jiffies)) {
763 throtl_schedule_pending_timer(sq, sq->first_pending_disptime);
764 return true;
765 }
766
767 /* tell the caller to continue dispatching */
768 return false;
769}
770
771static inline void throtl_start_new_slice_with_credit(struct throtl_grp *tg,
772 bool rw, unsigned long start)
773{
774 tg->bytes_disp[rw] = 0;
775 tg->io_disp[rw] = 0;
776
Olivier Deprez157378f2022-04-04 15:47:50 +0200777 atomic_set(&tg->io_split_cnt[rw], 0);
778
Andrew Scullb4b6d4a2019-01-02 15:54:55 +0000779 /*
780 * Previous slice has expired. We must have trimmed it after last
781 * bio dispatch. That means since start of last slice, we never used
782 * that bandwidth. Do try to make use of that bandwidth while giving
783 * credit.
784 */
785 if (time_after_eq(start, tg->slice_start[rw]))
786 tg->slice_start[rw] = start;
787
788 tg->slice_end[rw] = jiffies + tg->td->throtl_slice;
789 throtl_log(&tg->service_queue,
790 "[%c] new slice with credit start=%lu end=%lu jiffies=%lu",
791 rw == READ ? 'R' : 'W', tg->slice_start[rw],
792 tg->slice_end[rw], jiffies);
793}
794
795static inline void throtl_start_new_slice(struct throtl_grp *tg, bool rw)
796{
797 tg->bytes_disp[rw] = 0;
798 tg->io_disp[rw] = 0;
799 tg->slice_start[rw] = jiffies;
800 tg->slice_end[rw] = jiffies + tg->td->throtl_slice;
Olivier Deprez157378f2022-04-04 15:47:50 +0200801
802 atomic_set(&tg->io_split_cnt[rw], 0);
803
Andrew Scullb4b6d4a2019-01-02 15:54:55 +0000804 throtl_log(&tg->service_queue,
805 "[%c] new slice start=%lu end=%lu jiffies=%lu",
806 rw == READ ? 'R' : 'W', tg->slice_start[rw],
807 tg->slice_end[rw], jiffies);
808}
809
810static inline void throtl_set_slice_end(struct throtl_grp *tg, bool rw,
811 unsigned long jiffy_end)
812{
813 tg->slice_end[rw] = roundup(jiffy_end, tg->td->throtl_slice);
814}
815
816static inline void throtl_extend_slice(struct throtl_grp *tg, bool rw,
817 unsigned long jiffy_end)
818{
Olivier Deprez157378f2022-04-04 15:47:50 +0200819 throtl_set_slice_end(tg, rw, jiffy_end);
Andrew Scullb4b6d4a2019-01-02 15:54:55 +0000820 throtl_log(&tg->service_queue,
821 "[%c] extend slice start=%lu end=%lu jiffies=%lu",
822 rw == READ ? 'R' : 'W', tg->slice_start[rw],
823 tg->slice_end[rw], jiffies);
824}
825
826/* Determine if previously allocated or extended slice is complete or not */
827static bool throtl_slice_used(struct throtl_grp *tg, bool rw)
828{
829 if (time_in_range(jiffies, tg->slice_start[rw], tg->slice_end[rw]))
830 return false;
831
832 return true;
833}
834
835/* Trim the used slices and adjust slice start accordingly */
836static inline void throtl_trim_slice(struct throtl_grp *tg, bool rw)
837{
838 unsigned long nr_slices, time_elapsed, io_trim;
839 u64 bytes_trim, tmp;
840
841 BUG_ON(time_before(tg->slice_end[rw], tg->slice_start[rw]));
842
843 /*
844 * If bps are unlimited (-1), then time slice don't get
845 * renewed. Don't try to trim the slice if slice is used. A new
846 * slice will start when appropriate.
847 */
848 if (throtl_slice_used(tg, rw))
849 return;
850
851 /*
852 * A bio has been dispatched. Also adjust slice_end. It might happen
853 * that initially cgroup limit was very low resulting in high
Olivier Deprez157378f2022-04-04 15:47:50 +0200854 * slice_end, but later limit was bumped up and bio was dispatched
Andrew Scullb4b6d4a2019-01-02 15:54:55 +0000855 * sooner, then we need to reduce slice_end. A high bogus slice_end
856 * is bad because it does not allow new slice to start.
857 */
858
859 throtl_set_slice_end(tg, rw, jiffies + tg->td->throtl_slice);
860
861 time_elapsed = jiffies - tg->slice_start[rw];
862
863 nr_slices = time_elapsed / tg->td->throtl_slice;
864
865 if (!nr_slices)
866 return;
867 tmp = tg_bps_limit(tg, rw) * tg->td->throtl_slice * nr_slices;
868 do_div(tmp, HZ);
869 bytes_trim = tmp;
870
871 io_trim = (tg_iops_limit(tg, rw) * tg->td->throtl_slice * nr_slices) /
872 HZ;
873
874 if (!bytes_trim && !io_trim)
875 return;
876
877 if (tg->bytes_disp[rw] >= bytes_trim)
878 tg->bytes_disp[rw] -= bytes_trim;
879 else
880 tg->bytes_disp[rw] = 0;
881
882 if (tg->io_disp[rw] >= io_trim)
883 tg->io_disp[rw] -= io_trim;
884 else
885 tg->io_disp[rw] = 0;
886
887 tg->slice_start[rw] += nr_slices * tg->td->throtl_slice;
888
889 throtl_log(&tg->service_queue,
890 "[%c] trim slice nr=%lu bytes=%llu io=%lu start=%lu end=%lu jiffies=%lu",
891 rw == READ ? 'R' : 'W', nr_slices, bytes_trim, io_trim,
892 tg->slice_start[rw], tg->slice_end[rw], jiffies);
893}
894
895static bool tg_with_in_iops_limit(struct throtl_grp *tg, struct bio *bio,
Olivier Deprez157378f2022-04-04 15:47:50 +0200896 u32 iops_limit, unsigned long *wait)
Andrew Scullb4b6d4a2019-01-02 15:54:55 +0000897{
898 bool rw = bio_data_dir(bio);
899 unsigned int io_allowed;
900 unsigned long jiffy_elapsed, jiffy_wait, jiffy_elapsed_rnd;
901 u64 tmp;
902
Olivier Deprez157378f2022-04-04 15:47:50 +0200903 if (iops_limit == UINT_MAX) {
904 if (wait)
905 *wait = 0;
906 return true;
907 }
908
David Brazdil0f672f62019-12-10 10:32:29 +0000909 jiffy_elapsed = jiffies - tg->slice_start[rw];
Andrew Scullb4b6d4a2019-01-02 15:54:55 +0000910
David Brazdil0f672f62019-12-10 10:32:29 +0000911 /* Round up to the next throttle slice, wait time must be nonzero */
912 jiffy_elapsed_rnd = roundup(jiffy_elapsed + 1, tg->td->throtl_slice);
Andrew Scullb4b6d4a2019-01-02 15:54:55 +0000913
914 /*
915 * jiffy_elapsed_rnd should not be a big value as minimum iops can be
916 * 1 then at max jiffy elapsed should be equivalent of 1 second as we
917 * will allow dispatch after 1 second and after that slice should
918 * have been trimmed.
919 */
920
Olivier Deprez157378f2022-04-04 15:47:50 +0200921 tmp = (u64)iops_limit * jiffy_elapsed_rnd;
Andrew Scullb4b6d4a2019-01-02 15:54:55 +0000922 do_div(tmp, HZ);
923
924 if (tmp > UINT_MAX)
925 io_allowed = UINT_MAX;
926 else
927 io_allowed = tmp;
928
929 if (tg->io_disp[rw] + 1 <= io_allowed) {
930 if (wait)
931 *wait = 0;
932 return true;
933 }
934
935 /* Calc approx time to dispatch */
936 jiffy_wait = jiffy_elapsed_rnd - jiffy_elapsed;
937
938 if (wait)
939 *wait = jiffy_wait;
940 return false;
941}
942
943static bool tg_with_in_bps_limit(struct throtl_grp *tg, struct bio *bio,
Olivier Deprez157378f2022-04-04 15:47:50 +0200944 u64 bps_limit, unsigned long *wait)
Andrew Scullb4b6d4a2019-01-02 15:54:55 +0000945{
946 bool rw = bio_data_dir(bio);
Olivier Deprez92d4c212022-12-06 15:05:30 +0100947 u64 bytes_allowed, extra_bytes;
Andrew Scullb4b6d4a2019-01-02 15:54:55 +0000948 unsigned long jiffy_elapsed, jiffy_wait, jiffy_elapsed_rnd;
949 unsigned int bio_size = throtl_bio_data_size(bio);
950
Olivier Deprez157378f2022-04-04 15:47:50 +0200951 if (bps_limit == U64_MAX) {
952 if (wait)
953 *wait = 0;
954 return true;
955 }
956
Andrew Scullb4b6d4a2019-01-02 15:54:55 +0000957 jiffy_elapsed = jiffy_elapsed_rnd = jiffies - tg->slice_start[rw];
958
959 /* Slice has just started. Consider one slice interval */
960 if (!jiffy_elapsed)
961 jiffy_elapsed_rnd = tg->td->throtl_slice;
962
963 jiffy_elapsed_rnd = roundup(jiffy_elapsed_rnd, tg->td->throtl_slice);
Olivier Deprez92d4c212022-12-06 15:05:30 +0100964 bytes_allowed = mul_u64_u64_div_u64(bps_limit, (u64)jiffy_elapsed_rnd,
965 (u64)HZ);
Andrew Scullb4b6d4a2019-01-02 15:54:55 +0000966
967 if (tg->bytes_disp[rw] + bio_size <= bytes_allowed) {
968 if (wait)
969 *wait = 0;
970 return true;
971 }
972
973 /* Calc approx time to dispatch */
974 extra_bytes = tg->bytes_disp[rw] + bio_size - bytes_allowed;
Olivier Deprez157378f2022-04-04 15:47:50 +0200975 jiffy_wait = div64_u64(extra_bytes * HZ, bps_limit);
Andrew Scullb4b6d4a2019-01-02 15:54:55 +0000976
977 if (!jiffy_wait)
978 jiffy_wait = 1;
979
980 /*
981 * This wait time is without taking into consideration the rounding
982 * up we did. Add that time also.
983 */
984 jiffy_wait = jiffy_wait + (jiffy_elapsed_rnd - jiffy_elapsed);
985 if (wait)
986 *wait = jiffy_wait;
987 return false;
988}
989
990/*
991 * Returns whether one can dispatch a bio or not. Also returns approx number
992 * of jiffies to wait before this bio is with-in IO rate and can be dispatched
993 */
994static bool tg_may_dispatch(struct throtl_grp *tg, struct bio *bio,
995 unsigned long *wait)
996{
997 bool rw = bio_data_dir(bio);
998 unsigned long bps_wait = 0, iops_wait = 0, max_wait = 0;
Olivier Deprez157378f2022-04-04 15:47:50 +0200999 u64 bps_limit = tg_bps_limit(tg, rw);
1000 u32 iops_limit = tg_iops_limit(tg, rw);
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00001001
1002 /*
1003 * Currently whole state machine of group depends on first bio
1004 * queued in the group bio list. So one should not be calling
1005 * this function with a different bio if there are other bios
1006 * queued.
1007 */
1008 BUG_ON(tg->service_queue.nr_queued[rw] &&
1009 bio != throtl_peek_queued(&tg->service_queue.queued[rw]));
1010
1011 /* If tg->bps = -1, then BW is unlimited */
Olivier Deprez157378f2022-04-04 15:47:50 +02001012 if (bps_limit == U64_MAX && iops_limit == UINT_MAX) {
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00001013 if (wait)
1014 *wait = 0;
1015 return true;
1016 }
1017
1018 /*
1019 * If previous slice expired, start a new one otherwise renew/extend
1020 * existing slice to make sure it is at least throtl_slice interval
1021 * long since now. New slice is started only for empty throttle group.
1022 * If there is queued bio, that means there should be an active
1023 * slice and it should be extended instead.
1024 */
1025 if (throtl_slice_used(tg, rw) && !(tg->service_queue.nr_queued[rw]))
1026 throtl_start_new_slice(tg, rw);
1027 else {
1028 if (time_before(tg->slice_end[rw],
1029 jiffies + tg->td->throtl_slice))
1030 throtl_extend_slice(tg, rw,
1031 jiffies + tg->td->throtl_slice);
1032 }
1033
Olivier Deprez157378f2022-04-04 15:47:50 +02001034 if (iops_limit != UINT_MAX)
1035 tg->io_disp[rw] += atomic_xchg(&tg->io_split_cnt[rw], 0);
1036
1037 if (tg_with_in_bps_limit(tg, bio, bps_limit, &bps_wait) &&
1038 tg_with_in_iops_limit(tg, bio, iops_limit, &iops_wait)) {
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00001039 if (wait)
1040 *wait = 0;
1041 return true;
1042 }
1043
1044 max_wait = max(bps_wait, iops_wait);
1045
1046 if (wait)
1047 *wait = max_wait;
1048
1049 if (time_before(tg->slice_end[rw], jiffies + max_wait))
1050 throtl_extend_slice(tg, rw, jiffies + max_wait);
1051
1052 return false;
1053}
1054
1055static void throtl_charge_bio(struct throtl_grp *tg, struct bio *bio)
1056{
1057 bool rw = bio_data_dir(bio);
1058 unsigned int bio_size = throtl_bio_data_size(bio);
1059
1060 /* Charge the bio to the group */
1061 tg->bytes_disp[rw] += bio_size;
1062 tg->io_disp[rw]++;
1063 tg->last_bytes_disp[rw] += bio_size;
1064 tg->last_io_disp[rw]++;
1065
1066 /*
1067 * BIO_THROTTLED is used to prevent the same bio to be throttled
1068 * more than once as a throttled bio will go through blk-throtl the
1069 * second time when it eventually gets issued. Set it when a bio
1070 * is being charged to a tg.
1071 */
1072 if (!bio_flagged(bio, BIO_THROTTLED))
1073 bio_set_flag(bio, BIO_THROTTLED);
1074}
1075
1076/**
1077 * throtl_add_bio_tg - add a bio to the specified throtl_grp
1078 * @bio: bio to add
1079 * @qn: qnode to use
1080 * @tg: the target throtl_grp
1081 *
1082 * Add @bio to @tg's service_queue using @qn. If @qn is not specified,
1083 * tg->qnode_on_self[] is used.
1084 */
1085static void throtl_add_bio_tg(struct bio *bio, struct throtl_qnode *qn,
1086 struct throtl_grp *tg)
1087{
1088 struct throtl_service_queue *sq = &tg->service_queue;
1089 bool rw = bio_data_dir(bio);
1090
1091 if (!qn)
1092 qn = &tg->qnode_on_self[rw];
1093
1094 /*
1095 * If @tg doesn't currently have any bios queued in the same
1096 * direction, queueing @bio can change when @tg should be
1097 * dispatched. Mark that @tg was empty. This is automatically
Olivier Deprez157378f2022-04-04 15:47:50 +02001098 * cleared on the next tg_update_disptime().
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00001099 */
1100 if (!sq->nr_queued[rw])
1101 tg->flags |= THROTL_TG_WAS_EMPTY;
1102
1103 throtl_qnode_add_bio(bio, qn, &sq->queued[rw]);
1104
1105 sq->nr_queued[rw]++;
1106 throtl_enqueue_tg(tg);
1107}
1108
1109static void tg_update_disptime(struct throtl_grp *tg)
1110{
1111 struct throtl_service_queue *sq = &tg->service_queue;
1112 unsigned long read_wait = -1, write_wait = -1, min_wait = -1, disptime;
1113 struct bio *bio;
1114
1115 bio = throtl_peek_queued(&sq->queued[READ]);
1116 if (bio)
1117 tg_may_dispatch(tg, bio, &read_wait);
1118
1119 bio = throtl_peek_queued(&sq->queued[WRITE]);
1120 if (bio)
1121 tg_may_dispatch(tg, bio, &write_wait);
1122
1123 min_wait = min(read_wait, write_wait);
1124 disptime = jiffies + min_wait;
1125
1126 /* Update dispatch time */
1127 throtl_dequeue_tg(tg);
1128 tg->disptime = disptime;
1129 throtl_enqueue_tg(tg);
1130
1131 /* see throtl_add_bio_tg() */
1132 tg->flags &= ~THROTL_TG_WAS_EMPTY;
1133}
1134
1135static void start_parent_slice_with_credit(struct throtl_grp *child_tg,
1136 struct throtl_grp *parent_tg, bool rw)
1137{
1138 if (throtl_slice_used(parent_tg, rw)) {
1139 throtl_start_new_slice_with_credit(parent_tg, rw,
1140 child_tg->slice_start[rw]);
1141 }
1142
1143}
1144
1145static void tg_dispatch_one_bio(struct throtl_grp *tg, bool rw)
1146{
1147 struct throtl_service_queue *sq = &tg->service_queue;
1148 struct throtl_service_queue *parent_sq = sq->parent_sq;
1149 struct throtl_grp *parent_tg = sq_to_tg(parent_sq);
1150 struct throtl_grp *tg_to_put = NULL;
1151 struct bio *bio;
1152
1153 /*
1154 * @bio is being transferred from @tg to @parent_sq. Popping a bio
1155 * from @tg may put its reference and @parent_sq might end up
1156 * getting released prematurely. Remember the tg to put and put it
1157 * after @bio is transferred to @parent_sq.
1158 */
1159 bio = throtl_pop_queued(&sq->queued[rw], &tg_to_put);
1160 sq->nr_queued[rw]--;
1161
1162 throtl_charge_bio(tg, bio);
1163
1164 /*
1165 * If our parent is another tg, we just need to transfer @bio to
1166 * the parent using throtl_add_bio_tg(). If our parent is
1167 * @td->service_queue, @bio is ready to be issued. Put it on its
1168 * bio_lists[] and decrease total number queued. The caller is
1169 * responsible for issuing these bios.
1170 */
1171 if (parent_tg) {
1172 throtl_add_bio_tg(bio, &tg->qnode_on_parent[rw], parent_tg);
1173 start_parent_slice_with_credit(tg, parent_tg, rw);
1174 } else {
1175 throtl_qnode_add_bio(bio, &tg->qnode_on_parent[rw],
1176 &parent_sq->queued[rw]);
1177 BUG_ON(tg->td->nr_queued[rw] <= 0);
1178 tg->td->nr_queued[rw]--;
1179 }
1180
1181 throtl_trim_slice(tg, rw);
1182
1183 if (tg_to_put)
1184 blkg_put(tg_to_blkg(tg_to_put));
1185}
1186
1187static int throtl_dispatch_tg(struct throtl_grp *tg)
1188{
1189 struct throtl_service_queue *sq = &tg->service_queue;
1190 unsigned int nr_reads = 0, nr_writes = 0;
Olivier Deprez157378f2022-04-04 15:47:50 +02001191 unsigned int max_nr_reads = THROTL_GRP_QUANTUM * 3 / 4;
1192 unsigned int max_nr_writes = THROTL_GRP_QUANTUM - max_nr_reads;
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00001193 struct bio *bio;
1194
1195 /* Try to dispatch 75% READS and 25% WRITES */
1196
1197 while ((bio = throtl_peek_queued(&sq->queued[READ])) &&
1198 tg_may_dispatch(tg, bio, NULL)) {
1199
1200 tg_dispatch_one_bio(tg, bio_data_dir(bio));
1201 nr_reads++;
1202
1203 if (nr_reads >= max_nr_reads)
1204 break;
1205 }
1206
1207 while ((bio = throtl_peek_queued(&sq->queued[WRITE])) &&
1208 tg_may_dispatch(tg, bio, NULL)) {
1209
1210 tg_dispatch_one_bio(tg, bio_data_dir(bio));
1211 nr_writes++;
1212
1213 if (nr_writes >= max_nr_writes)
1214 break;
1215 }
1216
1217 return nr_reads + nr_writes;
1218}
1219
1220static int throtl_select_dispatch(struct throtl_service_queue *parent_sq)
1221{
1222 unsigned int nr_disp = 0;
1223
1224 while (1) {
Olivier Deprez157378f2022-04-04 15:47:50 +02001225 struct throtl_grp *tg;
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00001226 struct throtl_service_queue *sq;
1227
Olivier Deprez157378f2022-04-04 15:47:50 +02001228 if (!parent_sq->nr_pending)
1229 break;
1230
1231 tg = throtl_rb_first(parent_sq);
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00001232 if (!tg)
1233 break;
1234
1235 if (time_before(jiffies, tg->disptime))
1236 break;
1237
1238 throtl_dequeue_tg(tg);
1239
1240 nr_disp += throtl_dispatch_tg(tg);
1241
1242 sq = &tg->service_queue;
1243 if (sq->nr_queued[0] || sq->nr_queued[1])
1244 tg_update_disptime(tg);
1245
Olivier Deprez157378f2022-04-04 15:47:50 +02001246 if (nr_disp >= THROTL_QUANTUM)
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00001247 break;
1248 }
1249
1250 return nr_disp;
1251}
1252
1253static bool throtl_can_upgrade(struct throtl_data *td,
1254 struct throtl_grp *this_tg);
1255/**
1256 * throtl_pending_timer_fn - timer function for service_queue->pending_timer
David Brazdil0f672f62019-12-10 10:32:29 +00001257 * @t: the pending_timer member of the throtl_service_queue being serviced
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00001258 *
1259 * This timer is armed when a child throtl_grp with active bio's become
1260 * pending and queued on the service_queue's pending_tree and expires when
1261 * the first child throtl_grp should be dispatched. This function
1262 * dispatches bio's from the children throtl_grps to the parent
1263 * service_queue.
1264 *
1265 * If the parent's parent is another throtl_grp, dispatching is propagated
1266 * by either arming its pending_timer or repeating dispatch directly. If
1267 * the top-level service_tree is reached, throtl_data->dispatch_work is
1268 * kicked so that the ready bio's are issued.
1269 */
1270static void throtl_pending_timer_fn(struct timer_list *t)
1271{
1272 struct throtl_service_queue *sq = from_timer(sq, t, pending_timer);
1273 struct throtl_grp *tg = sq_to_tg(sq);
1274 struct throtl_data *td = sq_to_td(sq);
1275 struct request_queue *q = td->queue;
1276 struct throtl_service_queue *parent_sq;
1277 bool dispatched;
1278 int ret;
1279
David Brazdil0f672f62019-12-10 10:32:29 +00001280 spin_lock_irq(&q->queue_lock);
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00001281 if (throtl_can_upgrade(td, NULL))
1282 throtl_upgrade_state(td);
1283
1284again:
1285 parent_sq = sq->parent_sq;
1286 dispatched = false;
1287
1288 while (true) {
1289 throtl_log(sq, "dispatch nr_queued=%u read=%u write=%u",
1290 sq->nr_queued[READ] + sq->nr_queued[WRITE],
1291 sq->nr_queued[READ], sq->nr_queued[WRITE]);
1292
1293 ret = throtl_select_dispatch(sq);
1294 if (ret) {
1295 throtl_log(sq, "bios disp=%u", ret);
1296 dispatched = true;
1297 }
1298
1299 if (throtl_schedule_next_dispatch(sq, false))
1300 break;
1301
1302 /* this dispatch windows is still open, relax and repeat */
David Brazdil0f672f62019-12-10 10:32:29 +00001303 spin_unlock_irq(&q->queue_lock);
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00001304 cpu_relax();
David Brazdil0f672f62019-12-10 10:32:29 +00001305 spin_lock_irq(&q->queue_lock);
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00001306 }
1307
1308 if (!dispatched)
1309 goto out_unlock;
1310
1311 if (parent_sq) {
1312 /* @parent_sq is another throl_grp, propagate dispatch */
1313 if (tg->flags & THROTL_TG_WAS_EMPTY) {
1314 tg_update_disptime(tg);
1315 if (!throtl_schedule_next_dispatch(parent_sq, false)) {
1316 /* window is already open, repeat dispatching */
1317 sq = parent_sq;
1318 tg = sq_to_tg(sq);
1319 goto again;
1320 }
1321 }
1322 } else {
Olivier Deprez157378f2022-04-04 15:47:50 +02001323 /* reached the top-level, queue issuing */
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00001324 queue_work(kthrotld_workqueue, &td->dispatch_work);
1325 }
1326out_unlock:
David Brazdil0f672f62019-12-10 10:32:29 +00001327 spin_unlock_irq(&q->queue_lock);
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00001328}
1329
1330/**
1331 * blk_throtl_dispatch_work_fn - work function for throtl_data->dispatch_work
1332 * @work: work item being executed
1333 *
Olivier Deprez157378f2022-04-04 15:47:50 +02001334 * This function is queued for execution when bios reach the bio_lists[]
1335 * of throtl_data->service_queue. Those bios are ready and issued by this
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00001336 * function.
1337 */
1338static void blk_throtl_dispatch_work_fn(struct work_struct *work)
1339{
1340 struct throtl_data *td = container_of(work, struct throtl_data,
1341 dispatch_work);
1342 struct throtl_service_queue *td_sq = &td->service_queue;
1343 struct request_queue *q = td->queue;
1344 struct bio_list bio_list_on_stack;
1345 struct bio *bio;
1346 struct blk_plug plug;
1347 int rw;
1348
1349 bio_list_init(&bio_list_on_stack);
1350
David Brazdil0f672f62019-12-10 10:32:29 +00001351 spin_lock_irq(&q->queue_lock);
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00001352 for (rw = READ; rw <= WRITE; rw++)
1353 while ((bio = throtl_pop_queued(&td_sq->queued[rw], NULL)))
1354 bio_list_add(&bio_list_on_stack, bio);
David Brazdil0f672f62019-12-10 10:32:29 +00001355 spin_unlock_irq(&q->queue_lock);
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00001356
1357 if (!bio_list_empty(&bio_list_on_stack)) {
1358 blk_start_plug(&plug);
Olivier Deprez157378f2022-04-04 15:47:50 +02001359 while ((bio = bio_list_pop(&bio_list_on_stack)))
1360 submit_bio_noacct(bio);
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00001361 blk_finish_plug(&plug);
1362 }
1363}
1364
1365static u64 tg_prfill_conf_u64(struct seq_file *sf, struct blkg_policy_data *pd,
1366 int off)
1367{
1368 struct throtl_grp *tg = pd_to_tg(pd);
1369 u64 v = *(u64 *)((void *)tg + off);
1370
1371 if (v == U64_MAX)
1372 return 0;
1373 return __blkg_prfill_u64(sf, pd, v);
1374}
1375
1376static u64 tg_prfill_conf_uint(struct seq_file *sf, struct blkg_policy_data *pd,
1377 int off)
1378{
1379 struct throtl_grp *tg = pd_to_tg(pd);
1380 unsigned int v = *(unsigned int *)((void *)tg + off);
1381
1382 if (v == UINT_MAX)
1383 return 0;
1384 return __blkg_prfill_u64(sf, pd, v);
1385}
1386
1387static int tg_print_conf_u64(struct seq_file *sf, void *v)
1388{
1389 blkcg_print_blkgs(sf, css_to_blkcg(seq_css(sf)), tg_prfill_conf_u64,
1390 &blkcg_policy_throtl, seq_cft(sf)->private, false);
1391 return 0;
1392}
1393
1394static int tg_print_conf_uint(struct seq_file *sf, void *v)
1395{
1396 blkcg_print_blkgs(sf, css_to_blkcg(seq_css(sf)), tg_prfill_conf_uint,
1397 &blkcg_policy_throtl, seq_cft(sf)->private, false);
1398 return 0;
1399}
1400
1401static void tg_conf_updated(struct throtl_grp *tg, bool global)
1402{
1403 struct throtl_service_queue *sq = &tg->service_queue;
1404 struct cgroup_subsys_state *pos_css;
1405 struct blkcg_gq *blkg;
1406
1407 throtl_log(&tg->service_queue,
1408 "limit change rbps=%llu wbps=%llu riops=%u wiops=%u",
1409 tg_bps_limit(tg, READ), tg_bps_limit(tg, WRITE),
1410 tg_iops_limit(tg, READ), tg_iops_limit(tg, WRITE));
1411
1412 /*
1413 * Update has_rules[] flags for the updated tg's subtree. A tg is
1414 * considered to have rules if either the tg itself or any of its
1415 * ancestors has rules. This identifies groups without any
1416 * restrictions in the whole hierarchy and allows them to bypass
1417 * blk-throttle.
1418 */
1419 blkg_for_each_descendant_pre(blkg, pos_css,
1420 global ? tg->td->queue->root_blkg : tg_to_blkg(tg)) {
1421 struct throtl_grp *this_tg = blkg_to_tg(blkg);
1422 struct throtl_grp *parent_tg;
1423
1424 tg_update_has_rules(this_tg);
1425 /* ignore root/second level */
1426 if (!cgroup_subsys_on_dfl(io_cgrp_subsys) || !blkg->parent ||
1427 !blkg->parent->parent)
1428 continue;
1429 parent_tg = blkg_to_tg(blkg->parent);
1430 /*
1431 * make sure all children has lower idle time threshold and
1432 * higher latency target
1433 */
1434 this_tg->idletime_threshold = min(this_tg->idletime_threshold,
1435 parent_tg->idletime_threshold);
1436 this_tg->latency_target = max(this_tg->latency_target,
1437 parent_tg->latency_target);
1438 }
1439
1440 /*
1441 * We're already holding queue_lock and know @tg is valid. Let's
1442 * apply the new config directly.
1443 *
1444 * Restart the slices for both READ and WRITES. It might happen
1445 * that a group's limit are dropped suddenly and we don't want to
1446 * account recently dispatched IO with new low rate.
1447 */
Olivier Deprez157378f2022-04-04 15:47:50 +02001448 throtl_start_new_slice(tg, READ);
1449 throtl_start_new_slice(tg, WRITE);
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00001450
1451 if (tg->flags & THROTL_TG_PENDING) {
1452 tg_update_disptime(tg);
1453 throtl_schedule_next_dispatch(sq->parent_sq, true);
1454 }
1455}
1456
1457static ssize_t tg_set_conf(struct kernfs_open_file *of,
1458 char *buf, size_t nbytes, loff_t off, bool is_u64)
1459{
1460 struct blkcg *blkcg = css_to_blkcg(of_css(of));
1461 struct blkg_conf_ctx ctx;
1462 struct throtl_grp *tg;
1463 int ret;
1464 u64 v;
1465
1466 ret = blkg_conf_prep(blkcg, &blkcg_policy_throtl, buf, &ctx);
1467 if (ret)
1468 return ret;
1469
1470 ret = -EINVAL;
1471 if (sscanf(ctx.body, "%llu", &v) != 1)
1472 goto out_finish;
1473 if (!v)
1474 v = U64_MAX;
1475
1476 tg = blkg_to_tg(ctx.blkg);
1477
1478 if (is_u64)
1479 *(u64 *)((void *)tg + of_cft(of)->private) = v;
1480 else
1481 *(unsigned int *)((void *)tg + of_cft(of)->private) = v;
1482
1483 tg_conf_updated(tg, false);
1484 ret = 0;
1485out_finish:
1486 blkg_conf_finish(&ctx);
1487 return ret ?: nbytes;
1488}
1489
1490static ssize_t tg_set_conf_u64(struct kernfs_open_file *of,
1491 char *buf, size_t nbytes, loff_t off)
1492{
1493 return tg_set_conf(of, buf, nbytes, off, true);
1494}
1495
1496static ssize_t tg_set_conf_uint(struct kernfs_open_file *of,
1497 char *buf, size_t nbytes, loff_t off)
1498{
1499 return tg_set_conf(of, buf, nbytes, off, false);
1500}
1501
Olivier Deprez157378f2022-04-04 15:47:50 +02001502static int tg_print_rwstat(struct seq_file *sf, void *v)
1503{
1504 blkcg_print_blkgs(sf, css_to_blkcg(seq_css(sf)),
1505 blkg_prfill_rwstat, &blkcg_policy_throtl,
1506 seq_cft(sf)->private, true);
1507 return 0;
1508}
1509
1510static u64 tg_prfill_rwstat_recursive(struct seq_file *sf,
1511 struct blkg_policy_data *pd, int off)
1512{
1513 struct blkg_rwstat_sample sum;
1514
1515 blkg_rwstat_recursive_sum(pd_to_blkg(pd), &blkcg_policy_throtl, off,
1516 &sum);
1517 return __blkg_prfill_rwstat(sf, pd, &sum);
1518}
1519
1520static int tg_print_rwstat_recursive(struct seq_file *sf, void *v)
1521{
1522 blkcg_print_blkgs(sf, css_to_blkcg(seq_css(sf)),
1523 tg_prfill_rwstat_recursive, &blkcg_policy_throtl,
1524 seq_cft(sf)->private, true);
1525 return 0;
1526}
1527
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00001528static struct cftype throtl_legacy_files[] = {
1529 {
1530 .name = "throttle.read_bps_device",
1531 .private = offsetof(struct throtl_grp, bps[READ][LIMIT_MAX]),
1532 .seq_show = tg_print_conf_u64,
1533 .write = tg_set_conf_u64,
1534 },
1535 {
1536 .name = "throttle.write_bps_device",
1537 .private = offsetof(struct throtl_grp, bps[WRITE][LIMIT_MAX]),
1538 .seq_show = tg_print_conf_u64,
1539 .write = tg_set_conf_u64,
1540 },
1541 {
1542 .name = "throttle.read_iops_device",
1543 .private = offsetof(struct throtl_grp, iops[READ][LIMIT_MAX]),
1544 .seq_show = tg_print_conf_uint,
1545 .write = tg_set_conf_uint,
1546 },
1547 {
1548 .name = "throttle.write_iops_device",
1549 .private = offsetof(struct throtl_grp, iops[WRITE][LIMIT_MAX]),
1550 .seq_show = tg_print_conf_uint,
1551 .write = tg_set_conf_uint,
1552 },
1553 {
1554 .name = "throttle.io_service_bytes",
Olivier Deprez157378f2022-04-04 15:47:50 +02001555 .private = offsetof(struct throtl_grp, stat_bytes),
1556 .seq_show = tg_print_rwstat,
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00001557 },
1558 {
1559 .name = "throttle.io_service_bytes_recursive",
Olivier Deprez157378f2022-04-04 15:47:50 +02001560 .private = offsetof(struct throtl_grp, stat_bytes),
1561 .seq_show = tg_print_rwstat_recursive,
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00001562 },
1563 {
1564 .name = "throttle.io_serviced",
Olivier Deprez157378f2022-04-04 15:47:50 +02001565 .private = offsetof(struct throtl_grp, stat_ios),
1566 .seq_show = tg_print_rwstat,
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00001567 },
1568 {
1569 .name = "throttle.io_serviced_recursive",
Olivier Deprez157378f2022-04-04 15:47:50 +02001570 .private = offsetof(struct throtl_grp, stat_ios),
1571 .seq_show = tg_print_rwstat_recursive,
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00001572 },
1573 { } /* terminate */
1574};
1575
1576static u64 tg_prfill_limit(struct seq_file *sf, struct blkg_policy_data *pd,
1577 int off)
1578{
1579 struct throtl_grp *tg = pd_to_tg(pd);
1580 const char *dname = blkg_dev_name(pd->blkg);
1581 char bufs[4][21] = { "max", "max", "max", "max" };
1582 u64 bps_dft;
1583 unsigned int iops_dft;
1584 char idle_time[26] = "";
1585 char latency_time[26] = "";
1586
1587 if (!dname)
1588 return 0;
1589
1590 if (off == LIMIT_LOW) {
1591 bps_dft = 0;
1592 iops_dft = 0;
1593 } else {
1594 bps_dft = U64_MAX;
1595 iops_dft = UINT_MAX;
1596 }
1597
1598 if (tg->bps_conf[READ][off] == bps_dft &&
1599 tg->bps_conf[WRITE][off] == bps_dft &&
1600 tg->iops_conf[READ][off] == iops_dft &&
1601 tg->iops_conf[WRITE][off] == iops_dft &&
1602 (off != LIMIT_LOW ||
1603 (tg->idletime_threshold_conf == DFL_IDLE_THRESHOLD &&
1604 tg->latency_target_conf == DFL_LATENCY_TARGET)))
1605 return 0;
1606
1607 if (tg->bps_conf[READ][off] != U64_MAX)
1608 snprintf(bufs[0], sizeof(bufs[0]), "%llu",
1609 tg->bps_conf[READ][off]);
1610 if (tg->bps_conf[WRITE][off] != U64_MAX)
1611 snprintf(bufs[1], sizeof(bufs[1]), "%llu",
1612 tg->bps_conf[WRITE][off]);
1613 if (tg->iops_conf[READ][off] != UINT_MAX)
1614 snprintf(bufs[2], sizeof(bufs[2]), "%u",
1615 tg->iops_conf[READ][off]);
1616 if (tg->iops_conf[WRITE][off] != UINT_MAX)
1617 snprintf(bufs[3], sizeof(bufs[3]), "%u",
1618 tg->iops_conf[WRITE][off]);
1619 if (off == LIMIT_LOW) {
1620 if (tg->idletime_threshold_conf == ULONG_MAX)
1621 strcpy(idle_time, " idle=max");
1622 else
1623 snprintf(idle_time, sizeof(idle_time), " idle=%lu",
1624 tg->idletime_threshold_conf);
1625
1626 if (tg->latency_target_conf == ULONG_MAX)
1627 strcpy(latency_time, " latency=max");
1628 else
1629 snprintf(latency_time, sizeof(latency_time),
1630 " latency=%lu", tg->latency_target_conf);
1631 }
1632
1633 seq_printf(sf, "%s rbps=%s wbps=%s riops=%s wiops=%s%s%s\n",
1634 dname, bufs[0], bufs[1], bufs[2], bufs[3], idle_time,
1635 latency_time);
1636 return 0;
1637}
1638
1639static int tg_print_limit(struct seq_file *sf, void *v)
1640{
1641 blkcg_print_blkgs(sf, css_to_blkcg(seq_css(sf)), tg_prfill_limit,
1642 &blkcg_policy_throtl, seq_cft(sf)->private, false);
1643 return 0;
1644}
1645
1646static ssize_t tg_set_limit(struct kernfs_open_file *of,
1647 char *buf, size_t nbytes, loff_t off)
1648{
1649 struct blkcg *blkcg = css_to_blkcg(of_css(of));
1650 struct blkg_conf_ctx ctx;
1651 struct throtl_grp *tg;
1652 u64 v[4];
1653 unsigned long idle_time;
1654 unsigned long latency_time;
1655 int ret;
1656 int index = of_cft(of)->private;
1657
1658 ret = blkg_conf_prep(blkcg, &blkcg_policy_throtl, buf, &ctx);
1659 if (ret)
1660 return ret;
1661
1662 tg = blkg_to_tg(ctx.blkg);
1663
1664 v[0] = tg->bps_conf[READ][index];
1665 v[1] = tg->bps_conf[WRITE][index];
1666 v[2] = tg->iops_conf[READ][index];
1667 v[3] = tg->iops_conf[WRITE][index];
1668
1669 idle_time = tg->idletime_threshold_conf;
1670 latency_time = tg->latency_target_conf;
1671 while (true) {
1672 char tok[27]; /* wiops=18446744073709551616 */
1673 char *p;
1674 u64 val = U64_MAX;
1675 int len;
1676
1677 if (sscanf(ctx.body, "%26s%n", tok, &len) != 1)
1678 break;
1679 if (tok[0] == '\0')
1680 break;
1681 ctx.body += len;
1682
1683 ret = -EINVAL;
1684 p = tok;
1685 strsep(&p, "=");
1686 if (!p || (sscanf(p, "%llu", &val) != 1 && strcmp(p, "max")))
1687 goto out_finish;
1688
1689 ret = -ERANGE;
1690 if (!val)
1691 goto out_finish;
1692
1693 ret = -EINVAL;
Olivier Deprez157378f2022-04-04 15:47:50 +02001694 if (!strcmp(tok, "rbps") && val > 1)
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00001695 v[0] = val;
Olivier Deprez157378f2022-04-04 15:47:50 +02001696 else if (!strcmp(tok, "wbps") && val > 1)
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00001697 v[1] = val;
Olivier Deprez157378f2022-04-04 15:47:50 +02001698 else if (!strcmp(tok, "riops") && val > 1)
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00001699 v[2] = min_t(u64, val, UINT_MAX);
Olivier Deprez157378f2022-04-04 15:47:50 +02001700 else if (!strcmp(tok, "wiops") && val > 1)
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00001701 v[3] = min_t(u64, val, UINT_MAX);
1702 else if (off == LIMIT_LOW && !strcmp(tok, "idle"))
1703 idle_time = val;
1704 else if (off == LIMIT_LOW && !strcmp(tok, "latency"))
1705 latency_time = val;
1706 else
1707 goto out_finish;
1708 }
1709
1710 tg->bps_conf[READ][index] = v[0];
1711 tg->bps_conf[WRITE][index] = v[1];
1712 tg->iops_conf[READ][index] = v[2];
1713 tg->iops_conf[WRITE][index] = v[3];
1714
1715 if (index == LIMIT_MAX) {
1716 tg->bps[READ][index] = v[0];
1717 tg->bps[WRITE][index] = v[1];
1718 tg->iops[READ][index] = v[2];
1719 tg->iops[WRITE][index] = v[3];
1720 }
1721 tg->bps[READ][LIMIT_LOW] = min(tg->bps_conf[READ][LIMIT_LOW],
1722 tg->bps_conf[READ][LIMIT_MAX]);
1723 tg->bps[WRITE][LIMIT_LOW] = min(tg->bps_conf[WRITE][LIMIT_LOW],
1724 tg->bps_conf[WRITE][LIMIT_MAX]);
1725 tg->iops[READ][LIMIT_LOW] = min(tg->iops_conf[READ][LIMIT_LOW],
1726 tg->iops_conf[READ][LIMIT_MAX]);
1727 tg->iops[WRITE][LIMIT_LOW] = min(tg->iops_conf[WRITE][LIMIT_LOW],
1728 tg->iops_conf[WRITE][LIMIT_MAX]);
1729 tg->idletime_threshold_conf = idle_time;
1730 tg->latency_target_conf = latency_time;
1731
1732 /* force user to configure all settings for low limit */
1733 if (!(tg->bps[READ][LIMIT_LOW] || tg->iops[READ][LIMIT_LOW] ||
1734 tg->bps[WRITE][LIMIT_LOW] || tg->iops[WRITE][LIMIT_LOW]) ||
1735 tg->idletime_threshold_conf == DFL_IDLE_THRESHOLD ||
1736 tg->latency_target_conf == DFL_LATENCY_TARGET) {
1737 tg->bps[READ][LIMIT_LOW] = 0;
1738 tg->bps[WRITE][LIMIT_LOW] = 0;
1739 tg->iops[READ][LIMIT_LOW] = 0;
1740 tg->iops[WRITE][LIMIT_LOW] = 0;
1741 tg->idletime_threshold = DFL_IDLE_THRESHOLD;
1742 tg->latency_target = DFL_LATENCY_TARGET;
1743 } else if (index == LIMIT_LOW) {
1744 tg->idletime_threshold = tg->idletime_threshold_conf;
1745 tg->latency_target = tg->latency_target_conf;
1746 }
1747
1748 blk_throtl_update_limit_valid(tg->td);
1749 if (tg->td->limit_valid[LIMIT_LOW]) {
1750 if (index == LIMIT_LOW)
1751 tg->td->limit_index = LIMIT_LOW;
1752 } else
1753 tg->td->limit_index = LIMIT_MAX;
1754 tg_conf_updated(tg, index == LIMIT_LOW &&
1755 tg->td->limit_valid[LIMIT_LOW]);
1756 ret = 0;
1757out_finish:
1758 blkg_conf_finish(&ctx);
1759 return ret ?: nbytes;
1760}
1761
1762static struct cftype throtl_files[] = {
1763#ifdef CONFIG_BLK_DEV_THROTTLING_LOW
1764 {
1765 .name = "low",
1766 .flags = CFTYPE_NOT_ON_ROOT,
1767 .seq_show = tg_print_limit,
1768 .write = tg_set_limit,
1769 .private = LIMIT_LOW,
1770 },
1771#endif
1772 {
1773 .name = "max",
1774 .flags = CFTYPE_NOT_ON_ROOT,
1775 .seq_show = tg_print_limit,
1776 .write = tg_set_limit,
1777 .private = LIMIT_MAX,
1778 },
1779 { } /* terminate */
1780};
1781
1782static void throtl_shutdown_wq(struct request_queue *q)
1783{
1784 struct throtl_data *td = q->td;
1785
1786 cancel_work_sync(&td->dispatch_work);
1787}
1788
1789static struct blkcg_policy blkcg_policy_throtl = {
1790 .dfl_cftypes = throtl_files,
1791 .legacy_cftypes = throtl_legacy_files,
1792
1793 .pd_alloc_fn = throtl_pd_alloc,
1794 .pd_init_fn = throtl_pd_init,
1795 .pd_online_fn = throtl_pd_online,
1796 .pd_offline_fn = throtl_pd_offline,
1797 .pd_free_fn = throtl_pd_free,
1798};
1799
1800static unsigned long __tg_last_low_overflow_time(struct throtl_grp *tg)
1801{
1802 unsigned long rtime = jiffies, wtime = jiffies;
1803
1804 if (tg->bps[READ][LIMIT_LOW] || tg->iops[READ][LIMIT_LOW])
1805 rtime = tg->last_low_overflow_time[READ];
1806 if (tg->bps[WRITE][LIMIT_LOW] || tg->iops[WRITE][LIMIT_LOW])
1807 wtime = tg->last_low_overflow_time[WRITE];
1808 return min(rtime, wtime);
1809}
1810
1811/* tg should not be an intermediate node */
1812static unsigned long tg_last_low_overflow_time(struct throtl_grp *tg)
1813{
1814 struct throtl_service_queue *parent_sq;
1815 struct throtl_grp *parent = tg;
1816 unsigned long ret = __tg_last_low_overflow_time(tg);
1817
1818 while (true) {
1819 parent_sq = parent->service_queue.parent_sq;
1820 parent = sq_to_tg(parent_sq);
1821 if (!parent)
1822 break;
1823
1824 /*
1825 * The parent doesn't have low limit, it always reaches low
1826 * limit. Its overflow time is useless for children
1827 */
1828 if (!parent->bps[READ][LIMIT_LOW] &&
1829 !parent->iops[READ][LIMIT_LOW] &&
1830 !parent->bps[WRITE][LIMIT_LOW] &&
1831 !parent->iops[WRITE][LIMIT_LOW])
1832 continue;
1833 if (time_after(__tg_last_low_overflow_time(parent), ret))
1834 ret = __tg_last_low_overflow_time(parent);
1835 }
1836 return ret;
1837}
1838
1839static bool throtl_tg_is_idle(struct throtl_grp *tg)
1840{
1841 /*
1842 * cgroup is idle if:
1843 * - single idle is too long, longer than a fixed value (in case user
1844 * configure a too big threshold) or 4 times of idletime threshold
1845 * - average think time is more than threshold
1846 * - IO latency is largely below threshold
1847 */
1848 unsigned long time;
1849 bool ret;
1850
1851 time = min_t(unsigned long, MAX_IDLE_TIME, 4 * tg->idletime_threshold);
1852 ret = tg->latency_target == DFL_LATENCY_TARGET ||
1853 tg->idletime_threshold == DFL_IDLE_THRESHOLD ||
1854 (ktime_get_ns() >> 10) - tg->last_finish_time > time ||
1855 tg->avg_idletime > tg->idletime_threshold ||
1856 (tg->latency_target && tg->bio_cnt &&
1857 tg->bad_bio_cnt * 5 < tg->bio_cnt);
1858 throtl_log(&tg->service_queue,
1859 "avg_idle=%ld, idle_threshold=%ld, bad_bio=%d, total_bio=%d, is_idle=%d, scale=%d",
1860 tg->avg_idletime, tg->idletime_threshold, tg->bad_bio_cnt,
1861 tg->bio_cnt, ret, tg->td->scale);
1862 return ret;
1863}
1864
1865static bool throtl_tg_can_upgrade(struct throtl_grp *tg)
1866{
1867 struct throtl_service_queue *sq = &tg->service_queue;
1868 bool read_limit, write_limit;
1869
1870 /*
1871 * if cgroup reaches low limit (if low limit is 0, the cgroup always
1872 * reaches), it's ok to upgrade to next limit
1873 */
1874 read_limit = tg->bps[READ][LIMIT_LOW] || tg->iops[READ][LIMIT_LOW];
1875 write_limit = tg->bps[WRITE][LIMIT_LOW] || tg->iops[WRITE][LIMIT_LOW];
1876 if (!read_limit && !write_limit)
1877 return true;
1878 if (read_limit && sq->nr_queued[READ] &&
1879 (!write_limit || sq->nr_queued[WRITE]))
1880 return true;
1881 if (write_limit && sq->nr_queued[WRITE] &&
1882 (!read_limit || sq->nr_queued[READ]))
1883 return true;
1884
1885 if (time_after_eq(jiffies,
1886 tg_last_low_overflow_time(tg) + tg->td->throtl_slice) &&
1887 throtl_tg_is_idle(tg))
1888 return true;
1889 return false;
1890}
1891
1892static bool throtl_hierarchy_can_upgrade(struct throtl_grp *tg)
1893{
1894 while (true) {
1895 if (throtl_tg_can_upgrade(tg))
1896 return true;
1897 tg = sq_to_tg(tg->service_queue.parent_sq);
1898 if (!tg || !tg_to_blkg(tg)->parent)
1899 return false;
1900 }
1901 return false;
1902}
1903
1904static bool throtl_can_upgrade(struct throtl_data *td,
1905 struct throtl_grp *this_tg)
1906{
1907 struct cgroup_subsys_state *pos_css;
1908 struct blkcg_gq *blkg;
1909
1910 if (td->limit_index != LIMIT_LOW)
1911 return false;
1912
1913 if (time_before(jiffies, td->low_downgrade_time + td->throtl_slice))
1914 return false;
1915
1916 rcu_read_lock();
1917 blkg_for_each_descendant_post(blkg, pos_css, td->queue->root_blkg) {
1918 struct throtl_grp *tg = blkg_to_tg(blkg);
1919
1920 if (tg == this_tg)
1921 continue;
1922 if (!list_empty(&tg_to_blkg(tg)->blkcg->css.children))
1923 continue;
1924 if (!throtl_hierarchy_can_upgrade(tg)) {
1925 rcu_read_unlock();
1926 return false;
1927 }
1928 }
1929 rcu_read_unlock();
1930 return true;
1931}
1932
1933static void throtl_upgrade_check(struct throtl_grp *tg)
1934{
1935 unsigned long now = jiffies;
1936
1937 if (tg->td->limit_index != LIMIT_LOW)
1938 return;
1939
1940 if (time_after(tg->last_check_time + tg->td->throtl_slice, now))
1941 return;
1942
1943 tg->last_check_time = now;
1944
1945 if (!time_after_eq(now,
1946 __tg_last_low_overflow_time(tg) + tg->td->throtl_slice))
1947 return;
1948
1949 if (throtl_can_upgrade(tg->td, NULL))
1950 throtl_upgrade_state(tg->td);
1951}
1952
1953static void throtl_upgrade_state(struct throtl_data *td)
1954{
1955 struct cgroup_subsys_state *pos_css;
1956 struct blkcg_gq *blkg;
1957
1958 throtl_log(&td->service_queue, "upgrade to max");
1959 td->limit_index = LIMIT_MAX;
1960 td->low_upgrade_time = jiffies;
1961 td->scale = 0;
1962 rcu_read_lock();
1963 blkg_for_each_descendant_post(blkg, pos_css, td->queue->root_blkg) {
1964 struct throtl_grp *tg = blkg_to_tg(blkg);
1965 struct throtl_service_queue *sq = &tg->service_queue;
1966
1967 tg->disptime = jiffies - 1;
1968 throtl_select_dispatch(sq);
1969 throtl_schedule_next_dispatch(sq, true);
1970 }
1971 rcu_read_unlock();
1972 throtl_select_dispatch(&td->service_queue);
1973 throtl_schedule_next_dispatch(&td->service_queue, true);
1974 queue_work(kthrotld_workqueue, &td->dispatch_work);
1975}
1976
Olivier Deprez157378f2022-04-04 15:47:50 +02001977static void throtl_downgrade_state(struct throtl_data *td)
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00001978{
1979 td->scale /= 2;
1980
1981 throtl_log(&td->service_queue, "downgrade, scale %d", td->scale);
1982 if (td->scale) {
1983 td->low_upgrade_time = jiffies - td->scale * td->throtl_slice;
1984 return;
1985 }
1986
Olivier Deprez157378f2022-04-04 15:47:50 +02001987 td->limit_index = LIMIT_LOW;
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00001988 td->low_downgrade_time = jiffies;
1989}
1990
1991static bool throtl_tg_can_downgrade(struct throtl_grp *tg)
1992{
1993 struct throtl_data *td = tg->td;
1994 unsigned long now = jiffies;
1995
1996 /*
1997 * If cgroup is below low limit, consider downgrade and throttle other
1998 * cgroups
1999 */
2000 if (time_after_eq(now, td->low_upgrade_time + td->throtl_slice) &&
2001 time_after_eq(now, tg_last_low_overflow_time(tg) +
2002 td->throtl_slice) &&
2003 (!throtl_tg_is_idle(tg) ||
2004 !list_empty(&tg_to_blkg(tg)->blkcg->css.children)))
2005 return true;
2006 return false;
2007}
2008
2009static bool throtl_hierarchy_can_downgrade(struct throtl_grp *tg)
2010{
2011 while (true) {
2012 if (!throtl_tg_can_downgrade(tg))
2013 return false;
2014 tg = sq_to_tg(tg->service_queue.parent_sq);
2015 if (!tg || !tg_to_blkg(tg)->parent)
2016 break;
2017 }
2018 return true;
2019}
2020
2021static void throtl_downgrade_check(struct throtl_grp *tg)
2022{
2023 uint64_t bps;
2024 unsigned int iops;
2025 unsigned long elapsed_time;
2026 unsigned long now = jiffies;
2027
2028 if (tg->td->limit_index != LIMIT_MAX ||
2029 !tg->td->limit_valid[LIMIT_LOW])
2030 return;
2031 if (!list_empty(&tg_to_blkg(tg)->blkcg->css.children))
2032 return;
2033 if (time_after(tg->last_check_time + tg->td->throtl_slice, now))
2034 return;
2035
2036 elapsed_time = now - tg->last_check_time;
2037 tg->last_check_time = now;
2038
2039 if (time_before(now, tg_last_low_overflow_time(tg) +
2040 tg->td->throtl_slice))
2041 return;
2042
2043 if (tg->bps[READ][LIMIT_LOW]) {
2044 bps = tg->last_bytes_disp[READ] * HZ;
2045 do_div(bps, elapsed_time);
2046 if (bps >= tg->bps[READ][LIMIT_LOW])
2047 tg->last_low_overflow_time[READ] = now;
2048 }
2049
2050 if (tg->bps[WRITE][LIMIT_LOW]) {
2051 bps = tg->last_bytes_disp[WRITE] * HZ;
2052 do_div(bps, elapsed_time);
2053 if (bps >= tg->bps[WRITE][LIMIT_LOW])
2054 tg->last_low_overflow_time[WRITE] = now;
2055 }
2056
2057 if (tg->iops[READ][LIMIT_LOW]) {
Olivier Deprez157378f2022-04-04 15:47:50 +02002058 tg->last_io_disp[READ] += atomic_xchg(&tg->last_io_split_cnt[READ], 0);
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00002059 iops = tg->last_io_disp[READ] * HZ / elapsed_time;
2060 if (iops >= tg->iops[READ][LIMIT_LOW])
2061 tg->last_low_overflow_time[READ] = now;
2062 }
2063
2064 if (tg->iops[WRITE][LIMIT_LOW]) {
Olivier Deprez157378f2022-04-04 15:47:50 +02002065 tg->last_io_disp[WRITE] += atomic_xchg(&tg->last_io_split_cnt[WRITE], 0);
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00002066 iops = tg->last_io_disp[WRITE] * HZ / elapsed_time;
2067 if (iops >= tg->iops[WRITE][LIMIT_LOW])
2068 tg->last_low_overflow_time[WRITE] = now;
2069 }
2070
2071 /*
2072 * If cgroup is below low limit, consider downgrade and throttle other
2073 * cgroups
2074 */
2075 if (throtl_hierarchy_can_downgrade(tg))
Olivier Deprez157378f2022-04-04 15:47:50 +02002076 throtl_downgrade_state(tg->td);
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00002077
2078 tg->last_bytes_disp[READ] = 0;
2079 tg->last_bytes_disp[WRITE] = 0;
2080 tg->last_io_disp[READ] = 0;
2081 tg->last_io_disp[WRITE] = 0;
2082}
2083
2084static void blk_throtl_update_idletime(struct throtl_grp *tg)
2085{
Olivier Deprez157378f2022-04-04 15:47:50 +02002086 unsigned long now;
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00002087 unsigned long last_finish_time = tg->last_finish_time;
2088
Olivier Deprez157378f2022-04-04 15:47:50 +02002089 if (last_finish_time == 0)
2090 return;
2091
2092 now = ktime_get_ns() >> 10;
2093 if (now <= last_finish_time ||
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00002094 last_finish_time == tg->checked_last_finish_time)
2095 return;
2096
2097 tg->avg_idletime = (tg->avg_idletime * 7 + now - last_finish_time) >> 3;
2098 tg->checked_last_finish_time = last_finish_time;
2099}
2100
2101#ifdef CONFIG_BLK_DEV_THROTTLING_LOW
2102static void throtl_update_latency_buckets(struct throtl_data *td)
2103{
2104 struct avg_latency_bucket avg_latency[2][LATENCY_BUCKET_SIZE];
2105 int i, cpu, rw;
2106 unsigned long last_latency[2] = { 0 };
2107 unsigned long latency[2];
2108
Olivier Deprez157378f2022-04-04 15:47:50 +02002109 if (!blk_queue_nonrot(td->queue) || !td->limit_valid[LIMIT_LOW])
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00002110 return;
2111 if (time_before(jiffies, td->last_calculate_time + HZ))
2112 return;
2113 td->last_calculate_time = jiffies;
2114
2115 memset(avg_latency, 0, sizeof(avg_latency));
2116 for (rw = READ; rw <= WRITE; rw++) {
2117 for (i = 0; i < LATENCY_BUCKET_SIZE; i++) {
2118 struct latency_bucket *tmp = &td->tmp_buckets[rw][i];
2119
2120 for_each_possible_cpu(cpu) {
2121 struct latency_bucket *bucket;
2122
2123 /* this isn't race free, but ok in practice */
2124 bucket = per_cpu_ptr(td->latency_buckets[rw],
2125 cpu);
2126 tmp->total_latency += bucket[i].total_latency;
2127 tmp->samples += bucket[i].samples;
2128 bucket[i].total_latency = 0;
2129 bucket[i].samples = 0;
2130 }
2131
2132 if (tmp->samples >= 32) {
2133 int samples = tmp->samples;
2134
2135 latency[rw] = tmp->total_latency;
2136
2137 tmp->total_latency = 0;
2138 tmp->samples = 0;
2139 latency[rw] /= samples;
2140 if (latency[rw] == 0)
2141 continue;
2142 avg_latency[rw][i].latency = latency[rw];
2143 }
2144 }
2145 }
2146
2147 for (rw = READ; rw <= WRITE; rw++) {
2148 for (i = 0; i < LATENCY_BUCKET_SIZE; i++) {
2149 if (!avg_latency[rw][i].latency) {
2150 if (td->avg_buckets[rw][i].latency < last_latency[rw])
2151 td->avg_buckets[rw][i].latency =
2152 last_latency[rw];
2153 continue;
2154 }
2155
2156 if (!td->avg_buckets[rw][i].valid)
2157 latency[rw] = avg_latency[rw][i].latency;
2158 else
2159 latency[rw] = (td->avg_buckets[rw][i].latency * 7 +
2160 avg_latency[rw][i].latency) >> 3;
2161
2162 td->avg_buckets[rw][i].latency = max(latency[rw],
2163 last_latency[rw]);
2164 td->avg_buckets[rw][i].valid = true;
2165 last_latency[rw] = td->avg_buckets[rw][i].latency;
2166 }
2167 }
2168
2169 for (i = 0; i < LATENCY_BUCKET_SIZE; i++)
2170 throtl_log(&td->service_queue,
2171 "Latency bucket %d: read latency=%ld, read valid=%d, "
2172 "write latency=%ld, write valid=%d", i,
2173 td->avg_buckets[READ][i].latency,
2174 td->avg_buckets[READ][i].valid,
2175 td->avg_buckets[WRITE][i].latency,
2176 td->avg_buckets[WRITE][i].valid);
2177}
2178#else
2179static inline void throtl_update_latency_buckets(struct throtl_data *td)
2180{
2181}
2182#endif
2183
Olivier Deprez157378f2022-04-04 15:47:50 +02002184void blk_throtl_charge_bio_split(struct bio *bio)
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00002185{
Olivier Deprez157378f2022-04-04 15:47:50 +02002186 struct blkcg_gq *blkg = bio->bi_blkg;
2187 struct throtl_grp *parent = blkg_to_tg(blkg);
2188 struct throtl_service_queue *parent_sq;
2189 bool rw = bio_data_dir(bio);
2190
2191 do {
2192 if (!parent->has_rules[rw])
2193 break;
2194
2195 atomic_inc(&parent->io_split_cnt[rw]);
2196 atomic_inc(&parent->last_io_split_cnt[rw]);
2197
2198 parent_sq = parent->service_queue.parent_sq;
2199 parent = sq_to_tg(parent_sq);
2200 } while (parent);
2201}
2202
2203bool blk_throtl_bio(struct bio *bio)
2204{
2205 struct request_queue *q = bio->bi_disk->queue;
2206 struct blkcg_gq *blkg = bio->bi_blkg;
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00002207 struct throtl_qnode *qn = NULL;
Olivier Deprez157378f2022-04-04 15:47:50 +02002208 struct throtl_grp *tg = blkg_to_tg(blkg);
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00002209 struct throtl_service_queue *sq;
2210 bool rw = bio_data_dir(bio);
2211 bool throttled = false;
2212 struct throtl_data *td = tg->td;
2213
Olivier Deprez157378f2022-04-04 15:47:50 +02002214 rcu_read_lock();
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00002215
2216 /* see throtl_charge_bio() */
Olivier Deprez157378f2022-04-04 15:47:50 +02002217 if (bio_flagged(bio, BIO_THROTTLED))
2218 goto out;
2219
2220 if (!cgroup_subsys_on_dfl(io_cgrp_subsys)) {
2221 blkg_rwstat_add(&tg->stat_bytes, bio->bi_opf,
2222 bio->bi_iter.bi_size);
2223 blkg_rwstat_add(&tg->stat_ios, bio->bi_opf, 1);
2224 }
2225
2226 if (!tg->has_rules[rw])
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00002227 goto out;
2228
David Brazdil0f672f62019-12-10 10:32:29 +00002229 spin_lock_irq(&q->queue_lock);
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00002230
2231 throtl_update_latency_buckets(td);
2232
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00002233 blk_throtl_update_idletime(tg);
2234
2235 sq = &tg->service_queue;
2236
2237again:
2238 while (true) {
2239 if (tg->last_low_overflow_time[rw] == 0)
2240 tg->last_low_overflow_time[rw] = jiffies;
2241 throtl_downgrade_check(tg);
2242 throtl_upgrade_check(tg);
2243 /* throtl is FIFO - if bios are already queued, should queue */
2244 if (sq->nr_queued[rw])
2245 break;
2246
2247 /* if above limits, break to queue */
2248 if (!tg_may_dispatch(tg, bio, NULL)) {
2249 tg->last_low_overflow_time[rw] = jiffies;
2250 if (throtl_can_upgrade(td, tg)) {
2251 throtl_upgrade_state(td);
2252 goto again;
2253 }
2254 break;
2255 }
2256
2257 /* within limits, let's charge and dispatch directly */
2258 throtl_charge_bio(tg, bio);
2259
2260 /*
2261 * We need to trim slice even when bios are not being queued
2262 * otherwise it might happen that a bio is not queued for
2263 * a long time and slice keeps on extending and trim is not
2264 * called for a long time. Now if limits are reduced suddenly
2265 * we take into account all the IO dispatched so far at new
2266 * low rate and * newly queued IO gets a really long dispatch
2267 * time.
2268 *
2269 * So keep on trimming slice even if bio is not queued.
2270 */
2271 throtl_trim_slice(tg, rw);
2272
2273 /*
2274 * @bio passed through this layer without being throttled.
Olivier Deprez157378f2022-04-04 15:47:50 +02002275 * Climb up the ladder. If we're already at the top, it
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00002276 * can be executed directly.
2277 */
2278 qn = &tg->qnode_on_parent[rw];
2279 sq = sq->parent_sq;
2280 tg = sq_to_tg(sq);
2281 if (!tg)
2282 goto out_unlock;
2283 }
2284
2285 /* out-of-limit, queue to @tg */
2286 throtl_log(sq, "[%c] bio. bdisp=%llu sz=%u bps=%llu iodisp=%u iops=%u queued=%d/%d",
2287 rw == READ ? 'R' : 'W',
2288 tg->bytes_disp[rw], bio->bi_iter.bi_size,
2289 tg_bps_limit(tg, rw),
2290 tg->io_disp[rw], tg_iops_limit(tg, rw),
2291 sq->nr_queued[READ], sq->nr_queued[WRITE]);
2292
2293 tg->last_low_overflow_time[rw] = jiffies;
2294
2295 td->nr_queued[rw]++;
2296 throtl_add_bio_tg(bio, qn, tg);
2297 throttled = true;
2298
2299 /*
2300 * Update @tg's dispatch time and force schedule dispatch if @tg
2301 * was empty before @bio. The forced scheduling isn't likely to
2302 * cause undue delay as @bio is likely to be dispatched directly if
2303 * its @tg's disptime is not in the future.
2304 */
2305 if (tg->flags & THROTL_TG_WAS_EMPTY) {
2306 tg_update_disptime(tg);
2307 throtl_schedule_next_dispatch(tg->service_queue.parent_sq, true);
2308 }
2309
2310out_unlock:
David Brazdil0f672f62019-12-10 10:32:29 +00002311 spin_unlock_irq(&q->queue_lock);
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00002312out:
2313 bio_set_flag(bio, BIO_THROTTLED);
2314
2315#ifdef CONFIG_BLK_DEV_THROTTLING_LOW
2316 if (throttled || !td->track_bio_latency)
2317 bio->bi_issue.value |= BIO_ISSUE_THROTL_SKIP_LATENCY;
2318#endif
Olivier Deprez157378f2022-04-04 15:47:50 +02002319 rcu_read_unlock();
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00002320 return throttled;
2321}
2322
2323#ifdef CONFIG_BLK_DEV_THROTTLING_LOW
2324static void throtl_track_latency(struct throtl_data *td, sector_t size,
2325 int op, unsigned long time)
2326{
2327 struct latency_bucket *latency;
2328 int index;
2329
2330 if (!td || td->limit_index != LIMIT_LOW ||
2331 !(op == REQ_OP_READ || op == REQ_OP_WRITE) ||
2332 !blk_queue_nonrot(td->queue))
2333 return;
2334
2335 index = request_bucket_index(size);
2336
2337 latency = get_cpu_ptr(td->latency_buckets[op]);
2338 latency[index].total_latency += time;
2339 latency[index].samples++;
2340 put_cpu_ptr(td->latency_buckets[op]);
2341}
2342
2343void blk_throtl_stat_add(struct request *rq, u64 time_ns)
2344{
2345 struct request_queue *q = rq->q;
2346 struct throtl_data *td = q->td;
2347
David Brazdil0f672f62019-12-10 10:32:29 +00002348 throtl_track_latency(td, blk_rq_stats_sectors(rq), req_op(rq),
2349 time_ns >> 10);
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00002350}
2351
2352void blk_throtl_bio_endio(struct bio *bio)
2353{
2354 struct blkcg_gq *blkg;
2355 struct throtl_grp *tg;
2356 u64 finish_time_ns;
2357 unsigned long finish_time;
2358 unsigned long start_time;
2359 unsigned long lat;
2360 int rw = bio_data_dir(bio);
2361
2362 blkg = bio->bi_blkg;
2363 if (!blkg)
2364 return;
2365 tg = blkg_to_tg(blkg);
Olivier Deprez157378f2022-04-04 15:47:50 +02002366 if (!tg->td->limit_valid[LIMIT_LOW])
2367 return;
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00002368
2369 finish_time_ns = ktime_get_ns();
2370 tg->last_finish_time = finish_time_ns >> 10;
2371
2372 start_time = bio_issue_time(&bio->bi_issue) >> 10;
2373 finish_time = __bio_issue_time(finish_time_ns) >> 10;
2374 if (!start_time || finish_time <= start_time)
2375 return;
2376
2377 lat = finish_time - start_time;
2378 /* this is only for bio based driver */
2379 if (!(bio->bi_issue.value & BIO_ISSUE_THROTL_SKIP_LATENCY))
2380 throtl_track_latency(tg->td, bio_issue_size(&bio->bi_issue),
2381 bio_op(bio), lat);
2382
2383 if (tg->latency_target && lat >= tg->td->filtered_latency) {
2384 int bucket;
2385 unsigned int threshold;
2386
2387 bucket = request_bucket_index(bio_issue_size(&bio->bi_issue));
2388 threshold = tg->td->avg_buckets[rw][bucket].latency +
2389 tg->latency_target;
2390 if (lat > threshold)
2391 tg->bad_bio_cnt++;
2392 /*
2393 * Not race free, could get wrong count, which means cgroups
2394 * will be throttled
2395 */
2396 tg->bio_cnt++;
2397 }
2398
2399 if (time_after(jiffies, tg->bio_cnt_reset_time) || tg->bio_cnt > 1024) {
2400 tg->bio_cnt_reset_time = tg->td->throtl_slice + jiffies;
2401 tg->bio_cnt /= 2;
2402 tg->bad_bio_cnt /= 2;
2403 }
2404}
2405#endif
2406
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00002407int blk_throtl_init(struct request_queue *q)
2408{
2409 struct throtl_data *td;
2410 int ret;
2411
2412 td = kzalloc_node(sizeof(*td), GFP_KERNEL, q->node);
2413 if (!td)
2414 return -ENOMEM;
2415 td->latency_buckets[READ] = __alloc_percpu(sizeof(struct latency_bucket) *
2416 LATENCY_BUCKET_SIZE, __alignof__(u64));
2417 if (!td->latency_buckets[READ]) {
2418 kfree(td);
2419 return -ENOMEM;
2420 }
2421 td->latency_buckets[WRITE] = __alloc_percpu(sizeof(struct latency_bucket) *
2422 LATENCY_BUCKET_SIZE, __alignof__(u64));
2423 if (!td->latency_buckets[WRITE]) {
2424 free_percpu(td->latency_buckets[READ]);
2425 kfree(td);
2426 return -ENOMEM;
2427 }
2428
2429 INIT_WORK(&td->dispatch_work, blk_throtl_dispatch_work_fn);
2430 throtl_service_queue_init(&td->service_queue);
2431
2432 q->td = td;
2433 td->queue = q;
2434
2435 td->limit_valid[LIMIT_MAX] = true;
2436 td->limit_index = LIMIT_MAX;
2437 td->low_upgrade_time = jiffies;
2438 td->low_downgrade_time = jiffies;
2439
2440 /* activate policy */
2441 ret = blkcg_activate_policy(q, &blkcg_policy_throtl);
2442 if (ret) {
2443 free_percpu(td->latency_buckets[READ]);
2444 free_percpu(td->latency_buckets[WRITE]);
2445 kfree(td);
2446 }
2447 return ret;
2448}
2449
2450void blk_throtl_exit(struct request_queue *q)
2451{
2452 BUG_ON(!q->td);
Olivier Deprez157378f2022-04-04 15:47:50 +02002453 del_timer_sync(&q->td->service_queue.pending_timer);
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00002454 throtl_shutdown_wq(q);
2455 blkcg_deactivate_policy(q, &blkcg_policy_throtl);
2456 free_percpu(q->td->latency_buckets[READ]);
2457 free_percpu(q->td->latency_buckets[WRITE]);
2458 kfree(q->td);
2459}
2460
2461void blk_throtl_register_queue(struct request_queue *q)
2462{
2463 struct throtl_data *td;
2464 int i;
2465
2466 td = q->td;
2467 BUG_ON(!td);
2468
2469 if (blk_queue_nonrot(q)) {
2470 td->throtl_slice = DFL_THROTL_SLICE_SSD;
2471 td->filtered_latency = LATENCY_FILTERED_SSD;
2472 } else {
2473 td->throtl_slice = DFL_THROTL_SLICE_HD;
2474 td->filtered_latency = LATENCY_FILTERED_HD;
2475 for (i = 0; i < LATENCY_BUCKET_SIZE; i++) {
2476 td->avg_buckets[READ][i].latency = DFL_HD_BASELINE_LATENCY;
2477 td->avg_buckets[WRITE][i].latency = DFL_HD_BASELINE_LATENCY;
2478 }
2479 }
2480#ifndef CONFIG_BLK_DEV_THROTTLING_LOW
2481 /* if no low limit, use previous default */
2482 td->throtl_slice = DFL_THROTL_SLICE_HD;
2483#endif
2484
David Brazdil0f672f62019-12-10 10:32:29 +00002485 td->track_bio_latency = !queue_is_mq(q);
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00002486 if (!td->track_bio_latency)
2487 blk_stat_enable_accounting(q);
2488}
2489
2490#ifdef CONFIG_BLK_DEV_THROTTLING_LOW
2491ssize_t blk_throtl_sample_time_show(struct request_queue *q, char *page)
2492{
2493 if (!q->td)
2494 return -EINVAL;
2495 return sprintf(page, "%u\n", jiffies_to_msecs(q->td->throtl_slice));
2496}
2497
2498ssize_t blk_throtl_sample_time_store(struct request_queue *q,
2499 const char *page, size_t count)
2500{
2501 unsigned long v;
2502 unsigned long t;
2503
2504 if (!q->td)
2505 return -EINVAL;
2506 if (kstrtoul(page, 10, &v))
2507 return -EINVAL;
2508 t = msecs_to_jiffies(v);
2509 if (t == 0 || t > MAX_THROTL_SLICE)
2510 return -EINVAL;
2511 q->td->throtl_slice = t;
2512 return count;
2513}
2514#endif
2515
2516static int __init throtl_init(void)
2517{
2518 kthrotld_workqueue = alloc_workqueue("kthrotld", WQ_MEM_RECLAIM, 0);
2519 if (!kthrotld_workqueue)
2520 panic("Failed to create kthrotld\n");
2521
2522 return blkcg_policy_register(&blkcg_policy_throtl);
2523}
2524
2525module_init(throtl_init);