Greg Kroah-Hartman | b244131 | 2017-11-01 15:07:57 +0100 | [diff] [blame] | 1 | // SPDX-License-Identifier: GPL-2.0 |
Jens Axboe | d6d4819 | 2008-01-29 14:04:06 +0100 | [diff] [blame] | 2 | /* |
| 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> |
| 9 | #include <linux/scatterlist.h> |
| 10 | |
Mike Krinkin | cda2264 | 2015-12-03 17:32:30 +0300 | [diff] [blame] | 11 | #include <trace/events/block.h> |
| 12 | |
Jens Axboe | d6d4819 | 2008-01-29 14:04:06 +0100 | [diff] [blame] | 13 | #include "blk.h" |
| 14 | |
Christoph Hellwig | e990700 | 2018-09-24 09:43:48 +0200 | [diff] [blame] | 15 | static inline bool bio_will_gap(struct request_queue *q, |
| 16 | struct request *prev_rq, struct bio *prev, struct bio *next) |
| 17 | { |
| 18 | struct bio_vec pb, nb; |
| 19 | |
| 20 | if (!bio_has_data(prev) || !queue_virt_boundary(q)) |
| 21 | return false; |
| 22 | |
| 23 | /* |
| 24 | * Don't merge if the 1st bio starts with non-zero offset, otherwise it |
| 25 | * is quite difficult to respect the sg gap limit. We work hard to |
| 26 | * merge a huge number of small single bios in case of mkfs. |
| 27 | */ |
| 28 | if (prev_rq) |
| 29 | bio_get_first_bvec(prev_rq->bio, &pb); |
| 30 | else |
| 31 | bio_get_first_bvec(prev, &pb); |
Johannes Thumshirn | df376b2 | 2018-11-07 14:58:14 +0100 | [diff] [blame] | 32 | if (pb.bv_offset & queue_virt_boundary(q)) |
Christoph Hellwig | e990700 | 2018-09-24 09:43:48 +0200 | [diff] [blame] | 33 | return true; |
| 34 | |
| 35 | /* |
| 36 | * We don't need to worry about the situation that the merged segment |
| 37 | * ends in unaligned virt boundary: |
| 38 | * |
| 39 | * - if 'pb' ends aligned, the merged segment ends aligned |
| 40 | * - if 'pb' ends unaligned, the next bio must include |
| 41 | * one single bvec of 'nb', otherwise the 'nb' can't |
| 42 | * merge with 'pb' |
| 43 | */ |
| 44 | bio_get_last_bvec(prev, &pb); |
| 45 | bio_get_first_bvec(next, &nb); |
Christoph Hellwig | 200a9af | 2019-05-21 09:01:42 +0200 | [diff] [blame] | 46 | if (biovec_phys_mergeable(q, &pb, &nb)) |
Christoph Hellwig | e990700 | 2018-09-24 09:43:48 +0200 | [diff] [blame] | 47 | return false; |
| 48 | return __bvec_gap_to_prev(q, &pb, nb.bv_offset); |
| 49 | } |
| 50 | |
| 51 | static inline bool req_gap_back_merge(struct request *req, struct bio *bio) |
| 52 | { |
| 53 | return bio_will_gap(req->q, req, req->biotail, bio); |
| 54 | } |
| 55 | |
| 56 | static inline bool req_gap_front_merge(struct request *req, struct bio *bio) |
| 57 | { |
| 58 | return bio_will_gap(req->q, NULL, bio, req->bio); |
| 59 | } |
| 60 | |
Kent Overstreet | 54efd50 | 2015-04-23 22:37:18 -0700 | [diff] [blame] | 61 | static struct bio *blk_bio_discard_split(struct request_queue *q, |
| 62 | struct bio *bio, |
Ming Lei | bdced43 | 2015-10-20 23:13:52 +0800 | [diff] [blame] | 63 | struct bio_set *bs, |
| 64 | unsigned *nsegs) |
Kent Overstreet | 54efd50 | 2015-04-23 22:37:18 -0700 | [diff] [blame] | 65 | { |
| 66 | unsigned int max_discard_sectors, granularity; |
| 67 | int alignment; |
| 68 | sector_t tmp; |
| 69 | unsigned split_sectors; |
| 70 | |
Ming Lei | bdced43 | 2015-10-20 23:13:52 +0800 | [diff] [blame] | 71 | *nsegs = 1; |
| 72 | |
Kent Overstreet | 54efd50 | 2015-04-23 22:37:18 -0700 | [diff] [blame] | 73 | /* Zero-sector (unknown) and one-sector granularities are the same. */ |
| 74 | granularity = max(q->limits.discard_granularity >> 9, 1U); |
| 75 | |
Ming Lei | 1adfc5e | 2018-10-29 20:57:17 +0800 | [diff] [blame] | 76 | max_discard_sectors = min(q->limits.max_discard_sectors, |
| 77 | bio_allowed_max_sectors(q)); |
Kent Overstreet | 54efd50 | 2015-04-23 22:37:18 -0700 | [diff] [blame] | 78 | max_discard_sectors -= max_discard_sectors % granularity; |
| 79 | |
| 80 | if (unlikely(!max_discard_sectors)) { |
| 81 | /* XXX: warn */ |
| 82 | return NULL; |
| 83 | } |
| 84 | |
| 85 | if (bio_sectors(bio) <= max_discard_sectors) |
| 86 | return NULL; |
| 87 | |
| 88 | split_sectors = max_discard_sectors; |
| 89 | |
| 90 | /* |
| 91 | * If the next starting sector would be misaligned, stop the discard at |
| 92 | * the previous aligned sector. |
| 93 | */ |
| 94 | alignment = (q->limits.discard_alignment >> 9) % granularity; |
| 95 | |
| 96 | tmp = bio->bi_iter.bi_sector + split_sectors - alignment; |
| 97 | tmp = sector_div(tmp, granularity); |
| 98 | |
| 99 | if (split_sectors > tmp) |
| 100 | split_sectors -= tmp; |
| 101 | |
| 102 | return bio_split(bio, split_sectors, GFP_NOIO, bs); |
| 103 | } |
| 104 | |
Christoph Hellwig | 885fa13 | 2017-04-05 19:21:01 +0200 | [diff] [blame] | 105 | static struct bio *blk_bio_write_zeroes_split(struct request_queue *q, |
| 106 | struct bio *bio, struct bio_set *bs, unsigned *nsegs) |
| 107 | { |
| 108 | *nsegs = 1; |
| 109 | |
| 110 | if (!q->limits.max_write_zeroes_sectors) |
| 111 | return NULL; |
| 112 | |
| 113 | if (bio_sectors(bio) <= q->limits.max_write_zeroes_sectors) |
| 114 | return NULL; |
| 115 | |
| 116 | return bio_split(bio, q->limits.max_write_zeroes_sectors, GFP_NOIO, bs); |
| 117 | } |
| 118 | |
Kent Overstreet | 54efd50 | 2015-04-23 22:37:18 -0700 | [diff] [blame] | 119 | static struct bio *blk_bio_write_same_split(struct request_queue *q, |
| 120 | struct bio *bio, |
Ming Lei | bdced43 | 2015-10-20 23:13:52 +0800 | [diff] [blame] | 121 | struct bio_set *bs, |
| 122 | unsigned *nsegs) |
Kent Overstreet | 54efd50 | 2015-04-23 22:37:18 -0700 | [diff] [blame] | 123 | { |
Ming Lei | bdced43 | 2015-10-20 23:13:52 +0800 | [diff] [blame] | 124 | *nsegs = 1; |
| 125 | |
Kent Overstreet | 54efd50 | 2015-04-23 22:37:18 -0700 | [diff] [blame] | 126 | if (!q->limits.max_write_same_sectors) |
| 127 | return NULL; |
| 128 | |
| 129 | if (bio_sectors(bio) <= q->limits.max_write_same_sectors) |
| 130 | return NULL; |
| 131 | |
| 132 | return bio_split(bio, q->limits.max_write_same_sectors, GFP_NOIO, bs); |
| 133 | } |
| 134 | |
Ming Lei | d0e5fbb | 2016-01-23 08:05:33 +0800 | [diff] [blame] | 135 | static inline unsigned get_max_io_size(struct request_queue *q, |
| 136 | struct bio *bio) |
| 137 | { |
| 138 | unsigned sectors = blk_max_size_offset(q, bio->bi_iter.bi_sector); |
| 139 | unsigned mask = queue_logical_block_size(q) - 1; |
| 140 | |
| 141 | /* aligned to logical block size */ |
| 142 | sectors &= ~(mask >> 9); |
| 143 | |
| 144 | return sectors; |
| 145 | } |
| 146 | |
Ming Lei | dcebd75 | 2019-02-15 19:13:12 +0800 | [diff] [blame] | 147 | static unsigned get_max_segment_size(struct request_queue *q, |
| 148 | unsigned offset) |
| 149 | { |
| 150 | unsigned long mask = queue_segment_boundary(q); |
| 151 | |
| 152 | /* default segment boundary mask means no boundary limit */ |
| 153 | if (mask == BLK_SEG_BOUNDARY_MASK) |
| 154 | return queue_max_segment_size(q); |
| 155 | |
| 156 | return min_t(unsigned long, mask - (mask & offset) + 1, |
| 157 | queue_max_segment_size(q)); |
| 158 | } |
| 159 | |
| 160 | /* |
| 161 | * Split the bvec @bv into segments, and update all kinds of |
| 162 | * variables. |
| 163 | */ |
| 164 | static bool bvec_split_segs(struct request_queue *q, struct bio_vec *bv, |
Christoph Hellwig | 6869875 | 2019-05-21 09:01:43 +0200 | [diff] [blame] | 165 | unsigned *nsegs, unsigned *sectors, unsigned max_segs) |
Ming Lei | dcebd75 | 2019-02-15 19:13:12 +0800 | [diff] [blame] | 166 | { |
| 167 | unsigned len = bv->bv_len; |
| 168 | unsigned total_len = 0; |
| 169 | unsigned new_nsegs = 0, seg_size = 0; |
| 170 | |
| 171 | /* |
| 172 | * Multi-page bvec may be too big to hold in one segment, so the |
| 173 | * current bvec has to be splitted as multiple segments. |
| 174 | */ |
Ming Lei | 05b700b | 2019-03-03 21:17:48 +0800 | [diff] [blame] | 175 | while (len && new_nsegs + *nsegs < max_segs) { |
Ming Lei | dcebd75 | 2019-02-15 19:13:12 +0800 | [diff] [blame] | 176 | seg_size = get_max_segment_size(q, bv->bv_offset + total_len); |
| 177 | seg_size = min(seg_size, len); |
| 178 | |
| 179 | new_nsegs++; |
| 180 | total_len += seg_size; |
| 181 | len -= seg_size; |
| 182 | |
| 183 | if ((bv->bv_offset + total_len) & queue_virt_boundary(q)) |
| 184 | break; |
| 185 | } |
| 186 | |
Christoph Hellwig | 6869875 | 2019-05-21 09:01:43 +0200 | [diff] [blame] | 187 | if (new_nsegs) { |
| 188 | *nsegs += new_nsegs; |
| 189 | if (sectors) |
| 190 | *sectors += total_len >> 9; |
Ming Lei | dcebd75 | 2019-02-15 19:13:12 +0800 | [diff] [blame] | 191 | } |
| 192 | |
Ming Lei | dcebd75 | 2019-02-15 19:13:12 +0800 | [diff] [blame] | 193 | /* split in the middle of the bvec if len != 0 */ |
| 194 | return !!len; |
| 195 | } |
| 196 | |
Kent Overstreet | 54efd50 | 2015-04-23 22:37:18 -0700 | [diff] [blame] | 197 | static struct bio *blk_bio_segment_split(struct request_queue *q, |
| 198 | struct bio *bio, |
Ming Lei | bdced43 | 2015-10-20 23:13:52 +0800 | [diff] [blame] | 199 | struct bio_set *bs, |
| 200 | unsigned *segs) |
Kent Overstreet | 54efd50 | 2015-04-23 22:37:18 -0700 | [diff] [blame] | 201 | { |
Jens Axboe | 5014c31 | 2015-09-02 16:46:02 -0600 | [diff] [blame] | 202 | struct bio_vec bv, bvprv, *bvprvp = NULL; |
Kent Overstreet | 54efd50 | 2015-04-23 22:37:18 -0700 | [diff] [blame] | 203 | struct bvec_iter iter; |
Christoph Hellwig | 6869875 | 2019-05-21 09:01:43 +0200 | [diff] [blame] | 204 | unsigned nsegs = 0, sectors = 0; |
Ming Lei | 02e7074 | 2015-11-24 10:35:30 +0800 | [diff] [blame] | 205 | bool do_split = true; |
| 206 | struct bio *new = NULL; |
Ming Lei | d0e5fbb | 2016-01-23 08:05:33 +0800 | [diff] [blame] | 207 | const unsigned max_sectors = get_max_io_size(q, bio); |
Ming Lei | 05b700b | 2019-03-03 21:17:48 +0800 | [diff] [blame] | 208 | const unsigned max_segs = queue_max_segments(q); |
Kent Overstreet | 54efd50 | 2015-04-23 22:37:18 -0700 | [diff] [blame] | 209 | |
Ming Lei | dcebd75 | 2019-02-15 19:13:12 +0800 | [diff] [blame] | 210 | bio_for_each_bvec(bv, bio, iter) { |
Kent Overstreet | 54efd50 | 2015-04-23 22:37:18 -0700 | [diff] [blame] | 211 | /* |
| 212 | * If the queue doesn't support SG gaps and adding this |
| 213 | * offset would create a gap, disallow it. |
| 214 | */ |
Jens Axboe | 5014c31 | 2015-09-02 16:46:02 -0600 | [diff] [blame] | 215 | if (bvprvp && bvec_gap_to_prev(q, bvprvp, bv.bv_offset)) |
Kent Overstreet | 54efd50 | 2015-04-23 22:37:18 -0700 | [diff] [blame] | 216 | goto split; |
| 217 | |
Ming Lei | d0e5fbb | 2016-01-23 08:05:33 +0800 | [diff] [blame] | 218 | if (sectors + (bv.bv_len >> 9) > max_sectors) { |
Keith Busch | e36f620 | 2016-01-12 15:08:39 -0700 | [diff] [blame] | 219 | /* |
| 220 | * Consider this a new segment if we're splitting in |
| 221 | * the middle of this vector. |
| 222 | */ |
Ming Lei | 05b700b | 2019-03-03 21:17:48 +0800 | [diff] [blame] | 223 | if (nsegs < max_segs && |
Ming Lei | d0e5fbb | 2016-01-23 08:05:33 +0800 | [diff] [blame] | 224 | sectors < max_sectors) { |
Ming Lei | dcebd75 | 2019-02-15 19:13:12 +0800 | [diff] [blame] | 225 | /* split in the middle of bvec */ |
| 226 | bv.bv_len = (max_sectors - sectors) << 9; |
| 227 | bvec_split_segs(q, &bv, &nsegs, |
Ming Lei | 05b700b | 2019-03-03 21:17:48 +0800 | [diff] [blame] | 228 | §ors, max_segs); |
Keith Busch | e36f620 | 2016-01-12 15:08:39 -0700 | [diff] [blame] | 229 | } |
Ming Lei | cf8c0c6 | 2017-12-18 20:22:16 +0800 | [diff] [blame] | 230 | goto split; |
Keith Busch | e36f620 | 2016-01-12 15:08:39 -0700 | [diff] [blame] | 231 | } |
| 232 | |
Ming Lei | 05b700b | 2019-03-03 21:17:48 +0800 | [diff] [blame] | 233 | if (nsegs == max_segs) |
Kent Overstreet | 54efd50 | 2015-04-23 22:37:18 -0700 | [diff] [blame] | 234 | goto split; |
| 235 | |
Kent Overstreet | 54efd50 | 2015-04-23 22:37:18 -0700 | [diff] [blame] | 236 | bvprv = bv; |
Ming Lei | 578270b | 2015-11-24 10:35:29 +0800 | [diff] [blame] | 237 | bvprvp = &bvprv; |
Ming Lei | dcebd75 | 2019-02-15 19:13:12 +0800 | [diff] [blame] | 238 | |
Ming Lei | bbcbbd5 | 2019-02-27 20:40:12 +0800 | [diff] [blame] | 239 | if (bv.bv_offset + bv.bv_len <= PAGE_SIZE) { |
| 240 | nsegs++; |
Ming Lei | bbcbbd5 | 2019-02-27 20:40:12 +0800 | [diff] [blame] | 241 | sectors += bv.bv_len >> 9; |
Christoph Hellwig | 6869875 | 2019-05-21 09:01:43 +0200 | [diff] [blame] | 242 | } else if (bvec_split_segs(q, &bv, &nsegs, §ors, |
| 243 | max_segs)) { |
Ming Lei | dcebd75 | 2019-02-15 19:13:12 +0800 | [diff] [blame] | 244 | goto split; |
Ming Lei | bbcbbd5 | 2019-02-27 20:40:12 +0800 | [diff] [blame] | 245 | } |
Kent Overstreet | 54efd50 | 2015-04-23 22:37:18 -0700 | [diff] [blame] | 246 | } |
| 247 | |
Ming Lei | 02e7074 | 2015-11-24 10:35:30 +0800 | [diff] [blame] | 248 | do_split = false; |
Kent Overstreet | 54efd50 | 2015-04-23 22:37:18 -0700 | [diff] [blame] | 249 | split: |
Ming Lei | bdced43 | 2015-10-20 23:13:52 +0800 | [diff] [blame] | 250 | *segs = nsegs; |
Ming Lei | 02e7074 | 2015-11-24 10:35:30 +0800 | [diff] [blame] | 251 | |
| 252 | if (do_split) { |
| 253 | new = bio_split(bio, sectors, GFP_NOIO, bs); |
| 254 | if (new) |
| 255 | bio = new; |
| 256 | } |
| 257 | |
Ming Lei | 02e7074 | 2015-11-24 10:35:30 +0800 | [diff] [blame] | 258 | return do_split ? new : NULL; |
Kent Overstreet | 54efd50 | 2015-04-23 22:37:18 -0700 | [diff] [blame] | 259 | } |
| 260 | |
NeilBrown | af67c31 | 2017-06-18 14:38:57 +1000 | [diff] [blame] | 261 | void blk_queue_split(struct request_queue *q, struct bio **bio) |
Kent Overstreet | 54efd50 | 2015-04-23 22:37:18 -0700 | [diff] [blame] | 262 | { |
Ming Lei | bdced43 | 2015-10-20 23:13:52 +0800 | [diff] [blame] | 263 | struct bio *split, *res; |
| 264 | unsigned nsegs; |
Kent Overstreet | 54efd50 | 2015-04-23 22:37:18 -0700 | [diff] [blame] | 265 | |
Adrian Hunter | 7afafc8 | 2016-08-16 10:59:35 +0300 | [diff] [blame] | 266 | switch (bio_op(*bio)) { |
| 267 | case REQ_OP_DISCARD: |
| 268 | case REQ_OP_SECURE_ERASE: |
Kent Overstreet | 338aa96 | 2018-05-20 18:25:47 -0400 | [diff] [blame] | 269 | split = blk_bio_discard_split(q, *bio, &q->bio_split, &nsegs); |
Adrian Hunter | 7afafc8 | 2016-08-16 10:59:35 +0300 | [diff] [blame] | 270 | break; |
Chaitanya Kulkarni | a6f0788 | 2016-11-30 12:28:59 -0800 | [diff] [blame] | 271 | case REQ_OP_WRITE_ZEROES: |
Kent Overstreet | 338aa96 | 2018-05-20 18:25:47 -0400 | [diff] [blame] | 272 | split = blk_bio_write_zeroes_split(q, *bio, &q->bio_split, &nsegs); |
Chaitanya Kulkarni | a6f0788 | 2016-11-30 12:28:59 -0800 | [diff] [blame] | 273 | break; |
Adrian Hunter | 7afafc8 | 2016-08-16 10:59:35 +0300 | [diff] [blame] | 274 | case REQ_OP_WRITE_SAME: |
Kent Overstreet | 338aa96 | 2018-05-20 18:25:47 -0400 | [diff] [blame] | 275 | split = blk_bio_write_same_split(q, *bio, &q->bio_split, &nsegs); |
Adrian Hunter | 7afafc8 | 2016-08-16 10:59:35 +0300 | [diff] [blame] | 276 | break; |
| 277 | default: |
Kent Overstreet | 338aa96 | 2018-05-20 18:25:47 -0400 | [diff] [blame] | 278 | split = blk_bio_segment_split(q, *bio, &q->bio_split, &nsegs); |
Adrian Hunter | 7afafc8 | 2016-08-16 10:59:35 +0300 | [diff] [blame] | 279 | break; |
| 280 | } |
Ming Lei | bdced43 | 2015-10-20 23:13:52 +0800 | [diff] [blame] | 281 | |
| 282 | /* physical segments can be figured out during splitting */ |
| 283 | res = split ? split : *bio; |
| 284 | res->bi_phys_segments = nsegs; |
| 285 | bio_set_flag(res, BIO_SEG_VALID); |
Kent Overstreet | 54efd50 | 2015-04-23 22:37:18 -0700 | [diff] [blame] | 286 | |
| 287 | if (split) { |
Ming Lei | 6ac45ae | 2015-10-20 23:13:53 +0800 | [diff] [blame] | 288 | /* there isn't chance to merge the splitted bio */ |
Jens Axboe | 1eff9d3 | 2016-08-05 15:35:16 -0600 | [diff] [blame] | 289 | split->bi_opf |= REQ_NOMERGE; |
Ming Lei | 6ac45ae | 2015-10-20 23:13:53 +0800 | [diff] [blame] | 290 | |
Jens Axboe | 947b7ac | 2019-01-27 06:35:28 -0700 | [diff] [blame] | 291 | /* |
| 292 | * Since we're recursing into make_request here, ensure |
| 293 | * that we mark this bio as already having entered the queue. |
| 294 | * If not, and the queue is going away, we can get stuck |
| 295 | * forever on waiting for the queue reference to drop. But |
| 296 | * that will never happen, as we're already holding a |
| 297 | * reference to it. |
| 298 | */ |
| 299 | bio_set_flag(*bio, BIO_QUEUE_ENTERED); |
| 300 | |
Kent Overstreet | 54efd50 | 2015-04-23 22:37:18 -0700 | [diff] [blame] | 301 | bio_chain(split, *bio); |
Mike Krinkin | cda2264 | 2015-12-03 17:32:30 +0300 | [diff] [blame] | 302 | trace_block_split(q, split, (*bio)->bi_iter.bi_sector); |
Kent Overstreet | 54efd50 | 2015-04-23 22:37:18 -0700 | [diff] [blame] | 303 | generic_make_request(*bio); |
| 304 | *bio = split; |
| 305 | } |
| 306 | } |
| 307 | EXPORT_SYMBOL(blk_queue_split); |
| 308 | |
Jens Axboe | 1e42807 | 2009-02-23 09:03:10 +0100 | [diff] [blame] | 309 | static unsigned int __blk_recalc_rq_segments(struct request_queue *q, |
Ming Lei | 2705c93 | 2019-02-15 19:13:23 +0800 | [diff] [blame] | 310 | struct bio *bio) |
Jens Axboe | d6d4819 | 2008-01-29 14:04:06 +0100 | [diff] [blame] | 311 | { |
Christoph Hellwig | 6869875 | 2019-05-21 09:01:43 +0200 | [diff] [blame] | 312 | unsigned int nr_phys_segs = 0; |
Kent Overstreet | 7988613 | 2013-11-23 17:19:00 -0800 | [diff] [blame] | 313 | struct bvec_iter iter; |
Christoph Hellwig | 6869875 | 2019-05-21 09:01:43 +0200 | [diff] [blame] | 314 | struct bio_vec bv; |
Jens Axboe | d6d4819 | 2008-01-29 14:04:06 +0100 | [diff] [blame] | 315 | |
Jens Axboe | 1e42807 | 2009-02-23 09:03:10 +0100 | [diff] [blame] | 316 | if (!bio) |
| 317 | return 0; |
Jens Axboe | d6d4819 | 2008-01-29 14:04:06 +0100 | [diff] [blame] | 318 | |
Chaitanya Kulkarni | a6f0788 | 2016-11-30 12:28:59 -0800 | [diff] [blame] | 319 | switch (bio_op(bio)) { |
| 320 | case REQ_OP_DISCARD: |
| 321 | case REQ_OP_SECURE_ERASE: |
Chaitanya Kulkarni | a6f0788 | 2016-11-30 12:28:59 -0800 | [diff] [blame] | 322 | case REQ_OP_WRITE_ZEROES: |
Christoph Hellwig | f9d03f9 | 2016-12-08 15:20:32 -0700 | [diff] [blame] | 323 | return 0; |
| 324 | case REQ_OP_WRITE_SAME: |
Kent Overstreet | 5cb8850 | 2014-02-07 13:53:46 -0700 | [diff] [blame] | 325 | return 1; |
Chaitanya Kulkarni | a6f0788 | 2016-11-30 12:28:59 -0800 | [diff] [blame] | 326 | } |
Kent Overstreet | 5cb8850 | 2014-02-07 13:53:46 -0700 | [diff] [blame] | 327 | |
Jens Axboe | 1e42807 | 2009-02-23 09:03:10 +0100 | [diff] [blame] | 328 | for_each_bio(bio) { |
Christoph Hellwig | 6869875 | 2019-05-21 09:01:43 +0200 | [diff] [blame] | 329 | bio_for_each_bvec(bv, bio, iter) |
| 330 | bvec_split_segs(q, &bv, &nr_phys_segs, NULL, UINT_MAX); |
Jens Axboe | d6d4819 | 2008-01-29 14:04:06 +0100 | [diff] [blame] | 331 | } |
| 332 | |
Jens Axboe | 1e42807 | 2009-02-23 09:03:10 +0100 | [diff] [blame] | 333 | return nr_phys_segs; |
| 334 | } |
| 335 | |
| 336 | void blk_recalc_rq_segments(struct request *rq) |
| 337 | { |
Ming Lei | 2705c93 | 2019-02-15 19:13:23 +0800 | [diff] [blame] | 338 | rq->nr_phys_segments = __blk_recalc_rq_segments(rq->q, rq->bio); |
Jens Axboe | d6d4819 | 2008-01-29 14:04:06 +0100 | [diff] [blame] | 339 | } |
| 340 | |
| 341 | void blk_recount_segments(struct request_queue *q, struct bio *bio) |
| 342 | { |
Ming Lei | 2705c93 | 2019-02-15 19:13:23 +0800 | [diff] [blame] | 343 | struct bio *nxt = bio->bi_next; |
Ming Lei | 7f60dca | 2014-11-12 00:15:41 +0800 | [diff] [blame] | 344 | |
Ming Lei | 2705c93 | 2019-02-15 19:13:23 +0800 | [diff] [blame] | 345 | bio->bi_next = NULL; |
| 346 | bio->bi_phys_segments = __blk_recalc_rq_segments(q, bio); |
| 347 | bio->bi_next = nxt; |
Jens Axboe | 05f1dd5 | 2014-05-29 09:53:32 -0600 | [diff] [blame] | 348 | |
Jens Axboe | b7c44ed | 2015-07-24 12:37:59 -0600 | [diff] [blame] | 349 | bio_set_flag(bio, BIO_SEG_VALID); |
Jens Axboe | d6d4819 | 2008-01-29 14:04:06 +0100 | [diff] [blame] | 350 | } |
Jens Axboe | d6d4819 | 2008-01-29 14:04:06 +0100 | [diff] [blame] | 351 | |
Ming Lei | 48d7727 | 2019-02-27 20:40:11 +0800 | [diff] [blame] | 352 | static inline struct scatterlist *blk_next_sg(struct scatterlist **sg, |
Ming Lei | 862e5a5 | 2019-02-15 19:13:13 +0800 | [diff] [blame] | 353 | struct scatterlist *sglist) |
| 354 | { |
| 355 | if (!*sg) |
| 356 | return sglist; |
| 357 | |
| 358 | /* |
| 359 | * If the driver previously mapped a shorter list, we could see a |
| 360 | * termination bit prematurely unless it fully inits the sg table |
| 361 | * on each mapping. We KNOW that there must be more entries here |
| 362 | * or the driver would be buggy, so force clear the termination bit |
| 363 | * to avoid doing a full sg_init_table() in drivers for each command. |
| 364 | */ |
| 365 | sg_unmark_end(*sg); |
| 366 | return sg_next(*sg); |
| 367 | } |
| 368 | |
| 369 | static unsigned blk_bvec_map_sg(struct request_queue *q, |
| 370 | struct bio_vec *bvec, struct scatterlist *sglist, |
| 371 | struct scatterlist **sg) |
| 372 | { |
| 373 | unsigned nbytes = bvec->bv_len; |
Christoph Hellwig | 8a96a0e | 2019-04-11 08:23:27 +0200 | [diff] [blame] | 374 | unsigned nsegs = 0, total = 0; |
Ming Lei | 862e5a5 | 2019-02-15 19:13:13 +0800 | [diff] [blame] | 375 | |
| 376 | while (nbytes > 0) { |
Christoph Hellwig | 8a96a0e | 2019-04-11 08:23:27 +0200 | [diff] [blame] | 377 | unsigned offset = bvec->bv_offset + total; |
| 378 | unsigned len = min(get_max_segment_size(q, offset), nbytes); |
Christoph Hellwig | f9f7687 | 2019-04-19 08:56:24 +0200 | [diff] [blame] | 379 | struct page *page = bvec->bv_page; |
| 380 | |
| 381 | /* |
| 382 | * Unfortunately a fair number of drivers barf on scatterlists |
| 383 | * that have an offset larger than PAGE_SIZE, despite other |
| 384 | * subsystems dealing with that invariant just fine. For now |
| 385 | * stick to the legacy format where we never present those from |
| 386 | * the block layer, but the code below should be removed once |
| 387 | * these offenders (mostly MMC/SD drivers) are fixed. |
| 388 | */ |
| 389 | page += (offset >> PAGE_SHIFT); |
| 390 | offset &= ~PAGE_MASK; |
Ming Lei | 862e5a5 | 2019-02-15 19:13:13 +0800 | [diff] [blame] | 391 | |
| 392 | *sg = blk_next_sg(sg, sglist); |
Christoph Hellwig | f9f7687 | 2019-04-19 08:56:24 +0200 | [diff] [blame] | 393 | sg_set_page(*sg, page, len, offset); |
Ming Lei | 862e5a5 | 2019-02-15 19:13:13 +0800 | [diff] [blame] | 394 | |
Christoph Hellwig | 8a96a0e | 2019-04-11 08:23:27 +0200 | [diff] [blame] | 395 | total += len; |
| 396 | nbytes -= len; |
Ming Lei | 862e5a5 | 2019-02-15 19:13:13 +0800 | [diff] [blame] | 397 | nsegs++; |
| 398 | } |
| 399 | |
| 400 | return nsegs; |
| 401 | } |
| 402 | |
Ming Lei | 16e3e41 | 2019-03-17 18:01:11 +0800 | [diff] [blame] | 403 | static inline int __blk_bvec_map_sg(struct bio_vec bv, |
| 404 | struct scatterlist *sglist, struct scatterlist **sg) |
| 405 | { |
| 406 | *sg = blk_next_sg(sg, sglist); |
| 407 | sg_set_page(*sg, bv.bv_page, bv.bv_len, bv.bv_offset); |
| 408 | return 1; |
| 409 | } |
| 410 | |
Ming Lei | f6970f8 | 2019-03-17 18:01:12 +0800 | [diff] [blame] | 411 | /* only try to merge bvecs into one sg if they are from two bios */ |
| 412 | static inline bool |
| 413 | __blk_segment_map_sg_merge(struct request_queue *q, struct bio_vec *bvec, |
| 414 | struct bio_vec *bvprv, struct scatterlist **sg) |
Asias He | 963ab9e | 2012-08-02 23:42:03 +0200 | [diff] [blame] | 415 | { |
| 416 | |
| 417 | int nbytes = bvec->bv_len; |
| 418 | |
Ming Lei | f6970f8 | 2019-03-17 18:01:12 +0800 | [diff] [blame] | 419 | if (!*sg) |
| 420 | return false; |
Asias He | 963ab9e | 2012-08-02 23:42:03 +0200 | [diff] [blame] | 421 | |
Ming Lei | f6970f8 | 2019-03-17 18:01:12 +0800 | [diff] [blame] | 422 | if ((*sg)->length + nbytes > queue_max_segment_size(q)) |
| 423 | return false; |
| 424 | |
| 425 | if (!biovec_phys_mergeable(q, bvprv, bvec)) |
| 426 | return false; |
| 427 | |
| 428 | (*sg)->length += nbytes; |
| 429 | |
| 430 | return true; |
Asias He | 963ab9e | 2012-08-02 23:42:03 +0200 | [diff] [blame] | 431 | } |
| 432 | |
Kent Overstreet | 5cb8850 | 2014-02-07 13:53:46 -0700 | [diff] [blame] | 433 | static int __blk_bios_map_sg(struct request_queue *q, struct bio *bio, |
| 434 | struct scatterlist *sglist, |
| 435 | struct scatterlist **sg) |
| 436 | { |
Ming Lei | b21e11c | 2019-04-02 10:26:44 +0800 | [diff] [blame] | 437 | struct bio_vec uninitialized_var(bvec), bvprv = { NULL }; |
Kent Overstreet | 5cb8850 | 2014-02-07 13:53:46 -0700 | [diff] [blame] | 438 | struct bvec_iter iter; |
Christoph Hellwig | 3841746 | 2018-12-13 16:17:10 +0100 | [diff] [blame] | 439 | int nsegs = 0; |
Ming Lei | f6970f8 | 2019-03-17 18:01:12 +0800 | [diff] [blame] | 440 | bool new_bio = false; |
Kent Overstreet | 5cb8850 | 2014-02-07 13:53:46 -0700 | [diff] [blame] | 441 | |
Ming Lei | f6970f8 | 2019-03-17 18:01:12 +0800 | [diff] [blame] | 442 | for_each_bio(bio) { |
| 443 | bio_for_each_bvec(bvec, bio, iter) { |
| 444 | /* |
| 445 | * Only try to merge bvecs from two bios given we |
| 446 | * have done bio internal merge when adding pages |
| 447 | * to bio |
| 448 | */ |
| 449 | if (new_bio && |
| 450 | __blk_segment_map_sg_merge(q, &bvec, &bvprv, sg)) |
| 451 | goto next_bvec; |
| 452 | |
| 453 | if (bvec.bv_offset + bvec.bv_len <= PAGE_SIZE) |
| 454 | nsegs += __blk_bvec_map_sg(bvec, sglist, sg); |
| 455 | else |
| 456 | nsegs += blk_bvec_map_sg(q, &bvec, sglist, sg); |
| 457 | next_bvec: |
| 458 | new_bio = false; |
| 459 | } |
Ming Lei | b21e11c | 2019-04-02 10:26:44 +0800 | [diff] [blame] | 460 | if (likely(bio->bi_iter.bi_size)) { |
| 461 | bvprv = bvec; |
| 462 | new_bio = true; |
| 463 | } |
Ming Lei | f6970f8 | 2019-03-17 18:01:12 +0800 | [diff] [blame] | 464 | } |
Kent Overstreet | 5cb8850 | 2014-02-07 13:53:46 -0700 | [diff] [blame] | 465 | |
| 466 | return nsegs; |
| 467 | } |
| 468 | |
Jens Axboe | d6d4819 | 2008-01-29 14:04:06 +0100 | [diff] [blame] | 469 | /* |
| 470 | * map a request to scatterlist, return number of sg entries setup. Caller |
| 471 | * must make sure sg can hold rq->nr_phys_segments entries |
| 472 | */ |
| 473 | int blk_rq_map_sg(struct request_queue *q, struct request *rq, |
| 474 | struct scatterlist *sglist) |
| 475 | { |
Kent Overstreet | 5cb8850 | 2014-02-07 13:53:46 -0700 | [diff] [blame] | 476 | struct scatterlist *sg = NULL; |
| 477 | int nsegs = 0; |
Jens Axboe | d6d4819 | 2008-01-29 14:04:06 +0100 | [diff] [blame] | 478 | |
Christoph Hellwig | f9d03f9 | 2016-12-08 15:20:32 -0700 | [diff] [blame] | 479 | if (rq->rq_flags & RQF_SPECIAL_PAYLOAD) |
Ming Lei | cae6c2e | 2019-03-17 18:01:10 +0800 | [diff] [blame] | 480 | nsegs = __blk_bvec_map_sg(rq->special_vec, sglist, &sg); |
Christoph Hellwig | f9d03f9 | 2016-12-08 15:20:32 -0700 | [diff] [blame] | 481 | else if (rq->bio && bio_op(rq->bio) == REQ_OP_WRITE_SAME) |
Ming Lei | cae6c2e | 2019-03-17 18:01:10 +0800 | [diff] [blame] | 482 | nsegs = __blk_bvec_map_sg(bio_iovec(rq->bio), sglist, &sg); |
Christoph Hellwig | f9d03f9 | 2016-12-08 15:20:32 -0700 | [diff] [blame] | 483 | else if (rq->bio) |
Kent Overstreet | 5cb8850 | 2014-02-07 13:53:46 -0700 | [diff] [blame] | 484 | nsegs = __blk_bios_map_sg(q, rq->bio, sglist, &sg); |
FUJITA Tomonori | f18573a | 2008-04-11 12:56:52 +0200 | [diff] [blame] | 485 | |
Christoph Hellwig | e806402 | 2016-10-20 15:12:13 +0200 | [diff] [blame] | 486 | if (unlikely(rq->rq_flags & RQF_COPY_USER) && |
Tejun Heo | 2e46e8b | 2009-05-07 22:24:41 +0900 | [diff] [blame] | 487 | (blk_rq_bytes(rq) & q->dma_pad_mask)) { |
| 488 | unsigned int pad_len = |
| 489 | (q->dma_pad_mask & ~blk_rq_bytes(rq)) + 1; |
FUJITA Tomonori | f18573a | 2008-04-11 12:56:52 +0200 | [diff] [blame] | 490 | |
| 491 | sg->length += pad_len; |
| 492 | rq->extra_len += pad_len; |
| 493 | } |
| 494 | |
Tejun Heo | 2fb98e8 | 2008-02-19 11:36:53 +0100 | [diff] [blame] | 495 | if (q->dma_drain_size && q->dma_drain_needed(rq)) { |
Mike Christie | a8ebb05 | 2016-06-05 14:31:45 -0500 | [diff] [blame] | 496 | if (op_is_write(req_op(rq))) |
Tejun Heo | db0a2e0 | 2008-02-19 11:36:55 +0100 | [diff] [blame] | 497 | memset(q->dma_drain_buffer, 0, q->dma_drain_size); |
| 498 | |
Dan Williams | da81ed1 | 2015-08-07 18:15:14 +0200 | [diff] [blame] | 499 | sg_unmark_end(sg); |
Jens Axboe | d6d4819 | 2008-01-29 14:04:06 +0100 | [diff] [blame] | 500 | sg = sg_next(sg); |
| 501 | sg_set_page(sg, virt_to_page(q->dma_drain_buffer), |
| 502 | q->dma_drain_size, |
| 503 | ((unsigned long)q->dma_drain_buffer) & |
| 504 | (PAGE_SIZE - 1)); |
| 505 | nsegs++; |
FUJITA Tomonori | 7a85f88 | 2008-03-04 11:17:11 +0100 | [diff] [blame] | 506 | rq->extra_len += q->dma_drain_size; |
Jens Axboe | d6d4819 | 2008-01-29 14:04:06 +0100 | [diff] [blame] | 507 | } |
| 508 | |
| 509 | if (sg) |
| 510 | sg_mark_end(sg); |
| 511 | |
Ming Lei | 12e57f5 | 2015-11-24 10:35:31 +0800 | [diff] [blame] | 512 | /* |
| 513 | * Something must have been wrong if the figured number of |
| 514 | * segment is bigger than number of req's physical segments |
| 515 | */ |
Christoph Hellwig | f9d03f9 | 2016-12-08 15:20:32 -0700 | [diff] [blame] | 516 | WARN_ON(nsegs > blk_rq_nr_phys_segments(rq)); |
Ming Lei | 12e57f5 | 2015-11-24 10:35:31 +0800 | [diff] [blame] | 517 | |
Jens Axboe | d6d4819 | 2008-01-29 14:04:06 +0100 | [diff] [blame] | 518 | return nsegs; |
| 519 | } |
Jens Axboe | d6d4819 | 2008-01-29 14:04:06 +0100 | [diff] [blame] | 520 | EXPORT_SYMBOL(blk_rq_map_sg); |
| 521 | |
Jens Axboe | d6d4819 | 2008-01-29 14:04:06 +0100 | [diff] [blame] | 522 | static inline int ll_new_hw_segment(struct request_queue *q, |
| 523 | struct request *req, |
| 524 | struct bio *bio) |
| 525 | { |
Jens Axboe | d6d4819 | 2008-01-29 14:04:06 +0100 | [diff] [blame] | 526 | int nr_phys_segs = bio_phys_segments(q, bio); |
| 527 | |
Martin K. Petersen | 13f05c8 | 2010-09-10 20:50:10 +0200 | [diff] [blame] | 528 | if (req->nr_phys_segments + nr_phys_segs > queue_max_segments(q)) |
| 529 | goto no_merge; |
| 530 | |
Martin K. Petersen | 4eaf99b | 2014-09-26 19:20:06 -0400 | [diff] [blame] | 531 | if (blk_integrity_merge_bio(q, req, bio) == false) |
Martin K. Petersen | 13f05c8 | 2010-09-10 20:50:10 +0200 | [diff] [blame] | 532 | goto no_merge; |
Jens Axboe | d6d4819 | 2008-01-29 14:04:06 +0100 | [diff] [blame] | 533 | |
| 534 | /* |
| 535 | * This will form the start of a new hw segment. Bump both |
| 536 | * counters. |
| 537 | */ |
Jens Axboe | d6d4819 | 2008-01-29 14:04:06 +0100 | [diff] [blame] | 538 | req->nr_phys_segments += nr_phys_segs; |
| 539 | return 1; |
Martin K. Petersen | 13f05c8 | 2010-09-10 20:50:10 +0200 | [diff] [blame] | 540 | |
| 541 | no_merge: |
Ritesh Harjani | e0c7230 | 2016-12-01 08:36:16 -0700 | [diff] [blame] | 542 | req_set_nomerge(q, req); |
Martin K. Petersen | 13f05c8 | 2010-09-10 20:50:10 +0200 | [diff] [blame] | 543 | return 0; |
Jens Axboe | d6d4819 | 2008-01-29 14:04:06 +0100 | [diff] [blame] | 544 | } |
| 545 | |
| 546 | int ll_back_merge_fn(struct request_queue *q, struct request *req, |
| 547 | struct bio *bio) |
| 548 | { |
Jens Axboe | 5e7c427 | 2015-09-03 19:28:20 +0300 | [diff] [blame] | 549 | if (req_gap_back_merge(req, bio)) |
| 550 | return 0; |
Sagi Grimberg | 7f39add | 2015-09-11 09:03:04 -0600 | [diff] [blame] | 551 | if (blk_integrity_rq(req) && |
| 552 | integrity_req_gap_back_merge(req, bio)) |
| 553 | return 0; |
Martin K. Petersen | f31dc1c | 2012-09-18 12:19:26 -0400 | [diff] [blame] | 554 | if (blk_rq_sectors(req) + bio_sectors(bio) > |
Damien Le Moal | 17007f3 | 2016-07-20 21:40:47 -0600 | [diff] [blame] | 555 | blk_rq_get_max_sectors(req, blk_rq_pos(req))) { |
Ritesh Harjani | e0c7230 | 2016-12-01 08:36:16 -0700 | [diff] [blame] | 556 | req_set_nomerge(q, req); |
Jens Axboe | d6d4819 | 2008-01-29 14:04:06 +0100 | [diff] [blame] | 557 | return 0; |
| 558 | } |
Jens Axboe | 2cdf79c | 2008-05-07 09:33:55 +0200 | [diff] [blame] | 559 | if (!bio_flagged(req->biotail, BIO_SEG_VALID)) |
Jens Axboe | d6d4819 | 2008-01-29 14:04:06 +0100 | [diff] [blame] | 560 | blk_recount_segments(q, req->biotail); |
Jens Axboe | 2cdf79c | 2008-05-07 09:33:55 +0200 | [diff] [blame] | 561 | if (!bio_flagged(bio, BIO_SEG_VALID)) |
Jens Axboe | d6d4819 | 2008-01-29 14:04:06 +0100 | [diff] [blame] | 562 | blk_recount_segments(q, bio); |
Jens Axboe | d6d4819 | 2008-01-29 14:04:06 +0100 | [diff] [blame] | 563 | |
| 564 | return ll_new_hw_segment(q, req, bio); |
| 565 | } |
| 566 | |
Jens Axboe | 6728cb0 | 2008-01-31 13:03:55 +0100 | [diff] [blame] | 567 | int ll_front_merge_fn(struct request_queue *q, struct request *req, |
Jens Axboe | d6d4819 | 2008-01-29 14:04:06 +0100 | [diff] [blame] | 568 | struct bio *bio) |
| 569 | { |
Jens Axboe | 5e7c427 | 2015-09-03 19:28:20 +0300 | [diff] [blame] | 570 | |
| 571 | if (req_gap_front_merge(req, bio)) |
| 572 | return 0; |
Sagi Grimberg | 7f39add | 2015-09-11 09:03:04 -0600 | [diff] [blame] | 573 | if (blk_integrity_rq(req) && |
| 574 | integrity_req_gap_front_merge(req, bio)) |
| 575 | return 0; |
Martin K. Petersen | f31dc1c | 2012-09-18 12:19:26 -0400 | [diff] [blame] | 576 | if (blk_rq_sectors(req) + bio_sectors(bio) > |
Damien Le Moal | 17007f3 | 2016-07-20 21:40:47 -0600 | [diff] [blame] | 577 | blk_rq_get_max_sectors(req, bio->bi_iter.bi_sector)) { |
Ritesh Harjani | e0c7230 | 2016-12-01 08:36:16 -0700 | [diff] [blame] | 578 | req_set_nomerge(q, req); |
Jens Axboe | d6d4819 | 2008-01-29 14:04:06 +0100 | [diff] [blame] | 579 | return 0; |
| 580 | } |
Jens Axboe | 2cdf79c | 2008-05-07 09:33:55 +0200 | [diff] [blame] | 581 | if (!bio_flagged(bio, BIO_SEG_VALID)) |
Jens Axboe | d6d4819 | 2008-01-29 14:04:06 +0100 | [diff] [blame] | 582 | blk_recount_segments(q, bio); |
Jens Axboe | 2cdf79c | 2008-05-07 09:33:55 +0200 | [diff] [blame] | 583 | if (!bio_flagged(req->bio, BIO_SEG_VALID)) |
Jens Axboe | d6d4819 | 2008-01-29 14:04:06 +0100 | [diff] [blame] | 584 | blk_recount_segments(q, req->bio); |
Jens Axboe | d6d4819 | 2008-01-29 14:04:06 +0100 | [diff] [blame] | 585 | |
| 586 | return ll_new_hw_segment(q, req, bio); |
| 587 | } |
| 588 | |
Jens Axboe | 445251d | 2018-02-01 14:01:02 -0700 | [diff] [blame] | 589 | static bool req_attempt_discard_merge(struct request_queue *q, struct request *req, |
| 590 | struct request *next) |
| 591 | { |
| 592 | unsigned short segments = blk_rq_nr_discard_segments(req); |
| 593 | |
| 594 | if (segments >= queue_max_discard_segments(q)) |
| 595 | goto no_merge; |
| 596 | if (blk_rq_sectors(req) + bio_sectors(next->bio) > |
| 597 | blk_rq_get_max_sectors(req, blk_rq_pos(req))) |
| 598 | goto no_merge; |
| 599 | |
| 600 | req->nr_phys_segments = segments + blk_rq_nr_discard_segments(next); |
| 601 | return true; |
| 602 | no_merge: |
| 603 | req_set_nomerge(q, req); |
| 604 | return false; |
| 605 | } |
| 606 | |
Jens Axboe | d6d4819 | 2008-01-29 14:04:06 +0100 | [diff] [blame] | 607 | static int ll_merge_requests_fn(struct request_queue *q, struct request *req, |
| 608 | struct request *next) |
| 609 | { |
| 610 | int total_phys_segments; |
Jens Axboe | d6d4819 | 2008-01-29 14:04:06 +0100 | [diff] [blame] | 611 | |
Jens Axboe | 5e7c427 | 2015-09-03 19:28:20 +0300 | [diff] [blame] | 612 | if (req_gap_back_merge(req, next->bio)) |
Keith Busch | 854fbb9 | 2015-02-11 08:20:13 -0700 | [diff] [blame] | 613 | return 0; |
| 614 | |
Jens Axboe | d6d4819 | 2008-01-29 14:04:06 +0100 | [diff] [blame] | 615 | /* |
| 616 | * Will it become too large? |
| 617 | */ |
Martin K. Petersen | f31dc1c | 2012-09-18 12:19:26 -0400 | [diff] [blame] | 618 | if ((blk_rq_sectors(req) + blk_rq_sectors(next)) > |
Damien Le Moal | 17007f3 | 2016-07-20 21:40:47 -0600 | [diff] [blame] | 619 | blk_rq_get_max_sectors(req, blk_rq_pos(req))) |
Jens Axboe | d6d4819 | 2008-01-29 14:04:06 +0100 | [diff] [blame] | 620 | return 0; |
| 621 | |
| 622 | total_phys_segments = req->nr_phys_segments + next->nr_phys_segments; |
Martin K. Petersen | 8a78362 | 2010-02-26 00:20:39 -0500 | [diff] [blame] | 623 | if (total_phys_segments > queue_max_segments(q)) |
Jens Axboe | d6d4819 | 2008-01-29 14:04:06 +0100 | [diff] [blame] | 624 | return 0; |
| 625 | |
Martin K. Petersen | 4eaf99b | 2014-09-26 19:20:06 -0400 | [diff] [blame] | 626 | if (blk_integrity_merge_rq(q, req, next) == false) |
Martin K. Petersen | 13f05c8 | 2010-09-10 20:50:10 +0200 | [diff] [blame] | 627 | return 0; |
| 628 | |
Jens Axboe | d6d4819 | 2008-01-29 14:04:06 +0100 | [diff] [blame] | 629 | /* Merge is OK... */ |
| 630 | req->nr_phys_segments = total_phys_segments; |
Jens Axboe | d6d4819 | 2008-01-29 14:04:06 +0100 | [diff] [blame] | 631 | return 1; |
| 632 | } |
| 633 | |
Tejun Heo | 80a761f | 2009-07-03 17:48:17 +0900 | [diff] [blame] | 634 | /** |
| 635 | * blk_rq_set_mixed_merge - mark a request as mixed merge |
| 636 | * @rq: request to mark as mixed merge |
| 637 | * |
| 638 | * Description: |
| 639 | * @rq is about to be mixed merged. Make sure the attributes |
| 640 | * which can be mixed are set in each bio and mark @rq as mixed |
| 641 | * merged. |
| 642 | */ |
| 643 | void blk_rq_set_mixed_merge(struct request *rq) |
| 644 | { |
| 645 | unsigned int ff = rq->cmd_flags & REQ_FAILFAST_MASK; |
| 646 | struct bio *bio; |
| 647 | |
Christoph Hellwig | e806402 | 2016-10-20 15:12:13 +0200 | [diff] [blame] | 648 | if (rq->rq_flags & RQF_MIXED_MERGE) |
Tejun Heo | 80a761f | 2009-07-03 17:48:17 +0900 | [diff] [blame] | 649 | return; |
| 650 | |
| 651 | /* |
| 652 | * @rq will no longer represent mixable attributes for all the |
| 653 | * contained bios. It will just track those of the first one. |
| 654 | * Distributes the attributs to each bio. |
| 655 | */ |
| 656 | for (bio = rq->bio; bio; bio = bio->bi_next) { |
Jens Axboe | 1eff9d3 | 2016-08-05 15:35:16 -0600 | [diff] [blame] | 657 | WARN_ON_ONCE((bio->bi_opf & REQ_FAILFAST_MASK) && |
| 658 | (bio->bi_opf & REQ_FAILFAST_MASK) != ff); |
| 659 | bio->bi_opf |= ff; |
Tejun Heo | 80a761f | 2009-07-03 17:48:17 +0900 | [diff] [blame] | 660 | } |
Christoph Hellwig | e806402 | 2016-10-20 15:12:13 +0200 | [diff] [blame] | 661 | rq->rq_flags |= RQF_MIXED_MERGE; |
Tejun Heo | 80a761f | 2009-07-03 17:48:17 +0900 | [diff] [blame] | 662 | } |
| 663 | |
Jerome Marchand | 26308ea | 2009-03-27 10:31:51 +0100 | [diff] [blame] | 664 | static void blk_account_io_merge(struct request *req) |
| 665 | { |
| 666 | if (blk_do_io_stat(req)) { |
| 667 | struct hd_struct *part; |
Jerome Marchand | 26308ea | 2009-03-27 10:31:51 +0100 | [diff] [blame] | 668 | |
Mike Snitzer | 112f158 | 2018-12-06 11:41:18 -0500 | [diff] [blame] | 669 | part_stat_lock(); |
Jerome Marchand | 09e099d | 2011-01-05 16:57:38 +0100 | [diff] [blame] | 670 | part = req->part; |
Jerome Marchand | 26308ea | 2009-03-27 10:31:51 +0100 | [diff] [blame] | 671 | |
Jens Axboe | d62e26b | 2017-06-30 21:55:08 -0600 | [diff] [blame] | 672 | part_dec_in_flight(req->q, part, rq_data_dir(req)); |
Jerome Marchand | 26308ea | 2009-03-27 10:31:51 +0100 | [diff] [blame] | 673 | |
Jens Axboe | 6c23a96 | 2011-01-07 08:43:37 +0100 | [diff] [blame] | 674 | hd_struct_put(part); |
Jerome Marchand | 26308ea | 2009-03-27 10:31:51 +0100 | [diff] [blame] | 675 | part_stat_unlock(); |
| 676 | } |
| 677 | } |
Jianchao Wang | 69840466 | 2018-10-27 19:52:14 +0800 | [diff] [blame] | 678 | /* |
| 679 | * Two cases of handling DISCARD merge: |
| 680 | * If max_discard_segments > 1, the driver takes every bio |
| 681 | * as a range and send them to controller together. The ranges |
| 682 | * needn't to be contiguous. |
| 683 | * Otherwise, the bios/requests will be handled as same as |
| 684 | * others which should be contiguous. |
| 685 | */ |
| 686 | static inline bool blk_discard_mergable(struct request *req) |
| 687 | { |
| 688 | if (req_op(req) == REQ_OP_DISCARD && |
| 689 | queue_max_discard_segments(req->q) > 1) |
| 690 | return true; |
| 691 | return false; |
| 692 | } |
| 693 | |
Eric Biggers | e96c0d8 | 2018-11-14 17:19:46 -0800 | [diff] [blame] | 694 | static enum elv_merge blk_try_req_merge(struct request *req, |
| 695 | struct request *next) |
Jianchao Wang | 69840466 | 2018-10-27 19:52:14 +0800 | [diff] [blame] | 696 | { |
| 697 | if (blk_discard_mergable(req)) |
| 698 | return ELEVATOR_DISCARD_MERGE; |
| 699 | else if (blk_rq_pos(req) + blk_rq_sectors(req) == blk_rq_pos(next)) |
| 700 | return ELEVATOR_BACK_MERGE; |
| 701 | |
| 702 | return ELEVATOR_NO_MERGE; |
| 703 | } |
Jerome Marchand | 26308ea | 2009-03-27 10:31:51 +0100 | [diff] [blame] | 704 | |
Jens Axboe | d6d4819 | 2008-01-29 14:04:06 +0100 | [diff] [blame] | 705 | /* |
Jens Axboe | b973cb7 | 2017-02-02 08:54:40 -0700 | [diff] [blame] | 706 | * For non-mq, this has to be called with the request spinlock acquired. |
| 707 | * For mq with scheduling, the appropriate queue wide lock should be held. |
Jens Axboe | d6d4819 | 2008-01-29 14:04:06 +0100 | [diff] [blame] | 708 | */ |
Jens Axboe | b973cb7 | 2017-02-02 08:54:40 -0700 | [diff] [blame] | 709 | static struct request *attempt_merge(struct request_queue *q, |
| 710 | struct request *req, struct request *next) |
Jens Axboe | d6d4819 | 2008-01-29 14:04:06 +0100 | [diff] [blame] | 711 | { |
| 712 | if (!rq_mergeable(req) || !rq_mergeable(next)) |
Jens Axboe | b973cb7 | 2017-02-02 08:54:40 -0700 | [diff] [blame] | 713 | return NULL; |
Jens Axboe | d6d4819 | 2008-01-29 14:04:06 +0100 | [diff] [blame] | 714 | |
Christoph Hellwig | 288dab8 | 2016-06-09 16:00:36 +0200 | [diff] [blame] | 715 | if (req_op(req) != req_op(next)) |
Jens Axboe | b973cb7 | 2017-02-02 08:54:40 -0700 | [diff] [blame] | 716 | return NULL; |
Martin K. Petersen | f31dc1c | 2012-09-18 12:19:26 -0400 | [diff] [blame] | 717 | |
Jens Axboe | d6d4819 | 2008-01-29 14:04:06 +0100 | [diff] [blame] | 718 | if (rq_data_dir(req) != rq_data_dir(next) |
Jens Axboe | 2081a56 | 2018-10-12 12:39:10 -0600 | [diff] [blame] | 719 | || req->rq_disk != next->rq_disk) |
Jens Axboe | b973cb7 | 2017-02-02 08:54:40 -0700 | [diff] [blame] | 720 | return NULL; |
Jens Axboe | d6d4819 | 2008-01-29 14:04:06 +0100 | [diff] [blame] | 721 | |
Mike Christie | 8fe0d47 | 2016-06-05 14:32:15 -0500 | [diff] [blame] | 722 | if (req_op(req) == REQ_OP_WRITE_SAME && |
Martin K. Petersen | 4363ac7 | 2012-09-18 12:19:27 -0400 | [diff] [blame] | 723 | !blk_write_same_mergeable(req->bio, next->bio)) |
Jens Axboe | b973cb7 | 2017-02-02 08:54:40 -0700 | [diff] [blame] | 724 | return NULL; |
Martin K. Petersen | 4363ac7 | 2012-09-18 12:19:27 -0400 | [diff] [blame] | 725 | |
Jens Axboe | d6d4819 | 2008-01-29 14:04:06 +0100 | [diff] [blame] | 726 | /* |
Jens Axboe | cb6934f | 2017-06-27 09:22:02 -0600 | [diff] [blame] | 727 | * Don't allow merge of different write hints, or for a hint with |
| 728 | * non-hint IO. |
| 729 | */ |
| 730 | if (req->write_hint != next->write_hint) |
| 731 | return NULL; |
| 732 | |
Damien Le Moal | 668ffc0 | 2018-11-20 10:52:37 +0900 | [diff] [blame] | 733 | if (req->ioprio != next->ioprio) |
| 734 | return NULL; |
| 735 | |
Jens Axboe | cb6934f | 2017-06-27 09:22:02 -0600 | [diff] [blame] | 736 | /* |
Jens Axboe | d6d4819 | 2008-01-29 14:04:06 +0100 | [diff] [blame] | 737 | * If we are allowed to merge, then append bio list |
| 738 | * from next to rq and release next. merge_requests_fn |
| 739 | * will have updated segment counts, update sector |
Jens Axboe | 445251d | 2018-02-01 14:01:02 -0700 | [diff] [blame] | 740 | * counts here. Handle DISCARDs separately, as they |
| 741 | * have separate settings. |
Jens Axboe | d6d4819 | 2008-01-29 14:04:06 +0100 | [diff] [blame] | 742 | */ |
Jianchao Wang | 69840466 | 2018-10-27 19:52:14 +0800 | [diff] [blame] | 743 | |
| 744 | switch (blk_try_req_merge(req, next)) { |
| 745 | case ELEVATOR_DISCARD_MERGE: |
Jens Axboe | 445251d | 2018-02-01 14:01:02 -0700 | [diff] [blame] | 746 | if (!req_attempt_discard_merge(q, req, next)) |
| 747 | return NULL; |
Jianchao Wang | 69840466 | 2018-10-27 19:52:14 +0800 | [diff] [blame] | 748 | break; |
| 749 | case ELEVATOR_BACK_MERGE: |
| 750 | if (!ll_merge_requests_fn(q, req, next)) |
| 751 | return NULL; |
| 752 | break; |
| 753 | default: |
Jens Axboe | b973cb7 | 2017-02-02 08:54:40 -0700 | [diff] [blame] | 754 | return NULL; |
Jianchao Wang | 69840466 | 2018-10-27 19:52:14 +0800 | [diff] [blame] | 755 | } |
Jens Axboe | d6d4819 | 2008-01-29 14:04:06 +0100 | [diff] [blame] | 756 | |
| 757 | /* |
Tejun Heo | 80a761f | 2009-07-03 17:48:17 +0900 | [diff] [blame] | 758 | * If failfast settings disagree or any of the two is already |
| 759 | * a mixed merge, mark both as mixed before proceeding. This |
| 760 | * makes sure that all involved bios have mixable attributes |
| 761 | * set properly. |
| 762 | */ |
Christoph Hellwig | e806402 | 2016-10-20 15:12:13 +0200 | [diff] [blame] | 763 | if (((req->rq_flags | next->rq_flags) & RQF_MIXED_MERGE) || |
Tejun Heo | 80a761f | 2009-07-03 17:48:17 +0900 | [diff] [blame] | 764 | (req->cmd_flags & REQ_FAILFAST_MASK) != |
| 765 | (next->cmd_flags & REQ_FAILFAST_MASK)) { |
| 766 | blk_rq_set_mixed_merge(req); |
| 767 | blk_rq_set_mixed_merge(next); |
| 768 | } |
| 769 | |
| 770 | /* |
Omar Sandoval | 522a777 | 2018-05-09 02:08:53 -0700 | [diff] [blame] | 771 | * At this point we have either done a back merge or front merge. We |
| 772 | * need the smaller start_time_ns of the merged requests to be the |
| 773 | * current request for accounting purposes. |
Jens Axboe | d6d4819 | 2008-01-29 14:04:06 +0100 | [diff] [blame] | 774 | */ |
Omar Sandoval | 522a777 | 2018-05-09 02:08:53 -0700 | [diff] [blame] | 775 | if (next->start_time_ns < req->start_time_ns) |
| 776 | req->start_time_ns = next->start_time_ns; |
Jens Axboe | d6d4819 | 2008-01-29 14:04:06 +0100 | [diff] [blame] | 777 | |
| 778 | req->biotail->bi_next = next->bio; |
| 779 | req->biotail = next->biotail; |
| 780 | |
Tejun Heo | a2dec7b | 2009-05-07 22:24:44 +0900 | [diff] [blame] | 781 | req->__data_len += blk_rq_bytes(next); |
Jens Axboe | d6d4819 | 2008-01-29 14:04:06 +0100 | [diff] [blame] | 782 | |
Ming Lei | 2a5cf35 | 2018-12-01 00:38:18 +0800 | [diff] [blame] | 783 | if (!blk_discard_mergable(req)) |
Jens Axboe | 445251d | 2018-02-01 14:01:02 -0700 | [diff] [blame] | 784 | elv_merge_requests(q, req, next); |
Jens Axboe | d6d4819 | 2008-01-29 14:04:06 +0100 | [diff] [blame] | 785 | |
Jerome Marchand | 42dad76 | 2009-04-22 14:01:49 +0200 | [diff] [blame] | 786 | /* |
| 787 | * 'next' is going away, so update stats accordingly |
| 788 | */ |
| 789 | blk_account_io_merge(next); |
Jens Axboe | d6d4819 | 2008-01-29 14:04:06 +0100 | [diff] [blame] | 790 | |
Jens Axboe | e4d750c | 2017-02-03 09:48:28 -0700 | [diff] [blame] | 791 | /* |
| 792 | * ownership of bio passed from next to req, return 'next' for |
| 793 | * the caller to free |
| 794 | */ |
Boaz Harrosh | 1cd96c2 | 2009-03-24 12:35:07 +0100 | [diff] [blame] | 795 | next->bio = NULL; |
Jens Axboe | b973cb7 | 2017-02-02 08:54:40 -0700 | [diff] [blame] | 796 | return next; |
Jens Axboe | d6d4819 | 2008-01-29 14:04:06 +0100 | [diff] [blame] | 797 | } |
| 798 | |
Jens Axboe | b973cb7 | 2017-02-02 08:54:40 -0700 | [diff] [blame] | 799 | struct request *attempt_back_merge(struct request_queue *q, struct request *rq) |
Jens Axboe | d6d4819 | 2008-01-29 14:04:06 +0100 | [diff] [blame] | 800 | { |
| 801 | struct request *next = elv_latter_request(q, rq); |
| 802 | |
| 803 | if (next) |
| 804 | return attempt_merge(q, rq, next); |
| 805 | |
Jens Axboe | b973cb7 | 2017-02-02 08:54:40 -0700 | [diff] [blame] | 806 | return NULL; |
Jens Axboe | d6d4819 | 2008-01-29 14:04:06 +0100 | [diff] [blame] | 807 | } |
| 808 | |
Jens Axboe | b973cb7 | 2017-02-02 08:54:40 -0700 | [diff] [blame] | 809 | struct request *attempt_front_merge(struct request_queue *q, struct request *rq) |
Jens Axboe | d6d4819 | 2008-01-29 14:04:06 +0100 | [diff] [blame] | 810 | { |
| 811 | struct request *prev = elv_former_request(q, rq); |
| 812 | |
| 813 | if (prev) |
| 814 | return attempt_merge(q, prev, rq); |
| 815 | |
Jens Axboe | b973cb7 | 2017-02-02 08:54:40 -0700 | [diff] [blame] | 816 | return NULL; |
Jens Axboe | d6d4819 | 2008-01-29 14:04:06 +0100 | [diff] [blame] | 817 | } |
Jens Axboe | 5e84ea3 | 2011-03-21 10:14:27 +0100 | [diff] [blame] | 818 | |
| 819 | int blk_attempt_req_merge(struct request_queue *q, struct request *rq, |
| 820 | struct request *next) |
| 821 | { |
Jens Axboe | e4d750c | 2017-02-03 09:48:28 -0700 | [diff] [blame] | 822 | struct request *free; |
Tahsin Erdogan | 72ef799 | 2016-07-07 11:48:22 -0700 | [diff] [blame] | 823 | |
Jens Axboe | e4d750c | 2017-02-03 09:48:28 -0700 | [diff] [blame] | 824 | free = attempt_merge(q, rq, next); |
| 825 | if (free) { |
Jens Axboe | 92bc5a2 | 2018-10-24 13:52:28 -0600 | [diff] [blame] | 826 | blk_put_request(free); |
Jens Axboe | e4d750c | 2017-02-03 09:48:28 -0700 | [diff] [blame] | 827 | return 1; |
| 828 | } |
| 829 | |
| 830 | return 0; |
Jens Axboe | 5e84ea3 | 2011-03-21 10:14:27 +0100 | [diff] [blame] | 831 | } |
Tejun Heo | 050c8ea | 2012-02-08 09:19:38 +0100 | [diff] [blame] | 832 | |
| 833 | bool blk_rq_merge_ok(struct request *rq, struct bio *bio) |
| 834 | { |
Martin K. Petersen | e2a60da | 2012-09-18 12:19:25 -0400 | [diff] [blame] | 835 | if (!rq_mergeable(rq) || !bio_mergeable(bio)) |
Tejun Heo | 050c8ea | 2012-02-08 09:19:38 +0100 | [diff] [blame] | 836 | return false; |
| 837 | |
Christoph Hellwig | 288dab8 | 2016-06-09 16:00:36 +0200 | [diff] [blame] | 838 | if (req_op(rq) != bio_op(bio)) |
Martin K. Petersen | f31dc1c | 2012-09-18 12:19:26 -0400 | [diff] [blame] | 839 | return false; |
| 840 | |
Tejun Heo | 050c8ea | 2012-02-08 09:19:38 +0100 | [diff] [blame] | 841 | /* different data direction or already started, don't merge */ |
| 842 | if (bio_data_dir(bio) != rq_data_dir(rq)) |
| 843 | return false; |
| 844 | |
Jens Axboe | 2081a56 | 2018-10-12 12:39:10 -0600 | [diff] [blame] | 845 | /* must be same device */ |
| 846 | if (rq->rq_disk != bio->bi_disk) |
Tejun Heo | 050c8ea | 2012-02-08 09:19:38 +0100 | [diff] [blame] | 847 | return false; |
| 848 | |
| 849 | /* only merge integrity protected bio into ditto rq */ |
Martin K. Petersen | 4eaf99b | 2014-09-26 19:20:06 -0400 | [diff] [blame] | 850 | if (blk_integrity_merge_bio(rq->q, rq, bio) == false) |
Tejun Heo | 050c8ea | 2012-02-08 09:19:38 +0100 | [diff] [blame] | 851 | return false; |
| 852 | |
Martin K. Petersen | 4363ac7 | 2012-09-18 12:19:27 -0400 | [diff] [blame] | 853 | /* must be using the same buffer */ |
Mike Christie | 8fe0d47 | 2016-06-05 14:32:15 -0500 | [diff] [blame] | 854 | if (req_op(rq) == REQ_OP_WRITE_SAME && |
Martin K. Petersen | 4363ac7 | 2012-09-18 12:19:27 -0400 | [diff] [blame] | 855 | !blk_write_same_mergeable(rq->bio, bio)) |
| 856 | return false; |
| 857 | |
Jens Axboe | cb6934f | 2017-06-27 09:22:02 -0600 | [diff] [blame] | 858 | /* |
| 859 | * Don't allow merge of different write hints, or for a hint with |
| 860 | * non-hint IO. |
| 861 | */ |
| 862 | if (rq->write_hint != bio->bi_write_hint) |
| 863 | return false; |
| 864 | |
Damien Le Moal | 668ffc0 | 2018-11-20 10:52:37 +0900 | [diff] [blame] | 865 | if (rq->ioprio != bio_prio(bio)) |
| 866 | return false; |
| 867 | |
Tejun Heo | 050c8ea | 2012-02-08 09:19:38 +0100 | [diff] [blame] | 868 | return true; |
| 869 | } |
| 870 | |
Christoph Hellwig | 34fe7c0 | 2017-02-08 14:46:48 +0100 | [diff] [blame] | 871 | enum elv_merge blk_try_merge(struct request *rq, struct bio *bio) |
Tejun Heo | 050c8ea | 2012-02-08 09:19:38 +0100 | [diff] [blame] | 872 | { |
Jianchao Wang | 69840466 | 2018-10-27 19:52:14 +0800 | [diff] [blame] | 873 | if (blk_discard_mergable(rq)) |
Christoph Hellwig | 1e73973 | 2017-02-08 14:46:49 +0100 | [diff] [blame] | 874 | return ELEVATOR_DISCARD_MERGE; |
| 875 | else if (blk_rq_pos(rq) + blk_rq_sectors(rq) == bio->bi_iter.bi_sector) |
Tejun Heo | 050c8ea | 2012-02-08 09:19:38 +0100 | [diff] [blame] | 876 | return ELEVATOR_BACK_MERGE; |
Kent Overstreet | 4f024f3 | 2013-10-11 15:44:27 -0700 | [diff] [blame] | 877 | else if (blk_rq_pos(rq) - bio_sectors(bio) == bio->bi_iter.bi_sector) |
Tejun Heo | 050c8ea | 2012-02-08 09:19:38 +0100 | [diff] [blame] | 878 | return ELEVATOR_FRONT_MERGE; |
| 879 | return ELEVATOR_NO_MERGE; |
| 880 | } |