Christoph Hellwig | 8c16567 | 2019-04-30 14:42:39 -0400 | [diff] [blame] | 1 | // SPDX-License-Identifier: GPL-2.0 |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 2 | /* |
Jens Axboe | 0fe2347 | 2006-09-04 15:41:16 +0200 | [diff] [blame] | 3 | * Copyright (C) 2001 Jens Axboe <axboe@kernel.dk> |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 4 | */ |
| 5 | #include <linux/mm.h> |
| 6 | #include <linux/swap.h> |
| 7 | #include <linux/bio.h> |
| 8 | #include <linux/blkdev.h> |
Kent Overstreet | a27bb33 | 2013-05-07 16:19:08 -0700 | [diff] [blame] | 9 | #include <linux/uio.h> |
Tejun Heo | 852c788 | 2012-03-05 13:15:27 -0800 | [diff] [blame] | 10 | #include <linux/iocontext.h> |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 11 | #include <linux/slab.h> |
| 12 | #include <linux/init.h> |
| 13 | #include <linux/kernel.h> |
Paul Gortmaker | 630d9c4 | 2011-11-16 23:57:37 -0500 | [diff] [blame] | 14 | #include <linux/export.h> |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 15 | #include <linux/mempool.h> |
| 16 | #include <linux/workqueue.h> |
Tejun Heo | 852c788 | 2012-03-05 13:15:27 -0800 | [diff] [blame] | 17 | #include <linux/cgroup.h> |
Josef Bacik | 08e18ea | 2018-07-03 11:14:50 -0400 | [diff] [blame] | 18 | #include <linux/blk-cgroup.h> |
Damien Le Moal | b4c5875 | 2019-07-01 14:09:15 +0900 | [diff] [blame] | 19 | #include <linux/highmem.h> |
Ming Lei | de6a78b | 2020-03-18 11:43:36 +0800 | [diff] [blame] | 20 | #include <linux/sched/sysctl.h> |
Satya Tangirala | a892c8d | 2020-05-14 00:37:18 +0000 | [diff] [blame] | 21 | #include <linux/blk-crypto.h> |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 22 | |
Li Zefan | 5578213 | 2009-06-09 13:43:05 +0800 | [diff] [blame] | 23 | #include <trace/events/block.h> |
Shaohua Li | 9e234ee | 2017-03-27 10:51:41 -0700 | [diff] [blame] | 24 | #include "blk.h" |
Josef Bacik | 67b42d0 | 2018-07-03 11:15:00 -0400 | [diff] [blame] | 25 | #include "blk-rq-qos.h" |
Ingo Molnar | 0bfc245 | 2008-11-26 11:59:56 +0100 | [diff] [blame] | 26 | |
Jens Axboe | 392ddc3 | 2008-12-23 12:42:54 +0100 | [diff] [blame] | 27 | /* |
| 28 | * Test patch to inline a certain number of bi_io_vec's inside the bio |
| 29 | * itself, to shrink a bio data allocation from two mempool calls to one |
| 30 | */ |
| 31 | #define BIO_INLINE_VECS 4 |
| 32 | |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 33 | /* |
| 34 | * if you change this list, also change bvec_alloc or things will |
| 35 | * break badly! cannot be bigger than what you can fit into an |
| 36 | * unsigned short |
| 37 | */ |
Mikulas Patocka | bd5c4fa | 2018-03-21 12:49:29 -0400 | [diff] [blame] | 38 | #define BV(x, n) { .nr_vecs = x, .name = "biovec-"#n } |
Christoph Hellwig | ed996a5 | 2016-07-19 11:28:42 +0200 | [diff] [blame] | 39 | static struct biovec_slab bvec_slabs[BVEC_POOL_NR] __read_mostly = { |
Mikulas Patocka | bd5c4fa | 2018-03-21 12:49:29 -0400 | [diff] [blame] | 40 | BV(1, 1), BV(4, 4), BV(16, 16), BV(64, 64), BV(128, 128), BV(BIO_MAX_PAGES, max), |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 41 | }; |
| 42 | #undef BV |
| 43 | |
| 44 | /* |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 45 | * fs_bio_set is the bio_set containing bio and iovec memory pools used by |
| 46 | * IO code that does not need private memory pools. |
| 47 | */ |
Kent Overstreet | f4f8154 | 2018-05-08 21:33:52 -0400 | [diff] [blame] | 48 | struct bio_set fs_bio_set; |
Kent Overstreet | 3f86a82 | 2012-09-06 15:35:01 -0700 | [diff] [blame] | 49 | EXPORT_SYMBOL(fs_bio_set); |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 50 | |
Jens Axboe | bb799ca | 2008-12-10 15:35:05 +0100 | [diff] [blame] | 51 | /* |
| 52 | * Our slab pool management |
| 53 | */ |
| 54 | struct bio_slab { |
| 55 | struct kmem_cache *slab; |
| 56 | unsigned int slab_ref; |
| 57 | unsigned int slab_size; |
| 58 | char name[8]; |
| 59 | }; |
| 60 | static DEFINE_MUTEX(bio_slab_lock); |
| 61 | static struct bio_slab *bio_slabs; |
| 62 | static unsigned int bio_slab_nr, bio_slab_max; |
| 63 | |
| 64 | static struct kmem_cache *bio_find_or_create_slab(unsigned int extra_size) |
| 65 | { |
| 66 | unsigned int sz = sizeof(struct bio) + extra_size; |
| 67 | struct kmem_cache *slab = NULL; |
Alexey Khoroshilov | 389d7b2 | 2012-08-09 15:19:25 +0200 | [diff] [blame] | 68 | struct bio_slab *bslab, *new_bio_slabs; |
Anna Leuschner | 386bc35 | 2012-10-22 21:53:36 +0200 | [diff] [blame] | 69 | unsigned int new_bio_slab_max; |
Jens Axboe | bb799ca | 2008-12-10 15:35:05 +0100 | [diff] [blame] | 70 | unsigned int i, entry = -1; |
| 71 | |
| 72 | mutex_lock(&bio_slab_lock); |
| 73 | |
| 74 | i = 0; |
| 75 | while (i < bio_slab_nr) { |
Thiago Farina | f06f135 | 2010-01-19 14:07:09 +0100 | [diff] [blame] | 76 | bslab = &bio_slabs[i]; |
Jens Axboe | bb799ca | 2008-12-10 15:35:05 +0100 | [diff] [blame] | 77 | |
| 78 | if (!bslab->slab && entry == -1) |
| 79 | entry = i; |
| 80 | else if (bslab->slab_size == sz) { |
| 81 | slab = bslab->slab; |
| 82 | bslab->slab_ref++; |
| 83 | break; |
| 84 | } |
| 85 | i++; |
| 86 | } |
| 87 | |
| 88 | if (slab) |
| 89 | goto out_unlock; |
| 90 | |
| 91 | if (bio_slab_nr == bio_slab_max && entry == -1) { |
Anna Leuschner | 386bc35 | 2012-10-22 21:53:36 +0200 | [diff] [blame] | 92 | new_bio_slab_max = bio_slab_max << 1; |
Alexey Khoroshilov | 389d7b2 | 2012-08-09 15:19:25 +0200 | [diff] [blame] | 93 | new_bio_slabs = krealloc(bio_slabs, |
Anna Leuschner | 386bc35 | 2012-10-22 21:53:36 +0200 | [diff] [blame] | 94 | new_bio_slab_max * sizeof(struct bio_slab), |
Alexey Khoroshilov | 389d7b2 | 2012-08-09 15:19:25 +0200 | [diff] [blame] | 95 | GFP_KERNEL); |
| 96 | if (!new_bio_slabs) |
Jens Axboe | bb799ca | 2008-12-10 15:35:05 +0100 | [diff] [blame] | 97 | goto out_unlock; |
Anna Leuschner | 386bc35 | 2012-10-22 21:53:36 +0200 | [diff] [blame] | 98 | bio_slab_max = new_bio_slab_max; |
Alexey Khoroshilov | 389d7b2 | 2012-08-09 15:19:25 +0200 | [diff] [blame] | 99 | bio_slabs = new_bio_slabs; |
Jens Axboe | bb799ca | 2008-12-10 15:35:05 +0100 | [diff] [blame] | 100 | } |
| 101 | if (entry == -1) |
| 102 | entry = bio_slab_nr++; |
| 103 | |
| 104 | bslab = &bio_slabs[entry]; |
| 105 | |
| 106 | snprintf(bslab->name, sizeof(bslab->name), "bio-%d", entry); |
Mikulas Patocka | 6a24148 | 2014-03-28 15:51:55 -0400 | [diff] [blame] | 107 | slab = kmem_cache_create(bslab->name, sz, ARCH_KMALLOC_MINALIGN, |
| 108 | SLAB_HWCACHE_ALIGN, NULL); |
Jens Axboe | bb799ca | 2008-12-10 15:35:05 +0100 | [diff] [blame] | 109 | if (!slab) |
| 110 | goto out_unlock; |
| 111 | |
Jens Axboe | bb799ca | 2008-12-10 15:35:05 +0100 | [diff] [blame] | 112 | bslab->slab = slab; |
| 113 | bslab->slab_ref = 1; |
| 114 | bslab->slab_size = sz; |
| 115 | out_unlock: |
| 116 | mutex_unlock(&bio_slab_lock); |
| 117 | return slab; |
| 118 | } |
| 119 | |
| 120 | static void bio_put_slab(struct bio_set *bs) |
| 121 | { |
| 122 | struct bio_slab *bslab = NULL; |
| 123 | unsigned int i; |
| 124 | |
| 125 | mutex_lock(&bio_slab_lock); |
| 126 | |
| 127 | for (i = 0; i < bio_slab_nr; i++) { |
| 128 | if (bs->bio_slab == bio_slabs[i].slab) { |
| 129 | bslab = &bio_slabs[i]; |
| 130 | break; |
| 131 | } |
| 132 | } |
| 133 | |
| 134 | if (WARN(!bslab, KERN_ERR "bio: unable to find slab!\n")) |
| 135 | goto out; |
| 136 | |
| 137 | WARN_ON(!bslab->slab_ref); |
| 138 | |
| 139 | if (--bslab->slab_ref) |
| 140 | goto out; |
| 141 | |
| 142 | kmem_cache_destroy(bslab->slab); |
| 143 | bslab->slab = NULL; |
| 144 | |
| 145 | out: |
| 146 | mutex_unlock(&bio_slab_lock); |
| 147 | } |
| 148 | |
Martin K. Petersen | 7ba1ba1 | 2008-06-30 20:04:41 +0200 | [diff] [blame] | 149 | unsigned int bvec_nr_vecs(unsigned short idx) |
| 150 | { |
Greg Edwards | d6c02a9 | 2018-08-08 13:27:53 -0600 | [diff] [blame] | 151 | return bvec_slabs[--idx].nr_vecs; |
Martin K. Petersen | 7ba1ba1 | 2008-06-30 20:04:41 +0200 | [diff] [blame] | 152 | } |
| 153 | |
Kent Overstreet | 9f060e2 | 2012-10-12 15:29:33 -0700 | [diff] [blame] | 154 | void bvec_free(mempool_t *pool, struct bio_vec *bv, unsigned int idx) |
Jens Axboe | bb799ca | 2008-12-10 15:35:05 +0100 | [diff] [blame] | 155 | { |
Christoph Hellwig | ed996a5 | 2016-07-19 11:28:42 +0200 | [diff] [blame] | 156 | if (!idx) |
| 157 | return; |
| 158 | idx--; |
Jens Axboe | bb799ca | 2008-12-10 15:35:05 +0100 | [diff] [blame] | 159 | |
Christoph Hellwig | ed996a5 | 2016-07-19 11:28:42 +0200 | [diff] [blame] | 160 | BIO_BUG_ON(idx >= BVEC_POOL_NR); |
| 161 | |
| 162 | if (idx == BVEC_POOL_MAX) { |
Kent Overstreet | 9f060e2 | 2012-10-12 15:29:33 -0700 | [diff] [blame] | 163 | mempool_free(bv, pool); |
Christoph Hellwig | ed996a5 | 2016-07-19 11:28:42 +0200 | [diff] [blame] | 164 | } else { |
Jens Axboe | bb799ca | 2008-12-10 15:35:05 +0100 | [diff] [blame] | 165 | struct biovec_slab *bvs = bvec_slabs + idx; |
| 166 | |
| 167 | kmem_cache_free(bvs->slab, bv); |
| 168 | } |
| 169 | } |
| 170 | |
Kent Overstreet | 9f060e2 | 2012-10-12 15:29:33 -0700 | [diff] [blame] | 171 | struct bio_vec *bvec_alloc(gfp_t gfp_mask, int nr, unsigned long *idx, |
| 172 | mempool_t *pool) |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 173 | { |
| 174 | struct bio_vec *bvl; |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 175 | |
| 176 | /* |
Jens Axboe | 7ff9345 | 2008-12-11 11:53:43 +0100 | [diff] [blame] | 177 | * see comment near bvec_array define! |
| 178 | */ |
| 179 | switch (nr) { |
| 180 | case 1: |
| 181 | *idx = 0; |
| 182 | break; |
| 183 | case 2 ... 4: |
| 184 | *idx = 1; |
| 185 | break; |
| 186 | case 5 ... 16: |
| 187 | *idx = 2; |
| 188 | break; |
| 189 | case 17 ... 64: |
| 190 | *idx = 3; |
| 191 | break; |
| 192 | case 65 ... 128: |
| 193 | *idx = 4; |
| 194 | break; |
| 195 | case 129 ... BIO_MAX_PAGES: |
| 196 | *idx = 5; |
| 197 | break; |
| 198 | default: |
| 199 | return NULL; |
| 200 | } |
| 201 | |
| 202 | /* |
| 203 | * idx now points to the pool we want to allocate from. only the |
| 204 | * 1-vec entry pool is mempool backed. |
| 205 | */ |
Christoph Hellwig | ed996a5 | 2016-07-19 11:28:42 +0200 | [diff] [blame] | 206 | if (*idx == BVEC_POOL_MAX) { |
Jens Axboe | 7ff9345 | 2008-12-11 11:53:43 +0100 | [diff] [blame] | 207 | fallback: |
Kent Overstreet | 9f060e2 | 2012-10-12 15:29:33 -0700 | [diff] [blame] | 208 | bvl = mempool_alloc(pool, gfp_mask); |
Jens Axboe | 7ff9345 | 2008-12-11 11:53:43 +0100 | [diff] [blame] | 209 | } else { |
| 210 | struct biovec_slab *bvs = bvec_slabs + *idx; |
Mel Gorman | d0164ad | 2015-11-06 16:28:21 -0800 | [diff] [blame] | 211 | gfp_t __gfp_mask = gfp_mask & ~(__GFP_DIRECT_RECLAIM | __GFP_IO); |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 212 | |
Jens Axboe | 0a0d96b | 2008-09-11 13:17:37 +0200 | [diff] [blame] | 213 | /* |
Jens Axboe | 7ff9345 | 2008-12-11 11:53:43 +0100 | [diff] [blame] | 214 | * Make this allocation restricted and don't dump info on |
| 215 | * allocation failures, since we'll fallback to the mempool |
| 216 | * in case of failure. |
Jens Axboe | 0a0d96b | 2008-09-11 13:17:37 +0200 | [diff] [blame] | 217 | */ |
Jens Axboe | 7ff9345 | 2008-12-11 11:53:43 +0100 | [diff] [blame] | 218 | __gfp_mask |= __GFP_NOMEMALLOC | __GFP_NORETRY | __GFP_NOWARN; |
| 219 | |
| 220 | /* |
Mel Gorman | d0164ad | 2015-11-06 16:28:21 -0800 | [diff] [blame] | 221 | * Try a slab allocation. If this fails and __GFP_DIRECT_RECLAIM |
Jens Axboe | 7ff9345 | 2008-12-11 11:53:43 +0100 | [diff] [blame] | 222 | * is set, retry with the 1-entry mempool |
| 223 | */ |
| 224 | bvl = kmem_cache_alloc(bvs->slab, __gfp_mask); |
Mel Gorman | d0164ad | 2015-11-06 16:28:21 -0800 | [diff] [blame] | 225 | if (unlikely(!bvl && (gfp_mask & __GFP_DIRECT_RECLAIM))) { |
Christoph Hellwig | ed996a5 | 2016-07-19 11:28:42 +0200 | [diff] [blame] | 226 | *idx = BVEC_POOL_MAX; |
Jens Axboe | 7ff9345 | 2008-12-11 11:53:43 +0100 | [diff] [blame] | 227 | goto fallback; |
| 228 | } |
| 229 | } |
| 230 | |
Christoph Hellwig | ed996a5 | 2016-07-19 11:28:42 +0200 | [diff] [blame] | 231 | (*idx)++; |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 232 | return bvl; |
| 233 | } |
| 234 | |
Jens Axboe | 9ae3b3f5 | 2017-06-28 15:30:13 -0600 | [diff] [blame] | 235 | void bio_uninit(struct bio *bio) |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 236 | { |
Christoph Hellwig | db9819c | 2020-06-27 09:31:47 +0200 | [diff] [blame] | 237 | #ifdef CONFIG_BLK_CGROUP |
| 238 | if (bio->bi_blkg) { |
| 239 | blkg_put(bio->bi_blkg); |
| 240 | bio->bi_blkg = NULL; |
| 241 | } |
| 242 | #endif |
Justin Tee | ece841a | 2019-12-05 10:09:01 +0800 | [diff] [blame] | 243 | if (bio_integrity(bio)) |
| 244 | bio_integrity_free(bio); |
Satya Tangirala | a892c8d | 2020-05-14 00:37:18 +0000 | [diff] [blame] | 245 | |
| 246 | bio_crypt_free_ctx(bio); |
Kent Overstreet | 4254bba | 2012-09-06 15:35:00 -0700 | [diff] [blame] | 247 | } |
Jens Axboe | 9ae3b3f5 | 2017-06-28 15:30:13 -0600 | [diff] [blame] | 248 | EXPORT_SYMBOL(bio_uninit); |
Martin K. Petersen | 7ba1ba1 | 2008-06-30 20:04:41 +0200 | [diff] [blame] | 249 | |
Kent Overstreet | 4254bba | 2012-09-06 15:35:00 -0700 | [diff] [blame] | 250 | static void bio_free(struct bio *bio) |
| 251 | { |
| 252 | struct bio_set *bs = bio->bi_pool; |
| 253 | void *p; |
| 254 | |
Jens Axboe | 9ae3b3f5 | 2017-06-28 15:30:13 -0600 | [diff] [blame] | 255 | bio_uninit(bio); |
Kent Overstreet | 4254bba | 2012-09-06 15:35:00 -0700 | [diff] [blame] | 256 | |
| 257 | if (bs) { |
Kent Overstreet | 8aa6ba2 | 2018-05-08 21:33:50 -0400 | [diff] [blame] | 258 | bvec_free(&bs->bvec_pool, bio->bi_io_vec, BVEC_POOL_IDX(bio)); |
Kent Overstreet | 4254bba | 2012-09-06 15:35:00 -0700 | [diff] [blame] | 259 | |
| 260 | /* |
| 261 | * If we have front padding, adjust the bio pointer before freeing |
| 262 | */ |
| 263 | p = bio; |
Jens Axboe | bb799ca | 2008-12-10 15:35:05 +0100 | [diff] [blame] | 264 | p -= bs->front_pad; |
| 265 | |
Kent Overstreet | 8aa6ba2 | 2018-05-08 21:33:50 -0400 | [diff] [blame] | 266 | mempool_free(p, &bs->bio_pool); |
Kent Overstreet | 4254bba | 2012-09-06 15:35:00 -0700 | [diff] [blame] | 267 | } else { |
| 268 | /* Bio was allocated by bio_kmalloc() */ |
| 269 | kfree(bio); |
| 270 | } |
Peter Osterlund | 3676347 | 2005-09-06 15:16:42 -0700 | [diff] [blame] | 271 | } |
| 272 | |
Jens Axboe | 9ae3b3f5 | 2017-06-28 15:30:13 -0600 | [diff] [blame] | 273 | /* |
| 274 | * Users of this function have their own bio allocation. Subsequently, |
| 275 | * they must remember to pair any call to bio_init() with bio_uninit() |
| 276 | * when IO has completed, or when the bio is released. |
| 277 | */ |
Ming Lei | 3a83f46 | 2016-11-22 08:57:21 -0700 | [diff] [blame] | 278 | void bio_init(struct bio *bio, struct bio_vec *table, |
| 279 | unsigned short max_vecs) |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 280 | { |
Jens Axboe | 2b94de5 | 2007-07-18 13:14:03 +0200 | [diff] [blame] | 281 | memset(bio, 0, sizeof(*bio)); |
Jens Axboe | c4cf526 | 2015-04-17 16:15:18 -0600 | [diff] [blame] | 282 | atomic_set(&bio->__bi_remaining, 1); |
Jens Axboe | dac5621 | 2015-04-17 16:23:59 -0600 | [diff] [blame] | 283 | atomic_set(&bio->__bi_cnt, 1); |
Ming Lei | 3a83f46 | 2016-11-22 08:57:21 -0700 | [diff] [blame] | 284 | |
| 285 | bio->bi_io_vec = table; |
| 286 | bio->bi_max_vecs = max_vecs; |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 287 | } |
H Hartley Sweeten | a112a71 | 2009-09-26 16:19:21 +0200 | [diff] [blame] | 288 | EXPORT_SYMBOL(bio_init); |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 289 | |
| 290 | /** |
Kent Overstreet | f44b48c | 2012-09-06 15:34:58 -0700 | [diff] [blame] | 291 | * bio_reset - reinitialize a bio |
| 292 | * @bio: bio to reset |
| 293 | * |
| 294 | * Description: |
| 295 | * After calling bio_reset(), @bio will be in the same state as a freshly |
| 296 | * allocated bio returned bio bio_alloc_bioset() - the only fields that are |
| 297 | * preserved are the ones that are initialized by bio_alloc_bioset(). See |
| 298 | * comment in struct bio. |
| 299 | */ |
| 300 | void bio_reset(struct bio *bio) |
| 301 | { |
| 302 | unsigned long flags = bio->bi_flags & (~0UL << BIO_RESET_BITS); |
| 303 | |
Jens Axboe | 9ae3b3f5 | 2017-06-28 15:30:13 -0600 | [diff] [blame] | 304 | bio_uninit(bio); |
Kent Overstreet | f44b48c | 2012-09-06 15:34:58 -0700 | [diff] [blame] | 305 | |
| 306 | memset(bio, 0, BIO_RESET_BYTES); |
Christoph Hellwig | 4246a0b | 2015-07-20 15:29:37 +0200 | [diff] [blame] | 307 | bio->bi_flags = flags; |
Jens Axboe | c4cf526 | 2015-04-17 16:15:18 -0600 | [diff] [blame] | 308 | atomic_set(&bio->__bi_remaining, 1); |
Kent Overstreet | f44b48c | 2012-09-06 15:34:58 -0700 | [diff] [blame] | 309 | } |
| 310 | EXPORT_SYMBOL(bio_reset); |
| 311 | |
Christoph Hellwig | 38f8baa | 2016-03-11 17:34:51 +0100 | [diff] [blame] | 312 | static struct bio *__bio_chain_endio(struct bio *bio) |
Kent Overstreet | 196d38bc | 2013-11-23 18:34:15 -0800 | [diff] [blame] | 313 | { |
Christoph Hellwig | 4246a0b | 2015-07-20 15:29:37 +0200 | [diff] [blame] | 314 | struct bio *parent = bio->bi_private; |
| 315 | |
Yufen Yu | 1d2310d | 2021-03-31 07:53:59 -0400 | [diff] [blame] | 316 | if (bio->bi_status && !parent->bi_status) |
Christoph Hellwig | 4e4cbee | 2017-06-03 09:38:06 +0200 | [diff] [blame] | 317 | parent->bi_status = bio->bi_status; |
Kent Overstreet | 196d38bc | 2013-11-23 18:34:15 -0800 | [diff] [blame] | 318 | bio_put(bio); |
Christoph Hellwig | 38f8baa | 2016-03-11 17:34:51 +0100 | [diff] [blame] | 319 | return parent; |
| 320 | } |
| 321 | |
| 322 | static void bio_chain_endio(struct bio *bio) |
| 323 | { |
| 324 | bio_endio(__bio_chain_endio(bio)); |
Kent Overstreet | 196d38bc | 2013-11-23 18:34:15 -0800 | [diff] [blame] | 325 | } |
| 326 | |
| 327 | /** |
| 328 | * bio_chain - chain bio completions |
Randy Dunlap | 1051a90 | 2014-04-20 16:03:31 -0700 | [diff] [blame] | 329 | * @bio: the target bio |
Mauro Carvalho Chehab | 5b874af | 2020-08-27 07:51:44 +0200 | [diff] [blame] | 330 | * @parent: the parent bio of @bio |
Kent Overstreet | 196d38bc | 2013-11-23 18:34:15 -0800 | [diff] [blame] | 331 | * |
| 332 | * The caller won't have a bi_end_io called when @bio completes - instead, |
| 333 | * @parent's bi_end_io won't be called until both @parent and @bio have |
| 334 | * completed; the chained bio will also be freed when it completes. |
| 335 | * |
| 336 | * The caller must not set bi_private or bi_end_io in @bio. |
| 337 | */ |
| 338 | void bio_chain(struct bio *bio, struct bio *parent) |
| 339 | { |
| 340 | BUG_ON(bio->bi_private || bio->bi_end_io); |
| 341 | |
| 342 | bio->bi_private = parent; |
| 343 | bio->bi_end_io = bio_chain_endio; |
Jens Axboe | c4cf526 | 2015-04-17 16:15:18 -0600 | [diff] [blame] | 344 | bio_inc_remaining(parent); |
Kent Overstreet | 196d38bc | 2013-11-23 18:34:15 -0800 | [diff] [blame] | 345 | } |
| 346 | EXPORT_SYMBOL(bio_chain); |
| 347 | |
Kent Overstreet | df2cb6d | 2012-09-10 14:33:46 -0700 | [diff] [blame] | 348 | static void bio_alloc_rescue(struct work_struct *work) |
| 349 | { |
| 350 | struct bio_set *bs = container_of(work, struct bio_set, rescue_work); |
| 351 | struct bio *bio; |
| 352 | |
| 353 | while (1) { |
| 354 | spin_lock(&bs->rescue_lock); |
| 355 | bio = bio_list_pop(&bs->rescue_list); |
| 356 | spin_unlock(&bs->rescue_lock); |
| 357 | |
| 358 | if (!bio) |
| 359 | break; |
| 360 | |
Christoph Hellwig | ed00aab | 2020-07-01 10:59:44 +0200 | [diff] [blame] | 361 | submit_bio_noacct(bio); |
Kent Overstreet | df2cb6d | 2012-09-10 14:33:46 -0700 | [diff] [blame] | 362 | } |
| 363 | } |
| 364 | |
| 365 | static void punt_bios_to_rescuer(struct bio_set *bs) |
| 366 | { |
| 367 | struct bio_list punt, nopunt; |
| 368 | struct bio *bio; |
| 369 | |
NeilBrown | 47e0fb4 | 2017-06-18 14:38:57 +1000 | [diff] [blame] | 370 | if (WARN_ON_ONCE(!bs->rescue_workqueue)) |
| 371 | return; |
Kent Overstreet | df2cb6d | 2012-09-10 14:33:46 -0700 | [diff] [blame] | 372 | /* |
| 373 | * In order to guarantee forward progress we must punt only bios that |
| 374 | * were allocated from this bio_set; otherwise, if there was a bio on |
| 375 | * there for a stacking driver higher up in the stack, processing it |
| 376 | * could require allocating bios from this bio_set, and doing that from |
| 377 | * our own rescuer would be bad. |
| 378 | * |
| 379 | * Since bio lists are singly linked, pop them all instead of trying to |
| 380 | * remove from the middle of the list: |
| 381 | */ |
| 382 | |
| 383 | bio_list_init(&punt); |
| 384 | bio_list_init(&nopunt); |
| 385 | |
NeilBrown | f5fe1b5 | 2017-03-10 17:00:47 +1100 | [diff] [blame] | 386 | while ((bio = bio_list_pop(¤t->bio_list[0]))) |
Kent Overstreet | df2cb6d | 2012-09-10 14:33:46 -0700 | [diff] [blame] | 387 | bio_list_add(bio->bi_pool == bs ? &punt : &nopunt, bio); |
NeilBrown | f5fe1b5 | 2017-03-10 17:00:47 +1100 | [diff] [blame] | 388 | current->bio_list[0] = nopunt; |
Kent Overstreet | df2cb6d | 2012-09-10 14:33:46 -0700 | [diff] [blame] | 389 | |
NeilBrown | f5fe1b5 | 2017-03-10 17:00:47 +1100 | [diff] [blame] | 390 | bio_list_init(&nopunt); |
| 391 | while ((bio = bio_list_pop(¤t->bio_list[1]))) |
| 392 | bio_list_add(bio->bi_pool == bs ? &punt : &nopunt, bio); |
| 393 | current->bio_list[1] = nopunt; |
Kent Overstreet | df2cb6d | 2012-09-10 14:33:46 -0700 | [diff] [blame] | 394 | |
| 395 | spin_lock(&bs->rescue_lock); |
| 396 | bio_list_merge(&bs->rescue_list, &punt); |
| 397 | spin_unlock(&bs->rescue_lock); |
| 398 | |
| 399 | queue_work(bs->rescue_workqueue, &bs->rescue_work); |
| 400 | } |
| 401 | |
Kent Overstreet | f44b48c | 2012-09-06 15:34:58 -0700 | [diff] [blame] | 402 | /** |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 403 | * bio_alloc_bioset - allocate a bio for I/O |
Randy Dunlap | 519c8e9 | 2017-10-16 11:01:00 -0700 | [diff] [blame] | 404 | * @gfp_mask: the GFP_* mask given to the slab allocator |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 405 | * @nr_iovecs: number of iovecs to pre-allocate |
Jaak Ristioja | db18efa | 2010-01-15 12:05:07 +0200 | [diff] [blame] | 406 | * @bs: the bio_set to allocate from. |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 407 | * |
| 408 | * Description: |
Kent Overstreet | 3f86a82 | 2012-09-06 15:35:01 -0700 | [diff] [blame] | 409 | * If @bs is NULL, uses kmalloc() to allocate the bio; else the allocation is |
| 410 | * backed by the @bs's mempool. |
| 411 | * |
Mel Gorman | d0164ad | 2015-11-06 16:28:21 -0800 | [diff] [blame] | 412 | * When @bs is not NULL, if %__GFP_DIRECT_RECLAIM is set then bio_alloc will |
| 413 | * always be able to allocate a bio. This is due to the mempool guarantees. |
| 414 | * To make this work, callers must never allocate more than 1 bio at a time |
| 415 | * from this pool. Callers that need to allocate more than 1 bio must always |
| 416 | * submit the previously allocated bio for IO before attempting to allocate |
| 417 | * a new one. Failure to do so can cause deadlocks under memory pressure. |
Kent Overstreet | 3f86a82 | 2012-09-06 15:35:01 -0700 | [diff] [blame] | 418 | * |
Christoph Hellwig | ed00aab | 2020-07-01 10:59:44 +0200 | [diff] [blame] | 419 | * Note that when running under submit_bio_noacct() (i.e. any block |
Kent Overstreet | df2cb6d | 2012-09-10 14:33:46 -0700 | [diff] [blame] | 420 | * driver), bios are not submitted until after you return - see the code in |
Christoph Hellwig | ed00aab | 2020-07-01 10:59:44 +0200 | [diff] [blame] | 421 | * submit_bio_noacct() that converts recursion into iteration, to prevent |
Kent Overstreet | df2cb6d | 2012-09-10 14:33:46 -0700 | [diff] [blame] | 422 | * stack overflows. |
| 423 | * |
| 424 | * This would normally mean allocating multiple bios under |
Christoph Hellwig | ed00aab | 2020-07-01 10:59:44 +0200 | [diff] [blame] | 425 | * submit_bio_noacct() would be susceptible to deadlocks, but we have |
Kent Overstreet | df2cb6d | 2012-09-10 14:33:46 -0700 | [diff] [blame] | 426 | * deadlock avoidance code that resubmits any blocked bios from a rescuer |
| 427 | * thread. |
| 428 | * |
| 429 | * However, we do not guarantee forward progress for allocations from other |
| 430 | * mempools. Doing multiple allocations from the same mempool under |
Christoph Hellwig | ed00aab | 2020-07-01 10:59:44 +0200 | [diff] [blame] | 431 | * submit_bio_noacct() should be avoided - instead, use bio_set's front_pad |
Kent Overstreet | df2cb6d | 2012-09-10 14:33:46 -0700 | [diff] [blame] | 432 | * for per bio allocations. |
| 433 | * |
Kent Overstreet | 3f86a82 | 2012-09-06 15:35:01 -0700 | [diff] [blame] | 434 | * RETURNS: |
| 435 | * Pointer to new bio on success, NULL on failure. |
| 436 | */ |
Dan Carpenter | 7a88fa1 | 2017-03-23 13:24:55 +0300 | [diff] [blame] | 437 | struct bio *bio_alloc_bioset(gfp_t gfp_mask, unsigned int nr_iovecs, |
| 438 | struct bio_set *bs) |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 439 | { |
Kent Overstreet | df2cb6d | 2012-09-10 14:33:46 -0700 | [diff] [blame] | 440 | gfp_t saved_gfp = gfp_mask; |
Kent Overstreet | 3f86a82 | 2012-09-06 15:35:01 -0700 | [diff] [blame] | 441 | unsigned front_pad; |
| 442 | unsigned inline_vecs; |
Ingo Molnar | 3405397 | 2009-02-21 11:16:36 +0100 | [diff] [blame] | 443 | struct bio_vec *bvl = NULL; |
Tejun Heo | 451a9eb | 2009-04-15 19:50:51 +0200 | [diff] [blame] | 444 | struct bio *bio; |
| 445 | void *p; |
Jens Axboe | 0a0d96b | 2008-09-11 13:17:37 +0200 | [diff] [blame] | 446 | |
Kent Overstreet | 3f86a82 | 2012-09-06 15:35:01 -0700 | [diff] [blame] | 447 | if (!bs) { |
| 448 | if (nr_iovecs > UIO_MAXIOV) |
| 449 | return NULL; |
| 450 | |
Gustavo A. R. Silva | 1f4fe21 | 2020-06-19 19:49:49 -0500 | [diff] [blame] | 451 | p = kmalloc(struct_size(bio, bi_inline_vecs, nr_iovecs), gfp_mask); |
Kent Overstreet | 3f86a82 | 2012-09-06 15:35:01 -0700 | [diff] [blame] | 452 | front_pad = 0; |
| 453 | inline_vecs = nr_iovecs; |
| 454 | } else { |
Junichi Nomura | d8f429e | 2014-10-03 17:27:12 -0400 | [diff] [blame] | 455 | /* should not use nobvec bioset for nr_iovecs > 0 */ |
Kent Overstreet | 8aa6ba2 | 2018-05-08 21:33:50 -0400 | [diff] [blame] | 456 | if (WARN_ON_ONCE(!mempool_initialized(&bs->bvec_pool) && |
| 457 | nr_iovecs > 0)) |
Junichi Nomura | d8f429e | 2014-10-03 17:27:12 -0400 | [diff] [blame] | 458 | return NULL; |
Kent Overstreet | df2cb6d | 2012-09-10 14:33:46 -0700 | [diff] [blame] | 459 | /* |
Christoph Hellwig | ed00aab | 2020-07-01 10:59:44 +0200 | [diff] [blame] | 460 | * submit_bio_noacct() converts recursion to iteration; this |
Kent Overstreet | df2cb6d | 2012-09-10 14:33:46 -0700 | [diff] [blame] | 461 | * means if we're running beneath it, any bios we allocate and |
| 462 | * submit will not be submitted (and thus freed) until after we |
| 463 | * return. |
| 464 | * |
| 465 | * This exposes us to a potential deadlock if we allocate |
| 466 | * multiple bios from the same bio_set() while running |
Christoph Hellwig | ed00aab | 2020-07-01 10:59:44 +0200 | [diff] [blame] | 467 | * underneath submit_bio_noacct(). If we were to allocate |
Kent Overstreet | df2cb6d | 2012-09-10 14:33:46 -0700 | [diff] [blame] | 468 | * multiple bios (say a stacking block driver that was splitting |
| 469 | * bios), we would deadlock if we exhausted the mempool's |
| 470 | * reserve. |
| 471 | * |
| 472 | * We solve this, and guarantee forward progress, with a rescuer |
| 473 | * workqueue per bio_set. If we go to allocate and there are |
| 474 | * bios on current->bio_list, we first try the allocation |
Mel Gorman | d0164ad | 2015-11-06 16:28:21 -0800 | [diff] [blame] | 475 | * without __GFP_DIRECT_RECLAIM; if that fails, we punt those |
| 476 | * bios we would be blocking to the rescuer workqueue before |
| 477 | * we retry with the original gfp_flags. |
Kent Overstreet | df2cb6d | 2012-09-10 14:33:46 -0700 | [diff] [blame] | 478 | */ |
| 479 | |
NeilBrown | f5fe1b5 | 2017-03-10 17:00:47 +1100 | [diff] [blame] | 480 | if (current->bio_list && |
| 481 | (!bio_list_empty(¤t->bio_list[0]) || |
NeilBrown | 47e0fb4 | 2017-06-18 14:38:57 +1000 | [diff] [blame] | 482 | !bio_list_empty(¤t->bio_list[1])) && |
| 483 | bs->rescue_workqueue) |
Mel Gorman | d0164ad | 2015-11-06 16:28:21 -0800 | [diff] [blame] | 484 | gfp_mask &= ~__GFP_DIRECT_RECLAIM; |
Kent Overstreet | df2cb6d | 2012-09-10 14:33:46 -0700 | [diff] [blame] | 485 | |
Kent Overstreet | 8aa6ba2 | 2018-05-08 21:33:50 -0400 | [diff] [blame] | 486 | p = mempool_alloc(&bs->bio_pool, gfp_mask); |
Kent Overstreet | df2cb6d | 2012-09-10 14:33:46 -0700 | [diff] [blame] | 487 | if (!p && gfp_mask != saved_gfp) { |
| 488 | punt_bios_to_rescuer(bs); |
| 489 | gfp_mask = saved_gfp; |
Kent Overstreet | 8aa6ba2 | 2018-05-08 21:33:50 -0400 | [diff] [blame] | 490 | p = mempool_alloc(&bs->bio_pool, gfp_mask); |
Kent Overstreet | df2cb6d | 2012-09-10 14:33:46 -0700 | [diff] [blame] | 491 | } |
| 492 | |
Kent Overstreet | 3f86a82 | 2012-09-06 15:35:01 -0700 | [diff] [blame] | 493 | front_pad = bs->front_pad; |
| 494 | inline_vecs = BIO_INLINE_VECS; |
| 495 | } |
| 496 | |
Tejun Heo | 451a9eb | 2009-04-15 19:50:51 +0200 | [diff] [blame] | 497 | if (unlikely(!p)) |
| 498 | return NULL; |
Ingo Molnar | 3405397 | 2009-02-21 11:16:36 +0100 | [diff] [blame] | 499 | |
Kent Overstreet | 3f86a82 | 2012-09-06 15:35:01 -0700 | [diff] [blame] | 500 | bio = p + front_pad; |
Ming Lei | 3a83f46 | 2016-11-22 08:57:21 -0700 | [diff] [blame] | 501 | bio_init(bio, NULL, 0); |
Ingo Molnar | 3405397 | 2009-02-21 11:16:36 +0100 | [diff] [blame] | 502 | |
Kent Overstreet | 3f86a82 | 2012-09-06 15:35:01 -0700 | [diff] [blame] | 503 | if (nr_iovecs > inline_vecs) { |
Christoph Hellwig | ed996a5 | 2016-07-19 11:28:42 +0200 | [diff] [blame] | 504 | unsigned long idx = 0; |
| 505 | |
Kent Overstreet | 8aa6ba2 | 2018-05-08 21:33:50 -0400 | [diff] [blame] | 506 | bvl = bvec_alloc(gfp_mask, nr_iovecs, &idx, &bs->bvec_pool); |
Kent Overstreet | df2cb6d | 2012-09-10 14:33:46 -0700 | [diff] [blame] | 507 | if (!bvl && gfp_mask != saved_gfp) { |
| 508 | punt_bios_to_rescuer(bs); |
| 509 | gfp_mask = saved_gfp; |
Kent Overstreet | 8aa6ba2 | 2018-05-08 21:33:50 -0400 | [diff] [blame] | 510 | bvl = bvec_alloc(gfp_mask, nr_iovecs, &idx, &bs->bvec_pool); |
Kent Overstreet | df2cb6d | 2012-09-10 14:33:46 -0700 | [diff] [blame] | 511 | } |
| 512 | |
Ingo Molnar | 3405397 | 2009-02-21 11:16:36 +0100 | [diff] [blame] | 513 | if (unlikely(!bvl)) |
| 514 | goto err_free; |
Kent Overstreet | a38352e | 2012-05-25 13:03:11 -0700 | [diff] [blame] | 515 | |
Christoph Hellwig | ed996a5 | 2016-07-19 11:28:42 +0200 | [diff] [blame] | 516 | bio->bi_flags |= idx << BVEC_POOL_OFFSET; |
Kent Overstreet | 3f86a82 | 2012-09-06 15:35:01 -0700 | [diff] [blame] | 517 | } else if (nr_iovecs) { |
| 518 | bvl = bio->bi_inline_vecs; |
Ingo Molnar | 3405397 | 2009-02-21 11:16:36 +0100 | [diff] [blame] | 519 | } |
Kent Overstreet | 3f86a82 | 2012-09-06 15:35:01 -0700 | [diff] [blame] | 520 | |
| 521 | bio->bi_pool = bs; |
Ingo Molnar | 3405397 | 2009-02-21 11:16:36 +0100 | [diff] [blame] | 522 | bio->bi_max_vecs = nr_iovecs; |
Ingo Molnar | 3405397 | 2009-02-21 11:16:36 +0100 | [diff] [blame] | 523 | bio->bi_io_vec = bvl; |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 524 | return bio; |
Ingo Molnar | 3405397 | 2009-02-21 11:16:36 +0100 | [diff] [blame] | 525 | |
| 526 | err_free: |
Kent Overstreet | 8aa6ba2 | 2018-05-08 21:33:50 -0400 | [diff] [blame] | 527 | mempool_free(p, &bs->bio_pool); |
Ingo Molnar | 3405397 | 2009-02-21 11:16:36 +0100 | [diff] [blame] | 528 | return NULL; |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 529 | } |
H Hartley Sweeten | a112a71 | 2009-09-26 16:19:21 +0200 | [diff] [blame] | 530 | EXPORT_SYMBOL(bio_alloc_bioset); |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 531 | |
Kent Overstreet | 38a72da | 2018-05-08 21:33:53 -0400 | [diff] [blame] | 532 | void zero_fill_bio_iter(struct bio *bio, struct bvec_iter start) |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 533 | { |
| 534 | unsigned long flags; |
Kent Overstreet | 7988613 | 2013-11-23 17:19:00 -0800 | [diff] [blame] | 535 | struct bio_vec bv; |
| 536 | struct bvec_iter iter; |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 537 | |
Kent Overstreet | 38a72da | 2018-05-08 21:33:53 -0400 | [diff] [blame] | 538 | __bio_for_each_segment(bv, bio, iter, start) { |
Kent Overstreet | 7988613 | 2013-11-23 17:19:00 -0800 | [diff] [blame] | 539 | char *data = bvec_kmap_irq(&bv, &flags); |
| 540 | memset(data, 0, bv.bv_len); |
| 541 | flush_dcache_page(bv.bv_page); |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 542 | bvec_kunmap_irq(data, &flags); |
| 543 | } |
| 544 | } |
Kent Overstreet | 38a72da | 2018-05-08 21:33:53 -0400 | [diff] [blame] | 545 | EXPORT_SYMBOL(zero_fill_bio_iter); |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 546 | |
Ming Lei | 83c9c54 | 2020-01-05 09:41:14 +0800 | [diff] [blame] | 547 | /** |
| 548 | * bio_truncate - truncate the bio to small size of @new_size |
| 549 | * @bio: the bio to be truncated |
| 550 | * @new_size: new size for truncating the bio |
| 551 | * |
| 552 | * Description: |
| 553 | * Truncate the bio to new size of @new_size. If bio_op(bio) is |
| 554 | * REQ_OP_READ, zero the truncated part. This function should only |
| 555 | * be used for handling corner cases, such as bio eod. |
| 556 | */ |
Ming Lei | 85a8ce6 | 2019-12-28 07:05:48 +0800 | [diff] [blame] | 557 | void bio_truncate(struct bio *bio, unsigned new_size) |
| 558 | { |
| 559 | struct bio_vec bv; |
| 560 | struct bvec_iter iter; |
| 561 | unsigned int done = 0; |
| 562 | bool truncated = false; |
| 563 | |
| 564 | if (new_size >= bio->bi_iter.bi_size) |
| 565 | return; |
| 566 | |
Ming Lei | 83c9c54 | 2020-01-05 09:41:14 +0800 | [diff] [blame] | 567 | if (bio_op(bio) != REQ_OP_READ) |
Ming Lei | 85a8ce6 | 2019-12-28 07:05:48 +0800 | [diff] [blame] | 568 | goto exit; |
| 569 | |
| 570 | bio_for_each_segment(bv, bio, iter) { |
| 571 | if (done + bv.bv_len > new_size) { |
| 572 | unsigned offset; |
| 573 | |
| 574 | if (!truncated) |
| 575 | offset = new_size - done; |
| 576 | else |
| 577 | offset = 0; |
OGAWA Hirofumi | b63e120 | 2022-01-09 18:36:43 +0900 | [diff] [blame] | 578 | zero_user(bv.bv_page, bv.bv_offset + offset, |
| 579 | bv.bv_len - offset); |
Ming Lei | 85a8ce6 | 2019-12-28 07:05:48 +0800 | [diff] [blame] | 580 | truncated = true; |
| 581 | } |
| 582 | done += bv.bv_len; |
| 583 | } |
| 584 | |
| 585 | exit: |
| 586 | /* |
| 587 | * Don't touch bvec table here and make it really immutable, since |
| 588 | * fs bio user has to retrieve all pages via bio_for_each_segment_all |
| 589 | * in its .end_bio() callback. |
| 590 | * |
| 591 | * It is enough to truncate bio by updating .bi_size since we can make |
| 592 | * correct bvec with the updated .bi_size for drivers. |
| 593 | */ |
| 594 | bio->bi_iter.bi_size = new_size; |
| 595 | } |
| 596 | |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 597 | /** |
Christoph Hellwig | 29125ed | 2020-03-25 16:48:40 +0100 | [diff] [blame] | 598 | * guard_bio_eod - truncate a BIO to fit the block device |
| 599 | * @bio: bio to truncate |
| 600 | * |
| 601 | * This allows us to do IO even on the odd last sectors of a device, even if the |
| 602 | * block size is some multiple of the physical sector size. |
| 603 | * |
| 604 | * We'll just truncate the bio to the size of the device, and clear the end of |
| 605 | * the buffer head manually. Truly out-of-range accesses will turn into actual |
| 606 | * I/O errors, this only handles the "we need to be able to do I/O at the final |
| 607 | * sector" case. |
| 608 | */ |
| 609 | void guard_bio_eod(struct bio *bio) |
| 610 | { |
| 611 | sector_t maxsector; |
| 612 | struct hd_struct *part; |
| 613 | |
| 614 | rcu_read_lock(); |
| 615 | part = __disk_get_part(bio->bi_disk, bio->bi_partno); |
| 616 | if (part) |
| 617 | maxsector = part_nr_sects_read(part); |
| 618 | else |
| 619 | maxsector = get_capacity(bio->bi_disk); |
| 620 | rcu_read_unlock(); |
| 621 | |
| 622 | if (!maxsector) |
| 623 | return; |
| 624 | |
| 625 | /* |
| 626 | * If the *whole* IO is past the end of the device, |
| 627 | * let it through, and the IO layer will turn it into |
| 628 | * an EIO. |
| 629 | */ |
| 630 | if (unlikely(bio->bi_iter.bi_sector >= maxsector)) |
| 631 | return; |
| 632 | |
| 633 | maxsector -= bio->bi_iter.bi_sector; |
| 634 | if (likely((bio->bi_iter.bi_size >> 9) <= maxsector)) |
| 635 | return; |
| 636 | |
| 637 | bio_truncate(bio, maxsector << 9); |
| 638 | } |
| 639 | |
| 640 | /** |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 641 | * bio_put - release a reference to a bio |
| 642 | * @bio: bio to release reference to |
| 643 | * |
| 644 | * Description: |
| 645 | * Put a reference to a &struct bio, either one you have gotten with |
NeilBrown | 9b10f6a | 2017-06-18 14:38:59 +1000 | [diff] [blame] | 646 | * bio_alloc, bio_get or bio_clone_*. The last put of a bio will free it. |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 647 | **/ |
| 648 | void bio_put(struct bio *bio) |
| 649 | { |
Jens Axboe | dac5621 | 2015-04-17 16:23:59 -0600 | [diff] [blame] | 650 | if (!bio_flagged(bio, BIO_REFFED)) |
Kent Overstreet | 4254bba | 2012-09-06 15:35:00 -0700 | [diff] [blame] | 651 | bio_free(bio); |
Jens Axboe | dac5621 | 2015-04-17 16:23:59 -0600 | [diff] [blame] | 652 | else { |
| 653 | BIO_BUG_ON(!atomic_read(&bio->__bi_cnt)); |
| 654 | |
| 655 | /* |
| 656 | * last put frees it |
| 657 | */ |
| 658 | if (atomic_dec_and_test(&bio->__bi_cnt)) |
| 659 | bio_free(bio); |
| 660 | } |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 661 | } |
H Hartley Sweeten | a112a71 | 2009-09-26 16:19:21 +0200 | [diff] [blame] | 662 | EXPORT_SYMBOL(bio_put); |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 663 | |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 664 | /** |
Kent Overstreet | 59d276f | 2013-11-23 18:19:27 -0800 | [diff] [blame] | 665 | * __bio_clone_fast - clone a bio that shares the original bio's biovec |
| 666 | * @bio: destination bio |
| 667 | * @bio_src: bio to clone |
| 668 | * |
| 669 | * Clone a &bio. Caller will own the returned bio, but not |
| 670 | * the actual data it points to. Reference count of returned |
| 671 | * bio will be one. |
| 672 | * |
| 673 | * Caller must ensure that @bio_src is not freed before @bio. |
| 674 | */ |
| 675 | void __bio_clone_fast(struct bio *bio, struct bio *bio_src) |
| 676 | { |
Christoph Hellwig | ed996a5 | 2016-07-19 11:28:42 +0200 | [diff] [blame] | 677 | BUG_ON(bio->bi_pool && BVEC_POOL_IDX(bio)); |
Kent Overstreet | 59d276f | 2013-11-23 18:19:27 -0800 | [diff] [blame] | 678 | |
| 679 | /* |
Christoph Hellwig | 74d4699 | 2017-08-23 19:10:32 +0200 | [diff] [blame] | 680 | * most users will be overriding ->bi_disk with a new target, |
Kent Overstreet | 59d276f | 2013-11-23 18:19:27 -0800 | [diff] [blame] | 681 | * so we don't set nor calculate new physical/hw segment counts here |
| 682 | */ |
Christoph Hellwig | 74d4699 | 2017-08-23 19:10:32 +0200 | [diff] [blame] | 683 | bio->bi_disk = bio_src->bi_disk; |
Michael Lyle | 62530ed | 2017-11-16 23:47:25 -0800 | [diff] [blame] | 684 | bio->bi_partno = bio_src->bi_partno; |
Jens Axboe | b7c44ed | 2015-07-24 12:37:59 -0600 | [diff] [blame] | 685 | bio_set_flag(bio, BIO_CLONED); |
Shaohua Li | 111be88 | 2017-12-20 11:10:17 -0700 | [diff] [blame] | 686 | if (bio_flagged(bio_src, BIO_THROTTLED)) |
| 687 | bio_set_flag(bio, BIO_THROTTLED); |
Jens Axboe | 1eff9d3 | 2016-08-05 15:35:16 -0600 | [diff] [blame] | 688 | bio->bi_opf = bio_src->bi_opf; |
Hannes Reinecke | ca474b7 | 2018-11-12 10:35:25 -0700 | [diff] [blame] | 689 | bio->bi_ioprio = bio_src->bi_ioprio; |
Jens Axboe | cb6934f | 2017-06-27 09:22:02 -0600 | [diff] [blame] | 690 | bio->bi_write_hint = bio_src->bi_write_hint; |
Kent Overstreet | 59d276f | 2013-11-23 18:19:27 -0800 | [diff] [blame] | 691 | bio->bi_iter = bio_src->bi_iter; |
| 692 | bio->bi_io_vec = bio_src->bi_io_vec; |
Paolo Valente | 20bd723 | 2016-07-27 07:22:05 +0200 | [diff] [blame] | 693 | |
Dennis Zhou | db6638d | 2018-12-05 12:10:35 -0500 | [diff] [blame] | 694 | bio_clone_blkg_association(bio, bio_src); |
Dennis Zhou | e439bed | 2018-12-05 12:10:32 -0500 | [diff] [blame] | 695 | blkcg_bio_issue_init(bio); |
Kent Overstreet | 59d276f | 2013-11-23 18:19:27 -0800 | [diff] [blame] | 696 | } |
| 697 | EXPORT_SYMBOL(__bio_clone_fast); |
| 698 | |
| 699 | /** |
| 700 | * bio_clone_fast - clone a bio that shares the original bio's biovec |
| 701 | * @bio: bio to clone |
| 702 | * @gfp_mask: allocation priority |
| 703 | * @bs: bio_set to allocate from |
| 704 | * |
| 705 | * Like __bio_clone_fast, only also allocates the returned bio |
| 706 | */ |
| 707 | struct bio *bio_clone_fast(struct bio *bio, gfp_t gfp_mask, struct bio_set *bs) |
| 708 | { |
| 709 | struct bio *b; |
| 710 | |
| 711 | b = bio_alloc_bioset(gfp_mask, 0, bs); |
| 712 | if (!b) |
| 713 | return NULL; |
| 714 | |
| 715 | __bio_clone_fast(b, bio); |
| 716 | |
Eric Biggers | 0756015 | 2020-09-15 20:53:13 -0700 | [diff] [blame] | 717 | if (bio_crypt_clone(b, bio, gfp_mask) < 0) |
| 718 | goto err_put; |
Satya Tangirala | a892c8d | 2020-05-14 00:37:18 +0000 | [diff] [blame] | 719 | |
Eric Biggers | 0756015 | 2020-09-15 20:53:13 -0700 | [diff] [blame] | 720 | if (bio_integrity(bio) && |
| 721 | bio_integrity_clone(b, bio, gfp_mask) < 0) |
| 722 | goto err_put; |
Kent Overstreet | 59d276f | 2013-11-23 18:19:27 -0800 | [diff] [blame] | 723 | |
| 724 | return b; |
Eric Biggers | 0756015 | 2020-09-15 20:53:13 -0700 | [diff] [blame] | 725 | |
| 726 | err_put: |
| 727 | bio_put(b); |
| 728 | return NULL; |
Kent Overstreet | 59d276f | 2013-11-23 18:19:27 -0800 | [diff] [blame] | 729 | } |
| 730 | EXPORT_SYMBOL(bio_clone_fast); |
| 731 | |
Christoph Hellwig | 5cbd28e | 2020-03-24 08:25:12 +0100 | [diff] [blame] | 732 | const char *bio_devname(struct bio *bio, char *buf) |
| 733 | { |
| 734 | return disk_name(bio->bi_disk, bio->bi_partno, buf); |
| 735 | } |
| 736 | EXPORT_SYMBOL(bio_devname); |
| 737 | |
Ming Lei | 5919482 | 2019-03-17 18:01:07 +0800 | [diff] [blame] | 738 | static inline bool page_is_mergeable(const struct bio_vec *bv, |
| 739 | struct page *page, unsigned int len, unsigned int off, |
Christoph Hellwig | ff89673 | 2019-06-17 11:14:11 +0200 | [diff] [blame] | 740 | bool *same_page) |
Ming Lei | 5919482 | 2019-03-17 18:01:07 +0800 | [diff] [blame] | 741 | { |
Matthew Wilcox (Oracle) | d816651 | 2020-08-17 20:52:06 +0100 | [diff] [blame] | 742 | size_t bv_end = bv->bv_offset + bv->bv_len; |
| 743 | phys_addr_t vec_end_addr = page_to_phys(bv->bv_page) + bv_end - 1; |
Ming Lei | 5919482 | 2019-03-17 18:01:07 +0800 | [diff] [blame] | 744 | phys_addr_t page_addr = page_to_phys(page); |
| 745 | |
| 746 | if (vec_end_addr + 1 != page_addr + off) |
| 747 | return false; |
| 748 | if (xen_domain() && !xen_biovec_phys_mergeable(bv, page)) |
| 749 | return false; |
Christoph Hellwig | 52d52d1 | 2019-04-11 08:23:31 +0200 | [diff] [blame] | 750 | |
Christoph Hellwig | ff89673 | 2019-06-17 11:14:11 +0200 | [diff] [blame] | 751 | *same_page = ((vec_end_addr & PAGE_MASK) == page_addr); |
Matthew Wilcox (Oracle) | d816651 | 2020-08-17 20:52:06 +0100 | [diff] [blame] | 752 | if (*same_page) |
| 753 | return true; |
| 754 | return (bv->bv_page + bv_end / PAGE_SIZE) == (page + off / PAGE_SIZE); |
Ming Lei | 5919482 | 2019-03-17 18:01:07 +0800 | [diff] [blame] | 755 | } |
| 756 | |
Christoph Hellwig | e458110 | 2020-05-12 17:55:46 +0900 | [diff] [blame] | 757 | /* |
| 758 | * Try to merge a page into a segment, while obeying the hardware segment |
| 759 | * size limit. This is not for normal read/write bios, but for passthrough |
| 760 | * or Zone Append operations that we can't split. |
| 761 | */ |
| 762 | static bool bio_try_merge_hw_seg(struct request_queue *q, struct bio *bio, |
| 763 | struct page *page, unsigned len, |
| 764 | unsigned offset, bool *same_page) |
Ming Lei | 489fbbc | 2019-03-29 15:08:00 +0800 | [diff] [blame] | 765 | { |
Christoph Hellwig | 384209c | 2019-08-12 17:39:57 +0200 | [diff] [blame] | 766 | struct bio_vec *bv = &bio->bi_io_vec[bio->bi_vcnt - 1]; |
Ming Lei | 489fbbc | 2019-03-29 15:08:00 +0800 | [diff] [blame] | 767 | unsigned long mask = queue_segment_boundary(q); |
| 768 | phys_addr_t addr1 = page_to_phys(bv->bv_page) + bv->bv_offset; |
| 769 | phys_addr_t addr2 = page_to_phys(page) + offset + len - 1; |
| 770 | |
| 771 | if ((addr1 | mask) != (addr2 | mask)) |
| 772 | return false; |
Ming Lei | 489fbbc | 2019-03-29 15:08:00 +0800 | [diff] [blame] | 773 | if (bv->bv_len + len > queue_max_segment_size(q)) |
| 774 | return false; |
Christoph Hellwig | 384209c | 2019-08-12 17:39:57 +0200 | [diff] [blame] | 775 | return __bio_try_merge_page(bio, page, len, offset, same_page); |
Ming Lei | 489fbbc | 2019-03-29 15:08:00 +0800 | [diff] [blame] | 776 | } |
| 777 | |
Shaohua Li | f459587 | 2017-03-24 10:34:43 -0700 | [diff] [blame] | 778 | /** |
Christoph Hellwig | e458110 | 2020-05-12 17:55:46 +0900 | [diff] [blame] | 779 | * bio_add_hw_page - attempt to add a page to a bio with hw constraints |
| 780 | * @q: the target queue |
| 781 | * @bio: destination bio |
| 782 | * @page: page to add |
| 783 | * @len: vec entry length |
| 784 | * @offset: vec entry offset |
| 785 | * @max_sectors: maximum number of sectors that can be added |
| 786 | * @same_page: return if the segment has been merged inside the same page |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 787 | * |
Christoph Hellwig | e458110 | 2020-05-12 17:55:46 +0900 | [diff] [blame] | 788 | * Add a page to a bio while respecting the hardware max_sectors, max_segment |
| 789 | * and gap limitations. |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 790 | */ |
Christoph Hellwig | e458110 | 2020-05-12 17:55:46 +0900 | [diff] [blame] | 791 | int bio_add_hw_page(struct request_queue *q, struct bio *bio, |
Ming Lei | 1904708 | 2019-03-17 18:01:08 +0800 | [diff] [blame] | 792 | struct page *page, unsigned int len, unsigned int offset, |
Christoph Hellwig | e458110 | 2020-05-12 17:55:46 +0900 | [diff] [blame] | 793 | unsigned int max_sectors, bool *same_page) |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 794 | { |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 795 | struct bio_vec *bvec; |
| 796 | |
Christoph Hellwig | e458110 | 2020-05-12 17:55:46 +0900 | [diff] [blame] | 797 | if (WARN_ON_ONCE(bio_flagged(bio, BIO_CLONED))) |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 798 | return 0; |
| 799 | |
Christoph Hellwig | e458110 | 2020-05-12 17:55:46 +0900 | [diff] [blame] | 800 | if (((bio->bi_iter.bi_size + len) >> 9) > max_sectors) |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 801 | return 0; |
| 802 | |
Jens Axboe | 80cfd54 | 2006-01-06 09:43:28 +0100 | [diff] [blame] | 803 | if (bio->bi_vcnt > 0) { |
Christoph Hellwig | e458110 | 2020-05-12 17:55:46 +0900 | [diff] [blame] | 804 | if (bio_try_merge_hw_seg(q, bio, page, len, offset, same_page)) |
Christoph Hellwig | 384209c | 2019-08-12 17:39:57 +0200 | [diff] [blame] | 805 | return len; |
Christoph Hellwig | 320ea86 | 2019-08-12 17:39:56 +0200 | [diff] [blame] | 806 | |
| 807 | /* |
| 808 | * If the queue doesn't support SG gaps and adding this segment |
| 809 | * would create a gap, disallow it. |
| 810 | */ |
Christoph Hellwig | 384209c | 2019-08-12 17:39:57 +0200 | [diff] [blame] | 811 | bvec = &bio->bi_io_vec[bio->bi_vcnt - 1]; |
Christoph Hellwig | 320ea86 | 2019-08-12 17:39:56 +0200 | [diff] [blame] | 812 | if (bvec_gap_to_prev(q, bvec, offset)) |
| 813 | return 0; |
Jens Axboe | 80cfd54 | 2006-01-06 09:43:28 +0100 | [diff] [blame] | 814 | } |
| 815 | |
Ming Lei | 79d08f8 | 2019-07-01 15:14:46 +0800 | [diff] [blame] | 816 | if (bio_full(bio, len)) |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 817 | return 0; |
| 818 | |
Christoph Hellwig | 14ccb66 | 2019-06-06 12:29:01 +0200 | [diff] [blame] | 819 | if (bio->bi_vcnt >= queue_max_segments(q)) |
Ming Lei | 489fbbc | 2019-03-29 15:08:00 +0800 | [diff] [blame] | 820 | return 0; |
| 821 | |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 822 | bvec = &bio->bi_io_vec[bio->bi_vcnt]; |
| 823 | bvec->bv_page = page; |
| 824 | bvec->bv_len = len; |
| 825 | bvec->bv_offset = offset; |
Maurizio Lombardi | fcbf6a0 | 2014-12-10 14:16:53 -0800 | [diff] [blame] | 826 | bio->bi_vcnt++; |
Christoph Hellwig | dcdca75 | 2019-04-25 09:04:35 +0200 | [diff] [blame] | 827 | bio->bi_iter.bi_size += len; |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 828 | return len; |
| 829 | } |
Ming Lei | 1904708 | 2019-03-17 18:01:08 +0800 | [diff] [blame] | 830 | |
Christoph Hellwig | e458110 | 2020-05-12 17:55:46 +0900 | [diff] [blame] | 831 | /** |
| 832 | * bio_add_pc_page - attempt to add page to passthrough bio |
| 833 | * @q: the target queue |
| 834 | * @bio: destination bio |
| 835 | * @page: page to add |
| 836 | * @len: vec entry length |
| 837 | * @offset: vec entry offset |
| 838 | * |
| 839 | * Attempt to add a page to the bio_vec maplist. This can fail for a |
| 840 | * number of reasons, such as the bio being full or target block device |
| 841 | * limitations. The target block device must allow bio's up to PAGE_SIZE, |
| 842 | * so it is always possible to add a single page to an empty bio. |
| 843 | * |
| 844 | * This should only be used by passthrough bios. |
| 845 | */ |
Ming Lei | 1904708 | 2019-03-17 18:01:08 +0800 | [diff] [blame] | 846 | int bio_add_pc_page(struct request_queue *q, struct bio *bio, |
| 847 | struct page *page, unsigned int len, unsigned int offset) |
| 848 | { |
Christoph Hellwig | d1916c8 | 2019-08-12 17:39:58 +0200 | [diff] [blame] | 849 | bool same_page = false; |
Christoph Hellwig | e458110 | 2020-05-12 17:55:46 +0900 | [diff] [blame] | 850 | return bio_add_hw_page(q, bio, page, len, offset, |
| 851 | queue_max_hw_sectors(q), &same_page); |
Ming Lei | 1904708 | 2019-03-17 18:01:08 +0800 | [diff] [blame] | 852 | } |
H Hartley Sweeten | a112a71 | 2009-09-26 16:19:21 +0200 | [diff] [blame] | 853 | EXPORT_SYMBOL(bio_add_pc_page); |
Mike Christie | 6e68af6 | 2005-11-11 05:30:27 -0600 | [diff] [blame] | 854 | |
| 855 | /** |
Christoph Hellwig | 0aa69fd | 2018-06-01 09:03:05 -0700 | [diff] [blame] | 856 | * __bio_try_merge_page - try appending data to an existing bvec. |
| 857 | * @bio: destination bio |
Ming Lei | 551879a | 2019-04-23 10:51:04 +0800 | [diff] [blame] | 858 | * @page: start page to add |
Christoph Hellwig | 0aa69fd | 2018-06-01 09:03:05 -0700 | [diff] [blame] | 859 | * @len: length of the data to add |
Ming Lei | 551879a | 2019-04-23 10:51:04 +0800 | [diff] [blame] | 860 | * @off: offset of the data relative to @page |
Christoph Hellwig | ff89673 | 2019-06-17 11:14:11 +0200 | [diff] [blame] | 861 | * @same_page: return if the segment has been merged inside the same page |
Christoph Hellwig | 0aa69fd | 2018-06-01 09:03:05 -0700 | [diff] [blame] | 862 | * |
| 863 | * Try to add the data at @page + @off to the last bvec of @bio. This is a |
Randy Dunlap | 3cf1488 | 2020-07-30 18:42:28 -0700 | [diff] [blame] | 864 | * useful optimisation for file systems with a block size smaller than the |
Christoph Hellwig | 0aa69fd | 2018-06-01 09:03:05 -0700 | [diff] [blame] | 865 | * page size. |
| 866 | * |
Ming Lei | 551879a | 2019-04-23 10:51:04 +0800 | [diff] [blame] | 867 | * Warn if (@len, @off) crosses pages in case that @same_page is true. |
| 868 | * |
Christoph Hellwig | 0aa69fd | 2018-06-01 09:03:05 -0700 | [diff] [blame] | 869 | * Return %true on success or %false on failure. |
| 870 | */ |
| 871 | bool __bio_try_merge_page(struct bio *bio, struct page *page, |
Christoph Hellwig | ff89673 | 2019-06-17 11:14:11 +0200 | [diff] [blame] | 872 | unsigned int len, unsigned int off, bool *same_page) |
Christoph Hellwig | 0aa69fd | 2018-06-01 09:03:05 -0700 | [diff] [blame] | 873 | { |
| 874 | if (WARN_ON_ONCE(bio_flagged(bio, BIO_CLONED))) |
| 875 | return false; |
| 876 | |
Andreas Gruenbacher | cc90bc6 | 2019-12-09 20:11:14 +0100 | [diff] [blame] | 877 | if (bio->bi_vcnt > 0) { |
Christoph Hellwig | 0aa69fd | 2018-06-01 09:03:05 -0700 | [diff] [blame] | 878 | struct bio_vec *bv = &bio->bi_io_vec[bio->bi_vcnt - 1]; |
| 879 | |
Ming Lei | 5919482 | 2019-03-17 18:01:07 +0800 | [diff] [blame] | 880 | if (page_is_mergeable(bv, page, len, off, same_page)) { |
Ritesh Harjani | 2cd896a | 2020-09-09 08:44:25 +0530 | [diff] [blame] | 881 | if (bio->bi_iter.bi_size > UINT_MAX - len) { |
| 882 | *same_page = false; |
Andreas Gruenbacher | cc90bc6 | 2019-12-09 20:11:14 +0100 | [diff] [blame] | 883 | return false; |
Ritesh Harjani | 2cd896a | 2020-09-09 08:44:25 +0530 | [diff] [blame] | 884 | } |
Ming Lei | 5919482 | 2019-03-17 18:01:07 +0800 | [diff] [blame] | 885 | bv->bv_len += len; |
| 886 | bio->bi_iter.bi_size += len; |
| 887 | return true; |
| 888 | } |
Christoph Hellwig | 0aa69fd | 2018-06-01 09:03:05 -0700 | [diff] [blame] | 889 | } |
| 890 | return false; |
| 891 | } |
| 892 | EXPORT_SYMBOL_GPL(__bio_try_merge_page); |
| 893 | |
| 894 | /** |
Ming Lei | 551879a | 2019-04-23 10:51:04 +0800 | [diff] [blame] | 895 | * __bio_add_page - add page(s) to a bio in a new segment |
Christoph Hellwig | 0aa69fd | 2018-06-01 09:03:05 -0700 | [diff] [blame] | 896 | * @bio: destination bio |
Ming Lei | 551879a | 2019-04-23 10:51:04 +0800 | [diff] [blame] | 897 | * @page: start page to add |
| 898 | * @len: length of the data to add, may cross pages |
| 899 | * @off: offset of the data relative to @page, may cross pages |
Christoph Hellwig | 0aa69fd | 2018-06-01 09:03:05 -0700 | [diff] [blame] | 900 | * |
| 901 | * Add the data at @page + @off to @bio as a new bvec. The caller must ensure |
| 902 | * that @bio has space for another bvec. |
| 903 | */ |
| 904 | void __bio_add_page(struct bio *bio, struct page *page, |
| 905 | unsigned int len, unsigned int off) |
| 906 | { |
| 907 | struct bio_vec *bv = &bio->bi_io_vec[bio->bi_vcnt]; |
| 908 | |
| 909 | WARN_ON_ONCE(bio_flagged(bio, BIO_CLONED)); |
Ming Lei | 79d08f8 | 2019-07-01 15:14:46 +0800 | [diff] [blame] | 910 | WARN_ON_ONCE(bio_full(bio, len)); |
Christoph Hellwig | 0aa69fd | 2018-06-01 09:03:05 -0700 | [diff] [blame] | 911 | |
| 912 | bv->bv_page = page; |
| 913 | bv->bv_offset = off; |
| 914 | bv->bv_len = len; |
| 915 | |
| 916 | bio->bi_iter.bi_size += len; |
| 917 | bio->bi_vcnt++; |
Johannes Weiner | b8e24a9 | 2019-08-08 15:03:00 -0400 | [diff] [blame] | 918 | |
| 919 | if (!bio_flagged(bio, BIO_WORKINGSET) && unlikely(PageWorkingset(page))) |
| 920 | bio_set_flag(bio, BIO_WORKINGSET); |
Christoph Hellwig | 0aa69fd | 2018-06-01 09:03:05 -0700 | [diff] [blame] | 921 | } |
| 922 | EXPORT_SYMBOL_GPL(__bio_add_page); |
| 923 | |
| 924 | /** |
Ming Lei | 551879a | 2019-04-23 10:51:04 +0800 | [diff] [blame] | 925 | * bio_add_page - attempt to add page(s) to bio |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 926 | * @bio: destination bio |
Ming Lei | 551879a | 2019-04-23 10:51:04 +0800 | [diff] [blame] | 927 | * @page: start page to add |
| 928 | * @len: vec entry length, may cross pages |
| 929 | * @offset: vec entry offset relative to @page, may cross pages |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 930 | * |
Ming Lei | 551879a | 2019-04-23 10:51:04 +0800 | [diff] [blame] | 931 | * Attempt to add page(s) to the bio_vec maplist. This will only fail |
Kent Overstreet | c66a14d | 2013-11-23 22:30:22 -0800 | [diff] [blame] | 932 | * if either bio->bi_vcnt == bio->bi_max_vecs or it's a cloned bio. |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 933 | */ |
Kent Overstreet | c66a14d | 2013-11-23 22:30:22 -0800 | [diff] [blame] | 934 | int bio_add_page(struct bio *bio, struct page *page, |
| 935 | unsigned int len, unsigned int offset) |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 936 | { |
Christoph Hellwig | ff89673 | 2019-06-17 11:14:11 +0200 | [diff] [blame] | 937 | bool same_page = false; |
| 938 | |
| 939 | if (!__bio_try_merge_page(bio, page, len, offset, &same_page)) { |
Ming Lei | 79d08f8 | 2019-07-01 15:14:46 +0800 | [diff] [blame] | 940 | if (bio_full(bio, len)) |
Christoph Hellwig | 0aa69fd | 2018-06-01 09:03:05 -0700 | [diff] [blame] | 941 | return 0; |
| 942 | __bio_add_page(bio, page, len, offset); |
Kent Overstreet | c66a14d | 2013-11-23 22:30:22 -0800 | [diff] [blame] | 943 | } |
Kent Overstreet | c66a14d | 2013-11-23 22:30:22 -0800 | [diff] [blame] | 944 | return len; |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 945 | } |
H Hartley Sweeten | a112a71 | 2009-09-26 16:19:21 +0200 | [diff] [blame] | 946 | EXPORT_SYMBOL(bio_add_page); |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 947 | |
Christoph Hellwig | d241a95 | 2019-06-26 15:49:21 +0200 | [diff] [blame] | 948 | void bio_release_pages(struct bio *bio, bool mark_dirty) |
Christoph Hellwig | 7321ecb | 2019-04-11 08:23:30 +0200 | [diff] [blame] | 949 | { |
| 950 | struct bvec_iter_all iter_all; |
| 951 | struct bio_vec *bvec; |
Christoph Hellwig | 7321ecb | 2019-04-11 08:23:30 +0200 | [diff] [blame] | 952 | |
Christoph Hellwig | b2d0d99 | 2019-06-26 15:49:20 +0200 | [diff] [blame] | 953 | if (bio_flagged(bio, BIO_NO_PAGE_REF)) |
| 954 | return; |
| 955 | |
Christoph Hellwig | d241a95 | 2019-06-26 15:49:21 +0200 | [diff] [blame] | 956 | bio_for_each_segment_all(bvec, bio, iter_all) { |
| 957 | if (mark_dirty && !PageCompound(bvec->bv_page)) |
| 958 | set_page_dirty_lock(bvec->bv_page); |
Christoph Hellwig | 7321ecb | 2019-04-11 08:23:30 +0200 | [diff] [blame] | 959 | put_page(bvec->bv_page); |
Christoph Hellwig | d241a95 | 2019-06-26 15:49:21 +0200 | [diff] [blame] | 960 | } |
Christoph Hellwig | 7321ecb | 2019-04-11 08:23:30 +0200 | [diff] [blame] | 961 | } |
Johannes Thumshirn | 29b2a3a | 2020-05-12 17:55:53 +0900 | [diff] [blame] | 962 | EXPORT_SYMBOL_GPL(bio_release_pages); |
Christoph Hellwig | 7321ecb | 2019-04-11 08:23:30 +0200 | [diff] [blame] | 963 | |
Jens Axboe | 6d0c48a | 2018-11-30 08:47:03 -0700 | [diff] [blame] | 964 | static int __bio_iov_bvec_add_pages(struct bio *bio, struct iov_iter *iter) |
| 965 | { |
| 966 | const struct bio_vec *bv = iter->bvec; |
| 967 | unsigned int len; |
| 968 | size_t size; |
| 969 | |
| 970 | if (WARN_ON_ONCE(iter->iov_offset > bv->bv_len)) |
| 971 | return -EINVAL; |
| 972 | |
| 973 | len = min_t(size_t, bv->bv_len - iter->iov_offset, iter->count); |
| 974 | size = bio_add_page(bio, bv->bv_page, len, |
| 975 | bv->bv_offset + iter->iov_offset); |
Christoph Hellwig | a10584c | 2019-04-11 08:23:28 +0200 | [diff] [blame] | 976 | if (unlikely(size != len)) |
| 977 | return -EINVAL; |
Christoph Hellwig | a10584c | 2019-04-11 08:23:28 +0200 | [diff] [blame] | 978 | iov_iter_advance(iter, size); |
| 979 | return 0; |
Jens Axboe | 6d0c48a | 2018-11-30 08:47:03 -0700 | [diff] [blame] | 980 | } |
| 981 | |
Pavel Begunkov | 4d0e6d6 | 2021-07-19 11:53:00 +0100 | [diff] [blame] | 982 | static void bio_put_pages(struct page **pages, size_t size, size_t off) |
| 983 | { |
| 984 | size_t i, nr = DIV_ROUND_UP(size + (off & ~PAGE_MASK), PAGE_SIZE); |
| 985 | |
| 986 | for (i = 0; i < nr; i++) |
| 987 | put_page(pages[i]); |
| 988 | } |
| 989 | |
Christoph Hellwig | 576ed91 | 2018-09-20 08:28:21 +0200 | [diff] [blame] | 990 | #define PAGE_PTRS_PER_BVEC (sizeof(struct bio_vec) / sizeof(struct page *)) |
| 991 | |
Kent Overstreet | 2cefe4d | 2016-10-31 11:59:24 -0600 | [diff] [blame] | 992 | /** |
Martin Wilck | 17d51b1 | 2018-07-25 23:15:09 +0200 | [diff] [blame] | 993 | * __bio_iov_iter_get_pages - pin user or kernel pages and add them to a bio |
Kent Overstreet | 2cefe4d | 2016-10-31 11:59:24 -0600 | [diff] [blame] | 994 | * @bio: bio to add pages to |
| 995 | * @iter: iov iterator describing the region to be mapped |
| 996 | * |
Martin Wilck | 17d51b1 | 2018-07-25 23:15:09 +0200 | [diff] [blame] | 997 | * Pins pages from *iter and appends them to @bio's bvec array. The |
Kent Overstreet | 2cefe4d | 2016-10-31 11:59:24 -0600 | [diff] [blame] | 998 | * pages will have to be released using put_page() when done. |
Martin Wilck | 17d51b1 | 2018-07-25 23:15:09 +0200 | [diff] [blame] | 999 | * For multi-segment *iter, this function only adds pages from the |
Randy Dunlap | 3cf1488 | 2020-07-30 18:42:28 -0700 | [diff] [blame] | 1000 | * next non-empty segment of the iov iterator. |
Kent Overstreet | 2cefe4d | 2016-10-31 11:59:24 -0600 | [diff] [blame] | 1001 | */ |
Martin Wilck | 17d51b1 | 2018-07-25 23:15:09 +0200 | [diff] [blame] | 1002 | static int __bio_iov_iter_get_pages(struct bio *bio, struct iov_iter *iter) |
Kent Overstreet | 2cefe4d | 2016-10-31 11:59:24 -0600 | [diff] [blame] | 1003 | { |
Christoph Hellwig | 576ed91 | 2018-09-20 08:28:21 +0200 | [diff] [blame] | 1004 | unsigned short nr_pages = bio->bi_max_vecs - bio->bi_vcnt; |
| 1005 | unsigned short entries_left = bio->bi_max_vecs - bio->bi_vcnt; |
Kent Overstreet | 2cefe4d | 2016-10-31 11:59:24 -0600 | [diff] [blame] | 1006 | struct bio_vec *bv = bio->bi_io_vec + bio->bi_vcnt; |
| 1007 | struct page **pages = (struct page **)bv; |
Christoph Hellwig | 4569180 | 2019-06-17 11:14:12 +0200 | [diff] [blame] | 1008 | bool same_page = false; |
Christoph Hellwig | 576ed91 | 2018-09-20 08:28:21 +0200 | [diff] [blame] | 1009 | ssize_t size, left; |
| 1010 | unsigned len, i; |
Martin Wilck | b403ea2 | 2018-07-25 23:15:07 +0200 | [diff] [blame] | 1011 | size_t offset; |
Christoph Hellwig | 576ed91 | 2018-09-20 08:28:21 +0200 | [diff] [blame] | 1012 | |
| 1013 | /* |
| 1014 | * Move page array up in the allocated memory for the bio vecs as far as |
| 1015 | * possible so that we can start filling biovecs from the beginning |
| 1016 | * without overwriting the temporary page array. |
| 1017 | */ |
| 1018 | BUILD_BUG_ON(PAGE_PTRS_PER_BVEC < 2); |
| 1019 | pages += entries_left * (PAGE_PTRS_PER_BVEC - 1); |
Kent Overstreet | 2cefe4d | 2016-10-31 11:59:24 -0600 | [diff] [blame] | 1020 | |
| 1021 | size = iov_iter_get_pages(iter, pages, LONG_MAX, nr_pages, &offset); |
| 1022 | if (unlikely(size <= 0)) |
| 1023 | return size ? size : -EFAULT; |
Kent Overstreet | 2cefe4d | 2016-10-31 11:59:24 -0600 | [diff] [blame] | 1024 | |
Christoph Hellwig | 576ed91 | 2018-09-20 08:28:21 +0200 | [diff] [blame] | 1025 | for (left = size, i = 0; left > 0; left -= len, i++) { |
| 1026 | struct page *page = pages[i]; |
Kent Overstreet | 2cefe4d | 2016-10-31 11:59:24 -0600 | [diff] [blame] | 1027 | |
Christoph Hellwig | 576ed91 | 2018-09-20 08:28:21 +0200 | [diff] [blame] | 1028 | len = min_t(size_t, PAGE_SIZE - offset, left); |
Christoph Hellwig | 4569180 | 2019-06-17 11:14:12 +0200 | [diff] [blame] | 1029 | |
| 1030 | if (__bio_try_merge_page(bio, page, len, offset, &same_page)) { |
| 1031 | if (same_page) |
| 1032 | put_page(page); |
| 1033 | } else { |
Pavel Begunkov | 4d0e6d6 | 2021-07-19 11:53:00 +0100 | [diff] [blame] | 1034 | if (WARN_ON_ONCE(bio_full(bio, len))) { |
| 1035 | bio_put_pages(pages + i, left, offset); |
| 1036 | return -EINVAL; |
| 1037 | } |
Christoph Hellwig | 4569180 | 2019-06-17 11:14:12 +0200 | [diff] [blame] | 1038 | __bio_add_page(bio, page, len, offset); |
| 1039 | } |
Christoph Hellwig | 576ed91 | 2018-09-20 08:28:21 +0200 | [diff] [blame] | 1040 | offset = 0; |
Kent Overstreet | 2cefe4d | 2016-10-31 11:59:24 -0600 | [diff] [blame] | 1041 | } |
| 1042 | |
Kent Overstreet | 2cefe4d | 2016-10-31 11:59:24 -0600 | [diff] [blame] | 1043 | iov_iter_advance(iter, size); |
| 1044 | return 0; |
| 1045 | } |
Martin Wilck | 17d51b1 | 2018-07-25 23:15:09 +0200 | [diff] [blame] | 1046 | |
Keith Busch | 0512a75 | 2020-05-12 17:55:47 +0900 | [diff] [blame] | 1047 | static int __bio_iov_append_get_pages(struct bio *bio, struct iov_iter *iter) |
| 1048 | { |
| 1049 | unsigned short nr_pages = bio->bi_max_vecs - bio->bi_vcnt; |
| 1050 | unsigned short entries_left = bio->bi_max_vecs - bio->bi_vcnt; |
| 1051 | struct request_queue *q = bio->bi_disk->queue; |
| 1052 | unsigned int max_append_sectors = queue_max_zone_append_sectors(q); |
| 1053 | struct bio_vec *bv = bio->bi_io_vec + bio->bi_vcnt; |
| 1054 | struct page **pages = (struct page **)bv; |
| 1055 | ssize_t size, left; |
| 1056 | unsigned len, i; |
| 1057 | size_t offset; |
Naohiro Aota | 4977d12 | 2020-10-28 16:25:36 +0900 | [diff] [blame] | 1058 | int ret = 0; |
Keith Busch | 0512a75 | 2020-05-12 17:55:47 +0900 | [diff] [blame] | 1059 | |
| 1060 | if (WARN_ON_ONCE(!max_append_sectors)) |
| 1061 | return 0; |
| 1062 | |
| 1063 | /* |
| 1064 | * Move page array up in the allocated memory for the bio vecs as far as |
| 1065 | * possible so that we can start filling biovecs from the beginning |
| 1066 | * without overwriting the temporary page array. |
| 1067 | */ |
| 1068 | BUILD_BUG_ON(PAGE_PTRS_PER_BVEC < 2); |
| 1069 | pages += entries_left * (PAGE_PTRS_PER_BVEC - 1); |
| 1070 | |
| 1071 | size = iov_iter_get_pages(iter, pages, LONG_MAX, nr_pages, &offset); |
| 1072 | if (unlikely(size <= 0)) |
| 1073 | return size ? size : -EFAULT; |
| 1074 | |
| 1075 | for (left = size, i = 0; left > 0; left -= len, i++) { |
| 1076 | struct page *page = pages[i]; |
| 1077 | bool same_page = false; |
| 1078 | |
| 1079 | len = min_t(size_t, PAGE_SIZE - offset, left); |
| 1080 | if (bio_add_hw_page(q, bio, page, len, offset, |
Naohiro Aota | 4977d12 | 2020-10-28 16:25:36 +0900 | [diff] [blame] | 1081 | max_append_sectors, &same_page) != len) { |
Pavel Begunkov | 4d0e6d6 | 2021-07-19 11:53:00 +0100 | [diff] [blame] | 1082 | bio_put_pages(pages + i, left, offset); |
Naohiro Aota | 4977d12 | 2020-10-28 16:25:36 +0900 | [diff] [blame] | 1083 | ret = -EINVAL; |
| 1084 | break; |
| 1085 | } |
Keith Busch | 0512a75 | 2020-05-12 17:55:47 +0900 | [diff] [blame] | 1086 | if (same_page) |
| 1087 | put_page(page); |
| 1088 | offset = 0; |
| 1089 | } |
| 1090 | |
Naohiro Aota | 4977d12 | 2020-10-28 16:25:36 +0900 | [diff] [blame] | 1091 | iov_iter_advance(iter, size - left); |
| 1092 | return ret; |
Keith Busch | 0512a75 | 2020-05-12 17:55:47 +0900 | [diff] [blame] | 1093 | } |
| 1094 | |
Martin Wilck | 17d51b1 | 2018-07-25 23:15:09 +0200 | [diff] [blame] | 1095 | /** |
Jens Axboe | 6d0c48a | 2018-11-30 08:47:03 -0700 | [diff] [blame] | 1096 | * bio_iov_iter_get_pages - add user or kernel pages to a bio |
Martin Wilck | 17d51b1 | 2018-07-25 23:15:09 +0200 | [diff] [blame] | 1097 | * @bio: bio to add pages to |
Jens Axboe | 6d0c48a | 2018-11-30 08:47:03 -0700 | [diff] [blame] | 1098 | * @iter: iov iterator describing the region to be added |
Martin Wilck | 17d51b1 | 2018-07-25 23:15:09 +0200 | [diff] [blame] | 1099 | * |
Jens Axboe | 6d0c48a | 2018-11-30 08:47:03 -0700 | [diff] [blame] | 1100 | * This takes either an iterator pointing to user memory, or one pointing to |
| 1101 | * kernel pages (BVEC iterator). If we're adding user pages, we pin them and |
| 1102 | * map them into the kernel. On IO completion, the caller should put those |
Jens Axboe | 399254a | 2019-02-27 13:13:23 -0700 | [diff] [blame] | 1103 | * pages. If we're adding kernel pages, and the caller told us it's safe to |
| 1104 | * do so, we just have to add the pages to the bio directly. We don't grab an |
| 1105 | * extra reference to those pages (the user should already have that), and we |
| 1106 | * don't put the page on IO completion. The caller needs to check if the bio is |
| 1107 | * flagged BIO_NO_PAGE_REF on IO completion. If it isn't, then pages should be |
| 1108 | * released. |
Jens Axboe | 6d0c48a | 2018-11-30 08:47:03 -0700 | [diff] [blame] | 1109 | * |
Martin Wilck | 17d51b1 | 2018-07-25 23:15:09 +0200 | [diff] [blame] | 1110 | * The function tries, but does not guarantee, to pin as many pages as |
Mauro Carvalho Chehab | 5cd3ddc | 2020-09-09 11:44:33 +0200 | [diff] [blame] | 1111 | * fit into the bio, or are requested in @iter, whatever is smaller. If |
Jens Axboe | 6d0c48a | 2018-11-30 08:47:03 -0700 | [diff] [blame] | 1112 | * MM encounters an error pinning the requested pages, it stops. Error |
| 1113 | * is returned only if 0 pages could be pinned. |
Martin Wilck | 17d51b1 | 2018-07-25 23:15:09 +0200 | [diff] [blame] | 1114 | */ |
| 1115 | int bio_iov_iter_get_pages(struct bio *bio, struct iov_iter *iter) |
| 1116 | { |
Jens Axboe | 6d0c48a | 2018-11-30 08:47:03 -0700 | [diff] [blame] | 1117 | const bool is_bvec = iov_iter_is_bvec(iter); |
Christoph Hellwig | 14eacf1 | 2019-04-11 08:23:29 +0200 | [diff] [blame] | 1118 | int ret; |
| 1119 | |
| 1120 | if (WARN_ON_ONCE(bio->bi_vcnt)) |
| 1121 | return -EINVAL; |
Martin Wilck | 17d51b1 | 2018-07-25 23:15:09 +0200 | [diff] [blame] | 1122 | |
| 1123 | do { |
Keith Busch | 0512a75 | 2020-05-12 17:55:47 +0900 | [diff] [blame] | 1124 | if (bio_op(bio) == REQ_OP_ZONE_APPEND) { |
| 1125 | if (WARN_ON_ONCE(is_bvec)) |
| 1126 | return -EINVAL; |
| 1127 | ret = __bio_iov_append_get_pages(bio, iter); |
| 1128 | } else { |
| 1129 | if (is_bvec) |
| 1130 | ret = __bio_iov_bvec_add_pages(bio, iter); |
| 1131 | else |
| 1132 | ret = __bio_iov_iter_get_pages(bio, iter); |
| 1133 | } |
Ming Lei | 79d08f8 | 2019-07-01 15:14:46 +0800 | [diff] [blame] | 1134 | } while (!ret && iov_iter_count(iter) && !bio_full(bio, 0)); |
Martin Wilck | 17d51b1 | 2018-07-25 23:15:09 +0200 | [diff] [blame] | 1135 | |
Christoph Hellwig | b620743 | 2019-06-26 15:49:28 +0200 | [diff] [blame] | 1136 | if (is_bvec) |
Christoph Hellwig | 7321ecb | 2019-04-11 08:23:30 +0200 | [diff] [blame] | 1137 | bio_set_flag(bio, BIO_NO_PAGE_REF); |
Christoph Hellwig | 14eacf1 | 2019-04-11 08:23:29 +0200 | [diff] [blame] | 1138 | return bio->bi_vcnt ? 0 : ret; |
Martin Wilck | 17d51b1 | 2018-07-25 23:15:09 +0200 | [diff] [blame] | 1139 | } |
Johannes Thumshirn | 29b2a3a | 2020-05-12 17:55:53 +0900 | [diff] [blame] | 1140 | EXPORT_SYMBOL_GPL(bio_iov_iter_get_pages); |
Kent Overstreet | 2cefe4d | 2016-10-31 11:59:24 -0600 | [diff] [blame] | 1141 | |
Christoph Hellwig | 4246a0b | 2015-07-20 15:29:37 +0200 | [diff] [blame] | 1142 | static void submit_bio_wait_endio(struct bio *bio) |
Kent Overstreet | 9e88224 | 2012-09-10 14:41:12 -0700 | [diff] [blame] | 1143 | { |
Christoph Hellwig | 65e53aa | 2017-10-25 17:55:57 +0900 | [diff] [blame] | 1144 | complete(bio->bi_private); |
Kent Overstreet | 9e88224 | 2012-09-10 14:41:12 -0700 | [diff] [blame] | 1145 | } |
| 1146 | |
| 1147 | /** |
| 1148 | * submit_bio_wait - submit a bio, and wait until it completes |
Kent Overstreet | 9e88224 | 2012-09-10 14:41:12 -0700 | [diff] [blame] | 1149 | * @bio: The &struct bio which describes the I/O |
| 1150 | * |
| 1151 | * Simple wrapper around submit_bio(). Returns 0 on success, or the error from |
| 1152 | * bio_endio() on failure. |
Jan Kara | 3d289d6 | 2017-08-02 10:25:21 +0200 | [diff] [blame] | 1153 | * |
| 1154 | * WARNING: Unlike to how submit_bio() is usually used, this function does not |
| 1155 | * result in bio reference to be consumed. The caller must drop the reference |
| 1156 | * on his own. |
Kent Overstreet | 9e88224 | 2012-09-10 14:41:12 -0700 | [diff] [blame] | 1157 | */ |
Mike Christie | 4e49ea4 | 2016-06-05 14:31:41 -0500 | [diff] [blame] | 1158 | int submit_bio_wait(struct bio *bio) |
Kent Overstreet | 9e88224 | 2012-09-10 14:41:12 -0700 | [diff] [blame] | 1159 | { |
Byungchul Park | e319e1f | 2017-10-25 17:56:05 +0900 | [diff] [blame] | 1160 | DECLARE_COMPLETION_ONSTACK_MAP(done, bio->bi_disk->lockdep_map); |
Ming Lei | de6a78b | 2020-03-18 11:43:36 +0800 | [diff] [blame] | 1161 | unsigned long hang_check; |
Kent Overstreet | 9e88224 | 2012-09-10 14:41:12 -0700 | [diff] [blame] | 1162 | |
Christoph Hellwig | 65e53aa | 2017-10-25 17:55:57 +0900 | [diff] [blame] | 1163 | bio->bi_private = &done; |
Kent Overstreet | 9e88224 | 2012-09-10 14:41:12 -0700 | [diff] [blame] | 1164 | bio->bi_end_io = submit_bio_wait_endio; |
Jens Axboe | 1eff9d3 | 2016-08-05 15:35:16 -0600 | [diff] [blame] | 1165 | bio->bi_opf |= REQ_SYNC; |
Mike Christie | 4e49ea4 | 2016-06-05 14:31:41 -0500 | [diff] [blame] | 1166 | submit_bio(bio); |
Ming Lei | de6a78b | 2020-03-18 11:43:36 +0800 | [diff] [blame] | 1167 | |
| 1168 | /* Prevent hang_check timer from firing at us during very long I/O */ |
| 1169 | hang_check = sysctl_hung_task_timeout_secs; |
| 1170 | if (hang_check) |
| 1171 | while (!wait_for_completion_io_timeout(&done, |
| 1172 | hang_check * (HZ/2))) |
| 1173 | ; |
| 1174 | else |
| 1175 | wait_for_completion_io(&done); |
Kent Overstreet | 9e88224 | 2012-09-10 14:41:12 -0700 | [diff] [blame] | 1176 | |
Christoph Hellwig | 65e53aa | 2017-10-25 17:55:57 +0900 | [diff] [blame] | 1177 | return blk_status_to_errno(bio->bi_status); |
Kent Overstreet | 9e88224 | 2012-09-10 14:41:12 -0700 | [diff] [blame] | 1178 | } |
| 1179 | EXPORT_SYMBOL(submit_bio_wait); |
| 1180 | |
Kent Overstreet | 054bdf6 | 2012-09-28 13:17:55 -0700 | [diff] [blame] | 1181 | /** |
| 1182 | * bio_advance - increment/complete a bio by some number of bytes |
| 1183 | * @bio: bio to advance |
| 1184 | * @bytes: number of bytes to complete |
| 1185 | * |
| 1186 | * This updates bi_sector, bi_size and bi_idx; if the number of bytes to |
| 1187 | * complete doesn't align with a bvec boundary, then bv_len and bv_offset will |
| 1188 | * be updated on the last bvec as well. |
| 1189 | * |
| 1190 | * @bio will then represent the remaining, uncompleted portion of the io. |
| 1191 | */ |
| 1192 | void bio_advance(struct bio *bio, unsigned bytes) |
| 1193 | { |
| 1194 | if (bio_integrity(bio)) |
| 1195 | bio_integrity_advance(bio, bytes); |
| 1196 | |
Satya Tangirala | a892c8d | 2020-05-14 00:37:18 +0000 | [diff] [blame] | 1197 | bio_crypt_advance(bio, bytes); |
Kent Overstreet | 4550dd6 | 2013-08-07 14:26:21 -0700 | [diff] [blame] | 1198 | bio_advance_iter(bio, &bio->bi_iter, bytes); |
Kent Overstreet | 054bdf6 | 2012-09-28 13:17:55 -0700 | [diff] [blame] | 1199 | } |
| 1200 | EXPORT_SYMBOL(bio_advance); |
| 1201 | |
Kent Overstreet | 45db54d | 2018-05-08 21:33:54 -0400 | [diff] [blame] | 1202 | void bio_copy_data_iter(struct bio *dst, struct bvec_iter *dst_iter, |
| 1203 | struct bio *src, struct bvec_iter *src_iter) |
Kent Overstreet | 16ac3d6 | 2012-09-10 13:57:51 -0700 | [diff] [blame] | 1204 | { |
Kent Overstreet | 1cb9dda | 2013-08-07 14:26:39 -0700 | [diff] [blame] | 1205 | struct bio_vec src_bv, dst_bv; |
Kent Overstreet | 16ac3d6 | 2012-09-10 13:57:51 -0700 | [diff] [blame] | 1206 | void *src_p, *dst_p; |
Kent Overstreet | 1cb9dda | 2013-08-07 14:26:39 -0700 | [diff] [blame] | 1207 | unsigned bytes; |
Kent Overstreet | 16ac3d6 | 2012-09-10 13:57:51 -0700 | [diff] [blame] | 1208 | |
Kent Overstreet | 45db54d | 2018-05-08 21:33:54 -0400 | [diff] [blame] | 1209 | while (src_iter->bi_size && dst_iter->bi_size) { |
| 1210 | src_bv = bio_iter_iovec(src, *src_iter); |
| 1211 | dst_bv = bio_iter_iovec(dst, *dst_iter); |
| 1212 | |
| 1213 | bytes = min(src_bv.bv_len, dst_bv.bv_len); |
| 1214 | |
| 1215 | src_p = kmap_atomic(src_bv.bv_page); |
| 1216 | dst_p = kmap_atomic(dst_bv.bv_page); |
| 1217 | |
| 1218 | memcpy(dst_p + dst_bv.bv_offset, |
| 1219 | src_p + src_bv.bv_offset, |
| 1220 | bytes); |
| 1221 | |
| 1222 | kunmap_atomic(dst_p); |
| 1223 | kunmap_atomic(src_p); |
| 1224 | |
Kent Overstreet | 6e6e811 | 2018-05-08 21:33:55 -0400 | [diff] [blame] | 1225 | flush_dcache_page(dst_bv.bv_page); |
| 1226 | |
Kent Overstreet | 45db54d | 2018-05-08 21:33:54 -0400 | [diff] [blame] | 1227 | bio_advance_iter(src, src_iter, bytes); |
| 1228 | bio_advance_iter(dst, dst_iter, bytes); |
| 1229 | } |
| 1230 | } |
| 1231 | EXPORT_SYMBOL(bio_copy_data_iter); |
| 1232 | |
| 1233 | /** |
| 1234 | * bio_copy_data - copy contents of data buffers from one bio to another |
| 1235 | * @src: source bio |
| 1236 | * @dst: destination bio |
| 1237 | * |
| 1238 | * Stops when it reaches the end of either @src or @dst - that is, copies |
| 1239 | * min(src->bi_size, dst->bi_size) bytes (or the equivalent for lists of bios). |
| 1240 | */ |
| 1241 | void bio_copy_data(struct bio *dst, struct bio *src) |
| 1242 | { |
| 1243 | struct bvec_iter src_iter = src->bi_iter; |
| 1244 | struct bvec_iter dst_iter = dst->bi_iter; |
| 1245 | |
| 1246 | bio_copy_data_iter(dst, &dst_iter, src, &src_iter); |
| 1247 | } |
| 1248 | EXPORT_SYMBOL(bio_copy_data); |
| 1249 | |
| 1250 | /** |
| 1251 | * bio_list_copy_data - copy contents of data buffers from one chain of bios to |
| 1252 | * another |
| 1253 | * @src: source bio list |
| 1254 | * @dst: destination bio list |
| 1255 | * |
| 1256 | * Stops when it reaches the end of either the @src list or @dst list - that is, |
| 1257 | * copies min(src->bi_size, dst->bi_size) bytes (or the equivalent for lists of |
| 1258 | * bios). |
| 1259 | */ |
| 1260 | void bio_list_copy_data(struct bio *dst, struct bio *src) |
| 1261 | { |
| 1262 | struct bvec_iter src_iter = src->bi_iter; |
| 1263 | struct bvec_iter dst_iter = dst->bi_iter; |
| 1264 | |
Kent Overstreet | 16ac3d6 | 2012-09-10 13:57:51 -0700 | [diff] [blame] | 1265 | while (1) { |
Kent Overstreet | 1cb9dda | 2013-08-07 14:26:39 -0700 | [diff] [blame] | 1266 | if (!src_iter.bi_size) { |
| 1267 | src = src->bi_next; |
| 1268 | if (!src) |
| 1269 | break; |
Kent Overstreet | 16ac3d6 | 2012-09-10 13:57:51 -0700 | [diff] [blame] | 1270 | |
Kent Overstreet | 1cb9dda | 2013-08-07 14:26:39 -0700 | [diff] [blame] | 1271 | src_iter = src->bi_iter; |
Kent Overstreet | 16ac3d6 | 2012-09-10 13:57:51 -0700 | [diff] [blame] | 1272 | } |
| 1273 | |
Kent Overstreet | 1cb9dda | 2013-08-07 14:26:39 -0700 | [diff] [blame] | 1274 | if (!dst_iter.bi_size) { |
| 1275 | dst = dst->bi_next; |
| 1276 | if (!dst) |
| 1277 | break; |
Kent Overstreet | 16ac3d6 | 2012-09-10 13:57:51 -0700 | [diff] [blame] | 1278 | |
Kent Overstreet | 1cb9dda | 2013-08-07 14:26:39 -0700 | [diff] [blame] | 1279 | dst_iter = dst->bi_iter; |
Kent Overstreet | 16ac3d6 | 2012-09-10 13:57:51 -0700 | [diff] [blame] | 1280 | } |
| 1281 | |
Kent Overstreet | 45db54d | 2018-05-08 21:33:54 -0400 | [diff] [blame] | 1282 | bio_copy_data_iter(dst, &dst_iter, src, &src_iter); |
Kent Overstreet | 16ac3d6 | 2012-09-10 13:57:51 -0700 | [diff] [blame] | 1283 | } |
| 1284 | } |
Kent Overstreet | 45db54d | 2018-05-08 21:33:54 -0400 | [diff] [blame] | 1285 | EXPORT_SYMBOL(bio_list_copy_data); |
Kent Overstreet | 16ac3d6 | 2012-09-10 13:57:51 -0700 | [diff] [blame] | 1286 | |
Guoqing Jiang | 491221f | 2016-09-22 03:10:01 -0400 | [diff] [blame] | 1287 | void bio_free_pages(struct bio *bio) |
Christoph Hellwig | 1dfa0f6 | 2015-01-18 16:16:30 +0100 | [diff] [blame] | 1288 | { |
| 1289 | struct bio_vec *bvec; |
Ming Lei | 6dc4f10 | 2019-02-15 19:13:19 +0800 | [diff] [blame] | 1290 | struct bvec_iter_all iter_all; |
Christoph Hellwig | 1dfa0f6 | 2015-01-18 16:16:30 +0100 | [diff] [blame] | 1291 | |
Christoph Hellwig | 2b070cf | 2019-04-25 09:03:00 +0200 | [diff] [blame] | 1292 | bio_for_each_segment_all(bvec, bio, iter_all) |
Christoph Hellwig | 1dfa0f6 | 2015-01-18 16:16:30 +0100 | [diff] [blame] | 1293 | __free_page(bvec->bv_page); |
| 1294 | } |
Guoqing Jiang | 491221f | 2016-09-22 03:10:01 -0400 | [diff] [blame] | 1295 | EXPORT_SYMBOL(bio_free_pages); |
Christoph Hellwig | 1dfa0f6 | 2015-01-18 16:16:30 +0100 | [diff] [blame] | 1296 | |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 1297 | /* |
| 1298 | * bio_set_pages_dirty() and bio_check_pages_dirty() are support functions |
| 1299 | * for performing direct-IO in BIOs. |
| 1300 | * |
| 1301 | * The problem is that we cannot run set_page_dirty() from interrupt context |
| 1302 | * because the required locks are not interrupt-safe. So what we can do is to |
| 1303 | * mark the pages dirty _before_ performing IO. And in interrupt context, |
| 1304 | * check that the pages are still dirty. If so, fine. If not, redirty them |
| 1305 | * in process context. |
| 1306 | * |
| 1307 | * We special-case compound pages here: normally this means reads into hugetlb |
| 1308 | * pages. The logic in here doesn't really work right for compound pages |
| 1309 | * because the VM does not uniformly chase down the head page in all cases. |
| 1310 | * But dirtiness of compound pages is pretty meaningless anyway: the VM doesn't |
| 1311 | * handle them at all. So we skip compound pages here at an early stage. |
| 1312 | * |
| 1313 | * Note that this code is very hard to test under normal circumstances because |
| 1314 | * direct-io pins the pages with get_user_pages(). This makes |
| 1315 | * is_page_cache_freeable return false, and the VM will not clean the pages. |
Artem Bityutskiy | 0d5c3eb | 2012-07-25 18:12:08 +0300 | [diff] [blame] | 1316 | * But other code (eg, flusher threads) could clean the pages if they are mapped |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 1317 | * pagecache. |
| 1318 | * |
| 1319 | * Simply disabling the call to bio_set_pages_dirty() is a good way to test the |
| 1320 | * deferred bio dirtying paths. |
| 1321 | */ |
| 1322 | |
| 1323 | /* |
| 1324 | * bio_set_pages_dirty() will mark all the bio's pages as dirty. |
| 1325 | */ |
| 1326 | void bio_set_pages_dirty(struct bio *bio) |
| 1327 | { |
Kent Overstreet | cb34e05 | 2012-09-05 15:22:02 -0700 | [diff] [blame] | 1328 | struct bio_vec *bvec; |
Ming Lei | 6dc4f10 | 2019-02-15 19:13:19 +0800 | [diff] [blame] | 1329 | struct bvec_iter_all iter_all; |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 1330 | |
Christoph Hellwig | 2b070cf | 2019-04-25 09:03:00 +0200 | [diff] [blame] | 1331 | bio_for_each_segment_all(bvec, bio, iter_all) { |
Christoph Hellwig | 3bb5098 | 2018-07-24 14:04:13 +0200 | [diff] [blame] | 1332 | if (!PageCompound(bvec->bv_page)) |
| 1333 | set_page_dirty_lock(bvec->bv_page); |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 1334 | } |
| 1335 | } |
| 1336 | |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 1337 | /* |
| 1338 | * bio_check_pages_dirty() will check that all the BIO's pages are still dirty. |
| 1339 | * If they are, then fine. If, however, some pages are clean then they must |
| 1340 | * have been written out during the direct-IO read. So we take another ref on |
Christoph Hellwig | 24d5493 | 2018-07-24 14:04:12 +0200 | [diff] [blame] | 1341 | * the BIO and re-dirty the pages in process context. |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 1342 | * |
| 1343 | * It is expected that bio_check_pages_dirty() will wholly own the BIO from |
Kirill A. Shutemov | ea1754a | 2016-04-01 15:29:48 +0300 | [diff] [blame] | 1344 | * here on. It will run one put_page() against each page and will run one |
| 1345 | * bio_put() against the BIO. |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 1346 | */ |
| 1347 | |
David Howells | 65f27f3 | 2006-11-22 14:55:48 +0000 | [diff] [blame] | 1348 | static void bio_dirty_fn(struct work_struct *work); |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 1349 | |
David Howells | 65f27f3 | 2006-11-22 14:55:48 +0000 | [diff] [blame] | 1350 | static DECLARE_WORK(bio_dirty_work, bio_dirty_fn); |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 1351 | static DEFINE_SPINLOCK(bio_dirty_lock); |
| 1352 | static struct bio *bio_dirty_list; |
| 1353 | |
| 1354 | /* |
| 1355 | * This runs in process context |
| 1356 | */ |
David Howells | 65f27f3 | 2006-11-22 14:55:48 +0000 | [diff] [blame] | 1357 | static void bio_dirty_fn(struct work_struct *work) |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 1358 | { |
Christoph Hellwig | 24d5493 | 2018-07-24 14:04:12 +0200 | [diff] [blame] | 1359 | struct bio *bio, *next; |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 1360 | |
Christoph Hellwig | 24d5493 | 2018-07-24 14:04:12 +0200 | [diff] [blame] | 1361 | spin_lock_irq(&bio_dirty_lock); |
| 1362 | next = bio_dirty_list; |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 1363 | bio_dirty_list = NULL; |
Christoph Hellwig | 24d5493 | 2018-07-24 14:04:12 +0200 | [diff] [blame] | 1364 | spin_unlock_irq(&bio_dirty_lock); |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 1365 | |
Christoph Hellwig | 24d5493 | 2018-07-24 14:04:12 +0200 | [diff] [blame] | 1366 | while ((bio = next) != NULL) { |
| 1367 | next = bio->bi_private; |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 1368 | |
Christoph Hellwig | d241a95 | 2019-06-26 15:49:21 +0200 | [diff] [blame] | 1369 | bio_release_pages(bio, true); |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 1370 | bio_put(bio); |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 1371 | } |
| 1372 | } |
| 1373 | |
| 1374 | void bio_check_pages_dirty(struct bio *bio) |
| 1375 | { |
Kent Overstreet | cb34e05 | 2012-09-05 15:22:02 -0700 | [diff] [blame] | 1376 | struct bio_vec *bvec; |
Christoph Hellwig | 24d5493 | 2018-07-24 14:04:12 +0200 | [diff] [blame] | 1377 | unsigned long flags; |
Ming Lei | 6dc4f10 | 2019-02-15 19:13:19 +0800 | [diff] [blame] | 1378 | struct bvec_iter_all iter_all; |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 1379 | |
Christoph Hellwig | 2b070cf | 2019-04-25 09:03:00 +0200 | [diff] [blame] | 1380 | bio_for_each_segment_all(bvec, bio, iter_all) { |
Christoph Hellwig | 24d5493 | 2018-07-24 14:04:12 +0200 | [diff] [blame] | 1381 | if (!PageDirty(bvec->bv_page) && !PageCompound(bvec->bv_page)) |
| 1382 | goto defer; |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 1383 | } |
| 1384 | |
Christoph Hellwig | d241a95 | 2019-06-26 15:49:21 +0200 | [diff] [blame] | 1385 | bio_release_pages(bio, false); |
Christoph Hellwig | 24d5493 | 2018-07-24 14:04:12 +0200 | [diff] [blame] | 1386 | bio_put(bio); |
| 1387 | return; |
| 1388 | defer: |
| 1389 | spin_lock_irqsave(&bio_dirty_lock, flags); |
| 1390 | bio->bi_private = bio_dirty_list; |
| 1391 | bio_dirty_list = bio; |
| 1392 | spin_unlock_irqrestore(&bio_dirty_lock, flags); |
| 1393 | schedule_work(&bio_dirty_work); |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 1394 | } |
| 1395 | |
Jens Axboe | c4cf526 | 2015-04-17 16:15:18 -0600 | [diff] [blame] | 1396 | static inline bool bio_remaining_done(struct bio *bio) |
| 1397 | { |
| 1398 | /* |
| 1399 | * If we're not chaining, then ->__bi_remaining is always 1 and |
| 1400 | * we always end io on the first invocation. |
| 1401 | */ |
| 1402 | if (!bio_flagged(bio, BIO_CHAIN)) |
| 1403 | return true; |
| 1404 | |
| 1405 | BUG_ON(atomic_read(&bio->__bi_remaining) <= 0); |
| 1406 | |
Mike Snitzer | 326e1db | 2015-05-22 09:14:03 -0400 | [diff] [blame] | 1407 | if (atomic_dec_and_test(&bio->__bi_remaining)) { |
Jens Axboe | b7c44ed | 2015-07-24 12:37:59 -0600 | [diff] [blame] | 1408 | bio_clear_flag(bio, BIO_CHAIN); |
Jens Axboe | c4cf526 | 2015-04-17 16:15:18 -0600 | [diff] [blame] | 1409 | return true; |
Mike Snitzer | 326e1db | 2015-05-22 09:14:03 -0400 | [diff] [blame] | 1410 | } |
Jens Axboe | c4cf526 | 2015-04-17 16:15:18 -0600 | [diff] [blame] | 1411 | |
| 1412 | return false; |
| 1413 | } |
| 1414 | |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 1415 | /** |
| 1416 | * bio_endio - end I/O on a bio |
| 1417 | * @bio: bio |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 1418 | * |
| 1419 | * Description: |
Christoph Hellwig | 4246a0b | 2015-07-20 15:29:37 +0200 | [diff] [blame] | 1420 | * bio_endio() will end I/O on the whole bio. bio_endio() is the preferred |
| 1421 | * way to end I/O on a bio. No one should call bi_end_io() directly on a |
| 1422 | * bio unless they own it and thus know that it has an end_io function. |
NeilBrown | fbbaf70 | 2017-04-07 09:40:52 -0600 | [diff] [blame] | 1423 | * |
| 1424 | * bio_endio() can be called several times on a bio that has been chained |
| 1425 | * using bio_chain(). The ->bi_end_io() function will only be called the |
| 1426 | * last time. At this point the BLK_TA_COMPLETE tracing event will be |
| 1427 | * generated if BIO_TRACE_COMPLETION is set. |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 1428 | **/ |
Christoph Hellwig | 4246a0b | 2015-07-20 15:29:37 +0200 | [diff] [blame] | 1429 | void bio_endio(struct bio *bio) |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 1430 | { |
Christoph Hellwig | ba8c696 | 2016-03-11 17:34:52 +0100 | [diff] [blame] | 1431 | again: |
Christoph Hellwig | 2b88551 | 2016-03-11 17:34:53 +0100 | [diff] [blame] | 1432 | if (!bio_remaining_done(bio)) |
Christoph Hellwig | ba8c696 | 2016-03-11 17:34:52 +0100 | [diff] [blame] | 1433 | return; |
Christoph Hellwig | 7c20f11 | 2017-07-03 16:58:43 -0600 | [diff] [blame] | 1434 | if (!bio_integrity_endio(bio)) |
| 1435 | return; |
Kent Overstreet | 196d38bc | 2013-11-23 18:34:15 -0800 | [diff] [blame] | 1436 | |
Josef Bacik | 67b42d0 | 2018-07-03 11:15:00 -0400 | [diff] [blame] | 1437 | if (bio->bi_disk) |
| 1438 | rq_qos_done_bio(bio->bi_disk->queue, bio); |
| 1439 | |
Christoph Hellwig | ba8c696 | 2016-03-11 17:34:52 +0100 | [diff] [blame] | 1440 | /* |
| 1441 | * Need to have a real endio function for chained bios, otherwise |
| 1442 | * various corner cases will break (like stacking block devices that |
| 1443 | * save/restore bi_end_io) - however, we want to avoid unbounded |
| 1444 | * recursion and blowing the stack. Tail call optimization would |
| 1445 | * handle this, but compiling with frame pointers also disables |
| 1446 | * gcc's sibling call optimization. |
| 1447 | */ |
| 1448 | if (bio->bi_end_io == bio_chain_endio) { |
| 1449 | bio = __bio_chain_endio(bio); |
| 1450 | goto again; |
Kent Overstreet | 196d38bc | 2013-11-23 18:34:15 -0800 | [diff] [blame] | 1451 | } |
Christoph Hellwig | ba8c696 | 2016-03-11 17:34:52 +0100 | [diff] [blame] | 1452 | |
Christoph Hellwig | 74d4699 | 2017-08-23 19:10:32 +0200 | [diff] [blame] | 1453 | if (bio->bi_disk && bio_flagged(bio, BIO_TRACE_COMPLETION)) { |
Christoph Hellwig | d24de76 | 2020-06-03 07:14:43 +0200 | [diff] [blame] | 1454 | trace_block_bio_complete(bio->bi_disk->queue, bio); |
NeilBrown | fbbaf70 | 2017-04-07 09:40:52 -0600 | [diff] [blame] | 1455 | bio_clear_flag(bio, BIO_TRACE_COMPLETION); |
| 1456 | } |
| 1457 | |
Shaohua Li | 9e234ee | 2017-03-27 10:51:41 -0700 | [diff] [blame] | 1458 | blk_throtl_bio_endio(bio); |
Shaohua Li | b222dd2 | 2017-07-10 11:40:17 -0700 | [diff] [blame] | 1459 | /* release cgroup info */ |
| 1460 | bio_uninit(bio); |
Christoph Hellwig | ba8c696 | 2016-03-11 17:34:52 +0100 | [diff] [blame] | 1461 | if (bio->bi_end_io) |
| 1462 | bio->bi_end_io(bio); |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 1463 | } |
H Hartley Sweeten | a112a71 | 2009-09-26 16:19:21 +0200 | [diff] [blame] | 1464 | EXPORT_SYMBOL(bio_endio); |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 1465 | |
Kent Overstreet | 196d38bc | 2013-11-23 18:34:15 -0800 | [diff] [blame] | 1466 | /** |
Kent Overstreet | 20d0189 | 2013-11-23 18:21:01 -0800 | [diff] [blame] | 1467 | * bio_split - split a bio |
| 1468 | * @bio: bio to split |
| 1469 | * @sectors: number of sectors to split from the front of @bio |
| 1470 | * @gfp: gfp mask |
| 1471 | * @bs: bio set to allocate from |
| 1472 | * |
| 1473 | * Allocates and returns a new bio which represents @sectors from the start of |
| 1474 | * @bio, and updates @bio to represent the remaining sectors. |
| 1475 | * |
Martin K. Petersen | f3f5da6 | 2015-07-22 07:57:12 -0400 | [diff] [blame] | 1476 | * Unless this is a discard request the newly allocated bio will point |
Bart Van Assche | dad7758 | 2019-08-01 15:50:41 -0700 | [diff] [blame] | 1477 | * to @bio's bi_io_vec. It is the caller's responsibility to ensure that |
| 1478 | * neither @bio nor @bs are freed before the split bio. |
Kent Overstreet | 20d0189 | 2013-11-23 18:21:01 -0800 | [diff] [blame] | 1479 | */ |
| 1480 | struct bio *bio_split(struct bio *bio, int sectors, |
| 1481 | gfp_t gfp, struct bio_set *bs) |
| 1482 | { |
Mikulas Patocka | f341a4d | 2017-11-22 13:18:05 -0500 | [diff] [blame] | 1483 | struct bio *split; |
Kent Overstreet | 20d0189 | 2013-11-23 18:21:01 -0800 | [diff] [blame] | 1484 | |
| 1485 | BUG_ON(sectors <= 0); |
| 1486 | BUG_ON(sectors >= bio_sectors(bio)); |
| 1487 | |
Keith Busch | 0512a75 | 2020-05-12 17:55:47 +0900 | [diff] [blame] | 1488 | /* Zone append commands cannot be split */ |
| 1489 | if (WARN_ON_ONCE(bio_op(bio) == REQ_OP_ZONE_APPEND)) |
| 1490 | return NULL; |
| 1491 | |
Christoph Hellwig | f9d03f9 | 2016-12-08 15:20:32 -0700 | [diff] [blame] | 1492 | split = bio_clone_fast(bio, gfp, bs); |
Kent Overstreet | 20d0189 | 2013-11-23 18:21:01 -0800 | [diff] [blame] | 1493 | if (!split) |
| 1494 | return NULL; |
| 1495 | |
| 1496 | split->bi_iter.bi_size = sectors << 9; |
| 1497 | |
| 1498 | if (bio_integrity(split)) |
Dmitry Monakhov | fbd08e7 | 2017-06-29 11:31:10 -0700 | [diff] [blame] | 1499 | bio_integrity_trim(split); |
Kent Overstreet | 20d0189 | 2013-11-23 18:21:01 -0800 | [diff] [blame] | 1500 | |
| 1501 | bio_advance(bio, split->bi_iter.bi_size); |
| 1502 | |
NeilBrown | fbbaf70 | 2017-04-07 09:40:52 -0600 | [diff] [blame] | 1503 | if (bio_flagged(bio, BIO_TRACE_COMPLETION)) |
Goldwyn Rodrigues | 20d5902 | 2018-01-23 09:10:19 -0700 | [diff] [blame] | 1504 | bio_set_flag(split, BIO_TRACE_COMPLETION); |
NeilBrown | fbbaf70 | 2017-04-07 09:40:52 -0600 | [diff] [blame] | 1505 | |
Kent Overstreet | 20d0189 | 2013-11-23 18:21:01 -0800 | [diff] [blame] | 1506 | return split; |
| 1507 | } |
| 1508 | EXPORT_SYMBOL(bio_split); |
| 1509 | |
Martin K. Petersen | ad3316b | 2008-10-01 22:42:53 -0400 | [diff] [blame] | 1510 | /** |
Kent Overstreet | 6678d83 | 2013-08-07 11:14:32 -0700 | [diff] [blame] | 1511 | * bio_trim - trim a bio |
| 1512 | * @bio: bio to trim |
| 1513 | * @offset: number of sectors to trim from the front of @bio |
| 1514 | * @size: size we want to trim @bio to, in sectors |
| 1515 | */ |
| 1516 | void bio_trim(struct bio *bio, int offset, int size) |
| 1517 | { |
| 1518 | /* 'bio' is a cloned bio which we need to trim to match |
| 1519 | * the given offset and size. |
Kent Overstreet | 6678d83 | 2013-08-07 11:14:32 -0700 | [diff] [blame] | 1520 | */ |
Kent Overstreet | 6678d83 | 2013-08-07 11:14:32 -0700 | [diff] [blame] | 1521 | |
| 1522 | size <<= 9; |
Kent Overstreet | 4f024f3 | 2013-10-11 15:44:27 -0700 | [diff] [blame] | 1523 | if (offset == 0 && size == bio->bi_iter.bi_size) |
Kent Overstreet | 6678d83 | 2013-08-07 11:14:32 -0700 | [diff] [blame] | 1524 | return; |
| 1525 | |
Kent Overstreet | 6678d83 | 2013-08-07 11:14:32 -0700 | [diff] [blame] | 1526 | bio_advance(bio, offset << 9); |
Kent Overstreet | 4f024f3 | 2013-10-11 15:44:27 -0700 | [diff] [blame] | 1527 | bio->bi_iter.bi_size = size; |
Dmitry Monakhov | 376a78a | 2017-06-29 11:31:08 -0700 | [diff] [blame] | 1528 | |
| 1529 | if (bio_integrity(bio)) |
Dmitry Monakhov | fbd08e7 | 2017-06-29 11:31:10 -0700 | [diff] [blame] | 1530 | bio_integrity_trim(bio); |
Dmitry Monakhov | 376a78a | 2017-06-29 11:31:08 -0700 | [diff] [blame] | 1531 | |
Kent Overstreet | 6678d83 | 2013-08-07 11:14:32 -0700 | [diff] [blame] | 1532 | } |
| 1533 | EXPORT_SYMBOL_GPL(bio_trim); |
| 1534 | |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 1535 | /* |
| 1536 | * create memory pools for biovec's in a bio_set. |
| 1537 | * use the global biovec slabs created for general use. |
| 1538 | */ |
Kent Overstreet | 8aa6ba2 | 2018-05-08 21:33:50 -0400 | [diff] [blame] | 1539 | int biovec_init_pool(mempool_t *pool, int pool_entries) |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 1540 | { |
Christoph Hellwig | ed996a5 | 2016-07-19 11:28:42 +0200 | [diff] [blame] | 1541 | struct biovec_slab *bp = bvec_slabs + BVEC_POOL_MAX; |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 1542 | |
Kent Overstreet | 8aa6ba2 | 2018-05-08 21:33:50 -0400 | [diff] [blame] | 1543 | return mempool_init_slab_pool(pool, pool_entries, bp->slab); |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 1544 | } |
| 1545 | |
Kent Overstreet | 917a38c | 2018-05-08 21:33:51 -0400 | [diff] [blame] | 1546 | /* |
| 1547 | * bioset_exit - exit a bioset initialized with bioset_init() |
| 1548 | * |
| 1549 | * May be called on a zeroed but uninitialized bioset (i.e. allocated with |
| 1550 | * kzalloc()). |
| 1551 | */ |
| 1552 | void bioset_exit(struct bio_set *bs) |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 1553 | { |
Kent Overstreet | df2cb6d | 2012-09-10 14:33:46 -0700 | [diff] [blame] | 1554 | if (bs->rescue_workqueue) |
| 1555 | destroy_workqueue(bs->rescue_workqueue); |
Kent Overstreet | 917a38c | 2018-05-08 21:33:51 -0400 | [diff] [blame] | 1556 | bs->rescue_workqueue = NULL; |
Kent Overstreet | df2cb6d | 2012-09-10 14:33:46 -0700 | [diff] [blame] | 1557 | |
Kent Overstreet | 8aa6ba2 | 2018-05-08 21:33:50 -0400 | [diff] [blame] | 1558 | mempool_exit(&bs->bio_pool); |
| 1559 | mempool_exit(&bs->bvec_pool); |
Kent Overstreet | 9f060e2 | 2012-10-12 15:29:33 -0700 | [diff] [blame] | 1560 | |
Martin K. Petersen | 7878cba | 2009-06-26 15:37:49 +0200 | [diff] [blame] | 1561 | bioset_integrity_free(bs); |
Kent Overstreet | 917a38c | 2018-05-08 21:33:51 -0400 | [diff] [blame] | 1562 | if (bs->bio_slab) |
| 1563 | bio_put_slab(bs); |
| 1564 | bs->bio_slab = NULL; |
| 1565 | } |
| 1566 | EXPORT_SYMBOL(bioset_exit); |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 1567 | |
NeilBrown | 011067b | 2017-06-18 14:38:57 +1000 | [diff] [blame] | 1568 | /** |
Kent Overstreet | 917a38c | 2018-05-08 21:33:51 -0400 | [diff] [blame] | 1569 | * bioset_init - Initialize a bio_set |
Kent Overstreet | dad0852 | 2018-05-20 18:25:58 -0400 | [diff] [blame] | 1570 | * @bs: pool to initialize |
Kent Overstreet | 917a38c | 2018-05-08 21:33:51 -0400 | [diff] [blame] | 1571 | * @pool_size: Number of bio and bio_vecs to cache in the mempool |
| 1572 | * @front_pad: Number of bytes to allocate in front of the returned bio |
| 1573 | * @flags: Flags to modify behavior, currently %BIOSET_NEED_BVECS |
| 1574 | * and %BIOSET_NEED_RESCUER |
| 1575 | * |
Kent Overstreet | dad0852 | 2018-05-20 18:25:58 -0400 | [diff] [blame] | 1576 | * Description: |
| 1577 | * Set up a bio_set to be used with @bio_alloc_bioset. Allows the caller |
| 1578 | * to ask for a number of bytes to be allocated in front of the bio. |
| 1579 | * Front pad allocation is useful for embedding the bio inside |
| 1580 | * another structure, to avoid allocating extra data to go with the bio. |
| 1581 | * Note that the bio must be embedded at the END of that structure always, |
| 1582 | * or things will break badly. |
| 1583 | * If %BIOSET_NEED_BVECS is set in @flags, a separate pool will be allocated |
| 1584 | * for allocating iovecs. This pool is not needed e.g. for bio_clone_fast(). |
| 1585 | * If %BIOSET_NEED_RESCUER is set, a workqueue is created which can be used to |
| 1586 | * dispatch queued requests when the mempool runs out of space. |
| 1587 | * |
Kent Overstreet | 917a38c | 2018-05-08 21:33:51 -0400 | [diff] [blame] | 1588 | */ |
| 1589 | int bioset_init(struct bio_set *bs, |
| 1590 | unsigned int pool_size, |
| 1591 | unsigned int front_pad, |
| 1592 | int flags) |
| 1593 | { |
| 1594 | unsigned int back_pad = BIO_INLINE_VECS * sizeof(struct bio_vec); |
| 1595 | |
| 1596 | bs->front_pad = front_pad; |
| 1597 | |
| 1598 | spin_lock_init(&bs->rescue_lock); |
| 1599 | bio_list_init(&bs->rescue_list); |
| 1600 | INIT_WORK(&bs->rescue_work, bio_alloc_rescue); |
| 1601 | |
| 1602 | bs->bio_slab = bio_find_or_create_slab(front_pad + back_pad); |
| 1603 | if (!bs->bio_slab) |
| 1604 | return -ENOMEM; |
| 1605 | |
| 1606 | if (mempool_init_slab_pool(&bs->bio_pool, pool_size, bs->bio_slab)) |
| 1607 | goto bad; |
| 1608 | |
| 1609 | if ((flags & BIOSET_NEED_BVECS) && |
| 1610 | biovec_init_pool(&bs->bvec_pool, pool_size)) |
| 1611 | goto bad; |
| 1612 | |
| 1613 | if (!(flags & BIOSET_NEED_RESCUER)) |
| 1614 | return 0; |
| 1615 | |
| 1616 | bs->rescue_workqueue = alloc_workqueue("bioset", WQ_MEM_RECLAIM, 0); |
| 1617 | if (!bs->rescue_workqueue) |
| 1618 | goto bad; |
| 1619 | |
| 1620 | return 0; |
| 1621 | bad: |
| 1622 | bioset_exit(bs); |
| 1623 | return -ENOMEM; |
| 1624 | } |
| 1625 | EXPORT_SYMBOL(bioset_init); |
| 1626 | |
Jens Axboe | 28e89fd9 | 2018-06-07 14:42:05 -0600 | [diff] [blame] | 1627 | /* |
| 1628 | * Initialize and setup a new bio_set, based on the settings from |
| 1629 | * another bio_set. |
| 1630 | */ |
| 1631 | int bioset_init_from_src(struct bio_set *bs, struct bio_set *src) |
| 1632 | { |
| 1633 | int flags; |
| 1634 | |
| 1635 | flags = 0; |
| 1636 | if (src->bvec_pool.min_nr) |
| 1637 | flags |= BIOSET_NEED_BVECS; |
| 1638 | if (src->rescue_workqueue) |
| 1639 | flags |= BIOSET_NEED_RESCUER; |
| 1640 | |
| 1641 | return bioset_init(bs, src->bio_pool.min_nr, src->front_pad, flags); |
| 1642 | } |
| 1643 | EXPORT_SYMBOL(bioset_init_from_src); |
| 1644 | |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 1645 | static void __init biovec_init_slabs(void) |
| 1646 | { |
| 1647 | int i; |
| 1648 | |
Christoph Hellwig | ed996a5 | 2016-07-19 11:28:42 +0200 | [diff] [blame] | 1649 | for (i = 0; i < BVEC_POOL_NR; i++) { |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 1650 | int size; |
| 1651 | struct biovec_slab *bvs = bvec_slabs + i; |
| 1652 | |
Jens Axboe | a7fcd37 | 2008-12-05 16:10:29 +0100 | [diff] [blame] | 1653 | if (bvs->nr_vecs <= BIO_INLINE_VECS) { |
| 1654 | bvs->slab = NULL; |
| 1655 | continue; |
| 1656 | } |
Jens Axboe | a7fcd37 | 2008-12-05 16:10:29 +0100 | [diff] [blame] | 1657 | |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 1658 | size = bvs->nr_vecs * sizeof(struct bio_vec); |
| 1659 | bvs->slab = kmem_cache_create(bvs->name, size, 0, |
Paul Mundt | 20c2df8 | 2007-07-20 10:11:58 +0900 | [diff] [blame] | 1660 | SLAB_HWCACHE_ALIGN|SLAB_PANIC, NULL); |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 1661 | } |
| 1662 | } |
| 1663 | |
| 1664 | static int __init init_bio(void) |
| 1665 | { |
Jens Axboe | bb799ca | 2008-12-10 15:35:05 +0100 | [diff] [blame] | 1666 | bio_slab_max = 2; |
| 1667 | bio_slab_nr = 0; |
Kees Cook | 6396bb2 | 2018-06-12 14:03:40 -0700 | [diff] [blame] | 1668 | bio_slabs = kcalloc(bio_slab_max, sizeof(struct bio_slab), |
| 1669 | GFP_KERNEL); |
Johannes Thumshirn | 2b24e6f | 2019-04-03 11:15:19 +0200 | [diff] [blame] | 1670 | |
| 1671 | BUILD_BUG_ON(BIO_FLAG_LAST > BVEC_POOL_OFFSET); |
| 1672 | |
Jens Axboe | bb799ca | 2008-12-10 15:35:05 +0100 | [diff] [blame] | 1673 | if (!bio_slabs) |
| 1674 | panic("bio: can't allocate bios\n"); |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 1675 | |
Martin K. Petersen | 7878cba | 2009-06-26 15:37:49 +0200 | [diff] [blame] | 1676 | bio_integrity_init(); |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 1677 | biovec_init_slabs(); |
| 1678 | |
Kent Overstreet | f4f8154 | 2018-05-08 21:33:52 -0400 | [diff] [blame] | 1679 | if (bioset_init(&fs_bio_set, BIO_POOL_SIZE, 0, BIOSET_NEED_BVECS)) |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 1680 | panic("bio: can't allocate bios\n"); |
| 1681 | |
Kent Overstreet | f4f8154 | 2018-05-08 21:33:52 -0400 | [diff] [blame] | 1682 | if (bioset_integrity_create(&fs_bio_set, BIO_POOL_SIZE)) |
Martin K. Petersen | a91a278 | 2011-03-17 11:11:05 +0100 | [diff] [blame] | 1683 | panic("bio: can't create integrity pool\n"); |
| 1684 | |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 1685 | return 0; |
| 1686 | } |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 1687 | subsys_initcall(init_bio); |