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