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