1 // SPDX-License-Identifier: GPL-2.0-only 1 // SPDX-License-Identifier: GPL-2.0-only 2 /* 2 /* 3 * fs/direct-io.c 3 * fs/direct-io.c 4 * 4 * 5 * Copyright (C) 2002, Linus Torvalds. 5 * Copyright (C) 2002, Linus Torvalds. 6 * 6 * 7 * O_DIRECT 7 * O_DIRECT 8 * 8 * 9 * 04Jul2002 Andrew Morton 9 * 04Jul2002 Andrew Morton 10 * Initial version 10 * Initial version 11 * 11Sep2002 janetinc@us.ibm.com 11 * 11Sep2002 janetinc@us.ibm.com 12 * added readv/writev support. 12 * added readv/writev support. 13 * 29Oct2002 Andrew Morton 13 * 29Oct2002 Andrew Morton 14 * rewrote bio_add_page() support 14 * rewrote bio_add_page() support. 15 * 30Oct2002 pbadari@us.ibm.com 15 * 30Oct2002 pbadari@us.ibm.com 16 * added support for non-aligned 16 * added support for non-aligned IO. 17 * 06Nov2002 pbadari@us.ibm.com 17 * 06Nov2002 pbadari@us.ibm.com 18 * added asynchronous IO support. 18 * added asynchronous IO support. 19 * 21Jul2003 nathans@sgi.com 19 * 21Jul2003 nathans@sgi.com 20 * added IO completion notifier. 20 * added IO completion notifier. 21 */ 21 */ 22 22 23 #include <linux/kernel.h> 23 #include <linux/kernel.h> 24 #include <linux/module.h> 24 #include <linux/module.h> 25 #include <linux/types.h> 25 #include <linux/types.h> 26 #include <linux/fs.h> 26 #include <linux/fs.h> 27 #include <linux/mm.h> 27 #include <linux/mm.h> 28 #include <linux/slab.h> 28 #include <linux/slab.h> 29 #include <linux/highmem.h> 29 #include <linux/highmem.h> 30 #include <linux/pagemap.h> 30 #include <linux/pagemap.h> 31 #include <linux/task_io_accounting_ops.h> 31 #include <linux/task_io_accounting_ops.h> 32 #include <linux/bio.h> 32 #include <linux/bio.h> 33 #include <linux/wait.h> 33 #include <linux/wait.h> 34 #include <linux/err.h> 34 #include <linux/err.h> 35 #include <linux/blkdev.h> 35 #include <linux/blkdev.h> 36 #include <linux/buffer_head.h> 36 #include <linux/buffer_head.h> 37 #include <linux/rwsem.h> 37 #include <linux/rwsem.h> 38 #include <linux/uio.h> 38 #include <linux/uio.h> 39 #include <linux/atomic.h> 39 #include <linux/atomic.h> >> 40 #include <linux/prefetch.h> 40 41 41 #include "internal.h" 42 #include "internal.h" 42 43 43 /* 44 /* 44 * How many user pages to map in one call to i 45 * How many user pages to map in one call to iov_iter_extract_pages(). This 45 * determines the size of a structure in the s 46 * determines the size of a structure in the slab cache 46 */ 47 */ 47 #define DIO_PAGES 64 48 #define DIO_PAGES 64 48 49 49 /* 50 /* 50 * Flags for dio_complete() 51 * Flags for dio_complete() 51 */ 52 */ 52 #define DIO_COMPLETE_ASYNC 0x01 53 #define DIO_COMPLETE_ASYNC 0x01 /* This is async IO */ 53 #define DIO_COMPLETE_INVALIDATE 0x02 54 #define DIO_COMPLETE_INVALIDATE 0x02 /* Can invalidate pages */ 54 55 55 /* 56 /* 56 * This code generally works in units of "dio_ 57 * This code generally works in units of "dio_blocks". A dio_block is 57 * somewhere between the hard sector size and 58 * somewhere between the hard sector size and the filesystem block size. it 58 * is determined on a per-invocation basis. 59 * is determined on a per-invocation basis. When talking to the filesystem 59 * we need to convert dio_blocks to fs_blocks 60 * we need to convert dio_blocks to fs_blocks by scaling the dio_block quantity 60 * down by dio->blkfactor. Similarly, fs-bloc 61 * down by dio->blkfactor. Similarly, fs-blocksize quantities are converted 61 * to bio_block quantities by shifting left by 62 * to bio_block quantities by shifting left by blkfactor. 62 * 63 * 63 * If blkfactor is zero then the user's reques 64 * If blkfactor is zero then the user's request was aligned to the filesystem's 64 * blocksize. 65 * blocksize. 65 */ 66 */ 66 67 67 /* dio_state only used in the submission path 68 /* dio_state only used in the submission path */ 68 69 69 struct dio_submit { 70 struct dio_submit { 70 struct bio *bio; /* bio 71 struct bio *bio; /* bio under assembly */ 71 unsigned blkbits; /* doe 72 unsigned blkbits; /* doesn't change */ 72 unsigned blkfactor; /* Whe 73 unsigned blkfactor; /* When we're using an alignment which 73 is 74 is finer than the filesystem's soft 74 blo 75 blocksize, this specifies how much 75 fin 76 finer. blkfactor=2 means 1/4-block 76 ali 77 alignment. Does not change */ 77 unsigned start_zero_done; /* fla 78 unsigned start_zero_done; /* flag: sub-blocksize zeroing has 78 bee 79 been performed at the start of a 79 wri 80 write */ 80 int pages_in_io; /* app 81 int pages_in_io; /* approximate total IO pages */ 81 sector_t block_in_file; /* Cur 82 sector_t block_in_file; /* Current offset into the underlying 82 fil 83 file in dio_block units. */ 83 unsigned blocks_available; /* At 84 unsigned blocks_available; /* At block_in_file. changes */ 84 int reap_counter; /* rat 85 int reap_counter; /* rate limit reaping */ 85 sector_t final_block_in_request;/* doe 86 sector_t final_block_in_request;/* doesn't change */ 86 int boundary; /* pre 87 int boundary; /* prev block is at a boundary */ 87 get_block_t *get_block; /* blo 88 get_block_t *get_block; /* block mapping function */ 88 89 89 loff_t logical_offset_in_bio; /* cur 90 loff_t logical_offset_in_bio; /* current first logical block in bio */ 90 sector_t final_block_in_bio; /* cur 91 sector_t final_block_in_bio; /* current final block in bio + 1 */ 91 sector_t next_block_for_io; /* nex 92 sector_t next_block_for_io; /* next block to be put under IO, 92 in 93 in dio_blocks units */ 93 94 94 /* 95 /* 95 * Deferred addition of a page to the 96 * Deferred addition of a page to the dio. These variables are 96 * private to dio_send_cur_page(), sub 97 * private to dio_send_cur_page(), submit_page_section() and 97 * dio_bio_add_page(). 98 * dio_bio_add_page(). 98 */ 99 */ 99 struct page *cur_page; /* The 100 struct page *cur_page; /* The page */ 100 unsigned cur_page_offset; /* Off 101 unsigned cur_page_offset; /* Offset into it, in bytes */ 101 unsigned cur_page_len; /* Nr 102 unsigned cur_page_len; /* Nr of bytes at cur_page_offset */ 102 sector_t cur_page_block; /* Whe 103 sector_t cur_page_block; /* Where it starts */ 103 loff_t cur_page_fs_offset; /* Off 104 loff_t cur_page_fs_offset; /* Offset in file */ 104 105 105 struct iov_iter *iter; 106 struct iov_iter *iter; 106 /* 107 /* 107 * Page queue. These variables belong 108 * Page queue. These variables belong to dio_refill_pages() and 108 * dio_get_page(). 109 * dio_get_page(). 109 */ 110 */ 110 unsigned head; /* nex 111 unsigned head; /* next page to process */ 111 unsigned tail; /* las 112 unsigned tail; /* last valid page + 1 */ 112 size_t from, to; 113 size_t from, to; 113 }; 114 }; 114 115 115 /* dio_state communicated between submission p 116 /* dio_state communicated between submission path and end_io */ 116 struct dio { 117 struct dio { 117 int flags; /* doe 118 int flags; /* doesn't change */ 118 blk_opf_t opf; /* req 119 blk_opf_t opf; /* request operation type and flags */ 119 struct gendisk *bio_disk; 120 struct gendisk *bio_disk; 120 struct inode *inode; 121 struct inode *inode; 121 loff_t i_size; /* i_s 122 loff_t i_size; /* i_size when submitted */ 122 dio_iodone_t *end_io; /* IO 123 dio_iodone_t *end_io; /* IO completion function */ 123 bool is_pinned; /* T i 124 bool is_pinned; /* T if we have pins on the pages */ 124 125 125 void *private; /* cop 126 void *private; /* copy from map_bh.b_private */ 126 127 127 /* BIO completion state */ 128 /* BIO completion state */ 128 spinlock_t bio_lock; /* pro 129 spinlock_t bio_lock; /* protects BIO fields below */ 129 int page_errors; /* err 130 int page_errors; /* err from iov_iter_extract_pages() */ 130 int is_async; /* is 131 int is_async; /* is IO async ? */ 131 bool defer_completion; /* def 132 bool defer_completion; /* defer AIO completion to workqueue? */ 132 bool should_dirty; /* if 133 bool should_dirty; /* if pages should be dirtied */ 133 int io_error; /* IO 134 int io_error; /* IO error in completion path */ 134 unsigned long refcount; /* dir 135 unsigned long refcount; /* direct_io_worker() and bios */ 135 struct bio *bio_list; /* sin 136 struct bio *bio_list; /* singly linked via bi_private */ 136 struct task_struct *waiter; /* wai 137 struct task_struct *waiter; /* waiting task (NULL if none) */ 137 138 138 /* AIO related stuff */ 139 /* AIO related stuff */ 139 struct kiocb *iocb; /* kio 140 struct kiocb *iocb; /* kiocb */ 140 ssize_t result; /* IO 141 ssize_t result; /* IO result */ 141 142 142 /* 143 /* 143 * pages[] (and any fields placed afte 144 * pages[] (and any fields placed after it) are not zeroed out at 144 * allocation time. Don't add new fie 145 * allocation time. Don't add new fields after pages[] unless you 145 * wish that they not be zeroed. 146 * wish that they not be zeroed. 146 */ 147 */ 147 union { 148 union { 148 struct page *pages[DIO_PAGES]; 149 struct page *pages[DIO_PAGES]; /* page buffer */ 149 struct work_struct complete_wo 150 struct work_struct complete_work;/* deferred AIO completion */ 150 }; 151 }; 151 } ____cacheline_aligned_in_smp; 152 } ____cacheline_aligned_in_smp; 152 153 153 static struct kmem_cache *dio_cache __ro_after 154 static struct kmem_cache *dio_cache __ro_after_init; 154 155 155 /* 156 /* 156 * How many pages are in the queue? 157 * How many pages are in the queue? 157 */ 158 */ 158 static inline unsigned dio_pages_present(struc 159 static inline unsigned dio_pages_present(struct dio_submit *sdio) 159 { 160 { 160 return sdio->tail - sdio->head; 161 return sdio->tail - sdio->head; 161 } 162 } 162 163 163 /* 164 /* 164 * Go grab and pin some userspace pages. Typ 165 * Go grab and pin some userspace pages. Typically we'll get 64 at a time. 165 */ 166 */ 166 static inline int dio_refill_pages(struct dio 167 static inline int dio_refill_pages(struct dio *dio, struct dio_submit *sdio) 167 { 168 { 168 struct page **pages = dio->pages; 169 struct page **pages = dio->pages; 169 const enum req_op dio_op = dio->opf & 170 const enum req_op dio_op = dio->opf & REQ_OP_MASK; 170 ssize_t ret; 171 ssize_t ret; 171 172 172 ret = iov_iter_extract_pages(sdio->ite 173 ret = iov_iter_extract_pages(sdio->iter, &pages, LONG_MAX, 173 DIO_PAGES 174 DIO_PAGES, 0, &sdio->from); 174 175 175 if (ret < 0 && sdio->blocks_available 176 if (ret < 0 && sdio->blocks_available && dio_op == REQ_OP_WRITE) { 176 /* 177 /* 177 * A memory fault, but the fil 178 * A memory fault, but the filesystem has some outstanding 178 * mapped blocks. We need to 179 * mapped blocks. We need to use those blocks up to avoid 179 * leaking stale data in the f 180 * leaking stale data in the file. 180 */ 181 */ 181 if (dio->page_errors == 0) 182 if (dio->page_errors == 0) 182 dio->page_errors = ret 183 dio->page_errors = ret; 183 dio->pages[0] = ZERO_PAGE(0); 184 dio->pages[0] = ZERO_PAGE(0); 184 sdio->head = 0; 185 sdio->head = 0; 185 sdio->tail = 1; 186 sdio->tail = 1; 186 sdio->from = 0; 187 sdio->from = 0; 187 sdio->to = PAGE_SIZE; 188 sdio->to = PAGE_SIZE; 188 return 0; 189 return 0; 189 } 190 } 190 191 191 if (ret >= 0) { 192 if (ret >= 0) { 192 ret += sdio->from; 193 ret += sdio->from; 193 sdio->head = 0; 194 sdio->head = 0; 194 sdio->tail = (ret + PAGE_SIZE 195 sdio->tail = (ret + PAGE_SIZE - 1) / PAGE_SIZE; 195 sdio->to = ((ret - 1) & (PAGE_ 196 sdio->to = ((ret - 1) & (PAGE_SIZE - 1)) + 1; 196 return 0; 197 return 0; 197 } 198 } 198 return ret; 199 return ret; 199 } 200 } 200 201 201 /* 202 /* 202 * Get another userspace page. Returns an ERR 203 * Get another userspace page. Returns an ERR_PTR on error. Pages are 203 * buffered inside the dio so that we can call 204 * buffered inside the dio so that we can call iov_iter_extract_pages() 204 * against a decent number of pages, less freq 205 * against a decent number of pages, less frequently. To provide nicer use of 205 * the L1 cache. 206 * the L1 cache. 206 */ 207 */ 207 static inline struct page *dio_get_page(struct 208 static inline struct page *dio_get_page(struct dio *dio, 208 struct 209 struct dio_submit *sdio) 209 { 210 { 210 if (dio_pages_present(sdio) == 0) { 211 if (dio_pages_present(sdio) == 0) { 211 int ret; 212 int ret; 212 213 213 ret = dio_refill_pages(dio, sd 214 ret = dio_refill_pages(dio, sdio); 214 if (ret) 215 if (ret) 215 return ERR_PTR(ret); 216 return ERR_PTR(ret); 216 BUG_ON(dio_pages_present(sdio) 217 BUG_ON(dio_pages_present(sdio) == 0); 217 } 218 } 218 return dio->pages[sdio->head]; 219 return dio->pages[sdio->head]; 219 } 220 } 220 221 221 static void dio_pin_page(struct dio *dio, stru 222 static void dio_pin_page(struct dio *dio, struct page *page) 222 { 223 { 223 if (dio->is_pinned) 224 if (dio->is_pinned) 224 folio_add_pin(page_folio(page) 225 folio_add_pin(page_folio(page)); 225 } 226 } 226 227 227 static void dio_unpin_page(struct dio *dio, st 228 static void dio_unpin_page(struct dio *dio, struct page *page) 228 { 229 { 229 if (dio->is_pinned) 230 if (dio->is_pinned) 230 unpin_user_page(page); 231 unpin_user_page(page); 231 } 232 } 232 233 233 /* 234 /* 234 * dio_complete() - called when all DIO BIO I/ 235 * dio_complete() - called when all DIO BIO I/O has been completed 235 * 236 * 236 * This drops i_dio_count, lets interested par 237 * This drops i_dio_count, lets interested parties know that a DIO operation 237 * has completed, and calculates the resulting 238 * has completed, and calculates the resulting return code for the operation. 238 * 239 * 239 * It lets the filesystem know if it registere 240 * It lets the filesystem know if it registered an interest earlier via 240 * get_block. Pass the private field of the m 241 * get_block. Pass the private field of the map buffer_head so that 241 * filesystems can use it to hold additional s 242 * filesystems can use it to hold additional state between get_block calls and 242 * dio_complete. 243 * dio_complete. 243 */ 244 */ 244 static ssize_t dio_complete(struct dio *dio, s 245 static ssize_t dio_complete(struct dio *dio, ssize_t ret, unsigned int flags) 245 { 246 { 246 const enum req_op dio_op = dio->opf & 247 const enum req_op dio_op = dio->opf & REQ_OP_MASK; 247 loff_t offset = dio->iocb->ki_pos; 248 loff_t offset = dio->iocb->ki_pos; 248 ssize_t transferred = 0; 249 ssize_t transferred = 0; 249 int err; 250 int err; 250 251 251 /* 252 /* 252 * AIO submission can race with bio co 253 * AIO submission can race with bio completion to get here while 253 * expecting to have the last io compl 254 * expecting to have the last io completed by bio completion. 254 * In that case -EIOCBQUEUED is in fac 255 * In that case -EIOCBQUEUED is in fact not an error we want 255 * to preserve through this call. 256 * to preserve through this call. 256 */ 257 */ 257 if (ret == -EIOCBQUEUED) 258 if (ret == -EIOCBQUEUED) 258 ret = 0; 259 ret = 0; 259 260 260 if (dio->result) { 261 if (dio->result) { 261 transferred = dio->result; 262 transferred = dio->result; 262 263 263 /* Check for short read case * 264 /* Check for short read case */ 264 if (dio_op == REQ_OP_READ && 265 if (dio_op == REQ_OP_READ && 265 ((offset + transferred) > 266 ((offset + transferred) > dio->i_size)) 266 transferred = dio->i_s 267 transferred = dio->i_size - offset; 267 /* ignore EFAULT if some IO ha 268 /* ignore EFAULT if some IO has been done */ 268 if (unlikely(ret == -EFAULT) & 269 if (unlikely(ret == -EFAULT) && transferred) 269 ret = 0; 270 ret = 0; 270 } 271 } 271 272 272 if (ret == 0) 273 if (ret == 0) 273 ret = dio->page_errors; 274 ret = dio->page_errors; 274 if (ret == 0) 275 if (ret == 0) 275 ret = dio->io_error; 276 ret = dio->io_error; 276 if (ret == 0) 277 if (ret == 0) 277 ret = transferred; 278 ret = transferred; 278 279 279 if (dio->end_io) { 280 if (dio->end_io) { 280 // XXX: ki_pos?? 281 // XXX: ki_pos?? 281 err = dio->end_io(dio->iocb, o 282 err = dio->end_io(dio->iocb, offset, ret, dio->private); 282 if (err) 283 if (err) 283 ret = err; 284 ret = err; 284 } 285 } 285 286 286 /* 287 /* 287 * Try again to invalidate clean pages 288 * Try again to invalidate clean pages which might have been cached by 288 * non-direct readahead, or faulted in 289 * non-direct readahead, or faulted in by get_user_pages() if the source 289 * of the write was an mmap'ed region 290 * of the write was an mmap'ed region of the file we're writing. Either 290 * one is a pretty crazy thing to do, 291 * one is a pretty crazy thing to do, so we don't support it 100%. If 291 * this invalidation fails, tough, the 292 * this invalidation fails, tough, the write still worked... 292 * 293 * 293 * And this page cache invalidation ha 294 * And this page cache invalidation has to be after dio->end_io(), as 294 * some filesystems convert unwritten 295 * some filesystems convert unwritten extents to real allocations in 295 * end_io() when necessary, otherwise 296 * end_io() when necessary, otherwise a racing buffer read would cache 296 * zeros from unwritten extents. 297 * zeros from unwritten extents. 297 */ 298 */ 298 if (flags & DIO_COMPLETE_INVALIDATE && 299 if (flags & DIO_COMPLETE_INVALIDATE && 299 ret > 0 && dio_op == REQ_OP_WRITE) 300 ret > 0 && dio_op == REQ_OP_WRITE) 300 kiocb_invalidate_post_direct_w 301 kiocb_invalidate_post_direct_write(dio->iocb, ret); 301 302 302 inode_dio_end(dio->inode); 303 inode_dio_end(dio->inode); 303 304 304 if (flags & DIO_COMPLETE_ASYNC) { 305 if (flags & DIO_COMPLETE_ASYNC) { 305 /* 306 /* 306 * generic_write_sync expects 307 * generic_write_sync expects ki_pos to have been updated 307 * already, but the submission 308 * already, but the submission path only does this for 308 * synchronous I/O. 309 * synchronous I/O. 309 */ 310 */ 310 dio->iocb->ki_pos += transferr 311 dio->iocb->ki_pos += transferred; 311 312 312 if (ret > 0 && dio_op == REQ_O 313 if (ret > 0 && dio_op == REQ_OP_WRITE) 313 ret = generic_write_sy 314 ret = generic_write_sync(dio->iocb, ret); 314 dio->iocb->ki_complete(dio->io 315 dio->iocb->ki_complete(dio->iocb, ret); 315 } 316 } 316 317 317 kmem_cache_free(dio_cache, dio); 318 kmem_cache_free(dio_cache, dio); 318 return ret; 319 return ret; 319 } 320 } 320 321 321 static void dio_aio_complete_work(struct work_ 322 static void dio_aio_complete_work(struct work_struct *work) 322 { 323 { 323 struct dio *dio = container_of(work, s 324 struct dio *dio = container_of(work, struct dio, complete_work); 324 325 325 dio_complete(dio, 0, DIO_COMPLETE_ASYN 326 dio_complete(dio, 0, DIO_COMPLETE_ASYNC | DIO_COMPLETE_INVALIDATE); 326 } 327 } 327 328 328 static blk_status_t dio_bio_complete(struct di 329 static blk_status_t dio_bio_complete(struct dio *dio, struct bio *bio); 329 330 330 /* 331 /* 331 * Asynchronous IO callback. 332 * Asynchronous IO callback. 332 */ 333 */ 333 static void dio_bio_end_aio(struct bio *bio) 334 static void dio_bio_end_aio(struct bio *bio) 334 { 335 { 335 struct dio *dio = bio->bi_private; 336 struct dio *dio = bio->bi_private; 336 const enum req_op dio_op = dio->opf & 337 const enum req_op dio_op = dio->opf & REQ_OP_MASK; 337 unsigned long remaining; 338 unsigned long remaining; 338 unsigned long flags; 339 unsigned long flags; 339 bool defer_completion = false; 340 bool defer_completion = false; 340 341 341 /* cleanup the bio */ 342 /* cleanup the bio */ 342 dio_bio_complete(dio, bio); 343 dio_bio_complete(dio, bio); 343 344 344 spin_lock_irqsave(&dio->bio_lock, flag 345 spin_lock_irqsave(&dio->bio_lock, flags); 345 remaining = --dio->refcount; 346 remaining = --dio->refcount; 346 if (remaining == 1 && dio->waiter) 347 if (remaining == 1 && dio->waiter) 347 wake_up_process(dio->waiter); 348 wake_up_process(dio->waiter); 348 spin_unlock_irqrestore(&dio->bio_lock, 349 spin_unlock_irqrestore(&dio->bio_lock, flags); 349 350 350 if (remaining == 0) { 351 if (remaining == 0) { 351 /* 352 /* 352 * Defer completion when defer 353 * Defer completion when defer_completion is set or 353 * when the inode has pages ma 354 * when the inode has pages mapped and this is AIO write. 354 * We need to invalidate those 355 * We need to invalidate those pages because there is a 355 * chance they contain stale d 356 * chance they contain stale data in the case buffered IO 356 * went in between AIO submiss 357 * went in between AIO submission and completion into the 357 * same region. 358 * same region. 358 */ 359 */ 359 if (dio->result) 360 if (dio->result) 360 defer_completion = dio 361 defer_completion = dio->defer_completion || 361 (di 362 (dio_op == REQ_OP_WRITE && 362 di 363 dio->inode->i_mapping->nrpages); 363 if (defer_completion) { 364 if (defer_completion) { 364 INIT_WORK(&dio->comple 365 INIT_WORK(&dio->complete_work, dio_aio_complete_work); 365 queue_work(dio->inode- 366 queue_work(dio->inode->i_sb->s_dio_done_wq, 366 &dio->compl 367 &dio->complete_work); 367 } else { 368 } else { 368 dio_complete(dio, 0, D 369 dio_complete(dio, 0, DIO_COMPLETE_ASYNC); 369 } 370 } 370 } 371 } 371 } 372 } 372 373 373 /* 374 /* 374 * The BIO completion handler simply queues th 375 * The BIO completion handler simply queues the BIO up for the process-context 375 * handler. 376 * handler. 376 * 377 * 377 * During I/O bi_private points at the dio. A 378 * During I/O bi_private points at the dio. After I/O, bi_private is used to 378 * implement a singly-linked list of completed 379 * implement a singly-linked list of completed BIOs, at dio->bio_list. 379 */ 380 */ 380 static void dio_bio_end_io(struct bio *bio) 381 static void dio_bio_end_io(struct bio *bio) 381 { 382 { 382 struct dio *dio = bio->bi_private; 383 struct dio *dio = bio->bi_private; 383 unsigned long flags; 384 unsigned long flags; 384 385 385 spin_lock_irqsave(&dio->bio_lock, flag 386 spin_lock_irqsave(&dio->bio_lock, flags); 386 bio->bi_private = dio->bio_list; 387 bio->bi_private = dio->bio_list; 387 dio->bio_list = bio; 388 dio->bio_list = bio; 388 if (--dio->refcount == 1 && dio->waite 389 if (--dio->refcount == 1 && dio->waiter) 389 wake_up_process(dio->waiter); 390 wake_up_process(dio->waiter); 390 spin_unlock_irqrestore(&dio->bio_lock, 391 spin_unlock_irqrestore(&dio->bio_lock, flags); 391 } 392 } 392 393 393 static inline void 394 static inline void 394 dio_bio_alloc(struct dio *dio, struct dio_subm 395 dio_bio_alloc(struct dio *dio, struct dio_submit *sdio, 395 struct block_device *bdev, 396 struct block_device *bdev, 396 sector_t first_sector, int nr_ve 397 sector_t first_sector, int nr_vecs) 397 { 398 { 398 struct bio *bio; 399 struct bio *bio; 399 400 400 /* 401 /* 401 * bio_alloc() is guaranteed to return 402 * bio_alloc() is guaranteed to return a bio when allowed to sleep and 402 * we request a valid number of vector 403 * we request a valid number of vectors. 403 */ 404 */ 404 bio = bio_alloc(bdev, nr_vecs, dio->op 405 bio = bio_alloc(bdev, nr_vecs, dio->opf, GFP_KERNEL); 405 bio->bi_iter.bi_sector = first_sector; 406 bio->bi_iter.bi_sector = first_sector; 406 if (dio->is_async) 407 if (dio->is_async) 407 bio->bi_end_io = dio_bio_end_a 408 bio->bi_end_io = dio_bio_end_aio; 408 else 409 else 409 bio->bi_end_io = dio_bio_end_i 410 bio->bi_end_io = dio_bio_end_io; 410 if (dio->is_pinned) 411 if (dio->is_pinned) 411 bio_set_flag(bio, BIO_PAGE_PIN 412 bio_set_flag(bio, BIO_PAGE_PINNED); 412 bio->bi_write_hint = file_inode(dio->i 413 bio->bi_write_hint = file_inode(dio->iocb->ki_filp)->i_write_hint; 413 414 414 sdio->bio = bio; 415 sdio->bio = bio; 415 sdio->logical_offset_in_bio = sdio->cu 416 sdio->logical_offset_in_bio = sdio->cur_page_fs_offset; 416 } 417 } 417 418 418 /* 419 /* 419 * In the AIO read case we speculatively dirty 420 * In the AIO read case we speculatively dirty the pages before starting IO. 420 * During IO completion, any of these pages wh 421 * During IO completion, any of these pages which happen to have been written 421 * back will be redirtied by bio_check_pages_d 422 * back will be redirtied by bio_check_pages_dirty(). 422 * 423 * 423 * bios hold a dio reference between submit_bi 424 * bios hold a dio reference between submit_bio and ->end_io. 424 */ 425 */ 425 static inline void dio_bio_submit(struct dio * 426 static inline void dio_bio_submit(struct dio *dio, struct dio_submit *sdio) 426 { 427 { 427 const enum req_op dio_op = dio->opf & 428 const enum req_op dio_op = dio->opf & REQ_OP_MASK; 428 struct bio *bio = sdio->bio; 429 struct bio *bio = sdio->bio; 429 unsigned long flags; 430 unsigned long flags; 430 431 431 bio->bi_private = dio; 432 bio->bi_private = dio; 432 433 433 spin_lock_irqsave(&dio->bio_lock, flag 434 spin_lock_irqsave(&dio->bio_lock, flags); 434 dio->refcount++; 435 dio->refcount++; 435 spin_unlock_irqrestore(&dio->bio_lock, 436 spin_unlock_irqrestore(&dio->bio_lock, flags); 436 437 437 if (dio->is_async && dio_op == REQ_OP_ 438 if (dio->is_async && dio_op == REQ_OP_READ && dio->should_dirty) 438 bio_set_pages_dirty(bio); 439 bio_set_pages_dirty(bio); 439 440 440 dio->bio_disk = bio->bi_bdev->bd_disk; 441 dio->bio_disk = bio->bi_bdev->bd_disk; 441 442 442 submit_bio(bio); 443 submit_bio(bio); 443 444 444 sdio->bio = NULL; 445 sdio->bio = NULL; 445 sdio->boundary = 0; 446 sdio->boundary = 0; 446 sdio->logical_offset_in_bio = 0; 447 sdio->logical_offset_in_bio = 0; 447 } 448 } 448 449 449 /* 450 /* 450 * Release any resources in case of a failure 451 * Release any resources in case of a failure 451 */ 452 */ 452 static inline void dio_cleanup(struct dio *dio 453 static inline void dio_cleanup(struct dio *dio, struct dio_submit *sdio) 453 { 454 { 454 if (dio->is_pinned) 455 if (dio->is_pinned) 455 unpin_user_pages(dio->pages + 456 unpin_user_pages(dio->pages + sdio->head, 456 sdio->tail - 457 sdio->tail - sdio->head); 457 sdio->head = sdio->tail; 458 sdio->head = sdio->tail; 458 } 459 } 459 460 460 /* 461 /* 461 * Wait for the next BIO to complete. Remove 462 * Wait for the next BIO to complete. Remove it and return it. NULL is 462 * returned once all BIOs have been completed. 463 * returned once all BIOs have been completed. This must only be called once 463 * all bios have been issued so that dio->refc 464 * all bios have been issued so that dio->refcount can only decrease. This 464 * requires that the caller hold a reference o 465 * requires that the caller hold a reference on the dio. 465 */ 466 */ 466 static struct bio *dio_await_one(struct dio *d 467 static struct bio *dio_await_one(struct dio *dio) 467 { 468 { 468 unsigned long flags; 469 unsigned long flags; 469 struct bio *bio = NULL; 470 struct bio *bio = NULL; 470 471 471 spin_lock_irqsave(&dio->bio_lock, flag 472 spin_lock_irqsave(&dio->bio_lock, flags); 472 473 473 /* 474 /* 474 * Wait as long as the list is empty a 475 * Wait as long as the list is empty and there are bios in flight. bio 475 * completion drops the count, maybe a 476 * completion drops the count, maybe adds to the list, and wakes while 476 * holding the bio_lock so we don't ne 477 * holding the bio_lock so we don't need set_current_state()'s barrier 477 * and can call it after testing our c 478 * and can call it after testing our condition. 478 */ 479 */ 479 while (dio->refcount > 1 && dio->bio_l 480 while (dio->refcount > 1 && dio->bio_list == NULL) { 480 __set_current_state(TASK_UNINT 481 __set_current_state(TASK_UNINTERRUPTIBLE); 481 dio->waiter = current; 482 dio->waiter = current; 482 spin_unlock_irqrestore(&dio->b 483 spin_unlock_irqrestore(&dio->bio_lock, flags); 483 blk_io_schedule(); 484 blk_io_schedule(); 484 /* wake up sets us TASK_RUNNIN 485 /* wake up sets us TASK_RUNNING */ 485 spin_lock_irqsave(&dio->bio_lo 486 spin_lock_irqsave(&dio->bio_lock, flags); 486 dio->waiter = NULL; 487 dio->waiter = NULL; 487 } 488 } 488 if (dio->bio_list) { 489 if (dio->bio_list) { 489 bio = dio->bio_list; 490 bio = dio->bio_list; 490 dio->bio_list = bio->bi_privat 491 dio->bio_list = bio->bi_private; 491 } 492 } 492 spin_unlock_irqrestore(&dio->bio_lock, 493 spin_unlock_irqrestore(&dio->bio_lock, flags); 493 return bio; 494 return bio; 494 } 495 } 495 496 496 /* 497 /* 497 * Process one completed BIO. No locks are he 498 * Process one completed BIO. No locks are held. 498 */ 499 */ 499 static blk_status_t dio_bio_complete(struct di 500 static blk_status_t dio_bio_complete(struct dio *dio, struct bio *bio) 500 { 501 { 501 blk_status_t err = bio->bi_status; 502 blk_status_t err = bio->bi_status; 502 const enum req_op dio_op = dio->opf & 503 const enum req_op dio_op = dio->opf & REQ_OP_MASK; 503 bool should_dirty = dio_op == REQ_OP_R 504 bool should_dirty = dio_op == REQ_OP_READ && dio->should_dirty; 504 505 505 if (err) { 506 if (err) { 506 if (err == BLK_STS_AGAIN && (b 507 if (err == BLK_STS_AGAIN && (bio->bi_opf & REQ_NOWAIT)) 507 dio->io_error = -EAGAI 508 dio->io_error = -EAGAIN; 508 else 509 else 509 dio->io_error = -EIO; 510 dio->io_error = -EIO; 510 } 511 } 511 512 512 if (dio->is_async && should_dirty) { 513 if (dio->is_async && should_dirty) { 513 bio_check_pages_dirty(bio); 514 bio_check_pages_dirty(bio); /* transfers ownership */ 514 } else { 515 } else { 515 bio_release_pages(bio, should_ 516 bio_release_pages(bio, should_dirty); 516 bio_put(bio); 517 bio_put(bio); 517 } 518 } 518 return err; 519 return err; 519 } 520 } 520 521 521 /* 522 /* 522 * Wait on and process all in-flight BIOs. Th 523 * Wait on and process all in-flight BIOs. This must only be called once 523 * all bios have been issued so that the refco 524 * all bios have been issued so that the refcount can only decrease. 524 * This just waits for all bios to make it thr 525 * This just waits for all bios to make it through dio_bio_complete. IO 525 * errors are propagated through dio->io_error 526 * errors are propagated through dio->io_error and should be propagated via 526 * dio_complete(). 527 * dio_complete(). 527 */ 528 */ 528 static void dio_await_completion(struct dio *d 529 static void dio_await_completion(struct dio *dio) 529 { 530 { 530 struct bio *bio; 531 struct bio *bio; 531 do { 532 do { 532 bio = dio_await_one(dio); 533 bio = dio_await_one(dio); 533 if (bio) 534 if (bio) 534 dio_bio_complete(dio, 535 dio_bio_complete(dio, bio); 535 } while (bio); 536 } while (bio); 536 } 537 } 537 538 538 /* 539 /* 539 * A really large O_DIRECT read or write can g 540 * A really large O_DIRECT read or write can generate a lot of BIOs. So 540 * to keep the memory consumption sane we peri 541 * to keep the memory consumption sane we periodically reap any completed BIOs 541 * during the BIO generation phase. 542 * during the BIO generation phase. 542 * 543 * 543 * This also helps to limit the peak amount of 544 * This also helps to limit the peak amount of pinned userspace memory. 544 */ 545 */ 545 static inline int dio_bio_reap(struct dio *dio 546 static inline int dio_bio_reap(struct dio *dio, struct dio_submit *sdio) 546 { 547 { 547 int ret = 0; 548 int ret = 0; 548 549 549 if (sdio->reap_counter++ >= 64) { 550 if (sdio->reap_counter++ >= 64) { 550 while (dio->bio_list) { 551 while (dio->bio_list) { 551 unsigned long flags; 552 unsigned long flags; 552 struct bio *bio; 553 struct bio *bio; 553 int ret2; 554 int ret2; 554 555 555 spin_lock_irqsave(&dio 556 spin_lock_irqsave(&dio->bio_lock, flags); 556 bio = dio->bio_list; 557 bio = dio->bio_list; 557 dio->bio_list = bio->b 558 dio->bio_list = bio->bi_private; 558 spin_unlock_irqrestore 559 spin_unlock_irqrestore(&dio->bio_lock, flags); 559 ret2 = blk_status_to_e 560 ret2 = blk_status_to_errno(dio_bio_complete(dio, bio)); 560 if (ret == 0) 561 if (ret == 0) 561 ret = ret2; 562 ret = ret2; 562 } 563 } 563 sdio->reap_counter = 0; 564 sdio->reap_counter = 0; 564 } 565 } 565 return ret; 566 return ret; 566 } 567 } 567 568 568 static int dio_set_defer_completion(struct dio 569 static int dio_set_defer_completion(struct dio *dio) 569 { 570 { 570 struct super_block *sb = dio->inode->i 571 struct super_block *sb = dio->inode->i_sb; 571 572 572 if (dio->defer_completion) 573 if (dio->defer_completion) 573 return 0; 574 return 0; 574 dio->defer_completion = true; 575 dio->defer_completion = true; 575 if (!sb->s_dio_done_wq) 576 if (!sb->s_dio_done_wq) 576 return sb_init_dio_done_wq(sb) 577 return sb_init_dio_done_wq(sb); 577 return 0; 578 return 0; 578 } 579 } 579 580 580 /* 581 /* 581 * Call into the fs to map some more disk bloc 582 * Call into the fs to map some more disk blocks. We record the current number 582 * of available blocks at sdio->blocks_availab 583 * of available blocks at sdio->blocks_available. These are in units of the 583 * fs blocksize, i_blocksize(inode). 584 * fs blocksize, i_blocksize(inode). 584 * 585 * 585 * The fs is allowed to map lots of blocks at 586 * The fs is allowed to map lots of blocks at once. If it wants to do that, 586 * it uses the passed inode-relative block num 587 * it uses the passed inode-relative block number as the file offset, as usual. 587 * 588 * 588 * get_block() is passed the number of i_blkbi 589 * get_block() is passed the number of i_blkbits-sized blocks which direct_io 589 * has remaining to do. The fs should not map 590 * has remaining to do. The fs should not map more than this number of blocks. 590 * 591 * 591 * If the fs has mapped a lot of blocks, it sh 592 * If the fs has mapped a lot of blocks, it should populate bh->b_size to 592 * indicate how much contiguous disk space has 593 * indicate how much contiguous disk space has been made available at 593 * bh->b_blocknr. 594 * bh->b_blocknr. 594 * 595 * 595 * If *any* of the mapped blocks are new, then 596 * If *any* of the mapped blocks are new, then the fs must set buffer_new(). 596 * This isn't very efficient... 597 * This isn't very efficient... 597 * 598 * 598 * In the case of filesystem holes: the fs may 599 * In the case of filesystem holes: the fs may return an arbitrarily-large 599 * hole by returning an appropriate value in b 600 * hole by returning an appropriate value in b_size and by clearing 600 * buffer_mapped(). However the direct-io cod 601 * buffer_mapped(). However the direct-io code will only process holes one 601 * block at a time - it will repeatedly call g 602 * block at a time - it will repeatedly call get_block() as it walks the hole. 602 */ 603 */ 603 static int get_more_blocks(struct dio *dio, st 604 static int get_more_blocks(struct dio *dio, struct dio_submit *sdio, 604 struct buffer_head 605 struct buffer_head *map_bh) 605 { 606 { 606 const enum req_op dio_op = dio->opf & 607 const enum req_op dio_op = dio->opf & REQ_OP_MASK; 607 int ret; 608 int ret; 608 sector_t fs_startblk; /* Into file, 609 sector_t fs_startblk; /* Into file, in filesystem-sized blocks */ 609 sector_t fs_endblk; /* Into file, 610 sector_t fs_endblk; /* Into file, in filesystem-sized blocks */ 610 unsigned long fs_count; /* Number of f 611 unsigned long fs_count; /* Number of filesystem-sized blocks */ 611 int create; 612 int create; 612 unsigned int i_blkbits = sdio->blkbits 613 unsigned int i_blkbits = sdio->blkbits + sdio->blkfactor; 613 loff_t i_size; 614 loff_t i_size; 614 615 615 /* 616 /* 616 * If there was a memory error and we' 617 * If there was a memory error and we've overwritten all the 617 * mapped blocks then we can now retur 618 * mapped blocks then we can now return that memory error 618 */ 619 */ 619 ret = dio->page_errors; 620 ret = dio->page_errors; 620 if (ret == 0) { 621 if (ret == 0) { 621 BUG_ON(sdio->block_in_file >= 622 BUG_ON(sdio->block_in_file >= sdio->final_block_in_request); 622 fs_startblk = sdio->block_in_f 623 fs_startblk = sdio->block_in_file >> sdio->blkfactor; 623 fs_endblk = (sdio->final_block 624 fs_endblk = (sdio->final_block_in_request - 1) >> 624 sdio-> 625 sdio->blkfactor; 625 fs_count = fs_endblk - fs_star 626 fs_count = fs_endblk - fs_startblk + 1; 626 627 627 map_bh->b_state = 0; 628 map_bh->b_state = 0; 628 map_bh->b_size = fs_count << i 629 map_bh->b_size = fs_count << i_blkbits; 629 630 630 /* 631 /* 631 * For writes that could fill 632 * For writes that could fill holes inside i_size on a 632 * DIO_SKIP_HOLES filesystem w 633 * DIO_SKIP_HOLES filesystem we forbid block creations: only 633 * overwrites are permitted. W 634 * overwrites are permitted. We will return early to the caller 634 * once we see an unmapped buf 635 * once we see an unmapped buffer head returned, and the caller 635 * will fall back to buffered 636 * will fall back to buffered I/O. 636 * 637 * 637 * Otherwise the decision is l 638 * Otherwise the decision is left to the get_blocks method, 638 * which may decide to handle 639 * which may decide to handle it or also return an unmapped 639 * buffer head. 640 * buffer head. 640 */ 641 */ 641 create = dio_op == REQ_OP_WRIT 642 create = dio_op == REQ_OP_WRITE; 642 if (dio->flags & DIO_SKIP_HOLE 643 if (dio->flags & DIO_SKIP_HOLES) { 643 i_size = i_size_read(d 644 i_size = i_size_read(dio->inode); 644 if (i_size && fs_start 645 if (i_size && fs_startblk <= (i_size - 1) >> i_blkbits) 645 create = 0; 646 create = 0; 646 } 647 } 647 648 648 ret = (*sdio->get_block)(dio-> 649 ret = (*sdio->get_block)(dio->inode, fs_startblk, 649 650 map_bh, create); 650 651 651 /* Store for completion */ 652 /* Store for completion */ 652 dio->private = map_bh->b_priva 653 dio->private = map_bh->b_private; 653 654 654 if (ret == 0 && buffer_defer_c 655 if (ret == 0 && buffer_defer_completion(map_bh)) 655 ret = dio_set_defer_co 656 ret = dio_set_defer_completion(dio); 656 } 657 } 657 return ret; 658 return ret; 658 } 659 } 659 660 660 /* 661 /* 661 * There is no bio. Make one now. 662 * There is no bio. Make one now. 662 */ 663 */ 663 static inline int dio_new_bio(struct dio *dio, 664 static inline int dio_new_bio(struct dio *dio, struct dio_submit *sdio, 664 sector_t start_sector, struct 665 sector_t start_sector, struct buffer_head *map_bh) 665 { 666 { 666 sector_t sector; 667 sector_t sector; 667 int ret, nr_pages; 668 int ret, nr_pages; 668 669 669 ret = dio_bio_reap(dio, sdio); 670 ret = dio_bio_reap(dio, sdio); 670 if (ret) 671 if (ret) 671 goto out; 672 goto out; 672 sector = start_sector << (sdio->blkbit 673 sector = start_sector << (sdio->blkbits - 9); 673 nr_pages = bio_max_segs(sdio->pages_in 674 nr_pages = bio_max_segs(sdio->pages_in_io); 674 BUG_ON(nr_pages <= 0); 675 BUG_ON(nr_pages <= 0); 675 dio_bio_alloc(dio, sdio, map_bh->b_bde 676 dio_bio_alloc(dio, sdio, map_bh->b_bdev, sector, nr_pages); 676 sdio->boundary = 0; 677 sdio->boundary = 0; 677 out: 678 out: 678 return ret; 679 return ret; 679 } 680 } 680 681 681 /* 682 /* 682 * Attempt to put the current chunk of 'cur_pa 683 * Attempt to put the current chunk of 'cur_page' into the current BIO. If 683 * that was successful then update final_block 684 * that was successful then update final_block_in_bio and take a ref against 684 * the just-added page. 685 * the just-added page. 685 * 686 * 686 * Return zero on success. Non-zero means the 687 * Return zero on success. Non-zero means the caller needs to start a new BIO. 687 */ 688 */ 688 static inline int dio_bio_add_page(struct dio 689 static inline int dio_bio_add_page(struct dio *dio, struct dio_submit *sdio) 689 { 690 { 690 int ret; 691 int ret; 691 692 692 ret = bio_add_page(sdio->bio, sdio->cu 693 ret = bio_add_page(sdio->bio, sdio->cur_page, 693 sdio->cur_page_len, sd 694 sdio->cur_page_len, sdio->cur_page_offset); 694 if (ret == sdio->cur_page_len) { 695 if (ret == sdio->cur_page_len) { 695 /* 696 /* 696 * Decrement count only, if we 697 * Decrement count only, if we are done with this page 697 */ 698 */ 698 if ((sdio->cur_page_len + sdio 699 if ((sdio->cur_page_len + sdio->cur_page_offset) == PAGE_SIZE) 699 sdio->pages_in_io--; 700 sdio->pages_in_io--; 700 dio_pin_page(dio, sdio->cur_pa 701 dio_pin_page(dio, sdio->cur_page); 701 sdio->final_block_in_bio = sdi 702 sdio->final_block_in_bio = sdio->cur_page_block + 702 (sdio->cur_page_len >> 703 (sdio->cur_page_len >> sdio->blkbits); 703 ret = 0; 704 ret = 0; 704 } else { 705 } else { 705 ret = 1; 706 ret = 1; 706 } 707 } 707 return ret; 708 return ret; 708 } 709 } 709 710 710 /* 711 /* 711 * Put cur_page under IO. The section of cur_ 712 * Put cur_page under IO. The section of cur_page which is described by 712 * cur_page_offset,cur_page_len is put into a 713 * cur_page_offset,cur_page_len is put into a BIO. The section of cur_page 713 * starts on-disk at cur_page_block. 714 * starts on-disk at cur_page_block. 714 * 715 * 715 * We take a ref against the page here (on beh 716 * We take a ref against the page here (on behalf of its presence in the bio). 716 * 717 * 717 * The caller of this function is responsible 718 * The caller of this function is responsible for removing cur_page from the 718 * dio, and for dropping the refcount which ca 719 * dio, and for dropping the refcount which came from that presence. 719 */ 720 */ 720 static inline int dio_send_cur_page(struct dio 721 static inline int dio_send_cur_page(struct dio *dio, struct dio_submit *sdio, 721 struct buffer_head *map_bh) 722 struct buffer_head *map_bh) 722 { 723 { 723 int ret = 0; 724 int ret = 0; 724 725 725 if (sdio->bio) { 726 if (sdio->bio) { 726 loff_t cur_offset = sdio->cur_ 727 loff_t cur_offset = sdio->cur_page_fs_offset; 727 loff_t bio_next_offset = sdio- 728 loff_t bio_next_offset = sdio->logical_offset_in_bio + 728 sdio->bio->bi_iter.bi_ 729 sdio->bio->bi_iter.bi_size; 729 730 730 /* 731 /* 731 * See whether this new reques 732 * See whether this new request is contiguous with the old. 732 * 733 * 733 * Btrfs cannot handle having 734 * Btrfs cannot handle having logically non-contiguous requests 734 * submitted. For example if 735 * submitted. For example if you have 735 * 736 * 736 * Logical: [0-4095][HOLE][81 737 * Logical: [0-4095][HOLE][8192-12287] 737 * Physical: [0-4095] [40 738 * Physical: [0-4095] [4096-8191] 738 * 739 * 739 * We cannot submit those page 740 * We cannot submit those pages together as one BIO. So if our 740 * current logical offset in t 741 * current logical offset in the file does not equal what would 741 * be the next logical offset 742 * be the next logical offset in the bio, submit the bio we 742 * have. 743 * have. 743 */ 744 */ 744 if (sdio->final_block_in_bio ! 745 if (sdio->final_block_in_bio != sdio->cur_page_block || 745 cur_offset != bio_next_off 746 cur_offset != bio_next_offset) 746 dio_bio_submit(dio, sd 747 dio_bio_submit(dio, sdio); 747 } 748 } 748 749 749 if (sdio->bio == NULL) { 750 if (sdio->bio == NULL) { 750 ret = dio_new_bio(dio, sdio, s 751 ret = dio_new_bio(dio, sdio, sdio->cur_page_block, map_bh); 751 if (ret) 752 if (ret) 752 goto out; 753 goto out; 753 } 754 } 754 755 755 if (dio_bio_add_page(dio, sdio) != 0) 756 if (dio_bio_add_page(dio, sdio) != 0) { 756 dio_bio_submit(dio, sdio); 757 dio_bio_submit(dio, sdio); 757 ret = dio_new_bio(dio, sdio, s 758 ret = dio_new_bio(dio, sdio, sdio->cur_page_block, map_bh); 758 if (ret == 0) { 759 if (ret == 0) { 759 ret = dio_bio_add_page 760 ret = dio_bio_add_page(dio, sdio); 760 BUG_ON(ret != 0); 761 BUG_ON(ret != 0); 761 } 762 } 762 } 763 } 763 out: 764 out: 764 return ret; 765 return ret; 765 } 766 } 766 767 767 /* 768 /* 768 * An autonomous function to put a chunk of a 769 * An autonomous function to put a chunk of a page under deferred IO. 769 * 770 * 770 * The caller doesn't actually know (or care) 771 * The caller doesn't actually know (or care) whether this piece of page is in 771 * a BIO, or is under IO or whatever. We just 772 * a BIO, or is under IO or whatever. We just take care of all possible 772 * situations here. The separation between th 773 * situations here. The separation between the logic of do_direct_IO() and 773 * that of submit_page_section() is important 774 * that of submit_page_section() is important for clarity. Please don't break. 774 * 775 * 775 * The chunk of page starts on-disk at blocknr 776 * The chunk of page starts on-disk at blocknr. 776 * 777 * 777 * We perform deferred IO, by recording the la 778 * We perform deferred IO, by recording the last-submitted page inside our 778 * private part of the dio structure. If poss 779 * private part of the dio structure. If possible, we just expand the IO 779 * across that page here. 780 * across that page here. 780 * 781 * 781 * If that doesn't work out then we put the ol 782 * If that doesn't work out then we put the old page into the bio and add this 782 * page to the dio instead. 783 * page to the dio instead. 783 */ 784 */ 784 static inline int 785 static inline int 785 submit_page_section(struct dio *dio, struct di 786 submit_page_section(struct dio *dio, struct dio_submit *sdio, struct page *page, 786 unsigned offset, unsigned 787 unsigned offset, unsigned len, sector_t blocknr, 787 struct buffer_head *map_bh 788 struct buffer_head *map_bh) 788 { 789 { 789 const enum req_op dio_op = dio->opf & 790 const enum req_op dio_op = dio->opf & REQ_OP_MASK; 790 int ret = 0; 791 int ret = 0; 791 int boundary = sdio->boundary; /* dio 792 int boundary = sdio->boundary; /* dio_send_cur_page may clear it */ 792 793 793 if (dio_op == REQ_OP_WRITE) { 794 if (dio_op == REQ_OP_WRITE) { 794 /* 795 /* 795 * Read accounting is performe 796 * Read accounting is performed in submit_bio() 796 */ 797 */ 797 task_io_account_write(len); 798 task_io_account_write(len); 798 } 799 } 799 800 800 /* 801 /* 801 * Can we just grow the current page's 802 * Can we just grow the current page's presence in the dio? 802 */ 803 */ 803 if (sdio->cur_page == page && 804 if (sdio->cur_page == page && 804 sdio->cur_page_offset + sdio->cur_ 805 sdio->cur_page_offset + sdio->cur_page_len == offset && 805 sdio->cur_page_block + 806 sdio->cur_page_block + 806 (sdio->cur_page_len >> sdio->blkbi 807 (sdio->cur_page_len >> sdio->blkbits) == blocknr) { 807 sdio->cur_page_len += len; 808 sdio->cur_page_len += len; 808 goto out; 809 goto out; 809 } 810 } 810 811 811 /* 812 /* 812 * If there's a deferred page already 813 * If there's a deferred page already there then send it. 813 */ 814 */ 814 if (sdio->cur_page) { 815 if (sdio->cur_page) { 815 ret = dio_send_cur_page(dio, s 816 ret = dio_send_cur_page(dio, sdio, map_bh); 816 dio_unpin_page(dio, sdio->cur_ 817 dio_unpin_page(dio, sdio->cur_page); 817 sdio->cur_page = NULL; 818 sdio->cur_page = NULL; 818 if (ret) 819 if (ret) 819 return ret; 820 return ret; 820 } 821 } 821 822 822 dio_pin_page(dio, page); 823 dio_pin_page(dio, page); /* It is in dio */ 823 sdio->cur_page = page; 824 sdio->cur_page = page; 824 sdio->cur_page_offset = offset; 825 sdio->cur_page_offset = offset; 825 sdio->cur_page_len = len; 826 sdio->cur_page_len = len; 826 sdio->cur_page_block = blocknr; 827 sdio->cur_page_block = blocknr; 827 sdio->cur_page_fs_offset = sdio->block 828 sdio->cur_page_fs_offset = sdio->block_in_file << sdio->blkbits; 828 out: 829 out: 829 /* 830 /* 830 * If boundary then we want to schedul 831 * If boundary then we want to schedule the IO now to 831 * avoid metadata seeks. 832 * avoid metadata seeks. 832 */ 833 */ 833 if (boundary) { 834 if (boundary) { 834 ret = dio_send_cur_page(dio, s 835 ret = dio_send_cur_page(dio, sdio, map_bh); 835 if (sdio->bio) 836 if (sdio->bio) 836 dio_bio_submit(dio, sd 837 dio_bio_submit(dio, sdio); 837 dio_unpin_page(dio, sdio->cur_ 838 dio_unpin_page(dio, sdio->cur_page); 838 sdio->cur_page = NULL; 839 sdio->cur_page = NULL; 839 } 840 } 840 return ret; 841 return ret; 841 } 842 } 842 843 843 /* 844 /* 844 * If we are not writing the entire block and 845 * If we are not writing the entire block and get_block() allocated 845 * the block for us, we need to fill-in the un 846 * the block for us, we need to fill-in the unused portion of the 846 * block with zeros. This happens only if user 847 * block with zeros. This happens only if user-buffer, fileoffset or 847 * io length is not filesystem block-size mult 848 * io length is not filesystem block-size multiple. 848 * 849 * 849 * `end' is zero if we're doing the start of t 850 * `end' is zero if we're doing the start of the IO, 1 at the end of the 850 * IO. 851 * IO. 851 */ 852 */ 852 static inline void dio_zero_block(struct dio * 853 static inline void dio_zero_block(struct dio *dio, struct dio_submit *sdio, 853 int end, struct buffer_head *m 854 int end, struct buffer_head *map_bh) 854 { 855 { 855 unsigned dio_blocks_per_fs_block; 856 unsigned dio_blocks_per_fs_block; 856 unsigned this_chunk_blocks; /* In 857 unsigned this_chunk_blocks; /* In dio_blocks */ 857 unsigned this_chunk_bytes; 858 unsigned this_chunk_bytes; 858 struct page *page; 859 struct page *page; 859 860 860 sdio->start_zero_done = 1; 861 sdio->start_zero_done = 1; 861 if (!sdio->blkfactor || !buffer_new(ma 862 if (!sdio->blkfactor || !buffer_new(map_bh)) 862 return; 863 return; 863 864 864 dio_blocks_per_fs_block = 1 << sdio->b 865 dio_blocks_per_fs_block = 1 << sdio->blkfactor; 865 this_chunk_blocks = sdio->block_in_fil 866 this_chunk_blocks = sdio->block_in_file & (dio_blocks_per_fs_block - 1); 866 867 867 if (!this_chunk_blocks) 868 if (!this_chunk_blocks) 868 return; 869 return; 869 870 870 /* 871 /* 871 * We need to zero out part of an fs b 872 * We need to zero out part of an fs block. It is either at the 872 * beginning or the end of the fs bloc 873 * beginning or the end of the fs block. 873 */ 874 */ 874 if (end) 875 if (end) 875 this_chunk_blocks = dio_blocks 876 this_chunk_blocks = dio_blocks_per_fs_block - this_chunk_blocks; 876 877 877 this_chunk_bytes = this_chunk_blocks < 878 this_chunk_bytes = this_chunk_blocks << sdio->blkbits; 878 879 879 page = ZERO_PAGE(0); 880 page = ZERO_PAGE(0); 880 if (submit_page_section(dio, sdio, pag 881 if (submit_page_section(dio, sdio, page, 0, this_chunk_bytes, 881 sdio->next_blo 882 sdio->next_block_for_io, map_bh)) 882 return; 883 return; 883 884 884 sdio->next_block_for_io += this_chunk_ 885 sdio->next_block_for_io += this_chunk_blocks; 885 } 886 } 886 887 887 /* 888 /* 888 * Walk the user pages, and the file, mapping 889 * Walk the user pages, and the file, mapping blocks to disk and generating 889 * a sequence of (page,offset,len,block) mappi 890 * a sequence of (page,offset,len,block) mappings. These mappings are injected 890 * into submit_page_section(), which takes car 891 * into submit_page_section(), which takes care of the next stage of submission 891 * 892 * 892 * Direct IO against a blockdev is different f 893 * Direct IO against a blockdev is different from a file. Because we can 893 * happily perform page-sized but 512-byte ali 894 * happily perform page-sized but 512-byte aligned IOs. It is important that 894 * blockdev IO be able to have fine alignment 895 * blockdev IO be able to have fine alignment and large sizes. 895 * 896 * 896 * So what we do is to permit the ->get_block 897 * So what we do is to permit the ->get_block function to populate bh.b_size 897 * with the size of IO which is permitted at t 898 * with the size of IO which is permitted at this offset and this i_blkbits. 898 * 899 * 899 * For best results, the blockdev should be se 900 * For best results, the blockdev should be set up with 512-byte i_blkbits and 900 * it should set b_size to PAGE_SIZE or more i 901 * it should set b_size to PAGE_SIZE or more inside get_block(). This gives 901 * fine alignment but still allows this functi 902 * fine alignment but still allows this function to work in PAGE_SIZE units. 902 */ 903 */ 903 static int do_direct_IO(struct dio *dio, struc 904 static int do_direct_IO(struct dio *dio, struct dio_submit *sdio, 904 struct buffer_head *ma 905 struct buffer_head *map_bh) 905 { 906 { 906 const enum req_op dio_op = dio->opf & 907 const enum req_op dio_op = dio->opf & REQ_OP_MASK; 907 const unsigned blkbits = sdio->blkbits 908 const unsigned blkbits = sdio->blkbits; 908 const unsigned i_blkbits = blkbits + s 909 const unsigned i_blkbits = blkbits + sdio->blkfactor; 909 int ret = 0; 910 int ret = 0; 910 911 911 while (sdio->block_in_file < sdio->fin 912 while (sdio->block_in_file < sdio->final_block_in_request) { 912 struct page *page; 913 struct page *page; 913 size_t from, to; 914 size_t from, to; 914 915 915 page = dio_get_page(dio, sdio) 916 page = dio_get_page(dio, sdio); 916 if (IS_ERR(page)) { 917 if (IS_ERR(page)) { 917 ret = PTR_ERR(page); 918 ret = PTR_ERR(page); 918 goto out; 919 goto out; 919 } 920 } 920 from = sdio->head ? 0 : sdio-> 921 from = sdio->head ? 0 : sdio->from; 921 to = (sdio->head == sdio->tail 922 to = (sdio->head == sdio->tail - 1) ? sdio->to : PAGE_SIZE; 922 sdio->head++; 923 sdio->head++; 923 924 924 while (from < to) { 925 while (from < to) { 925 unsigned this_chunk_by 926 unsigned this_chunk_bytes; /* # of bytes mapped */ 926 unsigned this_chunk_bl 927 unsigned this_chunk_blocks; /* # of blocks */ 927 unsigned u; 928 unsigned u; 928 929 929 if (sdio->blocks_avail 930 if (sdio->blocks_available == 0) { 930 /* 931 /* 931 * Need to go 932 * Need to go and map some more disk 932 */ 933 */ 933 unsigned long 934 unsigned long blkmask; 934 unsigned long 935 unsigned long dio_remainder; 935 936 936 ret = get_more 937 ret = get_more_blocks(dio, sdio, map_bh); 937 if (ret) { 938 if (ret) { 938 dio_un 939 dio_unpin_page(dio, page); 939 goto o 940 goto out; 940 } 941 } 941 if (!buffer_ma 942 if (!buffer_mapped(map_bh)) 942 goto d 943 goto do_holes; 943 944 944 sdio->blocks_a 945 sdio->blocks_available = 945 946 map_bh->b_size >> blkbits; 946 sdio->next_blo 947 sdio->next_block_for_io = 947 map_bh 948 map_bh->b_blocknr << sdio->blkfactor; 948 if (buffer_new 949 if (buffer_new(map_bh)) { 949 clean_ 950 clean_bdev_aliases( 950 951 map_bh->b_bdev, 951 952 map_bh->b_blocknr, 952 953 map_bh->b_size >> i_blkbits); 953 } 954 } 954 955 955 if (!sdio->blk 956 if (!sdio->blkfactor) 956 goto d 957 goto do_holes; 957 958 958 blkmask = (1 < 959 blkmask = (1 << sdio->blkfactor) - 1; 959 dio_remainder 960 dio_remainder = (sdio->block_in_file & blkmask); 960 961 961 /* 962 /* 962 * If we are a 963 * If we are at the start of IO and that IO 963 * starts part 964 * starts partway into a fs-block, 964 * dio_remaind 965 * dio_remainder will be non-zero. If the IO 965 * is a read t 966 * is a read then we can simply advance the IO 966 * cursor to t 967 * cursor to the first block which is to be 967 * read. But 968 * read. But if the IO is a write and the 968 * block was n 969 * block was newly allocated we cannot do that; 969 * the start o 970 * the start of the fs block must be zeroed out 970 * on-disk 971 * on-disk 971 */ 972 */ 972 if (!buffer_ne 973 if (!buffer_new(map_bh)) 973 sdio-> 974 sdio->next_block_for_io += dio_remainder; 974 sdio->blocks_a 975 sdio->blocks_available -= dio_remainder; 975 } 976 } 976 do_holes: 977 do_holes: 977 /* Handle holes */ 978 /* Handle holes */ 978 if (!buffer_mapped(map 979 if (!buffer_mapped(map_bh)) { 979 loff_t i_size_ 980 loff_t i_size_aligned; 980 981 981 /* AKPM: eargh 982 /* AKPM: eargh, -ENOTBLK is a hack */ 982 if (dio_op == 983 if (dio_op == REQ_OP_WRITE) { 983 dio_un 984 dio_unpin_page(dio, page); 984 return 985 return -ENOTBLK; 985 } 986 } 986 987 987 /* 988 /* 988 * Be sure to 989 * Be sure to account for a partial block as the 989 * last block 990 * last block in the file 990 */ 991 */ 991 i_size_aligned 992 i_size_aligned = ALIGN(i_size_read(dio->inode), 992 993 1 << blkbits); 993 if (sdio->bloc 994 if (sdio->block_in_file >= 994 995 i_size_aligned >> blkbits) { 995 /* We 996 /* We hit eof */ 996 dio_un 997 dio_unpin_page(dio, page); 997 goto o 998 goto out; 998 } 999 } 999 zero_user(page 1000 zero_user(page, from, 1 << blkbits); 1000 sdio->block_i 1001 sdio->block_in_file++; 1001 from += 1 << 1002 from += 1 << blkbits; 1002 dio->result + 1003 dio->result += 1 << blkbits; 1003 goto next_blo 1004 goto next_block; 1004 } 1005 } 1005 1006 1006 /* 1007 /* 1007 * If we're performin 1008 * If we're performing IO which has an alignment which 1008 * is finer than the 1009 * is finer than the underlying fs, go check to see if 1009 * we must zero out t 1010 * we must zero out the start of this block. 1010 */ 1011 */ 1011 if (unlikely(sdio->bl 1012 if (unlikely(sdio->blkfactor && !sdio->start_zero_done)) 1012 dio_zero_bloc 1013 dio_zero_block(dio, sdio, 0, map_bh); 1013 1014 1014 /* 1015 /* 1015 * Work out, in this_ 1016 * Work out, in this_chunk_blocks, how much disk we 1016 * can add to this pa 1017 * can add to this page 1017 */ 1018 */ 1018 this_chunk_blocks = s 1019 this_chunk_blocks = sdio->blocks_available; 1019 u = (to - from) >> bl 1020 u = (to - from) >> blkbits; 1020 if (this_chunk_blocks 1021 if (this_chunk_blocks > u) 1021 this_chunk_bl 1022 this_chunk_blocks = u; 1022 u = sdio->final_block 1023 u = sdio->final_block_in_request - sdio->block_in_file; 1023 if (this_chunk_blocks 1024 if (this_chunk_blocks > u) 1024 this_chunk_bl 1025 this_chunk_blocks = u; 1025 this_chunk_bytes = th 1026 this_chunk_bytes = this_chunk_blocks << blkbits; 1026 BUG_ON(this_chunk_byt 1027 BUG_ON(this_chunk_bytes == 0); 1027 1028 1028 if (this_chunk_blocks 1029 if (this_chunk_blocks == sdio->blocks_available) 1029 sdio->boundar 1030 sdio->boundary = buffer_boundary(map_bh); 1030 ret = submit_page_sec 1031 ret = submit_page_section(dio, sdio, page, 1031 1032 from, 1032 1033 this_chunk_bytes, 1033 1034 sdio->next_block_for_io, 1034 1035 map_bh); 1035 if (ret) { 1036 if (ret) { 1036 dio_unpin_pag 1037 dio_unpin_page(dio, page); 1037 goto out; 1038 goto out; 1038 } 1039 } 1039 sdio->next_block_for_ 1040 sdio->next_block_for_io += this_chunk_blocks; 1040 1041 1041 sdio->block_in_file + 1042 sdio->block_in_file += this_chunk_blocks; 1042 from += this_chunk_by 1043 from += this_chunk_bytes; 1043 dio->result += this_c 1044 dio->result += this_chunk_bytes; 1044 sdio->blocks_availabl 1045 sdio->blocks_available -= this_chunk_blocks; 1045 next_block: 1046 next_block: 1046 BUG_ON(sdio->block_in 1047 BUG_ON(sdio->block_in_file > sdio->final_block_in_request); 1047 if (sdio->block_in_fi 1048 if (sdio->block_in_file == sdio->final_block_in_request) 1048 break; 1049 break; 1049 } 1050 } 1050 1051 1051 /* Drop the pin which was tak 1052 /* Drop the pin which was taken in get_user_pages() */ 1052 dio_unpin_page(dio, page); 1053 dio_unpin_page(dio, page); 1053 } 1054 } 1054 out: 1055 out: 1055 return ret; 1056 return ret; 1056 } 1057 } 1057 1058 1058 static inline int drop_refcount(struct dio *d 1059 static inline int drop_refcount(struct dio *dio) 1059 { 1060 { 1060 int ret2; 1061 int ret2; 1061 unsigned long flags; 1062 unsigned long flags; 1062 1063 1063 /* 1064 /* 1064 * Sync will always be dropping the f 1065 * Sync will always be dropping the final ref and completing the 1065 * operation. AIO can if it was a br 1066 * operation. AIO can if it was a broken operation described above or 1066 * in fact if all the bios race to co 1067 * in fact if all the bios race to complete before we get here. In 1067 * that case dio_complete() translate 1068 * that case dio_complete() translates the EIOCBQUEUED into the proper 1068 * return code that the caller will h 1069 * return code that the caller will hand to ->complete(). 1069 * 1070 * 1070 * This is managed by the bio_lock in 1071 * This is managed by the bio_lock instead of being an atomic_t so that 1071 * completion paths can drop their re 1072 * completion paths can drop their ref and use the remaining count to 1072 * decide to wake the submission path 1073 * decide to wake the submission path atomically. 1073 */ 1074 */ 1074 spin_lock_irqsave(&dio->bio_lock, fla 1075 spin_lock_irqsave(&dio->bio_lock, flags); 1075 ret2 = --dio->refcount; 1076 ret2 = --dio->refcount; 1076 spin_unlock_irqrestore(&dio->bio_lock 1077 spin_unlock_irqrestore(&dio->bio_lock, flags); 1077 return ret2; 1078 return ret2; 1078 } 1079 } 1079 1080 1080 /* 1081 /* 1081 * This is a library function for use by file 1082 * This is a library function for use by filesystem drivers. 1082 * 1083 * 1083 * The locking rules are governed by the flag 1084 * The locking rules are governed by the flags parameter: 1084 * - if the flags value contains DIO_LOCKING 1085 * - if the flags value contains DIO_LOCKING we use a fancy locking 1085 * scheme for dumb filesystems. 1086 * scheme for dumb filesystems. 1086 * For writes this function is called unde 1087 * For writes this function is called under i_mutex and returns with 1087 * i_mutex held, for reads, i_mutex is not 1088 * i_mutex held, for reads, i_mutex is not held on entry, but it is 1088 * taken and dropped again before returnin 1089 * taken and dropped again before returning. 1089 * - if the flags value does NOT contain DIO 1090 * - if the flags value does NOT contain DIO_LOCKING we don't use any 1090 * internal locking but rather rely on the 1091 * internal locking but rather rely on the filesystem to synchronize 1091 * direct I/O reads/writes versus each oth 1092 * direct I/O reads/writes versus each other and truncate. 1092 * 1093 * 1093 * To help with locking against truncate we i 1094 * To help with locking against truncate we incremented the i_dio_count 1094 * counter before starting direct I/O, and de 1095 * counter before starting direct I/O, and decrement it once we are done. 1095 * Truncate can wait for it to reach zero to 1096 * Truncate can wait for it to reach zero to provide exclusion. It is 1096 * expected that filesystem provide exclusion 1097 * expected that filesystem provide exclusion between new direct I/O 1097 * and truncates. For DIO_LOCKING filesystem 1098 * and truncates. For DIO_LOCKING filesystems this is done by i_mutex, 1098 * but other filesystems need to take care of 1099 * but other filesystems need to take care of this on their own. 1099 * 1100 * 1100 * NOTE: if you pass "sdio" to anything by po 1101 * NOTE: if you pass "sdio" to anything by pointer make sure that function 1101 * is always inlined. Otherwise gcc is unable 1102 * is always inlined. Otherwise gcc is unable to split the structure into 1102 * individual fields and will generate much w 1103 * individual fields and will generate much worse code. This is important 1103 * for the whole file. 1104 * for the whole file. 1104 */ 1105 */ 1105 ssize_t __blockdev_direct_IO(struct kiocb *io 1106 ssize_t __blockdev_direct_IO(struct kiocb *iocb, struct inode *inode, 1106 struct block_device *bdev, st 1107 struct block_device *bdev, struct iov_iter *iter, 1107 get_block_t get_block, dio_io 1108 get_block_t get_block, dio_iodone_t end_io, 1108 int flags) 1109 int flags) 1109 { 1110 { 1110 unsigned i_blkbits = READ_ONCE(inode- 1111 unsigned i_blkbits = READ_ONCE(inode->i_blkbits); 1111 unsigned blkbits = i_blkbits; 1112 unsigned blkbits = i_blkbits; 1112 unsigned blocksize_mask = (1 << blkbi 1113 unsigned blocksize_mask = (1 << blkbits) - 1; 1113 ssize_t retval = -EINVAL; 1114 ssize_t retval = -EINVAL; 1114 const size_t count = iov_iter_count(i 1115 const size_t count = iov_iter_count(iter); 1115 loff_t offset = iocb->ki_pos; 1116 loff_t offset = iocb->ki_pos; 1116 const loff_t end = offset + count; 1117 const loff_t end = offset + count; 1117 struct dio *dio; 1118 struct dio *dio; 1118 struct dio_submit sdio = { NULL, }; 1119 struct dio_submit sdio = { NULL, }; 1119 struct buffer_head map_bh = { 0, }; 1120 struct buffer_head map_bh = { 0, }; 1120 struct blk_plug plug; 1121 struct blk_plug plug; 1121 unsigned long align = offset | iov_it 1122 unsigned long align = offset | iov_iter_alignment(iter); >> 1123 >> 1124 /* >> 1125 * Avoid references to bdev if not absolutely needed to give >> 1126 * the early prefetch in the caller enough time. >> 1127 */ 1122 1128 1123 /* watch out for a 0 len io from a tr 1129 /* watch out for a 0 len io from a tricksy fs */ 1124 if (iov_iter_rw(iter) == READ && !cou 1130 if (iov_iter_rw(iter) == READ && !count) 1125 return 0; 1131 return 0; 1126 1132 1127 dio = kmem_cache_alloc(dio_cache, GFP 1133 dio = kmem_cache_alloc(dio_cache, GFP_KERNEL); 1128 if (!dio) 1134 if (!dio) 1129 return -ENOMEM; 1135 return -ENOMEM; 1130 /* 1136 /* 1131 * Believe it or not, zeroing out the 1137 * Believe it or not, zeroing out the page array caused a .5% 1132 * performance regression in a databa 1138 * performance regression in a database benchmark. So, we take 1133 * care to only zero out what's neede 1139 * care to only zero out what's needed. 1134 */ 1140 */ 1135 memset(dio, 0, offsetof(struct dio, p 1141 memset(dio, 0, offsetof(struct dio, pages)); 1136 1142 1137 dio->flags = flags; 1143 dio->flags = flags; 1138 if (dio->flags & DIO_LOCKING && iov_i 1144 if (dio->flags & DIO_LOCKING && iov_iter_rw(iter) == READ) { 1139 /* will be released by direct 1145 /* will be released by direct_io_worker */ 1140 inode_lock(inode); 1146 inode_lock(inode); 1141 } 1147 } 1142 dio->is_pinned = iov_iter_extract_wil 1148 dio->is_pinned = iov_iter_extract_will_pin(iter); 1143 1149 1144 /* Once we sampled i_size check for r 1150 /* Once we sampled i_size check for reads beyond EOF */ 1145 dio->i_size = i_size_read(inode); 1151 dio->i_size = i_size_read(inode); 1146 if (iov_iter_rw(iter) == READ && offs 1152 if (iov_iter_rw(iter) == READ && offset >= dio->i_size) { 1147 retval = 0; 1153 retval = 0; 1148 goto fail_dio; 1154 goto fail_dio; 1149 } 1155 } 1150 1156 1151 if (align & blocksize_mask) { 1157 if (align & blocksize_mask) { 1152 if (bdev) 1158 if (bdev) 1153 blkbits = blksize_bit 1159 blkbits = blksize_bits(bdev_logical_block_size(bdev)); 1154 blocksize_mask = (1 << blkbit 1160 blocksize_mask = (1 << blkbits) - 1; 1155 if (align & blocksize_mask) 1161 if (align & blocksize_mask) 1156 goto fail_dio; 1162 goto fail_dio; 1157 } 1163 } 1158 1164 1159 if (dio->flags & DIO_LOCKING && iov_i 1165 if (dio->flags & DIO_LOCKING && iov_iter_rw(iter) == READ) { 1160 struct address_space *mapping 1166 struct address_space *mapping = iocb->ki_filp->f_mapping; 1161 1167 1162 retval = filemap_write_and_wa 1168 retval = filemap_write_and_wait_range(mapping, offset, end - 1); 1163 if (retval) 1169 if (retval) 1164 goto fail_dio; 1170 goto fail_dio; 1165 } 1171 } 1166 1172 1167 /* 1173 /* 1168 * For file extending writes updating 1174 * For file extending writes updating i_size before data writeouts 1169 * complete can expose uninitialized 1175 * complete can expose uninitialized blocks in dumb filesystems. 1170 * In that case we need to wait for I 1176 * In that case we need to wait for I/O completion even if asked 1171 * for an asynchronous write. 1177 * for an asynchronous write. 1172 */ 1178 */ 1173 if (is_sync_kiocb(iocb)) 1179 if (is_sync_kiocb(iocb)) 1174 dio->is_async = false; 1180 dio->is_async = false; 1175 else if (iov_iter_rw(iter) == WRITE & 1181 else if (iov_iter_rw(iter) == WRITE && end > i_size_read(inode)) 1176 dio->is_async = false; 1182 dio->is_async = false; 1177 else 1183 else 1178 dio->is_async = true; 1184 dio->is_async = true; 1179 1185 1180 dio->inode = inode; 1186 dio->inode = inode; 1181 if (iov_iter_rw(iter) == WRITE) { 1187 if (iov_iter_rw(iter) == WRITE) { 1182 dio->opf = REQ_OP_WRITE | REQ 1188 dio->opf = REQ_OP_WRITE | REQ_SYNC | REQ_IDLE; 1183 if (iocb->ki_flags & IOCB_NOW 1189 if (iocb->ki_flags & IOCB_NOWAIT) 1184 dio->opf |= REQ_NOWAI 1190 dio->opf |= REQ_NOWAIT; 1185 } else { 1191 } else { 1186 dio->opf = REQ_OP_READ; 1192 dio->opf = REQ_OP_READ; 1187 } 1193 } 1188 1194 1189 /* 1195 /* 1190 * For AIO O_(D)SYNC writes we need t 1196 * For AIO O_(D)SYNC writes we need to defer completions to a workqueue 1191 * so that we can call ->fsync. 1197 * so that we can call ->fsync. 1192 */ 1198 */ 1193 if (dio->is_async && iov_iter_rw(iter 1199 if (dio->is_async && iov_iter_rw(iter) == WRITE) { 1194 retval = 0; 1200 retval = 0; 1195 if (iocb_is_dsync(iocb)) 1201 if (iocb_is_dsync(iocb)) 1196 retval = dio_set_defe 1202 retval = dio_set_defer_completion(dio); 1197 else if (!dio->inode->i_sb->s 1203 else if (!dio->inode->i_sb->s_dio_done_wq) { 1198 /* 1204 /* 1199 * In case of AIO wri 1205 * In case of AIO write racing with buffered read we 1200 * need to defer comp 1206 * need to defer completion. We can't decide this now, 1201 * however the workqu 1207 * however the workqueue needs to be initialized here. 1202 */ 1208 */ 1203 retval = sb_init_dio_ 1209 retval = sb_init_dio_done_wq(dio->inode->i_sb); 1204 } 1210 } 1205 if (retval) 1211 if (retval) 1206 goto fail_dio; 1212 goto fail_dio; 1207 } 1213 } 1208 1214 1209 /* 1215 /* 1210 * Will be decremented at I/O complet 1216 * Will be decremented at I/O completion time. 1211 */ 1217 */ 1212 inode_dio_begin(inode); 1218 inode_dio_begin(inode); 1213 1219 1214 sdio.blkbits = blkbits; 1220 sdio.blkbits = blkbits; 1215 sdio.blkfactor = i_blkbits - blkbits; 1221 sdio.blkfactor = i_blkbits - blkbits; 1216 sdio.block_in_file = offset >> blkbit 1222 sdio.block_in_file = offset >> blkbits; 1217 1223 1218 sdio.get_block = get_block; 1224 sdio.get_block = get_block; 1219 dio->end_io = end_io; 1225 dio->end_io = end_io; 1220 sdio.final_block_in_bio = -1; 1226 sdio.final_block_in_bio = -1; 1221 sdio.next_block_for_io = -1; 1227 sdio.next_block_for_io = -1; 1222 1228 1223 dio->iocb = iocb; 1229 dio->iocb = iocb; 1224 1230 1225 spin_lock_init(&dio->bio_lock); 1231 spin_lock_init(&dio->bio_lock); 1226 dio->refcount = 1; 1232 dio->refcount = 1; 1227 1233 1228 dio->should_dirty = user_backed_iter( 1234 dio->should_dirty = user_backed_iter(iter) && iov_iter_rw(iter) == READ; 1229 sdio.iter = iter; 1235 sdio.iter = iter; 1230 sdio.final_block_in_request = end >> 1236 sdio.final_block_in_request = end >> blkbits; 1231 1237 1232 /* 1238 /* 1233 * In case of non-aligned buffers, we 1239 * In case of non-aligned buffers, we may need 2 more 1234 * pages since we need to zero out fi 1240 * pages since we need to zero out first and last block. 1235 */ 1241 */ 1236 if (unlikely(sdio.blkfactor)) 1242 if (unlikely(sdio.blkfactor)) 1237 sdio.pages_in_io = 2; 1243 sdio.pages_in_io = 2; 1238 1244 1239 sdio.pages_in_io += iov_iter_npages(i 1245 sdio.pages_in_io += iov_iter_npages(iter, INT_MAX); 1240 1246 1241 blk_start_plug(&plug); 1247 blk_start_plug(&plug); 1242 1248 1243 retval = do_direct_IO(dio, &sdio, &ma 1249 retval = do_direct_IO(dio, &sdio, &map_bh); 1244 if (retval) 1250 if (retval) 1245 dio_cleanup(dio, &sdio); 1251 dio_cleanup(dio, &sdio); 1246 1252 1247 if (retval == -ENOTBLK) { 1253 if (retval == -ENOTBLK) { 1248 /* 1254 /* 1249 * The remaining part of the 1255 * The remaining part of the request will be 1250 * handled by buffered I/O wh 1256 * handled by buffered I/O when we return 1251 */ 1257 */ 1252 retval = 0; 1258 retval = 0; 1253 } 1259 } 1254 /* 1260 /* 1255 * There may be some unwritten disk a 1261 * There may be some unwritten disk at the end of a part-written 1256 * fs-block-sized block. Go zero tha 1262 * fs-block-sized block. Go zero that now. 1257 */ 1263 */ 1258 dio_zero_block(dio, &sdio, 1, &map_bh 1264 dio_zero_block(dio, &sdio, 1, &map_bh); 1259 1265 1260 if (sdio.cur_page) { 1266 if (sdio.cur_page) { 1261 ssize_t ret2; 1267 ssize_t ret2; 1262 1268 1263 ret2 = dio_send_cur_page(dio, 1269 ret2 = dio_send_cur_page(dio, &sdio, &map_bh); 1264 if (retval == 0) 1270 if (retval == 0) 1265 retval = ret2; 1271 retval = ret2; 1266 dio_unpin_page(dio, sdio.cur_ 1272 dio_unpin_page(dio, sdio.cur_page); 1267 sdio.cur_page = NULL; 1273 sdio.cur_page = NULL; 1268 } 1274 } 1269 if (sdio.bio) 1275 if (sdio.bio) 1270 dio_bio_submit(dio, &sdio); 1276 dio_bio_submit(dio, &sdio); 1271 1277 1272 blk_finish_plug(&plug); 1278 blk_finish_plug(&plug); 1273 1279 1274 /* 1280 /* 1275 * It is possible that, we return sho 1281 * It is possible that, we return short IO due to end of file. 1276 * In that case, we need to release a 1282 * In that case, we need to release all the pages we got hold on. 1277 */ 1283 */ 1278 dio_cleanup(dio, &sdio); 1284 dio_cleanup(dio, &sdio); 1279 1285 1280 /* 1286 /* 1281 * All block lookups have been perfor 1287 * All block lookups have been performed. For READ requests 1282 * we can let i_mutex go now that its 1288 * we can let i_mutex go now that its achieved its purpose 1283 * of protecting us from looking up u 1289 * of protecting us from looking up uninitialized blocks. 1284 */ 1290 */ 1285 if (iov_iter_rw(iter) == READ && (dio 1291 if (iov_iter_rw(iter) == READ && (dio->flags & DIO_LOCKING)) 1286 inode_unlock(dio->inode); 1292 inode_unlock(dio->inode); 1287 1293 1288 /* 1294 /* 1289 * The only time we want to leave bio 1295 * The only time we want to leave bios in flight is when a successful 1290 * partial aio read or full aio write 1296 * partial aio read or full aio write have been setup. In that case 1291 * bio completion will call aio_compl 1297 * bio completion will call aio_complete. The only time it's safe to 1292 * call aio_complete is when we retur 1298 * call aio_complete is when we return -EIOCBQUEUED, so we key on that. 1293 * This had *better* be the only plac 1299 * This had *better* be the only place that raises -EIOCBQUEUED. 1294 */ 1300 */ 1295 BUG_ON(retval == -EIOCBQUEUED); 1301 BUG_ON(retval == -EIOCBQUEUED); 1296 if (dio->is_async && retval == 0 && d 1302 if (dio->is_async && retval == 0 && dio->result && 1297 (iov_iter_rw(iter) == READ || dio 1303 (iov_iter_rw(iter) == READ || dio->result == count)) 1298 retval = -EIOCBQUEUED; 1304 retval = -EIOCBQUEUED; 1299 else 1305 else 1300 dio_await_completion(dio); 1306 dio_await_completion(dio); 1301 1307 1302 if (drop_refcount(dio) == 0) { 1308 if (drop_refcount(dio) == 0) { 1303 retval = dio_complete(dio, re 1309 retval = dio_complete(dio, retval, DIO_COMPLETE_INVALIDATE); 1304 } else 1310 } else 1305 BUG_ON(retval != -EIOCBQUEUED 1311 BUG_ON(retval != -EIOCBQUEUED); 1306 1312 1307 return retval; 1313 return retval; 1308 1314 1309 fail_dio: 1315 fail_dio: 1310 if (dio->flags & DIO_LOCKING && iov_i 1316 if (dio->flags & DIO_LOCKING && iov_iter_rw(iter) == READ) 1311 inode_unlock(inode); 1317 inode_unlock(inode); 1312 1318 1313 kmem_cache_free(dio_cache, dio); 1319 kmem_cache_free(dio_cache, dio); 1314 return retval; 1320 return retval; 1315 } 1321 } 1316 EXPORT_SYMBOL(__blockdev_direct_IO); 1322 EXPORT_SYMBOL(__blockdev_direct_IO); 1317 1323 1318 static __init int dio_init(void) 1324 static __init int dio_init(void) 1319 { 1325 { 1320 dio_cache = KMEM_CACHE(dio, SLAB_PANI 1326 dio_cache = KMEM_CACHE(dio, SLAB_PANIC); 1321 return 0; 1327 return 0; 1322 } 1328 } 1323 module_init(dio_init) 1329 module_init(dio_init) 1324 1330
Linux® is a registered trademark of Linus Torvalds in the United States and other countries.
TOMOYO® is a registered trademark of NTT DATA CORPORATION.