blob: 6460abdb24267cc054350b44781a4d386f8e1edf [file] [log] [blame]
Greg Kroah-Hartmanb2441312017-11-01 15:07:57 +01001// SPDX-License-Identifier: GPL-2.0
Jens Axboed6d48192008-01-29 14:04:06 +01002/*
3 * Functions related to segment and merge handling
4 */
5#include <linux/kernel.h>
6#include <linux/module.h>
7#include <linux/bio.h>
8#include <linux/blkdev.h>
Christoph Hellwigfe45e632021-09-20 14:33:27 +02009#include <linux/blk-integrity.h>
Jens Axboed6d48192008-01-29 14:04:06 +010010#include <linux/scatterlist.h>
Christoph Hellwig82d981d2021-11-23 19:53:12 +010011#include <linux/part_stat.h>
Tejun Heo6b2b0452022-03-14 14:30:11 -100012#include <linux/blk-cgroup.h>
Jens Axboed6d48192008-01-29 14:04:06 +010013
Mike Krinkincda22642015-12-03 17:32:30 +030014#include <trace/events/block.h>
15
Jens Axboed6d48192008-01-29 14:04:06 +010016#include "blk.h"
Christoph Hellwig2aa77452021-11-23 19:53:08 +010017#include "blk-mq-sched.h"
Baolin Wang8e756372020-08-28 10:52:54 +080018#include "blk-rq-qos.h"
Jens Axboea7b36ee2021-10-05 09:11:56 -060019#include "blk-throttle.h"
Jens Axboed6d48192008-01-29 14:04:06 +010020
Christoph Hellwigff18d772021-10-12 18:18:03 +020021static inline void bio_get_first_bvec(struct bio *bio, struct bio_vec *bv)
22{
23 *bv = mp_bvec_iter_bvec(bio->bi_io_vec, bio->bi_iter);
24}
25
26static inline void bio_get_last_bvec(struct bio *bio, struct bio_vec *bv)
27{
28 struct bvec_iter iter = bio->bi_iter;
29 int idx;
30
31 bio_get_first_bvec(bio, bv);
32 if (bv->bv_len == bio->bi_iter.bi_size)
33 return; /* this bio only has a single bvec */
34
35 bio_advance_iter(bio, &iter, iter.bi_size);
36
37 if (!iter.bi_bvec_done)
38 idx = iter.bi_idx - 1;
39 else /* in the middle of bvec */
40 idx = iter.bi_idx;
41
42 *bv = bio->bi_io_vec[idx];
43
44 /*
45 * iter.bi_bvec_done records actual length of the last bvec
46 * if this bio ends in the middle of one io vector
47 */
48 if (iter.bi_bvec_done)
49 bv->bv_len = iter.bi_bvec_done;
50}
51
Christoph Hellwige9907002018-09-24 09:43:48 +020052static inline bool bio_will_gap(struct request_queue *q,
53 struct request *prev_rq, struct bio *prev, struct bio *next)
54{
55 struct bio_vec pb, nb;
56
57 if (!bio_has_data(prev) || !queue_virt_boundary(q))
58 return false;
59
60 /*
61 * Don't merge if the 1st bio starts with non-zero offset, otherwise it
62 * is quite difficult to respect the sg gap limit. We work hard to
63 * merge a huge number of small single bios in case of mkfs.
64 */
65 if (prev_rq)
66 bio_get_first_bvec(prev_rq->bio, &pb);
67 else
68 bio_get_first_bvec(prev, &pb);
Johannes Thumshirndf376b22018-11-07 14:58:14 +010069 if (pb.bv_offset & queue_virt_boundary(q))
Christoph Hellwige9907002018-09-24 09:43:48 +020070 return true;
71
72 /*
73 * We don't need to worry about the situation that the merged segment
74 * ends in unaligned virt boundary:
75 *
76 * - if 'pb' ends aligned, the merged segment ends aligned
77 * - if 'pb' ends unaligned, the next bio must include
78 * one single bvec of 'nb', otherwise the 'nb' can't
79 * merge with 'pb'
80 */
81 bio_get_last_bvec(prev, &pb);
82 bio_get_first_bvec(next, &nb);
Christoph Hellwig200a9af2019-05-21 09:01:42 +020083 if (biovec_phys_mergeable(q, &pb, &nb))
Christoph Hellwige9907002018-09-24 09:43:48 +020084 return false;
Christoph Hellwigc55ddd92022-07-27 12:23:00 -040085 return __bvec_gap_to_prev(&q->limits, &pb, nb.bv_offset);
Christoph Hellwige9907002018-09-24 09:43:48 +020086}
87
88static inline bool req_gap_back_merge(struct request *req, struct bio *bio)
89{
90 return bio_will_gap(req->q, req, req->biotail, bio);
91}
92
93static inline bool req_gap_front_merge(struct request *req, struct bio *bio)
94{
95 return bio_will_gap(req->q, NULL, bio, req->bio);
96}
97
Christoph Hellwigb6dc6192022-07-27 12:22:59 -040098/*
99 * The max size one bio can handle is UINT_MAX becasue bvec_iter.bi_size
100 * is defined as 'unsigned int', meantime it has to be aligned to with the
101 * logical block size, which is the minimum accepted unit by hardware.
102 */
Bart Van Asscheaa261f22022-10-25 12:17:54 -0700103static unsigned int bio_allowed_max_sectors(const struct queue_limits *lim)
Christoph Hellwigb6dc6192022-07-27 12:22:59 -0400104{
Christoph Hellwigc55ddd92022-07-27 12:23:00 -0400105 return round_down(UINT_MAX, lim->logical_block_size) >> SECTOR_SHIFT;
Christoph Hellwigb6dc6192022-07-27 12:22:59 -0400106}
107
Bart Van Asscheaa261f22022-10-25 12:17:54 -0700108static struct bio *bio_split_discard(struct bio *bio,
109 const struct queue_limits *lim,
110 unsigned *nsegs, struct bio_set *bs)
Kent Overstreet54efd502015-04-23 22:37:18 -0700111{
112 unsigned int max_discard_sectors, granularity;
Kent Overstreet54efd502015-04-23 22:37:18 -0700113 sector_t tmp;
114 unsigned split_sectors;
115
Ming Leibdced432015-10-20 23:13:52 +0800116 *nsegs = 1;
117
Kent Overstreet54efd502015-04-23 22:37:18 -0700118 /* Zero-sector (unknown) and one-sector granularities are the same. */
Christoph Hellwigc55ddd92022-07-27 12:23:00 -0400119 granularity = max(lim->discard_granularity >> 9, 1U);
Kent Overstreet54efd502015-04-23 22:37:18 -0700120
Christoph Hellwigc55ddd92022-07-27 12:23:00 -0400121 max_discard_sectors =
122 min(lim->max_discard_sectors, bio_allowed_max_sectors(lim));
Kent Overstreet54efd502015-04-23 22:37:18 -0700123 max_discard_sectors -= max_discard_sectors % granularity;
124
125 if (unlikely(!max_discard_sectors)) {
126 /* XXX: warn */
127 return NULL;
128 }
129
130 if (bio_sectors(bio) <= max_discard_sectors)
131 return NULL;
132
133 split_sectors = max_discard_sectors;
134
135 /*
136 * If the next starting sector would be misaligned, stop the discard at
137 * the previous aligned sector.
138 */
Christoph Hellwigc55ddd92022-07-27 12:23:00 -0400139 tmp = bio->bi_iter.bi_sector + split_sectors -
140 ((lim->discard_alignment >> 9) % granularity);
Kent Overstreet54efd502015-04-23 22:37:18 -0700141 tmp = sector_div(tmp, granularity);
142
143 if (split_sectors > tmp)
144 split_sectors -= tmp;
145
146 return bio_split(bio, split_sectors, GFP_NOIO, bs);
147}
148
Christoph Hellwig5a978062022-07-27 12:22:55 -0400149static struct bio *bio_split_write_zeroes(struct bio *bio,
Bart Van Asscheaa261f22022-10-25 12:17:54 -0700150 const struct queue_limits *lim,
151 unsigned *nsegs, struct bio_set *bs)
Christoph Hellwig885fa132017-04-05 19:21:01 +0200152{
Christoph Hellwigd665e122019-07-03 05:24:35 -0700153 *nsegs = 0;
Christoph Hellwigc55ddd92022-07-27 12:23:00 -0400154 if (!lim->max_write_zeroes_sectors)
Christoph Hellwig885fa132017-04-05 19:21:01 +0200155 return NULL;
Christoph Hellwigc55ddd92022-07-27 12:23:00 -0400156 if (bio_sectors(bio) <= lim->max_write_zeroes_sectors)
Christoph Hellwig885fa132017-04-05 19:21:01 +0200157 return NULL;
Christoph Hellwigc55ddd92022-07-27 12:23:00 -0400158 return bio_split(bio, lim->max_write_zeroes_sectors, GFP_NOIO, bs);
Christoph Hellwig885fa132017-04-05 19:21:01 +0200159}
160
Bart Van Assche9cc51692019-08-01 15:50:44 -0700161/*
162 * Return the maximum number of sectors from the start of a bio that may be
163 * submitted as a single request to a block device. If enough sectors remain,
164 * align the end to the physical block size. Otherwise align the end to the
165 * logical block size. This approach minimizes the number of non-aligned
166 * requests that are submitted to a block device if the start of a bio is not
167 * aligned to a physical block boundary.
168 */
Christoph Hellwig5a978062022-07-27 12:22:55 -0400169static inline unsigned get_max_io_size(struct bio *bio,
Bart Van Asscheaa261f22022-10-25 12:17:54 -0700170 const struct queue_limits *lim)
Ming Leid0e5fbb2016-01-23 08:05:33 +0800171{
Christoph Hellwigc55ddd92022-07-27 12:23:00 -0400172 unsigned pbs = lim->physical_block_size >> SECTOR_SHIFT;
173 unsigned lbs = lim->logical_block_size >> SECTOR_SHIFT;
174 unsigned max_sectors = lim->max_sectors, start, end;
Ming Leid0e5fbb2016-01-23 08:05:33 +0800175
Christoph Hellwigc55ddd92022-07-27 12:23:00 -0400176 if (lim->chunk_sectors) {
Christoph Hellwigefef7392022-06-14 11:09:33 +0200177 max_sectors = min(max_sectors,
178 blk_chunk_sectors_left(bio->bi_iter.bi_sector,
Christoph Hellwigc55ddd92022-07-27 12:23:00 -0400179 lim->chunk_sectors));
Christoph Hellwigefef7392022-06-14 11:09:33 +0200180 }
Ming Leid0e5fbb2016-01-23 08:05:33 +0800181
Christoph Hellwig84613be2022-06-14 11:09:32 +0200182 start = bio->bi_iter.bi_sector & (pbs - 1);
183 end = (start + max_sectors) & ~(pbs - 1);
184 if (end > start)
185 return end - start;
186 return max_sectors & ~(lbs - 1);
Ming Leid0e5fbb2016-01-23 08:05:33 +0800187}
188
Bart Van Assche95465312022-10-25 12:17:55 -0700189/**
190 * get_max_segment_size() - maximum number of bytes to add as a single segment
191 * @lim: Request queue limits.
192 * @start_page: See below.
193 * @offset: Offset from @start_page where to add a segment.
194 *
195 * Returns the maximum number of bytes that can be added as a single segment.
196 */
Bart Van Asscheaa261f22022-10-25 12:17:54 -0700197static inline unsigned get_max_segment_size(const struct queue_limits *lim,
Christoph Hellwigc55ddd92022-07-27 12:23:00 -0400198 struct page *start_page, unsigned long offset)
Ming Leidcebd752019-02-15 19:13:12 +0800199{
Christoph Hellwigc55ddd92022-07-27 12:23:00 -0400200 unsigned long mask = lim->seg_boundary_mask;
Ming Leidcebd752019-02-15 19:13:12 +0800201
Ming Lei429120f2019-12-29 10:32:30 +0800202 offset = mask & (page_to_phys(start_page) + offset);
Ming Lei4a2f704e2020-01-11 20:57:43 +0800203
204 /*
Bart Van Assche95465312022-10-25 12:17:55 -0700205 * Prevent an overflow if mask = ULONG_MAX and offset = 0 by adding 1
206 * after having calculated the minimum.
Ming Lei4a2f704e2020-01-11 20:57:43 +0800207 */
Bart Van Assche95465312022-10-25 12:17:55 -0700208 return min(mask - offset, (unsigned long)lim->max_segment_size - 1) + 1;
Ming Leidcebd752019-02-15 19:13:12 +0800209}
210
Bart Van Assche708b25b2019-08-01 15:50:43 -0700211/**
212 * bvec_split_segs - verify whether or not a bvec should be split in the middle
Christoph Hellwigc55ddd92022-07-27 12:23:00 -0400213 * @lim: [in] queue limits to split based on
Bart Van Assche708b25b2019-08-01 15:50:43 -0700214 * @bv: [in] bvec to examine
215 * @nsegs: [in,out] Number of segments in the bio being built. Incremented
216 * by the number of segments from @bv that may be appended to that
217 * bio without exceeding @max_segs
Keith Busch67927d22022-06-10 12:58:25 -0700218 * @bytes: [in,out] Number of bytes in the bio being built. Incremented
219 * by the number of bytes from @bv that may be appended to that
220 * bio without exceeding @max_bytes
Bart Van Assche708b25b2019-08-01 15:50:43 -0700221 * @max_segs: [in] upper bound for *@nsegs
Keith Busch67927d22022-06-10 12:58:25 -0700222 * @max_bytes: [in] upper bound for *@bytes
Bart Van Assche708b25b2019-08-01 15:50:43 -0700223 *
224 * When splitting a bio, it can happen that a bvec is encountered that is too
225 * big to fit in a single segment and hence that it has to be split in the
226 * middle. This function verifies whether or not that should happen. The value
227 * %true is returned if and only if appending the entire @bv to a bio with
228 * *@nsegs segments and *@sectors sectors would make that bio unacceptable for
229 * the block driver.
Ming Leidcebd752019-02-15 19:13:12 +0800230 */
Bart Van Asscheaa261f22022-10-25 12:17:54 -0700231static bool bvec_split_segs(const struct queue_limits *lim,
232 const struct bio_vec *bv, unsigned *nsegs, unsigned *bytes,
233 unsigned max_segs, unsigned max_bytes)
Ming Leidcebd752019-02-15 19:13:12 +0800234{
Keith Busch67927d22022-06-10 12:58:25 -0700235 unsigned max_len = min(max_bytes, UINT_MAX) - *bytes;
Bart Van Assche708b25b2019-08-01 15:50:43 -0700236 unsigned len = min(bv->bv_len, max_len);
Ming Leidcebd752019-02-15 19:13:12 +0800237 unsigned total_len = 0;
Bart Van Asscheff9811b2019-08-01 15:50:42 -0700238 unsigned seg_size = 0;
Ming Leidcebd752019-02-15 19:13:12 +0800239
Bart Van Asscheff9811b2019-08-01 15:50:42 -0700240 while (len && *nsegs < max_segs) {
Christoph Hellwigc55ddd92022-07-27 12:23:00 -0400241 seg_size = get_max_segment_size(lim, bv->bv_page,
Ming Lei429120f2019-12-29 10:32:30 +0800242 bv->bv_offset + total_len);
Ming Leidcebd752019-02-15 19:13:12 +0800243 seg_size = min(seg_size, len);
244
Bart Van Asscheff9811b2019-08-01 15:50:42 -0700245 (*nsegs)++;
Ming Leidcebd752019-02-15 19:13:12 +0800246 total_len += seg_size;
247 len -= seg_size;
248
Christoph Hellwigc55ddd92022-07-27 12:23:00 -0400249 if ((bv->bv_offset + total_len) & lim->virt_boundary_mask)
Ming Leidcebd752019-02-15 19:13:12 +0800250 break;
251 }
252
Keith Busch67927d22022-06-10 12:58:25 -0700253 *bytes += total_len;
Ming Leidcebd752019-02-15 19:13:12 +0800254
Bart Van Assche708b25b2019-08-01 15:50:43 -0700255 /* tell the caller to split the bvec if it is too big to fit */
256 return len > 0 || bv->bv_len > max_len;
Ming Leidcebd752019-02-15 19:13:12 +0800257}
258
Bart Van Asschedad77582019-08-01 15:50:41 -0700259/**
Christoph Hellwig5a978062022-07-27 12:22:55 -0400260 * bio_split_rw - split a bio in two bios
Bart Van Asschedad77582019-08-01 15:50:41 -0700261 * @bio: [in] bio to be split
Christoph Hellwigc55ddd92022-07-27 12:23:00 -0400262 * @lim: [in] queue limits to split based on
Bart Van Asschedad77582019-08-01 15:50:41 -0700263 * @segs: [out] number of segments in the bio with the first half of the sectors
Christoph Hellwig5a978062022-07-27 12:22:55 -0400264 * @bs: [in] bio set to allocate the clone from
Christoph Hellwiga85b3632022-07-27 12:22:58 -0400265 * @max_bytes: [in] maximum number of bytes per bio
Bart Van Asschedad77582019-08-01 15:50:41 -0700266 *
267 * Clone @bio, update the bi_iter of the clone to represent the first sectors
268 * of @bio and update @bio->bi_iter to represent the remaining sectors. The
269 * following is guaranteed for the cloned bio:
Christoph Hellwiga85b3632022-07-27 12:22:58 -0400270 * - That it has at most @max_bytes worth of data
Bart Van Asschedad77582019-08-01 15:50:41 -0700271 * - That it has at most queue_max_segments(@q) segments.
272 *
273 * Except for discard requests the cloned bio will point at the bi_io_vec of
274 * the original bio. It is the responsibility of the caller to ensure that the
275 * original bio is not freed before the cloned bio. The caller is also
276 * responsible for ensuring that @bs is only destroyed after processing of the
277 * split bio has finished.
278 */
Christoph Hellwigfd8f8ed2023-01-21 07:49:58 +0100279struct bio *bio_split_rw(struct bio *bio, const struct queue_limits *lim,
Christoph Hellwiga85b3632022-07-27 12:22:58 -0400280 unsigned *segs, struct bio_set *bs, unsigned max_bytes)
Kent Overstreet54efd502015-04-23 22:37:18 -0700281{
Jens Axboe5014c312015-09-02 16:46:02 -0600282 struct bio_vec bv, bvprv, *bvprvp = NULL;
Kent Overstreet54efd502015-04-23 22:37:18 -0700283 struct bvec_iter iter;
Keith Busch67927d22022-06-10 12:58:25 -0700284 unsigned nsegs = 0, bytes = 0;
Kent Overstreet54efd502015-04-23 22:37:18 -0700285
Ming Leidcebd752019-02-15 19:13:12 +0800286 bio_for_each_bvec(bv, bio, iter) {
Kent Overstreet54efd502015-04-23 22:37:18 -0700287 /*
288 * If the queue doesn't support SG gaps and adding this
289 * offset would create a gap, disallow it.
290 */
Christoph Hellwigc55ddd92022-07-27 12:23:00 -0400291 if (bvprvp && bvec_gap_to_prev(lim, bvprvp, bv.bv_offset))
Kent Overstreet54efd502015-04-23 22:37:18 -0700292 goto split;
293
Christoph Hellwigc55ddd92022-07-27 12:23:00 -0400294 if (nsegs < lim->max_segments &&
Keith Busch67927d22022-06-10 12:58:25 -0700295 bytes + bv.bv_len <= max_bytes &&
Bart Van Assche708b25b2019-08-01 15:50:43 -0700296 bv.bv_offset + bv.bv_len <= PAGE_SIZE) {
297 nsegs++;
Keith Busch67927d22022-06-10 12:58:25 -0700298 bytes += bv.bv_len;
Christoph Hellwigc55ddd92022-07-27 12:23:00 -0400299 } else {
300 if (bvec_split_segs(lim, &bv, &nsegs, &bytes,
301 lim->max_segments, max_bytes))
302 goto split;
Keith Busche36f6202016-01-12 15:08:39 -0700303 }
304
Kent Overstreet54efd502015-04-23 22:37:18 -0700305 bvprv = bv;
Ming Lei578270b2015-11-24 10:35:29 +0800306 bvprvp = &bvprv;
Kent Overstreet54efd502015-04-23 22:37:18 -0700307 }
308
Christoph Hellwigd6270652019-06-06 12:29:03 +0200309 *segs = nsegs;
310 return NULL;
Kent Overstreet54efd502015-04-23 22:37:18 -0700311split:
Jens Axboe9cea62b2023-01-04 08:52:06 -0700312 /*
313 * We can't sanely support splitting for a REQ_NOWAIT bio. End it
314 * with EAGAIN if splitting is required and return an error pointer.
315 */
316 if (bio->bi_opf & REQ_NOWAIT) {
317 bio->bi_status = BLK_STS_AGAIN;
318 bio_endio(bio);
319 return ERR_PTR(-EAGAIN);
320 }
321
Ming Leibdced432015-10-20 23:13:52 +0800322 *segs = nsegs;
Jeffle Xucc29e1b2020-11-26 17:18:52 +0800323
324 /*
Keith Busch67927d22022-06-10 12:58:25 -0700325 * Individual bvecs might not be logical block aligned. Round down the
326 * split size so that each bio is properly block size aligned, even if
327 * we do not use the full hardware limits.
328 */
Christoph Hellwigc55ddd92022-07-27 12:23:00 -0400329 bytes = ALIGN_DOWN(bytes, lim->logical_block_size);
Keith Busch67927d22022-06-10 12:58:25 -0700330
331 /*
Jeffle Xucc29e1b2020-11-26 17:18:52 +0800332 * Bio splitting may cause subtle trouble such as hang when doing sync
333 * iopoll in direct IO routine. Given performance gain of iopoll for
334 * big IO can be trival, disable iopoll when split needed.
335 */
Christoph Hellwig6ce913f2021-10-12 13:12:21 +0200336 bio_clear_polled(bio);
Keith Busch67927d22022-06-10 12:58:25 -0700337 return bio_split(bio, bytes >> SECTOR_SHIFT, GFP_NOIO, bs);
Kent Overstreet54efd502015-04-23 22:37:18 -0700338}
Christoph Hellwigfd8f8ed2023-01-21 07:49:58 +0100339EXPORT_SYMBOL_GPL(bio_split_rw);
Kent Overstreet54efd502015-04-23 22:37:18 -0700340
Bart Van Asschedad77582019-08-01 15:50:41 -0700341/**
Christoph Hellwig5a978062022-07-27 12:22:55 -0400342 * __bio_split_to_limits - split a bio to fit the queue limits
343 * @bio: bio to be split
Christoph Hellwigc55ddd92022-07-27 12:23:00 -0400344 * @lim: queue limits to split based on
Christoph Hellwig5a978062022-07-27 12:22:55 -0400345 * @nr_segs: returns the number of segments in the returned bio
Bart Van Asschedad77582019-08-01 15:50:41 -0700346 *
Christoph Hellwig5a978062022-07-27 12:22:55 -0400347 * Check if @bio needs splitting based on the queue limits, and if so split off
348 * a bio fitting the limits from the beginning of @bio and return it. @bio is
349 * shortened to the remainder and re-submitted.
350 *
351 * The split bio is allocated from @q->bio_split, which is provided by the
352 * block layer.
Bart Van Asschedad77582019-08-01 15:50:41 -0700353 */
Bart Van Asscheaa261f22022-10-25 12:17:54 -0700354struct bio *__bio_split_to_limits(struct bio *bio,
355 const struct queue_limits *lim,
356 unsigned int *nr_segs)
Kent Overstreet54efd502015-04-23 22:37:18 -0700357{
Christoph Hellwig46754bd2022-07-27 12:22:57 -0400358 struct bio_set *bs = &bio->bi_bdev->bd_disk->bio_split;
Christoph Hellwig5a978062022-07-27 12:22:55 -0400359 struct bio *split;
Kent Overstreet54efd502015-04-23 22:37:18 -0700360
Christoph Hellwig5a978062022-07-27 12:22:55 -0400361 switch (bio_op(bio)) {
Adrian Hunter7afafc82016-08-16 10:59:35 +0300362 case REQ_OP_DISCARD:
363 case REQ_OP_SECURE_ERASE:
Christoph Hellwigc55ddd92022-07-27 12:23:00 -0400364 split = bio_split_discard(bio, lim, nr_segs, bs);
Adrian Hunter7afafc82016-08-16 10:59:35 +0300365 break;
Chaitanya Kulkarnia6f07882016-11-30 12:28:59 -0800366 case REQ_OP_WRITE_ZEROES:
Christoph Hellwigc55ddd92022-07-27 12:23:00 -0400367 split = bio_split_write_zeroes(bio, lim, nr_segs, bs);
Chaitanya Kulkarnia6f07882016-11-30 12:28:59 -0800368 break;
Adrian Hunter7afafc82016-08-16 10:59:35 +0300369 default:
Christoph Hellwigc55ddd92022-07-27 12:23:00 -0400370 split = bio_split_rw(bio, lim, nr_segs, bs,
371 get_max_io_size(bio, lim) << SECTOR_SHIFT);
Jens Axboe613b1482023-01-04 08:51:19 -0700372 if (IS_ERR(split))
373 return NULL;
Adrian Hunter7afafc82016-08-16 10:59:35 +0300374 break;
375 }
Ming Leibdced432015-10-20 23:13:52 +0800376
Kent Overstreet54efd502015-04-23 22:37:18 -0700377 if (split) {
Jens Axboe613b1482023-01-04 08:51:19 -0700378 /* there isn't chance to merge the split bio */
Jens Axboe1eff9d32016-08-05 15:35:16 -0600379 split->bi_opf |= REQ_NOMERGE;
Ming Lei6ac45ae2015-10-20 23:13:53 +0800380
Muchun Song957a2b32022-07-13 22:02:26 +0800381 blkcg_bio_issue_init(split);
Christoph Hellwig5a978062022-07-27 12:22:55 -0400382 bio_chain(split, bio);
383 trace_block_split(split, bio->bi_iter.bi_sector);
384 submit_bio_noacct(bio);
385 return split;
Kent Overstreet54efd502015-04-23 22:37:18 -0700386 }
Christoph Hellwig5a978062022-07-27 12:22:55 -0400387 return bio;
Kent Overstreet54efd502015-04-23 22:37:18 -0700388}
Christoph Hellwig14ccb662019-06-06 12:29:01 +0200389
Bart Van Asschedad77582019-08-01 15:50:41 -0700390/**
Christoph Hellwig5a978062022-07-27 12:22:55 -0400391 * bio_split_to_limits - split a bio to fit the queue limits
392 * @bio: bio to be split
Bart Van Asschedad77582019-08-01 15:50:41 -0700393 *
Christoph Hellwig5a978062022-07-27 12:22:55 -0400394 * Check if @bio needs splitting based on the queue limits of @bio->bi_bdev, and
395 * if so split off a bio fitting the limits from the beginning of @bio and
396 * return it. @bio is shortened to the remainder and re-submitted.
397 *
398 * The split bio is allocated from @q->bio_split, which is provided by the
399 * block layer.
Bart Van Asschedad77582019-08-01 15:50:41 -0700400 */
Christoph Hellwig5a978062022-07-27 12:22:55 -0400401struct bio *bio_split_to_limits(struct bio *bio)
Christoph Hellwig14ccb662019-06-06 12:29:01 +0200402{
Bart Van Asscheaa261f22022-10-25 12:17:54 -0700403 const struct queue_limits *lim = &bdev_get_queue(bio->bi_bdev)->limits;
Christoph Hellwig14ccb662019-06-06 12:29:01 +0200404 unsigned int nr_segs;
405
Christoph Hellwigc55ddd92022-07-27 12:23:00 -0400406 if (bio_may_exceed_limits(bio, lim))
407 return __bio_split_to_limits(bio, lim, &nr_segs);
Christoph Hellwig5a978062022-07-27 12:22:55 -0400408 return bio;
Christoph Hellwig14ccb662019-06-06 12:29:01 +0200409}
Christoph Hellwig5a978062022-07-27 12:22:55 -0400410EXPORT_SYMBOL(bio_split_to_limits);
Kent Overstreet54efd502015-04-23 22:37:18 -0700411
Christoph Hellwige9cd19c2019-06-06 12:29:02 +0200412unsigned int blk_recalc_rq_segments(struct request *rq)
Jens Axboed6d48192008-01-29 14:04:06 +0100413{
Christoph Hellwig68698752019-05-21 09:01:43 +0200414 unsigned int nr_phys_segs = 0;
Keith Busch67927d22022-06-10 12:58:25 -0700415 unsigned int bytes = 0;
Christoph Hellwige9cd19c2019-06-06 12:29:02 +0200416 struct req_iterator iter;
Christoph Hellwig68698752019-05-21 09:01:43 +0200417 struct bio_vec bv;
Jens Axboed6d48192008-01-29 14:04:06 +0100418
Christoph Hellwige9cd19c2019-06-06 12:29:02 +0200419 if (!rq->bio)
Jens Axboe1e428072009-02-23 09:03:10 +0100420 return 0;
Jens Axboed6d48192008-01-29 14:04:06 +0100421
Christoph Hellwige9cd19c2019-06-06 12:29:02 +0200422 switch (bio_op(rq->bio)) {
Chaitanya Kulkarnia6f07882016-11-30 12:28:59 -0800423 case REQ_OP_DISCARD:
424 case REQ_OP_SECURE_ERASE:
David Jefferya958937f2021-02-11 09:38:07 -0500425 if (queue_max_discard_segments(rq->q) > 1) {
426 struct bio *bio = rq->bio;
427
428 for_each_bio(bio)
429 nr_phys_segs++;
430 return nr_phys_segs;
431 }
432 return 1;
Chaitanya Kulkarnia6f07882016-11-30 12:28:59 -0800433 case REQ_OP_WRITE_ZEROES:
Christoph Hellwigf9d03f92016-12-08 15:20:32 -0700434 return 0;
Bart Van Assche2d9b02b2022-07-14 11:06:30 -0700435 default:
436 break;
Chaitanya Kulkarnia6f07882016-11-30 12:28:59 -0800437 }
Kent Overstreet5cb88502014-02-07 13:53:46 -0700438
Christoph Hellwige9cd19c2019-06-06 12:29:02 +0200439 rq_for_each_bvec(bv, rq, iter)
Christoph Hellwigc55ddd92022-07-27 12:23:00 -0400440 bvec_split_segs(&rq->q->limits, &bv, &nr_phys_segs, &bytes,
Bart Van Assche708b25b2019-08-01 15:50:43 -0700441 UINT_MAX, UINT_MAX);
Jens Axboe1e428072009-02-23 09:03:10 +0100442 return nr_phys_segs;
443}
444
Ming Lei48d77272019-02-27 20:40:11 +0800445static inline struct scatterlist *blk_next_sg(struct scatterlist **sg,
Ming Lei862e5a52019-02-15 19:13:13 +0800446 struct scatterlist *sglist)
447{
448 if (!*sg)
449 return sglist;
450
451 /*
452 * If the driver previously mapped a shorter list, we could see a
453 * termination bit prematurely unless it fully inits the sg table
454 * on each mapping. We KNOW that there must be more entries here
455 * or the driver would be buggy, so force clear the termination bit
456 * to avoid doing a full sg_init_table() in drivers for each command.
457 */
458 sg_unmark_end(*sg);
459 return sg_next(*sg);
460}
461
462static unsigned blk_bvec_map_sg(struct request_queue *q,
463 struct bio_vec *bvec, struct scatterlist *sglist,
464 struct scatterlist **sg)
465{
466 unsigned nbytes = bvec->bv_len;
Christoph Hellwig8a96a0e2019-04-11 08:23:27 +0200467 unsigned nsegs = 0, total = 0;
Ming Lei862e5a52019-02-15 19:13:13 +0800468
469 while (nbytes > 0) {
Christoph Hellwig8a96a0e2019-04-11 08:23:27 +0200470 unsigned offset = bvec->bv_offset + total;
Christoph Hellwigc55ddd92022-07-27 12:23:00 -0400471 unsigned len = min(get_max_segment_size(&q->limits,
472 bvec->bv_page, offset), nbytes);
Christoph Hellwigf9f76872019-04-19 08:56:24 +0200473 struct page *page = bvec->bv_page;
474
475 /*
476 * Unfortunately a fair number of drivers barf on scatterlists
477 * that have an offset larger than PAGE_SIZE, despite other
478 * subsystems dealing with that invariant just fine. For now
479 * stick to the legacy format where we never present those from
480 * the block layer, but the code below should be removed once
481 * these offenders (mostly MMC/SD drivers) are fixed.
482 */
483 page += (offset >> PAGE_SHIFT);
484 offset &= ~PAGE_MASK;
Ming Lei862e5a52019-02-15 19:13:13 +0800485
486 *sg = blk_next_sg(sg, sglist);
Christoph Hellwigf9f76872019-04-19 08:56:24 +0200487 sg_set_page(*sg, page, len, offset);
Ming Lei862e5a52019-02-15 19:13:13 +0800488
Christoph Hellwig8a96a0e2019-04-11 08:23:27 +0200489 total += len;
490 nbytes -= len;
Ming Lei862e5a52019-02-15 19:13:13 +0800491 nsegs++;
492 }
493
494 return nsegs;
495}
496
Ming Lei16e3e412019-03-17 18:01:11 +0800497static inline int __blk_bvec_map_sg(struct bio_vec bv,
498 struct scatterlist *sglist, struct scatterlist **sg)
499{
500 *sg = blk_next_sg(sg, sglist);
501 sg_set_page(*sg, bv.bv_page, bv.bv_len, bv.bv_offset);
502 return 1;
503}
504
Ming Leif6970f82019-03-17 18:01:12 +0800505/* only try to merge bvecs into one sg if they are from two bios */
506static inline bool
507__blk_segment_map_sg_merge(struct request_queue *q, struct bio_vec *bvec,
508 struct bio_vec *bvprv, struct scatterlist **sg)
Asias He963ab9e52012-08-02 23:42:03 +0200509{
510
511 int nbytes = bvec->bv_len;
512
Ming Leif6970f82019-03-17 18:01:12 +0800513 if (!*sg)
514 return false;
Asias He963ab9e52012-08-02 23:42:03 +0200515
Ming Leif6970f82019-03-17 18:01:12 +0800516 if ((*sg)->length + nbytes > queue_max_segment_size(q))
517 return false;
518
519 if (!biovec_phys_mergeable(q, bvprv, bvec))
520 return false;
521
522 (*sg)->length += nbytes;
523
524 return true;
Asias He963ab9e52012-08-02 23:42:03 +0200525}
526
Kent Overstreet5cb88502014-02-07 13:53:46 -0700527static int __blk_bios_map_sg(struct request_queue *q, struct bio *bio,
528 struct scatterlist *sglist,
529 struct scatterlist **sg)
530{
Kees Cook3f649ab2020-06-03 13:09:38 -0700531 struct bio_vec bvec, bvprv = { NULL };
Kent Overstreet5cb88502014-02-07 13:53:46 -0700532 struct bvec_iter iter;
Christoph Hellwig38417462018-12-13 16:17:10 +0100533 int nsegs = 0;
Ming Leif6970f82019-03-17 18:01:12 +0800534 bool new_bio = false;
Kent Overstreet5cb88502014-02-07 13:53:46 -0700535
Ming Leif6970f82019-03-17 18:01:12 +0800536 for_each_bio(bio) {
537 bio_for_each_bvec(bvec, bio, iter) {
538 /*
539 * Only try to merge bvecs from two bios given we
540 * have done bio internal merge when adding pages
541 * to bio
542 */
543 if (new_bio &&
544 __blk_segment_map_sg_merge(q, &bvec, &bvprv, sg))
545 goto next_bvec;
546
547 if (bvec.bv_offset + bvec.bv_len <= PAGE_SIZE)
548 nsegs += __blk_bvec_map_sg(bvec, sglist, sg);
549 else
550 nsegs += blk_bvec_map_sg(q, &bvec, sglist, sg);
551 next_bvec:
552 new_bio = false;
553 }
Ming Leib21e11c2019-04-02 10:26:44 +0800554 if (likely(bio->bi_iter.bi_size)) {
555 bvprv = bvec;
556 new_bio = true;
557 }
Ming Leif6970f82019-03-17 18:01:12 +0800558 }
Kent Overstreet5cb88502014-02-07 13:53:46 -0700559
560 return nsegs;
561}
562
Jens Axboed6d48192008-01-29 14:04:06 +0100563/*
564 * map a request to scatterlist, return number of sg entries setup. Caller
565 * must make sure sg can hold rq->nr_phys_segments entries
566 */
Christoph Hellwig89de1502020-04-14 09:42:22 +0200567int __blk_rq_map_sg(struct request_queue *q, struct request *rq,
568 struct scatterlist *sglist, struct scatterlist **last_sg)
Jens Axboed6d48192008-01-29 14:04:06 +0100569{
Kent Overstreet5cb88502014-02-07 13:53:46 -0700570 int nsegs = 0;
Jens Axboed6d48192008-01-29 14:04:06 +0100571
Christoph Hellwigf9d03f92016-12-08 15:20:32 -0700572 if (rq->rq_flags & RQF_SPECIAL_PAYLOAD)
Christoph Hellwig89de1502020-04-14 09:42:22 +0200573 nsegs = __blk_bvec_map_sg(rq->special_vec, sglist, last_sg);
Christoph Hellwigf9d03f92016-12-08 15:20:32 -0700574 else if (rq->bio)
Christoph Hellwig89de1502020-04-14 09:42:22 +0200575 nsegs = __blk_bios_map_sg(q, rq->bio, sglist, last_sg);
FUJITA Tomonorif18573a2008-04-11 12:56:52 +0200576
Christoph Hellwig89de1502020-04-14 09:42:22 +0200577 if (*last_sg)
578 sg_mark_end(*last_sg);
Jens Axboed6d48192008-01-29 14:04:06 +0100579
Ming Lei12e57f52015-11-24 10:35:31 +0800580 /*
581 * Something must have been wrong if the figured number of
582 * segment is bigger than number of req's physical segments
583 */
Christoph Hellwigf9d03f92016-12-08 15:20:32 -0700584 WARN_ON(nsegs > blk_rq_nr_phys_segments(rq));
Ming Lei12e57f52015-11-24 10:35:31 +0800585
Jens Axboed6d48192008-01-29 14:04:06 +0100586 return nsegs;
587}
Christoph Hellwig89de1502020-04-14 09:42:22 +0200588EXPORT_SYMBOL(__blk_rq_map_sg);
Jens Axboed6d48192008-01-29 14:04:06 +0100589
Christoph Hellwigbadf7f62021-09-20 14:33:26 +0200590static inline unsigned int blk_rq_get_max_sectors(struct request *rq,
591 sector_t offset)
592{
593 struct request_queue *q = rq->q;
Christoph Hellwigc8875192022-06-14 11:09:31 +0200594 unsigned int max_sectors;
Christoph Hellwigbadf7f62021-09-20 14:33:26 +0200595
596 if (blk_rq_is_passthrough(rq))
597 return q->limits.max_hw_sectors;
598
Christoph Hellwigc8875192022-06-14 11:09:31 +0200599 max_sectors = blk_queue_get_max_sectors(q, req_op(rq));
Christoph Hellwigbadf7f62021-09-20 14:33:26 +0200600 if (!q->limits.chunk_sectors ||
601 req_op(rq) == REQ_OP_DISCARD ||
602 req_op(rq) == REQ_OP_SECURE_ERASE)
Christoph Hellwigc8875192022-06-14 11:09:31 +0200603 return max_sectors;
604 return min(max_sectors,
605 blk_chunk_sectors_left(offset, q->limits.chunk_sectors));
Christoph Hellwigbadf7f62021-09-20 14:33:26 +0200606}
607
Christoph Hellwig14ccb662019-06-06 12:29:01 +0200608static inline int ll_new_hw_segment(struct request *req, struct bio *bio,
609 unsigned int nr_phys_segs)
Jens Axboed6d48192008-01-29 14:04:06 +0100610{
Tejun Heo6b2b0452022-03-14 14:30:11 -1000611 if (!blk_cgroup_mergeable(req, bio))
612 goto no_merge;
613
Ming Lei2705dfb2021-06-28 10:33:12 +0800614 if (blk_integrity_merge_bio(req->q, req, bio) == false)
Martin K. Petersen13f05c82010-09-10 20:50:10 +0200615 goto no_merge;
616
Ming Lei2705dfb2021-06-28 10:33:12 +0800617 /* discard request merge won't add new segment */
618 if (req_op(req) == REQ_OP_DISCARD)
619 return 1;
620
621 if (req->nr_phys_segments + nr_phys_segs > blk_rq_get_max_segments(req))
Martin K. Petersen13f05c82010-09-10 20:50:10 +0200622 goto no_merge;
Jens Axboed6d48192008-01-29 14:04:06 +0100623
624 /*
625 * This will form the start of a new hw segment. Bump both
626 * counters.
627 */
Jens Axboed6d48192008-01-29 14:04:06 +0100628 req->nr_phys_segments += nr_phys_segs;
629 return 1;
Martin K. Petersen13f05c82010-09-10 20:50:10 +0200630
631no_merge:
Christoph Hellwig14ccb662019-06-06 12:29:01 +0200632 req_set_nomerge(req->q, req);
Martin K. Petersen13f05c82010-09-10 20:50:10 +0200633 return 0;
Jens Axboed6d48192008-01-29 14:04:06 +0100634}
635
Christoph Hellwig14ccb662019-06-06 12:29:01 +0200636int ll_back_merge_fn(struct request *req, struct bio *bio, unsigned int nr_segs)
Jens Axboed6d48192008-01-29 14:04:06 +0100637{
Jens Axboe5e7c4272015-09-03 19:28:20 +0300638 if (req_gap_back_merge(req, bio))
639 return 0;
Sagi Grimberg7f39add2015-09-11 09:03:04 -0600640 if (blk_integrity_rq(req) &&
641 integrity_req_gap_back_merge(req, bio))
642 return 0;
Satya Tangiralaa892c8d2020-05-14 00:37:18 +0000643 if (!bio_crypt_ctx_back_mergeable(req, bio))
644 return 0;
Martin K. Petersenf31dc1c2012-09-18 12:19:26 -0400645 if (blk_rq_sectors(req) + bio_sectors(bio) >
Damien Le Moal17007f32016-07-20 21:40:47 -0600646 blk_rq_get_max_sectors(req, blk_rq_pos(req))) {
Christoph Hellwig14ccb662019-06-06 12:29:01 +0200647 req_set_nomerge(req->q, req);
Jens Axboed6d48192008-01-29 14:04:06 +0100648 return 0;
649 }
Jens Axboed6d48192008-01-29 14:04:06 +0100650
Christoph Hellwig14ccb662019-06-06 12:29:01 +0200651 return ll_new_hw_segment(req, bio, nr_segs);
Jens Axboed6d48192008-01-29 14:04:06 +0100652}
653
Christoph Hellwigeda5cc92020-10-06 09:07:19 +0200654static int ll_front_merge_fn(struct request *req, struct bio *bio,
655 unsigned int nr_segs)
Jens Axboed6d48192008-01-29 14:04:06 +0100656{
Jens Axboe5e7c4272015-09-03 19:28:20 +0300657 if (req_gap_front_merge(req, bio))
658 return 0;
Sagi Grimberg7f39add2015-09-11 09:03:04 -0600659 if (blk_integrity_rq(req) &&
660 integrity_req_gap_front_merge(req, bio))
661 return 0;
Satya Tangiralaa892c8d2020-05-14 00:37:18 +0000662 if (!bio_crypt_ctx_front_mergeable(req, bio))
663 return 0;
Martin K. Petersenf31dc1c2012-09-18 12:19:26 -0400664 if (blk_rq_sectors(req) + bio_sectors(bio) >
Damien Le Moal17007f32016-07-20 21:40:47 -0600665 blk_rq_get_max_sectors(req, bio->bi_iter.bi_sector)) {
Christoph Hellwig14ccb662019-06-06 12:29:01 +0200666 req_set_nomerge(req->q, req);
Jens Axboed6d48192008-01-29 14:04:06 +0100667 return 0;
668 }
Jens Axboed6d48192008-01-29 14:04:06 +0100669
Christoph Hellwig14ccb662019-06-06 12:29:01 +0200670 return ll_new_hw_segment(req, bio, nr_segs);
Jens Axboed6d48192008-01-29 14:04:06 +0100671}
672
Jens Axboe445251d2018-02-01 14:01:02 -0700673static bool req_attempt_discard_merge(struct request_queue *q, struct request *req,
674 struct request *next)
675{
676 unsigned short segments = blk_rq_nr_discard_segments(req);
677
678 if (segments >= queue_max_discard_segments(q))
679 goto no_merge;
680 if (blk_rq_sectors(req) + bio_sectors(next->bio) >
681 blk_rq_get_max_sectors(req, blk_rq_pos(req)))
682 goto no_merge;
683
684 req->nr_phys_segments = segments + blk_rq_nr_discard_segments(next);
685 return true;
686no_merge:
687 req_set_nomerge(q, req);
688 return false;
689}
690
Jens Axboed6d48192008-01-29 14:04:06 +0100691static int ll_merge_requests_fn(struct request_queue *q, struct request *req,
692 struct request *next)
693{
694 int total_phys_segments;
Jens Axboed6d48192008-01-29 14:04:06 +0100695
Jens Axboe5e7c4272015-09-03 19:28:20 +0300696 if (req_gap_back_merge(req, next->bio))
Keith Busch854fbb92015-02-11 08:20:13 -0700697 return 0;
698
Jens Axboed6d48192008-01-29 14:04:06 +0100699 /*
700 * Will it become too large?
701 */
Martin K. Petersenf31dc1c2012-09-18 12:19:26 -0400702 if ((blk_rq_sectors(req) + blk_rq_sectors(next)) >
Damien Le Moal17007f32016-07-20 21:40:47 -0600703 blk_rq_get_max_sectors(req, blk_rq_pos(req)))
Jens Axboed6d48192008-01-29 14:04:06 +0100704 return 0;
705
706 total_phys_segments = req->nr_phys_segments + next->nr_phys_segments;
Ming Lei943b40c2020-08-17 17:52:39 +0800707 if (total_phys_segments > blk_rq_get_max_segments(req))
Jens Axboed6d48192008-01-29 14:04:06 +0100708 return 0;
709
Tejun Heo6b2b0452022-03-14 14:30:11 -1000710 if (!blk_cgroup_mergeable(req, next->bio))
711 return 0;
712
Martin K. Petersen4eaf99b2014-09-26 19:20:06 -0400713 if (blk_integrity_merge_rq(q, req, next) == false)
Martin K. Petersen13f05c82010-09-10 20:50:10 +0200714 return 0;
715
Satya Tangiralaa892c8d2020-05-14 00:37:18 +0000716 if (!bio_crypt_ctx_merge_rq(req, next))
717 return 0;
718
Jens Axboed6d48192008-01-29 14:04:06 +0100719 /* Merge is OK... */
720 req->nr_phys_segments = total_phys_segments;
Jens Axboed6d48192008-01-29 14:04:06 +0100721 return 1;
722}
723
Tejun Heo80a761f2009-07-03 17:48:17 +0900724/**
725 * blk_rq_set_mixed_merge - mark a request as mixed merge
726 * @rq: request to mark as mixed merge
727 *
728 * Description:
729 * @rq is about to be mixed merged. Make sure the attributes
730 * which can be mixed are set in each bio and mark @rq as mixed
731 * merged.
732 */
733void blk_rq_set_mixed_merge(struct request *rq)
734{
Bart Van Assche16458cf2022-07-14 11:06:32 -0700735 blk_opf_t ff = rq->cmd_flags & REQ_FAILFAST_MASK;
Tejun Heo80a761f2009-07-03 17:48:17 +0900736 struct bio *bio;
737
Christoph Hellwige8064022016-10-20 15:12:13 +0200738 if (rq->rq_flags & RQF_MIXED_MERGE)
Tejun Heo80a761f2009-07-03 17:48:17 +0900739 return;
740
741 /*
742 * @rq will no longer represent mixable attributes for all the
743 * contained bios. It will just track those of the first one.
744 * Distributes the attributs to each bio.
745 */
746 for (bio = rq->bio; bio; bio = bio->bi_next) {
Jens Axboe1eff9d32016-08-05 15:35:16 -0600747 WARN_ON_ONCE((bio->bi_opf & REQ_FAILFAST_MASK) &&
748 (bio->bi_opf & REQ_FAILFAST_MASK) != ff);
749 bio->bi_opf |= ff;
Tejun Heo80a761f2009-07-03 17:48:17 +0900750 }
Christoph Hellwige8064022016-10-20 15:12:13 +0200751 rq->rq_flags |= RQF_MIXED_MERGE;
Tejun Heo80a761f2009-07-03 17:48:17 +0900752}
753
Jens Axboef3ca7382023-02-16 19:39:15 -0700754static inline blk_opf_t bio_failfast(const struct bio *bio)
Ming Lei3ce6a112023-02-09 20:55:27 +0800755{
756 if (bio->bi_opf & REQ_RAHEAD)
757 return REQ_FAILFAST_MASK;
758
759 return bio->bi_opf & REQ_FAILFAST_MASK;
760}
761
762/*
763 * After we are marked as MIXED_MERGE, any new RA bio has to be updated
764 * as failfast, and request's failfast has to be updated in case of
765 * front merge.
766 */
767static inline void blk_update_mixed_merge(struct request *req,
768 struct bio *bio, bool front_merge)
769{
770 if (req->rq_flags & RQF_MIXED_MERGE) {
771 if (bio->bi_opf & REQ_RAHEAD)
772 bio->bi_opf |= REQ_FAILFAST_MASK;
773
774 if (front_merge) {
775 req->cmd_flags &= ~REQ_FAILFAST_MASK;
776 req->cmd_flags |= bio->bi_opf & REQ_FAILFAST_MASK;
777 }
778 }
779}
780
Konstantin Khlebnikovb9c54f52020-05-27 07:24:15 +0200781static void blk_account_io_merge_request(struct request *req)
Jerome Marchand26308ea2009-03-27 10:31:51 +0100782{
783 if (blk_do_io_stat(req)) {
Mike Snitzer112f1582018-12-06 11:41:18 -0500784 part_stat_lock();
Konstantin Khlebnikovb9c54f52020-05-27 07:24:15 +0200785 part_stat_inc(req->part, merges[op_stat_group(req_op(req))]);
Jerome Marchand26308ea2009-03-27 10:31:51 +0100786 part_stat_unlock();
787 }
788}
Konstantin Khlebnikovb9c54f52020-05-27 07:24:15 +0200789
Eric Biggerse96c0d82018-11-14 17:19:46 -0800790static enum elv_merge blk_try_req_merge(struct request *req,
791 struct request *next)
Jianchao Wang698404662018-10-27 19:52:14 +0800792{
793 if (blk_discard_mergable(req))
794 return ELEVATOR_DISCARD_MERGE;
795 else if (blk_rq_pos(req) + blk_rq_sectors(req) == blk_rq_pos(next))
796 return ELEVATOR_BACK_MERGE;
797
798 return ELEVATOR_NO_MERGE;
799}
Jerome Marchand26308ea2009-03-27 10:31:51 +0100800
Jens Axboed6d48192008-01-29 14:04:06 +0100801/*
Jens Axboeb973cb72017-02-02 08:54:40 -0700802 * For non-mq, this has to be called with the request spinlock acquired.
803 * For mq with scheduling, the appropriate queue wide lock should be held.
Jens Axboed6d48192008-01-29 14:04:06 +0100804 */
Jens Axboeb973cb72017-02-02 08:54:40 -0700805static struct request *attempt_merge(struct request_queue *q,
806 struct request *req, struct request *next)
Jens Axboed6d48192008-01-29 14:04:06 +0100807{
808 if (!rq_mergeable(req) || !rq_mergeable(next))
Jens Axboeb973cb72017-02-02 08:54:40 -0700809 return NULL;
Jens Axboed6d48192008-01-29 14:04:06 +0100810
Christoph Hellwig288dab82016-06-09 16:00:36 +0200811 if (req_op(req) != req_op(next))
Jens Axboeb973cb72017-02-02 08:54:40 -0700812 return NULL;
Martin K. Petersenf31dc1c2012-09-18 12:19:26 -0400813
Christoph Hellwig79bb1db2021-11-26 13:17:59 +0100814 if (rq_data_dir(req) != rq_data_dir(next))
Jens Axboeb973cb72017-02-02 08:54:40 -0700815 return NULL;
Jens Axboed6d48192008-01-29 14:04:06 +0100816
Damien Le Moal668ffc02018-11-20 10:52:37 +0900817 if (req->ioprio != next->ioprio)
818 return NULL;
819
Jens Axboecb6934f2017-06-27 09:22:02 -0600820 /*
Jens Axboed6d48192008-01-29 14:04:06 +0100821 * If we are allowed to merge, then append bio list
822 * from next to rq and release next. merge_requests_fn
823 * will have updated segment counts, update sector
Jens Axboe445251d2018-02-01 14:01:02 -0700824 * counts here. Handle DISCARDs separately, as they
825 * have separate settings.
Jens Axboed6d48192008-01-29 14:04:06 +0100826 */
Jianchao Wang698404662018-10-27 19:52:14 +0800827
828 switch (blk_try_req_merge(req, next)) {
829 case ELEVATOR_DISCARD_MERGE:
Jens Axboe445251d2018-02-01 14:01:02 -0700830 if (!req_attempt_discard_merge(q, req, next))
831 return NULL;
Jianchao Wang698404662018-10-27 19:52:14 +0800832 break;
833 case ELEVATOR_BACK_MERGE:
834 if (!ll_merge_requests_fn(q, req, next))
835 return NULL;
836 break;
837 default:
Jens Axboeb973cb72017-02-02 08:54:40 -0700838 return NULL;
Jianchao Wang698404662018-10-27 19:52:14 +0800839 }
Jens Axboed6d48192008-01-29 14:04:06 +0100840
841 /*
Tejun Heo80a761f2009-07-03 17:48:17 +0900842 * If failfast settings disagree or any of the two is already
843 * a mixed merge, mark both as mixed before proceeding. This
844 * makes sure that all involved bios have mixable attributes
845 * set properly.
846 */
Christoph Hellwige8064022016-10-20 15:12:13 +0200847 if (((req->rq_flags | next->rq_flags) & RQF_MIXED_MERGE) ||
Tejun Heo80a761f2009-07-03 17:48:17 +0900848 (req->cmd_flags & REQ_FAILFAST_MASK) !=
849 (next->cmd_flags & REQ_FAILFAST_MASK)) {
850 blk_rq_set_mixed_merge(req);
851 blk_rq_set_mixed_merge(next);
852 }
853
854 /*
Omar Sandoval522a7772018-05-09 02:08:53 -0700855 * At this point we have either done a back merge or front merge. We
856 * need the smaller start_time_ns of the merged requests to be the
857 * current request for accounting purposes.
Jens Axboed6d48192008-01-29 14:04:06 +0100858 */
Omar Sandoval522a7772018-05-09 02:08:53 -0700859 if (next->start_time_ns < req->start_time_ns)
860 req->start_time_ns = next->start_time_ns;
Jens Axboed6d48192008-01-29 14:04:06 +0100861
862 req->biotail->bi_next = next->bio;
863 req->biotail = next->biotail;
864
Tejun Heoa2dec7b2009-05-07 22:24:44 +0900865 req->__data_len += blk_rq_bytes(next);
Jens Axboed6d48192008-01-29 14:04:06 +0100866
Ming Lei2a5cf352018-12-01 00:38:18 +0800867 if (!blk_discard_mergable(req))
Jens Axboe445251d2018-02-01 14:01:02 -0700868 elv_merge_requests(q, req, next);
Jens Axboed6d48192008-01-29 14:04:06 +0100869
Jerome Marchand42dad762009-04-22 14:01:49 +0200870 /*
871 * 'next' is going away, so update stats accordingly
872 */
Konstantin Khlebnikovb9c54f52020-05-27 07:24:15 +0200873 blk_account_io_merge_request(next);
Jens Axboed6d48192008-01-29 14:04:06 +0100874
Christoph Hellwiga54895f2020-12-03 17:21:39 +0100875 trace_block_rq_merge(next);
Jan Karaf3bdc622020-06-17 15:58:23 +0200876
Jens Axboee4d750c2017-02-03 09:48:28 -0700877 /*
878 * ownership of bio passed from next to req, return 'next' for
879 * the caller to free
880 */
Boaz Harrosh1cd96c22009-03-24 12:35:07 +0100881 next->bio = NULL;
Jens Axboeb973cb72017-02-02 08:54:40 -0700882 return next;
Jens Axboed6d48192008-01-29 14:04:06 +0100883}
884
Christoph Hellwigeda5cc92020-10-06 09:07:19 +0200885static struct request *attempt_back_merge(struct request_queue *q,
886 struct request *rq)
Jens Axboed6d48192008-01-29 14:04:06 +0100887{
888 struct request *next = elv_latter_request(q, rq);
889
890 if (next)
891 return attempt_merge(q, rq, next);
892
Jens Axboeb973cb72017-02-02 08:54:40 -0700893 return NULL;
Jens Axboed6d48192008-01-29 14:04:06 +0100894}
895
Christoph Hellwigeda5cc92020-10-06 09:07:19 +0200896static struct request *attempt_front_merge(struct request_queue *q,
897 struct request *rq)
Jens Axboed6d48192008-01-29 14:04:06 +0100898{
899 struct request *prev = elv_former_request(q, rq);
900
901 if (prev)
902 return attempt_merge(q, prev, rq);
903
Jens Axboeb973cb72017-02-02 08:54:40 -0700904 return NULL;
Jens Axboed6d48192008-01-29 14:04:06 +0100905}
Jens Axboe5e84ea32011-03-21 10:14:27 +0100906
Jan Karafd2ef392021-06-23 11:36:34 +0200907/*
908 * Try to merge 'next' into 'rq'. Return true if the merge happened, false
909 * otherwise. The caller is responsible for freeing 'next' if the merge
910 * happened.
911 */
912bool blk_attempt_req_merge(struct request_queue *q, struct request *rq,
913 struct request *next)
Jens Axboe5e84ea32011-03-21 10:14:27 +0100914{
Jan Karafd2ef392021-06-23 11:36:34 +0200915 return attempt_merge(q, rq, next);
Jens Axboe5e84ea32011-03-21 10:14:27 +0100916}
Tejun Heo050c8ea2012-02-08 09:19:38 +0100917
918bool blk_rq_merge_ok(struct request *rq, struct bio *bio)
919{
Martin K. Petersene2a60da2012-09-18 12:19:25 -0400920 if (!rq_mergeable(rq) || !bio_mergeable(bio))
Tejun Heo050c8ea2012-02-08 09:19:38 +0100921 return false;
922
Christoph Hellwig288dab82016-06-09 16:00:36 +0200923 if (req_op(rq) != bio_op(bio))
Martin K. Petersenf31dc1c2012-09-18 12:19:26 -0400924 return false;
925
Tejun Heo050c8ea2012-02-08 09:19:38 +0100926 /* different data direction or already started, don't merge */
927 if (bio_data_dir(bio) != rq_data_dir(rq))
928 return false;
929
Tejun Heo6b2b0452022-03-14 14:30:11 -1000930 /* don't merge across cgroup boundaries */
931 if (!blk_cgroup_mergeable(rq, bio))
932 return false;
933
Tejun Heo050c8ea2012-02-08 09:19:38 +0100934 /* only merge integrity protected bio into ditto rq */
Martin K. Petersen4eaf99b2014-09-26 19:20:06 -0400935 if (blk_integrity_merge_bio(rq->q, rq, bio) == false)
Tejun Heo050c8ea2012-02-08 09:19:38 +0100936 return false;
937
Satya Tangiralaa892c8d2020-05-14 00:37:18 +0000938 /* Only merge if the crypt contexts are compatible */
939 if (!bio_crypt_rq_ctx_compatible(rq, bio))
940 return false;
941
Damien Le Moal668ffc02018-11-20 10:52:37 +0900942 if (rq->ioprio != bio_prio(bio))
943 return false;
944
Tejun Heo050c8ea2012-02-08 09:19:38 +0100945 return true;
946}
947
Christoph Hellwig34fe7c02017-02-08 14:46:48 +0100948enum elv_merge blk_try_merge(struct request *rq, struct bio *bio)
Tejun Heo050c8ea2012-02-08 09:19:38 +0100949{
Jianchao Wang698404662018-10-27 19:52:14 +0800950 if (blk_discard_mergable(rq))
Christoph Hellwig1e739732017-02-08 14:46:49 +0100951 return ELEVATOR_DISCARD_MERGE;
952 else if (blk_rq_pos(rq) + blk_rq_sectors(rq) == bio->bi_iter.bi_sector)
Tejun Heo050c8ea2012-02-08 09:19:38 +0100953 return ELEVATOR_BACK_MERGE;
Kent Overstreet4f024f32013-10-11 15:44:27 -0700954 else if (blk_rq_pos(rq) - bio_sectors(bio) == bio->bi_iter.bi_sector)
Tejun Heo050c8ea2012-02-08 09:19:38 +0100955 return ELEVATOR_FRONT_MERGE;
956 return ELEVATOR_NO_MERGE;
957}
Baolin Wang8e756372020-08-28 10:52:54 +0800958
959static void blk_account_io_merge_bio(struct request *req)
960{
961 if (!blk_do_io_stat(req))
962 return;
963
964 part_stat_lock();
965 part_stat_inc(req->part, merges[op_stat_group(req_op(req))]);
966 part_stat_unlock();
967}
968
Christoph Hellwigeda5cc92020-10-06 09:07:19 +0200969enum bio_merge_status {
970 BIO_MERGE_OK,
971 BIO_MERGE_NONE,
972 BIO_MERGE_FAILED,
973};
974
975static enum bio_merge_status bio_attempt_back_merge(struct request *req,
976 struct bio *bio, unsigned int nr_segs)
Baolin Wang8e756372020-08-28 10:52:54 +0800977{
Ming Lei3ce6a112023-02-09 20:55:27 +0800978 const blk_opf_t ff = bio_failfast(bio);
Baolin Wang8e756372020-08-28 10:52:54 +0800979
980 if (!ll_back_merge_fn(req, bio, nr_segs))
Baolin Wang7d7ca7c2020-08-28 10:52:56 +0800981 return BIO_MERGE_FAILED;
Baolin Wang8e756372020-08-28 10:52:54 +0800982
Christoph Hellwige8a676d2020-12-03 17:21:36 +0100983 trace_block_bio_backmerge(bio);
Baolin Wang8e756372020-08-28 10:52:54 +0800984 rq_qos_merge(req->q, req, bio);
985
986 if ((req->cmd_flags & REQ_FAILFAST_MASK) != ff)
987 blk_rq_set_mixed_merge(req);
988
Ming Lei3ce6a112023-02-09 20:55:27 +0800989 blk_update_mixed_merge(req, bio, false);
990
Baolin Wang8e756372020-08-28 10:52:54 +0800991 req->biotail->bi_next = bio;
992 req->biotail = bio;
993 req->__data_len += bio->bi_iter.bi_size;
994
995 bio_crypt_free_ctx(bio);
996
997 blk_account_io_merge_bio(req);
Baolin Wang7d7ca7c2020-08-28 10:52:56 +0800998 return BIO_MERGE_OK;
Baolin Wang8e756372020-08-28 10:52:54 +0800999}
1000
Christoph Hellwigeda5cc92020-10-06 09:07:19 +02001001static enum bio_merge_status bio_attempt_front_merge(struct request *req,
1002 struct bio *bio, unsigned int nr_segs)
Baolin Wang8e756372020-08-28 10:52:54 +08001003{
Ming Lei3ce6a112023-02-09 20:55:27 +08001004 const blk_opf_t ff = bio_failfast(bio);
Baolin Wang8e756372020-08-28 10:52:54 +08001005
1006 if (!ll_front_merge_fn(req, bio, nr_segs))
Baolin Wang7d7ca7c2020-08-28 10:52:56 +08001007 return BIO_MERGE_FAILED;
Baolin Wang8e756372020-08-28 10:52:54 +08001008
Christoph Hellwige8a676d2020-12-03 17:21:36 +01001009 trace_block_bio_frontmerge(bio);
Baolin Wang8e756372020-08-28 10:52:54 +08001010 rq_qos_merge(req->q, req, bio);
1011
1012 if ((req->cmd_flags & REQ_FAILFAST_MASK) != ff)
1013 blk_rq_set_mixed_merge(req);
1014
Ming Lei3ce6a112023-02-09 20:55:27 +08001015 blk_update_mixed_merge(req, bio, true);
1016
Baolin Wang8e756372020-08-28 10:52:54 +08001017 bio->bi_next = req->bio;
1018 req->bio = bio;
1019
1020 req->__sector = bio->bi_iter.bi_sector;
1021 req->__data_len += bio->bi_iter.bi_size;
1022
1023 bio_crypt_do_front_merge(req, bio);
1024
1025 blk_account_io_merge_bio(req);
Baolin Wang7d7ca7c2020-08-28 10:52:56 +08001026 return BIO_MERGE_OK;
Baolin Wang8e756372020-08-28 10:52:54 +08001027}
1028
Christoph Hellwigeda5cc92020-10-06 09:07:19 +02001029static enum bio_merge_status bio_attempt_discard_merge(struct request_queue *q,
1030 struct request *req, struct bio *bio)
Baolin Wang8e756372020-08-28 10:52:54 +08001031{
1032 unsigned short segments = blk_rq_nr_discard_segments(req);
1033
1034 if (segments >= queue_max_discard_segments(q))
1035 goto no_merge;
1036 if (blk_rq_sectors(req) + bio_sectors(bio) >
1037 blk_rq_get_max_sectors(req, blk_rq_pos(req)))
1038 goto no_merge;
1039
1040 rq_qos_merge(q, req, bio);
1041
1042 req->biotail->bi_next = bio;
1043 req->biotail = bio;
1044 req->__data_len += bio->bi_iter.bi_size;
1045 req->nr_phys_segments = segments + 1;
1046
1047 blk_account_io_merge_bio(req);
Baolin Wang7d7ca7c2020-08-28 10:52:56 +08001048 return BIO_MERGE_OK;
Baolin Wang8e756372020-08-28 10:52:54 +08001049no_merge:
1050 req_set_nomerge(q, req);
Baolin Wang7d7ca7c2020-08-28 10:52:56 +08001051 return BIO_MERGE_FAILED;
1052}
1053
1054static enum bio_merge_status blk_attempt_bio_merge(struct request_queue *q,
1055 struct request *rq,
1056 struct bio *bio,
1057 unsigned int nr_segs,
1058 bool sched_allow_merge)
1059{
1060 if (!blk_rq_merge_ok(rq, bio))
1061 return BIO_MERGE_NONE;
1062
1063 switch (blk_try_merge(rq, bio)) {
1064 case ELEVATOR_BACK_MERGE:
Baolin Wang265600b2020-09-02 09:45:25 +08001065 if (!sched_allow_merge || blk_mq_sched_allow_merge(q, rq, bio))
Baolin Wang7d7ca7c2020-08-28 10:52:56 +08001066 return bio_attempt_back_merge(rq, bio, nr_segs);
1067 break;
1068 case ELEVATOR_FRONT_MERGE:
Baolin Wang265600b2020-09-02 09:45:25 +08001069 if (!sched_allow_merge || blk_mq_sched_allow_merge(q, rq, bio))
Baolin Wang7d7ca7c2020-08-28 10:52:56 +08001070 return bio_attempt_front_merge(rq, bio, nr_segs);
1071 break;
1072 case ELEVATOR_DISCARD_MERGE:
1073 return bio_attempt_discard_merge(q, rq, bio);
1074 default:
1075 return BIO_MERGE_NONE;
1076 }
1077
1078 return BIO_MERGE_FAILED;
Baolin Wang8e756372020-08-28 10:52:54 +08001079}
1080
1081/**
1082 * blk_attempt_plug_merge - try to merge with %current's plugged list
1083 * @q: request_queue new bio is being queued at
1084 * @bio: new bio being queued
1085 * @nr_segs: number of segments in @bio
Jens Axboe87c037d2021-10-18 10:07:09 -06001086 * from the passed in @q already in the plug list
Baolin Wang8e756372020-08-28 10:52:54 +08001087 *
Jens Axboed38a9c02021-10-14 07:24:07 -06001088 * Determine whether @bio being queued on @q can be merged with the previous
1089 * request on %current's plugged list. Returns %true if merge was successful,
Baolin Wang8e756372020-08-28 10:52:54 +08001090 * otherwise %false.
1091 *
1092 * Plugging coalesces IOs from the same issuer for the same purpose without
1093 * going through @q->queue_lock. As such it's more of an issuing mechanism
1094 * than scheduling, and the request, while may have elvpriv data, is not
1095 * added on the elevator at this point. In addition, we don't have
1096 * reliable access to the elevator outside queue lock. Only check basic
1097 * merging parameters without querying the elevator.
1098 *
1099 * Caller must ensure !blk_queue_nomerges(q) beforehand.
1100 */
1101bool blk_attempt_plug_merge(struct request_queue *q, struct bio *bio,
Christoph Hellwig0c5bcc92021-11-23 17:04:41 +01001102 unsigned int nr_segs)
Baolin Wang8e756372020-08-28 10:52:54 +08001103{
1104 struct blk_plug *plug;
1105 struct request *rq;
Baolin Wang8e756372020-08-28 10:52:54 +08001106
Christoph Hellwig6deacb32022-07-06 09:03:38 +02001107 plug = blk_mq_plug(bio);
Jens Axboebc490f82021-10-18 10:12:12 -06001108 if (!plug || rq_list_empty(plug->mq_list))
Baolin Wang8e756372020-08-28 10:52:54 +08001109 return false;
1110
Jens Axboe5b205072022-03-11 10:21:43 -07001111 rq_list_for_each(&plug->mq_list, rq) {
1112 if (rq->q == q) {
1113 if (blk_attempt_bio_merge(q, rq, bio, nr_segs, false) ==
1114 BIO_MERGE_OK)
1115 return true;
1116 break;
1117 }
1118
1119 /*
1120 * Only keep iterating plug list for merges if we have multiple
1121 * queues
1122 */
1123 if (!plug->multiple_queues)
1124 break;
Baolin Wang8e756372020-08-28 10:52:54 +08001125 }
Baolin Wang8e756372020-08-28 10:52:54 +08001126 return false;
1127}
Baolin Wangbdc6a2872020-08-28 10:52:55 +08001128
1129/*
1130 * Iterate list of requests and see if we can merge this bio with any
1131 * of them.
1132 */
1133bool blk_bio_list_merge(struct request_queue *q, struct list_head *list,
1134 struct bio *bio, unsigned int nr_segs)
1135{
1136 struct request *rq;
1137 int checked = 8;
1138
1139 list_for_each_entry_reverse(rq, list, queuelist) {
Baolin Wangbdc6a2872020-08-28 10:52:55 +08001140 if (!checked--)
1141 break;
1142
Baolin Wang7d7ca7c2020-08-28 10:52:56 +08001143 switch (blk_attempt_bio_merge(q, rq, bio, nr_segs, true)) {
1144 case BIO_MERGE_NONE:
Baolin Wangbdc6a2872020-08-28 10:52:55 +08001145 continue;
Baolin Wang7d7ca7c2020-08-28 10:52:56 +08001146 case BIO_MERGE_OK:
1147 return true;
1148 case BIO_MERGE_FAILED:
1149 return false;
Baolin Wangbdc6a2872020-08-28 10:52:55 +08001150 }
1151
Baolin Wangbdc6a2872020-08-28 10:52:55 +08001152 }
1153
1154 return false;
1155}
1156EXPORT_SYMBOL_GPL(blk_bio_list_merge);
Christoph Hellwigeda5cc92020-10-06 09:07:19 +02001157
1158bool blk_mq_sched_try_merge(struct request_queue *q, struct bio *bio,
1159 unsigned int nr_segs, struct request **merged_request)
1160{
1161 struct request *rq;
1162
1163 switch (elv_merge(q, &rq, bio)) {
1164 case ELEVATOR_BACK_MERGE:
1165 if (!blk_mq_sched_allow_merge(q, rq, bio))
1166 return false;
1167 if (bio_attempt_back_merge(rq, bio, nr_segs) != BIO_MERGE_OK)
1168 return false;
1169 *merged_request = attempt_back_merge(q, rq);
1170 if (!*merged_request)
1171 elv_merged_request(q, rq, ELEVATOR_BACK_MERGE);
1172 return true;
1173 case ELEVATOR_FRONT_MERGE:
1174 if (!blk_mq_sched_allow_merge(q, rq, bio))
1175 return false;
1176 if (bio_attempt_front_merge(rq, bio, nr_segs) != BIO_MERGE_OK)
1177 return false;
1178 *merged_request = attempt_front_merge(q, rq);
1179 if (!*merged_request)
1180 elv_merged_request(q, rq, ELEVATOR_FRONT_MERGE);
1181 return true;
1182 case ELEVATOR_DISCARD_MERGE:
1183 return bio_attempt_discard_merge(q, rq, bio) == BIO_MERGE_OK;
1184 default:
1185 return false;
1186 }
1187}
1188EXPORT_SYMBOL_GPL(blk_mq_sched_try_merge);