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