blob: c87309d0ff3bee16287ad1f8dc2994f118d6d6ba [file] [log] [blame]
Christoph Hellwig3dcf60bc2019-04-30 14:42:43 -04001// SPDX-License-Identifier: GPL-2.0
Jens Axboe945ffb62017-01-14 17:11:11 -07002/*
3 * MQ Deadline i/o scheduler - adaptation of the legacy deadline scheduler,
4 * for the blk-mq scheduling framework
5 *
6 * Copyright (C) 2016 Jens Axboe <axboe@kernel.dk>
7 */
8#include <linux/kernel.h>
9#include <linux/fs.h>
10#include <linux/blkdev.h>
11#include <linux/blk-mq.h>
12#include <linux/elevator.h>
13#include <linux/bio.h>
14#include <linux/module.h>
15#include <linux/slab.h>
16#include <linux/init.h>
17#include <linux/compiler.h>
18#include <linux/rbtree.h>
19#include <linux/sbitmap.h>
20
Chaitanya Kulkarnib357e4a2021-02-21 21:29:59 -080021#include <trace/events/block.h>
22
Jens Axboe945ffb62017-01-14 17:11:11 -070023#include "blk.h"
24#include "blk-mq.h"
Omar Sandovaldaaadb32017-05-04 00:31:34 -070025#include "blk-mq-debugfs.h"
Jens Axboe945ffb62017-01-14 17:11:11 -070026#include "blk-mq-tag.h"
27#include "blk-mq-sched.h"
28
29/*
Mauro Carvalho Chehab898bd372019-04-18 19:45:00 -030030 * See Documentation/block/deadline-iosched.rst
Jens Axboe945ffb62017-01-14 17:11:11 -070031 */
32static const int read_expire = HZ / 2; /* max time before a read is submitted. */
33static const int write_expire = 5 * HZ; /* ditto for writes, these limits are SOFT! */
Bart Van Asschefcc30462021-09-27 15:03:28 -070034/*
35 * Time after which to dispatch lower priority requests even if higher
36 * priority requests are pending.
37 */
38static const int prio_aging_expire = 10 * HZ;
Jens Axboe945ffb62017-01-14 17:11:11 -070039static const int writes_starved = 2; /* max times reads can starve a write */
40static const int fifo_batch = 16; /* # of sequential requests treated as one
41 by the above parameters. For throughput. */
42
Bart Van Assche004a26b2021-06-17 17:44:49 -070043enum dd_data_dir {
44 DD_READ = READ,
45 DD_WRITE = WRITE,
46};
47
48enum { DD_DIR_COUNT = 2 };
49
Bart Van Asschec807ab52021-06-17 17:44:53 -070050enum dd_prio {
51 DD_RT_PRIO = 0,
52 DD_BE_PRIO = 1,
53 DD_IDLE_PRIO = 2,
54 DD_PRIO_MAX = 2,
55};
56
57enum { DD_PRIO_COUNT = 3 };
58
Bart Van Assche8ecb51c2021-09-27 15:03:27 -070059/*
60 * I/O statistics per I/O priority. It is fine if these counters overflow.
61 * What matters is that these counters are at least as wide as
62 * log2(max_outstanding_requests).
63 */
Tejun Heo0f783992021-08-11 07:41:45 -100064struct io_stats_per_prio {
Bart Van Assche8ecb51c2021-09-27 15:03:27 -070065 uint32_t inserted;
66 uint32_t merged;
67 uint32_t dispatched;
68 atomic_t completed;
Bart Van Assche38ba64d2021-06-17 17:44:54 -070069};
70
Bart Van Asschec807ab52021-06-17 17:44:53 -070071/*
72 * Deadline scheduler data per I/O priority (enum dd_prio). Requests are
73 * present on both sort_list[] and fifo_list[].
74 */
75struct dd_per_prio {
76 struct list_head dispatch;
77 struct rb_root sort_list[DD_DIR_COUNT];
78 struct list_head fifo_list[DD_DIR_COUNT];
79 /* Next request in FIFO order. Read, write or both are NULL. */
80 struct request *next_rq[DD_DIR_COUNT];
Bart Van Assche8ecb51c2021-09-27 15:03:27 -070081 struct io_stats_per_prio stats;
Bart Van Asschec807ab52021-06-17 17:44:53 -070082};
83
Jens Axboe945ffb62017-01-14 17:11:11 -070084struct deadline_data {
85 /*
86 * run time data
87 */
88
Bart Van Asschec807ab52021-06-17 17:44:53 -070089 struct dd_per_prio per_prio[DD_PRIO_COUNT];
Jens Axboe945ffb62017-01-14 17:11:11 -070090
Bart Van Assched672d322021-06-17 17:44:52 -070091 /* Data direction of latest dispatched request. */
92 enum dd_data_dir last_dir;
Jens Axboe945ffb62017-01-14 17:11:11 -070093 unsigned int batching; /* number of sequential requests made */
94 unsigned int starved; /* times reads have starved writes */
95
96 /*
97 * settings that change how the i/o scheduler behaves
98 */
Bart Van Assche004a26b2021-06-17 17:44:49 -070099 int fifo_expire[DD_DIR_COUNT];
Jens Axboe945ffb62017-01-14 17:11:11 -0700100 int fifo_batch;
101 int writes_starved;
102 int front_merges;
Bart Van Assche07757582021-06-17 17:44:51 -0700103 u32 async_depth;
Bart Van Asschefcc30462021-09-27 15:03:28 -0700104 int prio_aging_expire;
Jens Axboe945ffb62017-01-14 17:11:11 -0700105
106 spinlock_t lock;
Damien Le Moal5700f692017-12-21 15:43:40 +0900107 spinlock_t zone_lock;
Bart Van Asschec807ab52021-06-17 17:44:53 -0700108};
109
110/* Maps an I/O priority class to a deadline scheduler priority. */
111static const enum dd_prio ioprio_class_to_prio[] = {
112 [IOPRIO_CLASS_NONE] = DD_BE_PRIO,
113 [IOPRIO_CLASS_RT] = DD_RT_PRIO,
114 [IOPRIO_CLASS_BE] = DD_BE_PRIO,
115 [IOPRIO_CLASS_IDLE] = DD_IDLE_PRIO,
Jens Axboe945ffb62017-01-14 17:11:11 -0700116};
117
118static inline struct rb_root *
Bart Van Asschec807ab52021-06-17 17:44:53 -0700119deadline_rb_root(struct dd_per_prio *per_prio, struct request *rq)
Jens Axboe945ffb62017-01-14 17:11:11 -0700120{
Bart Van Asschec807ab52021-06-17 17:44:53 -0700121 return &per_prio->sort_list[rq_data_dir(rq)];
122}
123
124/*
125 * Returns the I/O priority class (IOPRIO_CLASS_*) that has been assigned to a
126 * request.
127 */
128static u8 dd_rq_ioclass(struct request *rq)
129{
130 return IOPRIO_PRIO_CLASS(req_get_ioprio(rq));
Jens Axboe945ffb62017-01-14 17:11:11 -0700131}
132
133/*
Damien Le Moal94fe9752022-11-24 11:12:08 +0900134 * get the request before `rq' in sector-sorted order
135 */
136static inline struct request *
137deadline_earlier_request(struct request *rq)
138{
139 struct rb_node *node = rb_prev(&rq->rb_node);
140
141 if (node)
142 return rb_entry_rq(node);
143
144 return NULL;
145}
146
147/*
Jens Axboe945ffb62017-01-14 17:11:11 -0700148 * get the request after `rq' in sector-sorted order
149 */
150static inline struct request *
151deadline_latter_request(struct request *rq)
152{
153 struct rb_node *node = rb_next(&rq->rb_node);
154
155 if (node)
156 return rb_entry_rq(node);
157
158 return NULL;
159}
160
161static void
Bart Van Asschec807ab52021-06-17 17:44:53 -0700162deadline_add_rq_rb(struct dd_per_prio *per_prio, struct request *rq)
Jens Axboe945ffb62017-01-14 17:11:11 -0700163{
Bart Van Asschec807ab52021-06-17 17:44:53 -0700164 struct rb_root *root = deadline_rb_root(per_prio, rq);
Jens Axboe945ffb62017-01-14 17:11:11 -0700165
166 elv_rb_add(root, rq);
167}
168
169static inline void
Bart Van Asschec807ab52021-06-17 17:44:53 -0700170deadline_del_rq_rb(struct dd_per_prio *per_prio, struct request *rq)
Jens Axboe945ffb62017-01-14 17:11:11 -0700171{
Bart Van Assche004a26b2021-06-17 17:44:49 -0700172 const enum dd_data_dir data_dir = rq_data_dir(rq);
Jens Axboe945ffb62017-01-14 17:11:11 -0700173
Bart Van Asschec807ab52021-06-17 17:44:53 -0700174 if (per_prio->next_rq[data_dir] == rq)
175 per_prio->next_rq[data_dir] = deadline_latter_request(rq);
Jens Axboe945ffb62017-01-14 17:11:11 -0700176
Bart Van Asschec807ab52021-06-17 17:44:53 -0700177 elv_rb_del(deadline_rb_root(per_prio, rq), rq);
Jens Axboe945ffb62017-01-14 17:11:11 -0700178}
179
180/*
181 * remove rq from rbtree and fifo.
182 */
Bart Van Asschec807ab52021-06-17 17:44:53 -0700183static void deadline_remove_request(struct request_queue *q,
184 struct dd_per_prio *per_prio,
185 struct request *rq)
Jens Axboe945ffb62017-01-14 17:11:11 -0700186{
Jens Axboe945ffb62017-01-14 17:11:11 -0700187 list_del_init(&rq->queuelist);
188
189 /*
190 * We might not be on the rbtree, if we are doing an insert merge
191 */
192 if (!RB_EMPTY_NODE(&rq->rb_node))
Bart Van Asschec807ab52021-06-17 17:44:53 -0700193 deadline_del_rq_rb(per_prio, rq);
Jens Axboe945ffb62017-01-14 17:11:11 -0700194
195 elv_rqhash_del(q, rq);
196 if (q->last_merge == rq)
197 q->last_merge = NULL;
198}
199
200static void dd_request_merged(struct request_queue *q, struct request *req,
Christoph Hellwig34fe7c02017-02-08 14:46:48 +0100201 enum elv_merge type)
Jens Axboe945ffb62017-01-14 17:11:11 -0700202{
203 struct deadline_data *dd = q->elevator->elevator_data;
Bart Van Asschec807ab52021-06-17 17:44:53 -0700204 const u8 ioprio_class = dd_rq_ioclass(req);
205 const enum dd_prio prio = ioprio_class_to_prio[ioprio_class];
206 struct dd_per_prio *per_prio = &dd->per_prio[prio];
Jens Axboe945ffb62017-01-14 17:11:11 -0700207
208 /*
209 * if the merge was a front merge, we need to reposition request
210 */
211 if (type == ELEVATOR_FRONT_MERGE) {
Bart Van Asschec807ab52021-06-17 17:44:53 -0700212 elv_rb_del(deadline_rb_root(per_prio, req), req);
213 deadline_add_rq_rb(per_prio, req);
Jens Axboe945ffb62017-01-14 17:11:11 -0700214 }
215}
216
Bart Van Assche46eae2e2021-06-17 17:44:45 -0700217/*
218 * Callback function that is invoked after @next has been merged into @req.
219 */
Jens Axboe945ffb62017-01-14 17:11:11 -0700220static void dd_merged_requests(struct request_queue *q, struct request *req,
221 struct request *next)
222{
Bart Van Assche38ba64d2021-06-17 17:44:54 -0700223 struct deadline_data *dd = q->elevator->elevator_data;
Bart Van Asschec807ab52021-06-17 17:44:53 -0700224 const u8 ioprio_class = dd_rq_ioclass(next);
225 const enum dd_prio prio = ioprio_class_to_prio[ioprio_class];
226
Bart Van Assche8ecb51c2021-09-27 15:03:27 -0700227 lockdep_assert_held(&dd->lock);
228
229 dd->per_prio[prio].stats.merged++;
Bart Van Assche38ba64d2021-06-17 17:44:54 -0700230
Jens Axboe945ffb62017-01-14 17:11:11 -0700231 /*
232 * if next expires before rq, assign its expire time to rq
233 * and move into next position (next will be deleted) in fifo
234 */
235 if (!list_empty(&req->queuelist) && !list_empty(&next->queuelist)) {
236 if (time_before((unsigned long)next->fifo_time,
237 (unsigned long)req->fifo_time)) {
238 list_move(&req->queuelist, &next->queuelist);
239 req->fifo_time = next->fifo_time;
240 }
241 }
242
243 /*
244 * kill knowledge of next, this one is a goner
245 */
Bart Van Asschec807ab52021-06-17 17:44:53 -0700246 deadline_remove_request(q, &dd->per_prio[prio], next);
Jens Axboe945ffb62017-01-14 17:11:11 -0700247}
248
249/*
250 * move an entry to dispatch queue
251 */
252static void
Bart Van Asschec807ab52021-06-17 17:44:53 -0700253deadline_move_request(struct deadline_data *dd, struct dd_per_prio *per_prio,
254 struct request *rq)
Jens Axboe945ffb62017-01-14 17:11:11 -0700255{
Bart Van Assche004a26b2021-06-17 17:44:49 -0700256 const enum dd_data_dir data_dir = rq_data_dir(rq);
Jens Axboe945ffb62017-01-14 17:11:11 -0700257
Bart Van Asschec807ab52021-06-17 17:44:53 -0700258 per_prio->next_rq[data_dir] = deadline_latter_request(rq);
Jens Axboe945ffb62017-01-14 17:11:11 -0700259
260 /*
261 * take it off the sort and fifo list
262 */
Bart Van Asschec807ab52021-06-17 17:44:53 -0700263 deadline_remove_request(rq->q, per_prio, rq);
Jens Axboe945ffb62017-01-14 17:11:11 -0700264}
265
Bart Van Assche2a8fbb92021-09-27 15:03:26 -0700266/* Number of requests queued for a given priority level. */
267static u32 dd_queued(struct deadline_data *dd, enum dd_prio prio)
268{
Bart Van Assche8ecb51c2021-09-27 15:03:27 -0700269 const struct io_stats_per_prio *stats = &dd->per_prio[prio].stats;
270
271 lockdep_assert_held(&dd->lock);
272
273 return stats->inserted - atomic_read(&stats->completed);
Bart Van Assche2a8fbb92021-09-27 15:03:26 -0700274}
275
Jens Axboe945ffb62017-01-14 17:11:11 -0700276/*
277 * deadline_check_fifo returns 0 if there are no expired requests on the fifo,
278 * 1 otherwise. Requires !list_empty(&dd->fifo_list[data_dir])
279 */
Bart Van Asschec807ab52021-06-17 17:44:53 -0700280static inline int deadline_check_fifo(struct dd_per_prio *per_prio,
Bart Van Assche004a26b2021-06-17 17:44:49 -0700281 enum dd_data_dir data_dir)
Jens Axboe945ffb62017-01-14 17:11:11 -0700282{
Bart Van Asschec807ab52021-06-17 17:44:53 -0700283 struct request *rq = rq_entry_fifo(per_prio->fifo_list[data_dir].next);
Jens Axboe945ffb62017-01-14 17:11:11 -0700284
285 /*
286 * rq is expired!
287 */
288 if (time_after_eq(jiffies, (unsigned long)rq->fifo_time))
289 return 1;
290
291 return 0;
292}
293
294/*
Damien Le Moal94fe9752022-11-24 11:12:08 +0900295 * Check if rq has a sequential request preceding it.
296 */
Damien Le Moal40a47972022-11-26 11:55:49 +0900297static bool deadline_is_seq_write(struct deadline_data *dd, struct request *rq)
Damien Le Moal94fe9752022-11-24 11:12:08 +0900298{
299 struct request *prev = deadline_earlier_request(rq);
300
301 if (!prev)
302 return false;
303
304 return blk_rq_pos(prev) + blk_rq_sectors(prev) == blk_rq_pos(rq);
305}
306
307/*
308 * Skip all write requests that are sequential from @rq, even if we cross
309 * a zone boundary.
310 */
311static struct request *deadline_skip_seq_writes(struct deadline_data *dd,
312 struct request *rq)
313{
314 sector_t pos = blk_rq_pos(rq);
315 sector_t skipped_sectors = 0;
316
317 while (rq) {
318 if (blk_rq_pos(rq) != pos + skipped_sectors)
319 break;
320 skipped_sectors += blk_rq_sectors(rq);
321 rq = deadline_latter_request(rq);
322 }
323
324 return rq;
325}
326
327/*
Damien Le Moalbf09ce52017-12-21 15:43:39 +0900328 * For the specified data direction, return the next request to
329 * dispatch using arrival ordered lists.
330 */
331static struct request *
Bart Van Asschec807ab52021-06-17 17:44:53 -0700332deadline_fifo_request(struct deadline_data *dd, struct dd_per_prio *per_prio,
333 enum dd_data_dir data_dir)
Damien Le Moalbf09ce52017-12-21 15:43:39 +0900334{
Damien Le Moal5700f692017-12-21 15:43:40 +0900335 struct request *rq;
336 unsigned long flags;
337
Bart Van Asschec807ab52021-06-17 17:44:53 -0700338 if (list_empty(&per_prio->fifo_list[data_dir]))
Damien Le Moalbf09ce52017-12-21 15:43:39 +0900339 return NULL;
340
Bart Van Asschec807ab52021-06-17 17:44:53 -0700341 rq = rq_entry_fifo(per_prio->fifo_list[data_dir].next);
Bart Van Assche004a26b2021-06-17 17:44:49 -0700342 if (data_dir == DD_READ || !blk_queue_is_zoned(rq->q))
Damien Le Moal5700f692017-12-21 15:43:40 +0900343 return rq;
344
345 /*
346 * Look for a write request that can be dispatched, that is one with
Damien Le Moal94fe9752022-11-24 11:12:08 +0900347 * an unlocked target zone. For some HDDs, breaking a sequential
348 * write stream can lead to lower throughput, so make sure to preserve
349 * sequential write streams, even if that stream crosses into the next
350 * zones and these zones are unlocked.
Damien Le Moal5700f692017-12-21 15:43:40 +0900351 */
352 spin_lock_irqsave(&dd->zone_lock, flags);
Bart Van Asschec807ab52021-06-17 17:44:53 -0700353 list_for_each_entry(rq, &per_prio->fifo_list[DD_WRITE], queuelist) {
Damien Le Moal94fe9752022-11-24 11:12:08 +0900354 if (blk_req_can_dispatch_to_zone(rq) &&
355 (blk_queue_nonrot(rq->q) ||
Damien Le Moal40a47972022-11-26 11:55:49 +0900356 !deadline_is_seq_write(dd, rq)))
Damien Le Moal5700f692017-12-21 15:43:40 +0900357 goto out;
358 }
359 rq = NULL;
360out:
361 spin_unlock_irqrestore(&dd->zone_lock, flags);
362
363 return rq;
Damien Le Moalbf09ce52017-12-21 15:43:39 +0900364}
365
366/*
367 * For the specified data direction, return the next request to
368 * dispatch using sector position sorted lists.
369 */
370static struct request *
Bart Van Asschec807ab52021-06-17 17:44:53 -0700371deadline_next_request(struct deadline_data *dd, struct dd_per_prio *per_prio,
372 enum dd_data_dir data_dir)
Damien Le Moalbf09ce52017-12-21 15:43:39 +0900373{
Damien Le Moal5700f692017-12-21 15:43:40 +0900374 struct request *rq;
375 unsigned long flags;
376
Bart Van Asschec807ab52021-06-17 17:44:53 -0700377 rq = per_prio->next_rq[data_dir];
Damien Le Moal5700f692017-12-21 15:43:40 +0900378 if (!rq)
379 return NULL;
380
Bart Van Assche004a26b2021-06-17 17:44:49 -0700381 if (data_dir == DD_READ || !blk_queue_is_zoned(rq->q))
Damien Le Moal5700f692017-12-21 15:43:40 +0900382 return rq;
383
384 /*
385 * Look for a write request that can be dispatched, that is one with
Damien Le Moal94fe9752022-11-24 11:12:08 +0900386 * an unlocked target zone. For some HDDs, breaking a sequential
387 * write stream can lead to lower throughput, so make sure to preserve
388 * sequential write streams, even if that stream crosses into the next
389 * zones and these zones are unlocked.
Damien Le Moal5700f692017-12-21 15:43:40 +0900390 */
391 spin_lock_irqsave(&dd->zone_lock, flags);
392 while (rq) {
393 if (blk_req_can_dispatch_to_zone(rq))
394 break;
Damien Le Moal94fe9752022-11-24 11:12:08 +0900395 if (blk_queue_nonrot(rq->q))
396 rq = deadline_latter_request(rq);
397 else
398 rq = deadline_skip_seq_writes(dd, rq);
Damien Le Moal5700f692017-12-21 15:43:40 +0900399 }
400 spin_unlock_irqrestore(&dd->zone_lock, flags);
401
402 return rq;
Damien Le Moalbf09ce52017-12-21 15:43:39 +0900403}
404
405/*
Bart Van Asschefcc30462021-09-27 15:03:28 -0700406 * Returns true if and only if @rq started after @latest_start where
407 * @latest_start is in jiffies.
408 */
409static bool started_after(struct deadline_data *dd, struct request *rq,
410 unsigned long latest_start)
411{
412 unsigned long start_time = (unsigned long)rq->fifo_time;
413
414 start_time -= dd->fifo_expire[rq_data_dir(rq)];
415
416 return time_after(start_time, latest_start);
417}
418
419/*
Jens Axboe945ffb62017-01-14 17:11:11 -0700420 * deadline_dispatch_requests selects the best request according to
Bart Van Asschefcc30462021-09-27 15:03:28 -0700421 * read/write expire, fifo_batch, etc and with a start time <= @latest_start.
Jens Axboe945ffb62017-01-14 17:11:11 -0700422 */
Bart Van Asschec807ab52021-06-17 17:44:53 -0700423static struct request *__dd_dispatch_request(struct deadline_data *dd,
Bart Van Asschefcc30462021-09-27 15:03:28 -0700424 struct dd_per_prio *per_prio,
425 unsigned long latest_start)
Jens Axboe945ffb62017-01-14 17:11:11 -0700426{
Damien Le Moalbf09ce52017-12-21 15:43:39 +0900427 struct request *rq, *next_rq;
Bart Van Assche004a26b2021-06-17 17:44:49 -0700428 enum dd_data_dir data_dir;
Bart Van Assche38ba64d2021-06-17 17:44:54 -0700429 enum dd_prio prio;
430 u8 ioprio_class;
Jens Axboe945ffb62017-01-14 17:11:11 -0700431
Bart Van Assche3bd473f2021-06-17 17:44:46 -0700432 lockdep_assert_held(&dd->lock);
433
Bart Van Asschec807ab52021-06-17 17:44:53 -0700434 if (!list_empty(&per_prio->dispatch)) {
435 rq = list_first_entry(&per_prio->dispatch, struct request,
436 queuelist);
Bart Van Asschefcc30462021-09-27 15:03:28 -0700437 if (started_after(dd, rq, latest_start))
438 return NULL;
Jens Axboe945ffb62017-01-14 17:11:11 -0700439 list_del_init(&rq->queuelist);
440 goto done;
441 }
442
Jens Axboe945ffb62017-01-14 17:11:11 -0700443 /*
444 * batches are currently reads XOR writes
445 */
Bart Van Asschec807ab52021-06-17 17:44:53 -0700446 rq = deadline_next_request(dd, per_prio, dd->last_dir);
Jens Axboe945ffb62017-01-14 17:11:11 -0700447 if (rq && dd->batching < dd->fifo_batch)
448 /* we have a next request are still entitled to batch */
449 goto dispatch_request;
450
451 /*
452 * at this point we are not running a batch. select the appropriate
453 * data direction (read / write)
454 */
455
Bart Van Asschec807ab52021-06-17 17:44:53 -0700456 if (!list_empty(&per_prio->fifo_list[DD_READ])) {
457 BUG_ON(RB_EMPTY_ROOT(&per_prio->sort_list[DD_READ]));
Jens Axboe945ffb62017-01-14 17:11:11 -0700458
Bart Van Asschec807ab52021-06-17 17:44:53 -0700459 if (deadline_fifo_request(dd, per_prio, DD_WRITE) &&
Damien Le Moal5700f692017-12-21 15:43:40 +0900460 (dd->starved++ >= dd->writes_starved))
Jens Axboe945ffb62017-01-14 17:11:11 -0700461 goto dispatch_writes;
462
Bart Van Assche004a26b2021-06-17 17:44:49 -0700463 data_dir = DD_READ;
Jens Axboe945ffb62017-01-14 17:11:11 -0700464
465 goto dispatch_find_request;
466 }
467
468 /*
469 * there are either no reads or writes have been starved
470 */
471
Bart Van Asschec807ab52021-06-17 17:44:53 -0700472 if (!list_empty(&per_prio->fifo_list[DD_WRITE])) {
Jens Axboe945ffb62017-01-14 17:11:11 -0700473dispatch_writes:
Bart Van Asschec807ab52021-06-17 17:44:53 -0700474 BUG_ON(RB_EMPTY_ROOT(&per_prio->sort_list[DD_WRITE]));
Jens Axboe945ffb62017-01-14 17:11:11 -0700475
476 dd->starved = 0;
477
Bart Van Assche004a26b2021-06-17 17:44:49 -0700478 data_dir = DD_WRITE;
Jens Axboe945ffb62017-01-14 17:11:11 -0700479
480 goto dispatch_find_request;
481 }
482
483 return NULL;
484
485dispatch_find_request:
486 /*
487 * we are not running a batch, find best request for selected data_dir
488 */
Bart Van Asschec807ab52021-06-17 17:44:53 -0700489 next_rq = deadline_next_request(dd, per_prio, data_dir);
490 if (deadline_check_fifo(per_prio, data_dir) || !next_rq) {
Jens Axboe945ffb62017-01-14 17:11:11 -0700491 /*
492 * A deadline has expired, the last request was in the other
493 * direction, or we have run out of higher-sectored requests.
494 * Start again from the request with the earliest expiry time.
495 */
Bart Van Asschec807ab52021-06-17 17:44:53 -0700496 rq = deadline_fifo_request(dd, per_prio, data_dir);
Jens Axboe945ffb62017-01-14 17:11:11 -0700497 } else {
498 /*
499 * The last req was the same dir and we have a next request in
500 * sort order. No expired requests so continue on from here.
501 */
Damien Le Moalbf09ce52017-12-21 15:43:39 +0900502 rq = next_rq;
Jens Axboe945ffb62017-01-14 17:11:11 -0700503 }
504
Damien Le Moal5700f692017-12-21 15:43:40 +0900505 /*
506 * For a zoned block device, if we only have writes queued and none of
507 * them can be dispatched, rq will be NULL.
508 */
509 if (!rq)
510 return NULL;
511
Bart Van Assched672d322021-06-17 17:44:52 -0700512 dd->last_dir = data_dir;
Jens Axboe945ffb62017-01-14 17:11:11 -0700513 dd->batching = 0;
514
515dispatch_request:
Bart Van Asschefcc30462021-09-27 15:03:28 -0700516 if (started_after(dd, rq, latest_start))
517 return NULL;
518
Jens Axboe945ffb62017-01-14 17:11:11 -0700519 /*
520 * rq is the selected appropriate request.
521 */
522 dd->batching++;
Bart Van Asschec807ab52021-06-17 17:44:53 -0700523 deadline_move_request(dd, per_prio, rq);
Jens Axboe945ffb62017-01-14 17:11:11 -0700524done:
Bart Van Assche38ba64d2021-06-17 17:44:54 -0700525 ioprio_class = dd_rq_ioclass(rq);
526 prio = ioprio_class_to_prio[ioprio_class];
Bart Van Assche8ecb51c2021-09-27 15:03:27 -0700527 dd->per_prio[prio].stats.dispatched++;
Damien Le Moal5700f692017-12-21 15:43:40 +0900528 /*
529 * If the request needs its target zone locked, do it.
530 */
531 blk_req_zone_write_lock(rq);
Jens Axboe945ffb62017-01-14 17:11:11 -0700532 rq->rq_flags |= RQF_STARTED;
533 return rq;
534}
535
Jens Axboeca11f202018-01-06 09:23:11 -0700536/*
Bart Van Asschefcc30462021-09-27 15:03:28 -0700537 * Check whether there are any requests with priority other than DD_RT_PRIO
538 * that were inserted more than prio_aging_expire jiffies ago.
539 */
540static struct request *dd_dispatch_prio_aged_requests(struct deadline_data *dd,
541 unsigned long now)
542{
543 struct request *rq;
544 enum dd_prio prio;
545 int prio_cnt;
546
547 lockdep_assert_held(&dd->lock);
548
549 prio_cnt = !!dd_queued(dd, DD_RT_PRIO) + !!dd_queued(dd, DD_BE_PRIO) +
550 !!dd_queued(dd, DD_IDLE_PRIO);
551 if (prio_cnt < 2)
552 return NULL;
553
554 for (prio = DD_BE_PRIO; prio <= DD_PRIO_MAX; prio++) {
555 rq = __dd_dispatch_request(dd, &dd->per_prio[prio],
556 now - dd->prio_aging_expire);
557 if (rq)
558 return rq;
559 }
560
561 return NULL;
562}
563
564/*
Bart Van Assche46eae2e2021-06-17 17:44:45 -0700565 * Called from blk_mq_run_hw_queue() -> __blk_mq_sched_dispatch_requests().
566 *
Jens Axboeca11f202018-01-06 09:23:11 -0700567 * One confusing aspect here is that we get called for a specific
Damien Le Moal7211aef82018-12-17 15:14:05 +0900568 * hardware queue, but we may return a request that is for a
Jens Axboeca11f202018-01-06 09:23:11 -0700569 * different hardware queue. This is because mq-deadline has shared
570 * state for all hardware queues, in terms of sorting, FIFOs, etc.
571 */
Jens Axboec13660a2017-01-26 12:40:07 -0700572static struct request *dd_dispatch_request(struct blk_mq_hw_ctx *hctx)
Jens Axboe945ffb62017-01-14 17:11:11 -0700573{
574 struct deadline_data *dd = hctx->queue->elevator->elevator_data;
Bart Van Asschefcc30462021-09-27 15:03:28 -0700575 const unsigned long now = jiffies;
Jens Axboe7b05bf72021-08-26 12:59:44 -0600576 struct request *rq;
Bart Van Asschec807ab52021-06-17 17:44:53 -0700577 enum dd_prio prio;
Jens Axboe945ffb62017-01-14 17:11:11 -0700578
579 spin_lock(&dd->lock);
Bart Van Asschefcc30462021-09-27 15:03:28 -0700580 rq = dd_dispatch_prio_aged_requests(dd, now);
581 if (rq)
582 goto unlock;
583
584 /*
585 * Next, dispatch requests in priority order. Ignore lower priority
586 * requests if any higher priority requests are pending.
587 */
Bart Van Asschefb9260322021-06-17 17:44:56 -0700588 for (prio = 0; prio <= DD_PRIO_MAX; prio++) {
Bart Van Asschefcc30462021-09-27 15:03:28 -0700589 rq = __dd_dispatch_request(dd, &dd->per_prio[prio], now);
590 if (rq || dd_queued(dd, prio))
Bart Van Asschec807ab52021-06-17 17:44:53 -0700591 break;
592 }
Bart Van Asschefcc30462021-09-27 15:03:28 -0700593
594unlock:
Jens Axboe945ffb62017-01-14 17:11:11 -0700595 spin_unlock(&dd->lock);
Jens Axboec13660a2017-01-26 12:40:07 -0700596
597 return rq;
Jens Axboe945ffb62017-01-14 17:11:11 -0700598}
599
Bart Van Assche07757582021-06-17 17:44:51 -0700600/*
601 * Called by __blk_mq_alloc_request(). The shallow_depth value set by this
602 * function is used by __blk_mq_get_tag().
603 */
604static void dd_limit_depth(unsigned int op, struct blk_mq_alloc_data *data)
605{
606 struct deadline_data *dd = data->q->elevator->elevator_data;
607
608 /* Do not throttle synchronous reads. */
609 if (op_is_sync(op) && !op_is_write(op))
610 return;
611
612 /*
613 * Throttle asynchronous requests and writes such that these requests
614 * do not block the allocation of synchronous requests.
615 */
616 data->shallow_depth = dd->async_depth;
617}
618
619/* Called by blk_mq_update_nr_requests(). */
620static void dd_depth_updated(struct blk_mq_hw_ctx *hctx)
621{
622 struct request_queue *q = hctx->queue;
623 struct deadline_data *dd = q->elevator->elevator_data;
624 struct blk_mq_tags *tags = hctx->sched_tags;
Zhiguo Niud4f95b52023-08-03 19:12:42 +0800625 unsigned int shift = tags->bitmap_tags->sb.shift;
Bart Van Assche07757582021-06-17 17:44:51 -0700626
Zhiguo Niud4f95b52023-08-03 19:12:42 +0800627 dd->async_depth = max(1U, 3 * (1U << shift) / 4);
Bart Van Assche07757582021-06-17 17:44:51 -0700628
629 sbitmap_queue_min_shallow_depth(tags->bitmap_tags, dd->async_depth);
630}
631
632/* Called by blk_mq_init_hctx() and blk_mq_init_sched(). */
633static int dd_init_hctx(struct blk_mq_hw_ctx *hctx, unsigned int hctx_idx)
634{
635 dd_depth_updated(hctx);
636 return 0;
637}
638
Bart Van Assche3e9a99e2021-06-17 17:44:48 -0700639static void dd_exit_sched(struct elevator_queue *e)
Jens Axboe945ffb62017-01-14 17:11:11 -0700640{
641 struct deadline_data *dd = e->elevator_data;
Bart Van Asschec807ab52021-06-17 17:44:53 -0700642 enum dd_prio prio;
Jens Axboe945ffb62017-01-14 17:11:11 -0700643
Bart Van Asschec807ab52021-06-17 17:44:53 -0700644 for (prio = 0; prio <= DD_PRIO_MAX; prio++) {
645 struct dd_per_prio *per_prio = &dd->per_prio[prio];
Bart Van Assche8ecb51c2021-09-27 15:03:27 -0700646 const struct io_stats_per_prio *stats = &per_prio->stats;
647 uint32_t queued;
Bart Van Asschec807ab52021-06-17 17:44:53 -0700648
649 WARN_ON_ONCE(!list_empty(&per_prio->fifo_list[DD_READ]));
650 WARN_ON_ONCE(!list_empty(&per_prio->fifo_list[DD_WRITE]));
Jens Axboe945ffb62017-01-14 17:11:11 -0700651
Bart Van Assche8ecb51c2021-09-27 15:03:27 -0700652 spin_lock(&dd->lock);
653 queued = dd_queued(dd, prio);
654 spin_unlock(&dd->lock);
655
656 WARN_ONCE(queued != 0,
657 "statistics for priority %d: i %u m %u d %u c %u\n",
658 prio, stats->inserted, stats->merged,
659 stats->dispatched, atomic_read(&stats->completed));
660 }
Bart Van Assche38ba64d2021-06-17 17:44:54 -0700661
Jens Axboe945ffb62017-01-14 17:11:11 -0700662 kfree(dd);
663}
664
665/*
Tejun Heo0f783992021-08-11 07:41:45 -1000666 * initialize elevator private data (deadline_data).
Jens Axboe945ffb62017-01-14 17:11:11 -0700667 */
Bart Van Assche3e9a99e2021-06-17 17:44:48 -0700668static int dd_init_sched(struct request_queue *q, struct elevator_type *e)
Jens Axboe945ffb62017-01-14 17:11:11 -0700669{
670 struct deadline_data *dd;
671 struct elevator_queue *eq;
Bart Van Asschec807ab52021-06-17 17:44:53 -0700672 enum dd_prio prio;
673 int ret = -ENOMEM;
Jens Axboe945ffb62017-01-14 17:11:11 -0700674
675 eq = elevator_alloc(q, e);
676 if (!eq)
Bart Van Asschec807ab52021-06-17 17:44:53 -0700677 return ret;
Jens Axboe945ffb62017-01-14 17:11:11 -0700678
679 dd = kzalloc_node(sizeof(*dd), GFP_KERNEL, q->node);
Bart Van Asschec807ab52021-06-17 17:44:53 -0700680 if (!dd)
681 goto put_eq;
682
Jens Axboe945ffb62017-01-14 17:11:11 -0700683 eq->elevator_data = dd;
684
Bart Van Asschec807ab52021-06-17 17:44:53 -0700685 for (prio = 0; prio <= DD_PRIO_MAX; prio++) {
686 struct dd_per_prio *per_prio = &dd->per_prio[prio];
687
688 INIT_LIST_HEAD(&per_prio->dispatch);
689 INIT_LIST_HEAD(&per_prio->fifo_list[DD_READ]);
690 INIT_LIST_HEAD(&per_prio->fifo_list[DD_WRITE]);
691 per_prio->sort_list[DD_READ] = RB_ROOT;
692 per_prio->sort_list[DD_WRITE] = RB_ROOT;
693 }
Bart Van Assche004a26b2021-06-17 17:44:49 -0700694 dd->fifo_expire[DD_READ] = read_expire;
695 dd->fifo_expire[DD_WRITE] = write_expire;
Jens Axboe945ffb62017-01-14 17:11:11 -0700696 dd->writes_starved = writes_starved;
697 dd->front_merges = 1;
Bart Van Assched672d322021-06-17 17:44:52 -0700698 dd->last_dir = DD_WRITE;
Jens Axboe945ffb62017-01-14 17:11:11 -0700699 dd->fifo_batch = fifo_batch;
Bart Van Asschefcc30462021-09-27 15:03:28 -0700700 dd->prio_aging_expire = prio_aging_expire;
Jens Axboe945ffb62017-01-14 17:11:11 -0700701 spin_lock_init(&dd->lock);
Damien Le Moal5700f692017-12-21 15:43:40 +0900702 spin_lock_init(&dd->zone_lock);
Jens Axboe945ffb62017-01-14 17:11:11 -0700703
704 q->elevator = eq;
705 return 0;
Bart Van Asschec807ab52021-06-17 17:44:53 -0700706
707put_eq:
708 kobject_put(&eq->kobj);
709 return ret;
Jens Axboe945ffb62017-01-14 17:11:11 -0700710}
711
Bart Van Assche46eae2e2021-06-17 17:44:45 -0700712/*
713 * Try to merge @bio into an existing request. If @bio has been merged into
714 * an existing request, store the pointer to that request into *@rq.
715 */
Jens Axboe945ffb62017-01-14 17:11:11 -0700716static int dd_request_merge(struct request_queue *q, struct request **rq,
717 struct bio *bio)
718{
719 struct deadline_data *dd = q->elevator->elevator_data;
Bart Van Asschec807ab52021-06-17 17:44:53 -0700720 const u8 ioprio_class = IOPRIO_PRIO_CLASS(bio->bi_ioprio);
721 const enum dd_prio prio = ioprio_class_to_prio[ioprio_class];
722 struct dd_per_prio *per_prio = &dd->per_prio[prio];
Jens Axboe945ffb62017-01-14 17:11:11 -0700723 sector_t sector = bio_end_sector(bio);
724 struct request *__rq;
725
726 if (!dd->front_merges)
727 return ELEVATOR_NO_MERGE;
728
Bart Van Asschec807ab52021-06-17 17:44:53 -0700729 __rq = elv_rb_find(&per_prio->sort_list[bio_data_dir(bio)], sector);
Jens Axboe945ffb62017-01-14 17:11:11 -0700730 if (__rq) {
731 BUG_ON(sector != blk_rq_pos(__rq));
732
733 if (elv_bio_merge_ok(__rq, bio)) {
734 *rq = __rq;
Ming Lei866663b2021-07-29 11:42:26 +0800735 if (blk_discard_mergable(__rq))
736 return ELEVATOR_DISCARD_MERGE;
Jens Axboe945ffb62017-01-14 17:11:11 -0700737 return ELEVATOR_FRONT_MERGE;
738 }
739 }
740
741 return ELEVATOR_NO_MERGE;
742}
743
Bart Van Assche46eae2e2021-06-17 17:44:45 -0700744/*
745 * Attempt to merge a bio into an existing request. This function is called
746 * before @bio is associated with a request.
747 */
Omar Sandovalefed9a32021-05-10 17:05:35 -0700748static bool dd_bio_merge(struct request_queue *q, struct bio *bio,
Christoph Hellwig14ccb662019-06-06 12:29:01 +0200749 unsigned int nr_segs)
Jens Axboe945ffb62017-01-14 17:11:11 -0700750{
Jens Axboe945ffb62017-01-14 17:11:11 -0700751 struct deadline_data *dd = q->elevator->elevator_data;
Jens Axboee4d750c2017-02-03 09:48:28 -0700752 struct request *free = NULL;
753 bool ret;
Jens Axboe945ffb62017-01-14 17:11:11 -0700754
755 spin_lock(&dd->lock);
Christoph Hellwig14ccb662019-06-06 12:29:01 +0200756 ret = blk_mq_sched_try_merge(q, bio, nr_segs, &free);
Jens Axboe945ffb62017-01-14 17:11:11 -0700757 spin_unlock(&dd->lock);
758
Jens Axboee4d750c2017-02-03 09:48:28 -0700759 if (free)
760 blk_mq_free_request(free);
761
Jens Axboe945ffb62017-01-14 17:11:11 -0700762 return ret;
763}
764
765/*
766 * add rq to rbtree and fifo
767 */
768static void dd_insert_request(struct blk_mq_hw_ctx *hctx, struct request *rq,
769 bool at_head)
770{
771 struct request_queue *q = hctx->queue;
772 struct deadline_data *dd = q->elevator->elevator_data;
Bart Van Assche004a26b2021-06-17 17:44:49 -0700773 const enum dd_data_dir data_dir = rq_data_dir(rq);
Bart Van Asschec807ab52021-06-17 17:44:53 -0700774 u16 ioprio = req_get_ioprio(rq);
775 u8 ioprio_class = IOPRIO_PRIO_CLASS(ioprio);
776 struct dd_per_prio *per_prio;
777 enum dd_prio prio;
Jan Karafd2ef392021-06-23 11:36:34 +0200778 LIST_HEAD(free);
Jens Axboe945ffb62017-01-14 17:11:11 -0700779
Bart Van Assche3bd473f2021-06-17 17:44:46 -0700780 lockdep_assert_held(&dd->lock);
781
Damien Le Moal5700f692017-12-21 15:43:40 +0900782 /*
783 * This may be a requeue of a write request that has locked its
784 * target zone. If it is the case, this releases the zone lock.
785 */
786 blk_req_zone_write_unlock(rq);
787
Bart Van Asschec807ab52021-06-17 17:44:53 -0700788 prio = ioprio_class_to_prio[ioprio_class];
Bart Van Assche8ecb51c2021-09-27 15:03:27 -0700789 per_prio = &dd->per_prio[prio];
Bart Van Asscheb7deb972021-09-27 15:03:25 -0700790 if (!rq->elv.priv[0]) {
Bart Van Assche8ecb51c2021-09-27 15:03:27 -0700791 per_prio->stats.inserted++;
Bart Van Asscheb7deb972021-09-27 15:03:25 -0700792 rq->elv.priv[0] = (void *)(uintptr_t)1;
793 }
Bart Van Asschec807ab52021-06-17 17:44:53 -0700794
Jan Karafd2ef392021-06-23 11:36:34 +0200795 if (blk_mq_sched_try_insert_merge(q, rq, &free)) {
796 blk_mq_free_requests(&free);
Jens Axboe945ffb62017-01-14 17:11:11 -0700797 return;
Jan Karafd2ef392021-06-23 11:36:34 +0200798 }
Jens Axboe945ffb62017-01-14 17:11:11 -0700799
Chaitanya Kulkarnib357e4a2021-02-21 21:29:59 -0800800 trace_block_rq_insert(rq);
Jens Axboe945ffb62017-01-14 17:11:11 -0700801
Lin Feng7687b382021-04-15 11:43:26 +0800802 if (at_head) {
Bart Van Asschec807ab52021-06-17 17:44:53 -0700803 list_add(&rq->queuelist, &per_prio->dispatch);
Bart Van Asschedac9a9b2022-05-13 10:13:07 -0700804 rq->fifo_time = jiffies;
Jens Axboe945ffb62017-01-14 17:11:11 -0700805 } else {
Bart Van Asschec807ab52021-06-17 17:44:53 -0700806 deadline_add_rq_rb(per_prio, rq);
Jens Axboe945ffb62017-01-14 17:11:11 -0700807
808 if (rq_mergeable(rq)) {
809 elv_rqhash_add(q, rq);
810 if (!q->last_merge)
811 q->last_merge = rq;
812 }
813
814 /*
815 * set expire time and add to fifo list
816 */
817 rq->fifo_time = jiffies + dd->fifo_expire[data_dir];
Bart Van Asschec807ab52021-06-17 17:44:53 -0700818 list_add_tail(&rq->queuelist, &per_prio->fifo_list[data_dir]);
Jens Axboe945ffb62017-01-14 17:11:11 -0700819 }
820}
821
Bart Van Assche46eae2e2021-06-17 17:44:45 -0700822/*
823 * Called from blk_mq_sched_insert_request() or blk_mq_sched_insert_requests().
824 */
Jens Axboe945ffb62017-01-14 17:11:11 -0700825static void dd_insert_requests(struct blk_mq_hw_ctx *hctx,
826 struct list_head *list, bool at_head)
827{
828 struct request_queue *q = hctx->queue;
829 struct deadline_data *dd = q->elevator->elevator_data;
830
831 spin_lock(&dd->lock);
832 while (!list_empty(list)) {
833 struct request *rq;
834
835 rq = list_first_entry(list, struct request, queuelist);
836 list_del_init(&rq->queuelist);
837 dd_insert_request(hctx, rq, at_head);
838 }
839 spin_unlock(&dd->lock);
840}
841
Bart Van Asscheb6d2b052021-08-24 10:05:20 -0700842/* Callback from inside blk_mq_rq_ctx_init(). */
Christoph Hellwig5d9c3052020-05-29 15:53:08 +0200843static void dd_prepare_request(struct request *rq)
Damien Le Moalf3bc78d2018-02-28 09:35:29 -0800844{
Bart Van Asscheb6d2b052021-08-24 10:05:20 -0700845 rq->elv.priv[0] = NULL;
Damien Le Moalf3bc78d2018-02-28 09:35:29 -0800846}
847
Damien Le Moal5234dd52022-11-24 11:12:07 +0900848static bool dd_has_write_work(struct blk_mq_hw_ctx *hctx)
849{
850 struct deadline_data *dd = hctx->queue->elevator->elevator_data;
851 enum dd_prio p;
852
853 for (p = 0; p <= DD_PRIO_MAX; p++)
854 if (!list_empty_careful(&dd->per_prio[p].fifo_list[DD_WRITE]))
855 return true;
856
857 return false;
858}
859
Damien Le Moalf3bc78d2018-02-28 09:35:29 -0800860/*
Bart Van Assche46eae2e2021-06-17 17:44:45 -0700861 * Callback from inside blk_mq_free_request().
862 *
Damien Le Moal5700f692017-12-21 15:43:40 +0900863 * For zoned block devices, write unlock the target zone of
864 * completed write requests. Do this while holding the zone lock
865 * spinlock so that the zone is never unlocked while deadline_fifo_request()
Damien Le Moalf3bc78d2018-02-28 09:35:29 -0800866 * or deadline_next_request() are executing. This function is called for
867 * all requests, whether or not these requests complete successfully.
Damien Le Moalcb8acab2019-08-28 13:40:20 +0900868 *
869 * For a zoned block device, __dd_dispatch_request() may have stopped
870 * dispatching requests if all the queued requests are write requests directed
871 * at zones that are already locked due to on-going write requests. To ensure
872 * write request dispatch progress in this case, mark the queue as needing a
873 * restart to ensure that the queue is run again after completion of the
874 * request and zones being unlocked.
Damien Le Moal5700f692017-12-21 15:43:40 +0900875 */
Damien Le Moalf3bc78d2018-02-28 09:35:29 -0800876static void dd_finish_request(struct request *rq)
Damien Le Moal5700f692017-12-21 15:43:40 +0900877{
878 struct request_queue *q = rq->q;
Bart Van Asschec807ab52021-06-17 17:44:53 -0700879 struct deadline_data *dd = q->elevator->elevator_data;
880 const u8 ioprio_class = dd_rq_ioclass(rq);
881 const enum dd_prio prio = ioprio_class_to_prio[ioprio_class];
Bart Van Assche8ecb51c2021-09-27 15:03:27 -0700882 struct dd_per_prio *per_prio = &dd->per_prio[prio];
Damien Le Moal5700f692017-12-21 15:43:40 +0900883
Bart Van Asscheb6d2b052021-08-24 10:05:20 -0700884 /*
885 * The block layer core may call dd_finish_request() without having
Bart Van Asscheb7deb972021-09-27 15:03:25 -0700886 * called dd_insert_requests(). Skip requests that bypassed I/O
887 * scheduling. See also blk_mq_request_bypass_insert().
Bart Van Asscheb6d2b052021-08-24 10:05:20 -0700888 */
Bart Van Asscheb7deb972021-09-27 15:03:25 -0700889 if (!rq->elv.priv[0])
890 return;
891
Bart Van Assche8ecb51c2021-09-27 15:03:27 -0700892 atomic_inc(&per_prio->stats.completed);
Bart Van Assche38ba64d2021-06-17 17:44:54 -0700893
Damien Le Moal5700f692017-12-21 15:43:40 +0900894 if (blk_queue_is_zoned(q)) {
Damien Le Moal5700f692017-12-21 15:43:40 +0900895 unsigned long flags;
896
897 spin_lock_irqsave(&dd->zone_lock, flags);
898 blk_req_zone_write_unlock(rq);
899 spin_unlock_irqrestore(&dd->zone_lock, flags);
Damien Le Moal5234dd52022-11-24 11:12:07 +0900900
901 if (dd_has_write_work(rq->mq_hctx))
902 blk_mq_sched_mark_restart_hctx(rq->mq_hctx);
Damien Le Moal5700f692017-12-21 15:43:40 +0900903 }
904}
905
Bart Van Asschec807ab52021-06-17 17:44:53 -0700906static bool dd_has_work_for_prio(struct dd_per_prio *per_prio)
907{
908 return !list_empty_careful(&per_prio->dispatch) ||
909 !list_empty_careful(&per_prio->fifo_list[DD_READ]) ||
910 !list_empty_careful(&per_prio->fifo_list[DD_WRITE]);
911}
912
Jens Axboe945ffb62017-01-14 17:11:11 -0700913static bool dd_has_work(struct blk_mq_hw_ctx *hctx)
914{
915 struct deadline_data *dd = hctx->queue->elevator->elevator_data;
Bart Van Asschec807ab52021-06-17 17:44:53 -0700916 enum dd_prio prio;
Jens Axboe945ffb62017-01-14 17:11:11 -0700917
Bart Van Asschec807ab52021-06-17 17:44:53 -0700918 for (prio = 0; prio <= DD_PRIO_MAX; prio++)
919 if (dd_has_work_for_prio(&dd->per_prio[prio]))
920 return true;
921
922 return false;
Jens Axboe945ffb62017-01-14 17:11:11 -0700923}
924
925/*
926 * sysfs parts below
927 */
Bart Van Assched6d7f012021-06-17 17:44:50 -0700928#define SHOW_INT(__FUNC, __VAR) \
Jens Axboe945ffb62017-01-14 17:11:11 -0700929static ssize_t __FUNC(struct elevator_queue *e, char *page) \
930{ \
931 struct deadline_data *dd = e->elevator_data; \
Bart Van Assched6d7f012021-06-17 17:44:50 -0700932 \
933 return sysfs_emit(page, "%d\n", __VAR); \
Jens Axboe945ffb62017-01-14 17:11:11 -0700934}
Bart Van Assched6d7f012021-06-17 17:44:50 -0700935#define SHOW_JIFFIES(__FUNC, __VAR) SHOW_INT(__FUNC, jiffies_to_msecs(__VAR))
936SHOW_JIFFIES(deadline_read_expire_show, dd->fifo_expire[DD_READ]);
937SHOW_JIFFIES(deadline_write_expire_show, dd->fifo_expire[DD_WRITE]);
Bart Van Asschefcc30462021-09-27 15:03:28 -0700938SHOW_JIFFIES(deadline_prio_aging_expire_show, dd->prio_aging_expire);
Bart Van Assched6d7f012021-06-17 17:44:50 -0700939SHOW_INT(deadline_writes_starved_show, dd->writes_starved);
940SHOW_INT(deadline_front_merges_show, dd->front_merges);
Jens Axboe269fbc22022-01-20 10:28:13 -0700941SHOW_INT(deadline_async_depth_show, dd->async_depth);
Bart Van Assched6d7f012021-06-17 17:44:50 -0700942SHOW_INT(deadline_fifo_batch_show, dd->fifo_batch);
943#undef SHOW_INT
944#undef SHOW_JIFFIES
Jens Axboe945ffb62017-01-14 17:11:11 -0700945
946#define STORE_FUNCTION(__FUNC, __PTR, MIN, MAX, __CONV) \
947static ssize_t __FUNC(struct elevator_queue *e, const char *page, size_t count) \
948{ \
949 struct deadline_data *dd = e->elevator_data; \
Bart Van Assched6d7f012021-06-17 17:44:50 -0700950 int __data, __ret; \
951 \
952 __ret = kstrtoint(page, 0, &__data); \
953 if (__ret < 0) \
954 return __ret; \
Jens Axboe945ffb62017-01-14 17:11:11 -0700955 if (__data < (MIN)) \
956 __data = (MIN); \
957 else if (__data > (MAX)) \
958 __data = (MAX); \
Bart Van Assched6d7f012021-06-17 17:44:50 -0700959 *(__PTR) = __CONV(__data); \
weiping zhang235f8da2017-08-25 01:11:33 +0800960 return count; \
Jens Axboe945ffb62017-01-14 17:11:11 -0700961}
Bart Van Assched6d7f012021-06-17 17:44:50 -0700962#define STORE_INT(__FUNC, __PTR, MIN, MAX) \
963 STORE_FUNCTION(__FUNC, __PTR, MIN, MAX, )
964#define STORE_JIFFIES(__FUNC, __PTR, MIN, MAX) \
965 STORE_FUNCTION(__FUNC, __PTR, MIN, MAX, msecs_to_jiffies)
966STORE_JIFFIES(deadline_read_expire_store, &dd->fifo_expire[DD_READ], 0, INT_MAX);
967STORE_JIFFIES(deadline_write_expire_store, &dd->fifo_expire[DD_WRITE], 0, INT_MAX);
Bart Van Asschefcc30462021-09-27 15:03:28 -0700968STORE_JIFFIES(deadline_prio_aging_expire_store, &dd->prio_aging_expire, 0, INT_MAX);
Bart Van Assched6d7f012021-06-17 17:44:50 -0700969STORE_INT(deadline_writes_starved_store, &dd->writes_starved, INT_MIN, INT_MAX);
970STORE_INT(deadline_front_merges_store, &dd->front_merges, 0, 1);
Jens Axboe269fbc22022-01-20 10:28:13 -0700971STORE_INT(deadline_async_depth_store, &dd->async_depth, 1, INT_MAX);
Bart Van Assched6d7f012021-06-17 17:44:50 -0700972STORE_INT(deadline_fifo_batch_store, &dd->fifo_batch, 0, INT_MAX);
Jens Axboe945ffb62017-01-14 17:11:11 -0700973#undef STORE_FUNCTION
Bart Van Assched6d7f012021-06-17 17:44:50 -0700974#undef STORE_INT
975#undef STORE_JIFFIES
Jens Axboe945ffb62017-01-14 17:11:11 -0700976
977#define DD_ATTR(name) \
Joe Perches5657a812018-05-24 13:38:59 -0600978 __ATTR(name, 0644, deadline_##name##_show, deadline_##name##_store)
Jens Axboe945ffb62017-01-14 17:11:11 -0700979
980static struct elv_fs_entry deadline_attrs[] = {
981 DD_ATTR(read_expire),
982 DD_ATTR(write_expire),
983 DD_ATTR(writes_starved),
984 DD_ATTR(front_merges),
Bart Van Assche07757582021-06-17 17:44:51 -0700985 DD_ATTR(async_depth),
Jens Axboe945ffb62017-01-14 17:11:11 -0700986 DD_ATTR(fifo_batch),
Bart Van Asschefcc30462021-09-27 15:03:28 -0700987 DD_ATTR(prio_aging_expire),
Jens Axboe945ffb62017-01-14 17:11:11 -0700988 __ATTR_NULL
989};
990
Omar Sandovaldaaadb32017-05-04 00:31:34 -0700991#ifdef CONFIG_BLK_DEBUG_FS
Bart Van Asschec807ab52021-06-17 17:44:53 -0700992#define DEADLINE_DEBUGFS_DDIR_ATTRS(prio, data_dir, name) \
Omar Sandovaldaaadb32017-05-04 00:31:34 -0700993static void *deadline_##name##_fifo_start(struct seq_file *m, \
994 loff_t *pos) \
995 __acquires(&dd->lock) \
996{ \
997 struct request_queue *q = m->private; \
998 struct deadline_data *dd = q->elevator->elevator_data; \
Bart Van Asschec807ab52021-06-17 17:44:53 -0700999 struct dd_per_prio *per_prio = &dd->per_prio[prio]; \
Omar Sandovaldaaadb32017-05-04 00:31:34 -07001000 \
1001 spin_lock(&dd->lock); \
Bart Van Asschec807ab52021-06-17 17:44:53 -07001002 return seq_list_start(&per_prio->fifo_list[data_dir], *pos); \
Omar Sandovaldaaadb32017-05-04 00:31:34 -07001003} \
1004 \
1005static void *deadline_##name##_fifo_next(struct seq_file *m, void *v, \
1006 loff_t *pos) \
1007{ \
1008 struct request_queue *q = m->private; \
1009 struct deadline_data *dd = q->elevator->elevator_data; \
Bart Van Asschec807ab52021-06-17 17:44:53 -07001010 struct dd_per_prio *per_prio = &dd->per_prio[prio]; \
Omar Sandovaldaaadb32017-05-04 00:31:34 -07001011 \
Bart Van Asschec807ab52021-06-17 17:44:53 -07001012 return seq_list_next(v, &per_prio->fifo_list[data_dir], pos); \
Omar Sandovaldaaadb32017-05-04 00:31:34 -07001013} \
1014 \
1015static void deadline_##name##_fifo_stop(struct seq_file *m, void *v) \
1016 __releases(&dd->lock) \
1017{ \
1018 struct request_queue *q = m->private; \
1019 struct deadline_data *dd = q->elevator->elevator_data; \
1020 \
1021 spin_unlock(&dd->lock); \
1022} \
1023 \
1024static const struct seq_operations deadline_##name##_fifo_seq_ops = { \
1025 .start = deadline_##name##_fifo_start, \
1026 .next = deadline_##name##_fifo_next, \
1027 .stop = deadline_##name##_fifo_stop, \
1028 .show = blk_mq_debugfs_rq_show, \
1029}; \
1030 \
1031static int deadline_##name##_next_rq_show(void *data, \
1032 struct seq_file *m) \
1033{ \
1034 struct request_queue *q = data; \
1035 struct deadline_data *dd = q->elevator->elevator_data; \
Bart Van Asschec807ab52021-06-17 17:44:53 -07001036 struct dd_per_prio *per_prio = &dd->per_prio[prio]; \
1037 struct request *rq = per_prio->next_rq[data_dir]; \
Omar Sandovaldaaadb32017-05-04 00:31:34 -07001038 \
1039 if (rq) \
1040 __blk_mq_debugfs_rq_show(m, rq); \
1041 return 0; \
1042}
Bart Van Asschec807ab52021-06-17 17:44:53 -07001043
1044DEADLINE_DEBUGFS_DDIR_ATTRS(DD_RT_PRIO, DD_READ, read0);
1045DEADLINE_DEBUGFS_DDIR_ATTRS(DD_RT_PRIO, DD_WRITE, write0);
1046DEADLINE_DEBUGFS_DDIR_ATTRS(DD_BE_PRIO, DD_READ, read1);
1047DEADLINE_DEBUGFS_DDIR_ATTRS(DD_BE_PRIO, DD_WRITE, write1);
1048DEADLINE_DEBUGFS_DDIR_ATTRS(DD_IDLE_PRIO, DD_READ, read2);
1049DEADLINE_DEBUGFS_DDIR_ATTRS(DD_IDLE_PRIO, DD_WRITE, write2);
Omar Sandovaldaaadb32017-05-04 00:31:34 -07001050#undef DEADLINE_DEBUGFS_DDIR_ATTRS
1051
1052static int deadline_batching_show(void *data, struct seq_file *m)
1053{
1054 struct request_queue *q = data;
1055 struct deadline_data *dd = q->elevator->elevator_data;
1056
1057 seq_printf(m, "%u\n", dd->batching);
1058 return 0;
1059}
1060
1061static int deadline_starved_show(void *data, struct seq_file *m)
1062{
1063 struct request_queue *q = data;
1064 struct deadline_data *dd = q->elevator->elevator_data;
1065
1066 seq_printf(m, "%u\n", dd->starved);
1067 return 0;
1068}
1069
Bart Van Assche07757582021-06-17 17:44:51 -07001070static int dd_async_depth_show(void *data, struct seq_file *m)
1071{
1072 struct request_queue *q = data;
1073 struct deadline_data *dd = q->elevator->elevator_data;
1074
1075 seq_printf(m, "%u\n", dd->async_depth);
1076 return 0;
1077}
1078
Bart Van Assche38ba64d2021-06-17 17:44:54 -07001079static int dd_queued_show(void *data, struct seq_file *m)
1080{
1081 struct request_queue *q = data;
1082 struct deadline_data *dd = q->elevator->elevator_data;
Bart Van Assche8ecb51c2021-09-27 15:03:27 -07001083 u32 rt, be, idle;
Bart Van Assche38ba64d2021-06-17 17:44:54 -07001084
Bart Van Assche8ecb51c2021-09-27 15:03:27 -07001085 spin_lock(&dd->lock);
1086 rt = dd_queued(dd, DD_RT_PRIO);
1087 be = dd_queued(dd, DD_BE_PRIO);
1088 idle = dd_queued(dd, DD_IDLE_PRIO);
1089 spin_unlock(&dd->lock);
1090
1091 seq_printf(m, "%u %u %u\n", rt, be, idle);
1092
Bart Van Assche38ba64d2021-06-17 17:44:54 -07001093 return 0;
1094}
1095
1096/* Number of requests owned by the block driver for a given priority. */
1097static u32 dd_owned_by_driver(struct deadline_data *dd, enum dd_prio prio)
1098{
Bart Van Assche8ecb51c2021-09-27 15:03:27 -07001099 const struct io_stats_per_prio *stats = &dd->per_prio[prio].stats;
1100
1101 lockdep_assert_held(&dd->lock);
1102
1103 return stats->dispatched + stats->merged -
1104 atomic_read(&stats->completed);
Bart Van Assche38ba64d2021-06-17 17:44:54 -07001105}
1106
1107static int dd_owned_by_driver_show(void *data, struct seq_file *m)
1108{
1109 struct request_queue *q = data;
1110 struct deadline_data *dd = q->elevator->elevator_data;
Bart Van Assche8ecb51c2021-09-27 15:03:27 -07001111 u32 rt, be, idle;
Bart Van Assche38ba64d2021-06-17 17:44:54 -07001112
Bart Van Assche8ecb51c2021-09-27 15:03:27 -07001113 spin_lock(&dd->lock);
1114 rt = dd_owned_by_driver(dd, DD_RT_PRIO);
1115 be = dd_owned_by_driver(dd, DD_BE_PRIO);
1116 idle = dd_owned_by_driver(dd, DD_IDLE_PRIO);
1117 spin_unlock(&dd->lock);
1118
1119 seq_printf(m, "%u %u %u\n", rt, be, idle);
1120
Bart Van Assche38ba64d2021-06-17 17:44:54 -07001121 return 0;
1122}
1123
Bart Van Asschec807ab52021-06-17 17:44:53 -07001124#define DEADLINE_DISPATCH_ATTR(prio) \
1125static void *deadline_dispatch##prio##_start(struct seq_file *m, \
1126 loff_t *pos) \
1127 __acquires(&dd->lock) \
1128{ \
1129 struct request_queue *q = m->private; \
1130 struct deadline_data *dd = q->elevator->elevator_data; \
1131 struct dd_per_prio *per_prio = &dd->per_prio[prio]; \
1132 \
1133 spin_lock(&dd->lock); \
1134 return seq_list_start(&per_prio->dispatch, *pos); \
1135} \
1136 \
1137static void *deadline_dispatch##prio##_next(struct seq_file *m, \
1138 void *v, loff_t *pos) \
1139{ \
1140 struct request_queue *q = m->private; \
1141 struct deadline_data *dd = q->elevator->elevator_data; \
1142 struct dd_per_prio *per_prio = &dd->per_prio[prio]; \
1143 \
1144 return seq_list_next(v, &per_prio->dispatch, pos); \
1145} \
1146 \
1147static void deadline_dispatch##prio##_stop(struct seq_file *m, void *v) \
1148 __releases(&dd->lock) \
1149{ \
1150 struct request_queue *q = m->private; \
1151 struct deadline_data *dd = q->elevator->elevator_data; \
1152 \
1153 spin_unlock(&dd->lock); \
1154} \
1155 \
1156static const struct seq_operations deadline_dispatch##prio##_seq_ops = { \
1157 .start = deadline_dispatch##prio##_start, \
1158 .next = deadline_dispatch##prio##_next, \
1159 .stop = deadline_dispatch##prio##_stop, \
1160 .show = blk_mq_debugfs_rq_show, \
Omar Sandovaldaaadb32017-05-04 00:31:34 -07001161}
1162
Bart Van Asschec807ab52021-06-17 17:44:53 -07001163DEADLINE_DISPATCH_ATTR(0);
1164DEADLINE_DISPATCH_ATTR(1);
1165DEADLINE_DISPATCH_ATTR(2);
1166#undef DEADLINE_DISPATCH_ATTR
Omar Sandovaldaaadb32017-05-04 00:31:34 -07001167
Bart Van Asschec807ab52021-06-17 17:44:53 -07001168#define DEADLINE_QUEUE_DDIR_ATTRS(name) \
1169 {#name "_fifo_list", 0400, \
1170 .seq_ops = &deadline_##name##_fifo_seq_ops}
1171#define DEADLINE_NEXT_RQ_ATTR(name) \
Omar Sandovaldaaadb32017-05-04 00:31:34 -07001172 {#name "_next_rq", 0400, deadline_##name##_next_rq_show}
1173static const struct blk_mq_debugfs_attr deadline_queue_debugfs_attrs[] = {
Bart Van Asschec807ab52021-06-17 17:44:53 -07001174 DEADLINE_QUEUE_DDIR_ATTRS(read0),
1175 DEADLINE_QUEUE_DDIR_ATTRS(write0),
1176 DEADLINE_QUEUE_DDIR_ATTRS(read1),
1177 DEADLINE_QUEUE_DDIR_ATTRS(write1),
1178 DEADLINE_QUEUE_DDIR_ATTRS(read2),
1179 DEADLINE_QUEUE_DDIR_ATTRS(write2),
1180 DEADLINE_NEXT_RQ_ATTR(read0),
1181 DEADLINE_NEXT_RQ_ATTR(write0),
1182 DEADLINE_NEXT_RQ_ATTR(read1),
1183 DEADLINE_NEXT_RQ_ATTR(write1),
1184 DEADLINE_NEXT_RQ_ATTR(read2),
1185 DEADLINE_NEXT_RQ_ATTR(write2),
Omar Sandovaldaaadb32017-05-04 00:31:34 -07001186 {"batching", 0400, deadline_batching_show},
1187 {"starved", 0400, deadline_starved_show},
Bart Van Assche07757582021-06-17 17:44:51 -07001188 {"async_depth", 0400, dd_async_depth_show},
Bart Van Asschec807ab52021-06-17 17:44:53 -07001189 {"dispatch0", 0400, .seq_ops = &deadline_dispatch0_seq_ops},
1190 {"dispatch1", 0400, .seq_ops = &deadline_dispatch1_seq_ops},
1191 {"dispatch2", 0400, .seq_ops = &deadline_dispatch2_seq_ops},
Bart Van Assche38ba64d2021-06-17 17:44:54 -07001192 {"owned_by_driver", 0400, dd_owned_by_driver_show},
1193 {"queued", 0400, dd_queued_show},
Omar Sandovaldaaadb32017-05-04 00:31:34 -07001194 {},
1195};
1196#undef DEADLINE_QUEUE_DDIR_ATTRS
1197#endif
1198
Jens Axboe945ffb62017-01-14 17:11:11 -07001199static struct elevator_type mq_deadline = {
Jens Axboef9cd4bf2018-11-01 16:41:41 -06001200 .ops = {
Bart Van Assche07757582021-06-17 17:44:51 -07001201 .depth_updated = dd_depth_updated,
1202 .limit_depth = dd_limit_depth,
Jens Axboe945ffb62017-01-14 17:11:11 -07001203 .insert_requests = dd_insert_requests,
Jens Axboec13660a2017-01-26 12:40:07 -07001204 .dispatch_request = dd_dispatch_request,
Damien Le Moalf3bc78d2018-02-28 09:35:29 -08001205 .prepare_request = dd_prepare_request,
1206 .finish_request = dd_finish_request,
Jens Axboe945ffb62017-01-14 17:11:11 -07001207 .next_request = elv_rb_latter_request,
1208 .former_request = elv_rb_former_request,
1209 .bio_merge = dd_bio_merge,
1210 .request_merge = dd_request_merge,
1211 .requests_merged = dd_merged_requests,
1212 .request_merged = dd_request_merged,
1213 .has_work = dd_has_work,
Bart Van Assche3e9a99e2021-06-17 17:44:48 -07001214 .init_sched = dd_init_sched,
1215 .exit_sched = dd_exit_sched,
Bart Van Assche07757582021-06-17 17:44:51 -07001216 .init_hctx = dd_init_hctx,
Jens Axboe945ffb62017-01-14 17:11:11 -07001217 },
1218
Omar Sandovaldaaadb32017-05-04 00:31:34 -07001219#ifdef CONFIG_BLK_DEBUG_FS
1220 .queue_debugfs_attrs = deadline_queue_debugfs_attrs,
1221#endif
Jens Axboe945ffb62017-01-14 17:11:11 -07001222 .elevator_attrs = deadline_attrs,
1223 .elevator_name = "mq-deadline",
Jens Axboe4d740bc2017-10-25 09:47:20 -06001224 .elevator_alias = "deadline",
Damien Le Moal68c43f12019-09-05 18:51:31 +09001225 .elevator_features = ELEVATOR_F_ZBD_SEQ_WRITE,
Jens Axboe945ffb62017-01-14 17:11:11 -07001226 .elevator_owner = THIS_MODULE,
1227};
Ben Hutchings7de967e2017-08-13 18:03:15 +01001228MODULE_ALIAS("mq-deadline-iosched");
Jens Axboe945ffb62017-01-14 17:11:11 -07001229
1230static int __init deadline_init(void)
1231{
Tejun Heo0f783992021-08-11 07:41:45 -10001232 return elv_register(&mq_deadline);
Jens Axboe945ffb62017-01-14 17:11:11 -07001233}
1234
1235static void __exit deadline_exit(void)
1236{
1237 elv_unregister(&mq_deadline);
1238}
1239
1240module_init(deadline_init);
1241module_exit(deadline_exit);
1242
Bart Van Asschec807ab52021-06-17 17:44:53 -07001243MODULE_AUTHOR("Jens Axboe, Damien Le Moal and Bart Van Assche");
Jens Axboe945ffb62017-01-14 17:11:11 -07001244MODULE_LICENSE("GPL");
1245MODULE_DESCRIPTION("MQ deadline IO scheduler");