1*457c8996SThomas Gleixner // SPDX-License-Identifier: GPL-2.0-only 21da177e4SLinus Torvalds /* 31da177e4SLinus Torvalds * fs/direct-io.c 41da177e4SLinus Torvalds * 51da177e4SLinus Torvalds * Copyright (C) 2002, Linus Torvalds. 61da177e4SLinus Torvalds * 71da177e4SLinus Torvalds * O_DIRECT 81da177e4SLinus Torvalds * 9e1f8e874SFrancois Cami * 04Jul2002 Andrew Morton 101da177e4SLinus Torvalds * Initial version 111da177e4SLinus Torvalds * 11Sep2002 janetinc@us.ibm.com 121da177e4SLinus Torvalds * added readv/writev support. 13e1f8e874SFrancois Cami * 29Oct2002 Andrew Morton 141da177e4SLinus Torvalds * rewrote bio_add_page() support. 151da177e4SLinus Torvalds * 30Oct2002 pbadari@us.ibm.com 161da177e4SLinus Torvalds * added support for non-aligned IO. 171da177e4SLinus Torvalds * 06Nov2002 pbadari@us.ibm.com 181da177e4SLinus Torvalds * added asynchronous IO support. 191da177e4SLinus Torvalds * 21Jul2003 nathans@sgi.com 201da177e4SLinus Torvalds * added IO completion notifier. 211da177e4SLinus Torvalds */ 221da177e4SLinus Torvalds 231da177e4SLinus Torvalds #include <linux/kernel.h> 241da177e4SLinus Torvalds #include <linux/module.h> 251da177e4SLinus Torvalds #include <linux/types.h> 261da177e4SLinus Torvalds #include <linux/fs.h> 271da177e4SLinus Torvalds #include <linux/mm.h> 281da177e4SLinus Torvalds #include <linux/slab.h> 291da177e4SLinus Torvalds #include <linux/highmem.h> 301da177e4SLinus Torvalds #include <linux/pagemap.h> 3198c4d57dSAndrew Morton #include <linux/task_io_accounting_ops.h> 321da177e4SLinus Torvalds #include <linux/bio.h> 331da177e4SLinus Torvalds #include <linux/wait.h> 341da177e4SLinus Torvalds #include <linux/err.h> 351da177e4SLinus Torvalds #include <linux/blkdev.h> 361da177e4SLinus Torvalds #include <linux/buffer_head.h> 371da177e4SLinus Torvalds #include <linux/rwsem.h> 381da177e4SLinus Torvalds #include <linux/uio.h> 3960063497SArun Sharma #include <linux/atomic.h> 4065dd2aa9SAndi Kleen #include <linux/prefetch.h> 411da177e4SLinus Torvalds 421da177e4SLinus Torvalds /* 431da177e4SLinus Torvalds * How many user pages to map in one call to get_user_pages(). This determines 44cde1ecb3SAndi Kleen * the size of a structure in the slab cache 451da177e4SLinus Torvalds */ 461da177e4SLinus Torvalds #define DIO_PAGES 64 471da177e4SLinus Torvalds 481da177e4SLinus Torvalds /* 49ffe51f01SLukas Czerner * Flags for dio_complete() 50ffe51f01SLukas Czerner */ 51ffe51f01SLukas Czerner #define DIO_COMPLETE_ASYNC 0x01 /* This is async IO */ 52ffe51f01SLukas Czerner #define DIO_COMPLETE_INVALIDATE 0x02 /* Can invalidate pages */ 53ffe51f01SLukas Czerner 54ffe51f01SLukas Czerner /* 551da177e4SLinus Torvalds * This code generally works in units of "dio_blocks". A dio_block is 561da177e4SLinus Torvalds * somewhere between the hard sector size and the filesystem block size. it 571da177e4SLinus Torvalds * is determined on a per-invocation basis. When talking to the filesystem 581da177e4SLinus Torvalds * we need to convert dio_blocks to fs_blocks by scaling the dio_block quantity 591da177e4SLinus Torvalds * down by dio->blkfactor. Similarly, fs-blocksize quantities are converted 601da177e4SLinus Torvalds * to bio_block quantities by shifting left by blkfactor. 611da177e4SLinus Torvalds * 621da177e4SLinus Torvalds * If blkfactor is zero then the user's request was aligned to the filesystem's 631da177e4SLinus Torvalds * blocksize. 641da177e4SLinus Torvalds */ 651da177e4SLinus Torvalds 66eb28be2bSAndi Kleen /* dio_state only used in the submission path */ 67eb28be2bSAndi Kleen 68eb28be2bSAndi Kleen struct dio_submit { 691da177e4SLinus Torvalds struct bio *bio; /* bio under assembly */ 701da177e4SLinus Torvalds unsigned blkbits; /* doesn't change */ 711da177e4SLinus Torvalds unsigned blkfactor; /* When we're using an alignment which 721da177e4SLinus Torvalds is finer than the filesystem's soft 731da177e4SLinus Torvalds blocksize, this specifies how much 741da177e4SLinus Torvalds finer. blkfactor=2 means 1/4-block 751da177e4SLinus Torvalds alignment. Does not change */ 761da177e4SLinus Torvalds unsigned start_zero_done; /* flag: sub-blocksize zeroing has 771da177e4SLinus Torvalds been performed at the start of a 781da177e4SLinus Torvalds write */ 791da177e4SLinus Torvalds int pages_in_io; /* approximate total IO pages */ 801da177e4SLinus Torvalds sector_t block_in_file; /* Current offset into the underlying 811da177e4SLinus Torvalds file in dio_block units. */ 821da177e4SLinus Torvalds unsigned blocks_available; /* At block_in_file. changes */ 830dc2bc49SAndi Kleen int reap_counter; /* rate limit reaping */ 841da177e4SLinus Torvalds sector_t final_block_in_request;/* doesn't change */ 851da177e4SLinus Torvalds int boundary; /* prev block is at a boundary */ 861d8fa7a2SBadari Pulavarty get_block_t *get_block; /* block mapping function */ 87facd07b0SJosef Bacik dio_submit_t *submit_io; /* IO submition function */ 88eb28be2bSAndi Kleen 89facd07b0SJosef Bacik loff_t logical_offset_in_bio; /* current first logical block in bio */ 901da177e4SLinus Torvalds sector_t final_block_in_bio; /* current final block in bio + 1 */ 911da177e4SLinus Torvalds sector_t next_block_for_io; /* next block to be put under IO, 921da177e4SLinus Torvalds in dio_blocks units */ 931da177e4SLinus Torvalds 941da177e4SLinus Torvalds /* 951da177e4SLinus Torvalds * Deferred addition of a page to the dio. These variables are 961da177e4SLinus Torvalds * private to dio_send_cur_page(), submit_page_section() and 971da177e4SLinus Torvalds * dio_bio_add_page(). 981da177e4SLinus Torvalds */ 991da177e4SLinus Torvalds struct page *cur_page; /* The page */ 1001da177e4SLinus Torvalds unsigned cur_page_offset; /* Offset into it, in bytes */ 1011da177e4SLinus Torvalds unsigned cur_page_len; /* Nr of bytes at cur_page_offset */ 1021da177e4SLinus Torvalds sector_t cur_page_block; /* Where it starts */ 103facd07b0SJosef Bacik loff_t cur_page_fs_offset; /* Offset in file */ 1041da177e4SLinus Torvalds 1057b2c99d1SAl Viro struct iov_iter *iter; 10623aee091SJeff Moyer /* 10723aee091SJeff Moyer * Page queue. These variables belong to dio_refill_pages() and 10823aee091SJeff Moyer * dio_get_page(). 10923aee091SJeff Moyer */ 11023aee091SJeff Moyer unsigned head; /* next page to process */ 11123aee091SJeff Moyer unsigned tail; /* last valid page + 1 */ 1127b2c99d1SAl Viro size_t from, to; 113eb28be2bSAndi Kleen }; 114eb28be2bSAndi Kleen 115eb28be2bSAndi Kleen /* dio_state communicated between submission path and end_io */ 116eb28be2bSAndi Kleen struct dio { 117eb28be2bSAndi Kleen int flags; /* doesn't change */ 1188a4c1e42SMike Christie int op; 1198a4c1e42SMike Christie int op_flags; 12015c4f638SJens Axboe blk_qc_t bio_cookie; 12174d46992SChristoph Hellwig struct gendisk *bio_disk; 1220dc2bc49SAndi Kleen struct inode *inode; 123eb28be2bSAndi Kleen loff_t i_size; /* i_size when submitted */ 124eb28be2bSAndi Kleen dio_iodone_t *end_io; /* IO completion function */ 125eb28be2bSAndi Kleen 12618772641SAndi Kleen void *private; /* copy from map_bh.b_private */ 127eb28be2bSAndi Kleen 128eb28be2bSAndi Kleen /* BIO completion state */ 129eb28be2bSAndi Kleen spinlock_t bio_lock; /* protects BIO fields below */ 1300dc2bc49SAndi Kleen int page_errors; /* errno from get_user_pages() */ 1310dc2bc49SAndi Kleen int is_async; /* is IO async ? */ 1327b7a8665SChristoph Hellwig bool defer_completion; /* defer AIO completion to workqueue? */ 13353cbf3b1SMing Lei bool should_dirty; /* if pages should be dirtied */ 1340dc2bc49SAndi Kleen int io_error; /* IO error in completion path */ 135eb28be2bSAndi Kleen unsigned long refcount; /* direct_io_worker() and bios */ 136eb28be2bSAndi Kleen struct bio *bio_list; /* singly linked via bi_private */ 137eb28be2bSAndi Kleen struct task_struct *waiter; /* waiting task (NULL if none) */ 138eb28be2bSAndi Kleen 139eb28be2bSAndi Kleen /* AIO related stuff */ 140eb28be2bSAndi Kleen struct kiocb *iocb; /* kiocb */ 141eb28be2bSAndi Kleen ssize_t result; /* IO result */ 142eb28be2bSAndi Kleen 14323aee091SJeff Moyer /* 14423aee091SJeff Moyer * pages[] (and any fields placed after it) are not zeroed out at 14523aee091SJeff Moyer * allocation time. Don't add new fields after pages[] unless you 14623aee091SJeff Moyer * wish that they not be zeroed. 14723aee091SJeff Moyer */ 1487b7a8665SChristoph Hellwig union { 14923aee091SJeff Moyer struct page *pages[DIO_PAGES]; /* page buffer */ 1507b7a8665SChristoph Hellwig struct work_struct complete_work;/* deferred AIO completion */ 1517b7a8665SChristoph Hellwig }; 1526e8267f5SAndi Kleen } ____cacheline_aligned_in_smp; 1536e8267f5SAndi Kleen 1546e8267f5SAndi Kleen static struct kmem_cache *dio_cache __read_mostly; 1551da177e4SLinus Torvalds 1561da177e4SLinus Torvalds /* 1571da177e4SLinus Torvalds * How many pages are in the queue? 1581da177e4SLinus Torvalds */ 159eb28be2bSAndi Kleen static inline unsigned dio_pages_present(struct dio_submit *sdio) 1601da177e4SLinus Torvalds { 161eb28be2bSAndi Kleen return sdio->tail - sdio->head; 1621da177e4SLinus Torvalds } 1631da177e4SLinus Torvalds 1641da177e4SLinus Torvalds /* 1651da177e4SLinus Torvalds * Go grab and pin some userspace pages. Typically we'll get 64 at a time. 1661da177e4SLinus Torvalds */ 167ba253fbfSAndi Kleen static inline int dio_refill_pages(struct dio *dio, struct dio_submit *sdio) 1681da177e4SLinus Torvalds { 1697b2c99d1SAl Viro ssize_t ret; 1701da177e4SLinus Torvalds 1712c80929cSMiklos Szeredi ret = iov_iter_get_pages(sdio->iter, dio->pages, LONG_MAX, DIO_PAGES, 1727b2c99d1SAl Viro &sdio->from); 1731da177e4SLinus Torvalds 1748a4c1e42SMike Christie if (ret < 0 && sdio->blocks_available && (dio->op == REQ_OP_WRITE)) { 175557ed1faSNick Piggin struct page *page = ZERO_PAGE(0); 1761da177e4SLinus Torvalds /* 1771da177e4SLinus Torvalds * A memory fault, but the filesystem has some outstanding 1781da177e4SLinus Torvalds * mapped blocks. We need to use those blocks up to avoid 1791da177e4SLinus Torvalds * leaking stale data in the file. 1801da177e4SLinus Torvalds */ 1811da177e4SLinus Torvalds if (dio->page_errors == 0) 1821da177e4SLinus Torvalds dio->page_errors = ret; 18309cbfeafSKirill A. Shutemov get_page(page); 184b5810039SNick Piggin dio->pages[0] = page; 185eb28be2bSAndi Kleen sdio->head = 0; 186eb28be2bSAndi Kleen sdio->tail = 1; 1877b2c99d1SAl Viro sdio->from = 0; 1887b2c99d1SAl Viro sdio->to = PAGE_SIZE; 1897b2c99d1SAl Viro return 0; 1901da177e4SLinus Torvalds } 1911da177e4SLinus Torvalds 1921da177e4SLinus Torvalds if (ret >= 0) { 1937b2c99d1SAl Viro iov_iter_advance(sdio->iter, ret); 1947b2c99d1SAl Viro ret += sdio->from; 195eb28be2bSAndi Kleen sdio->head = 0; 1967b2c99d1SAl Viro sdio->tail = (ret + PAGE_SIZE - 1) / PAGE_SIZE; 1977b2c99d1SAl Viro sdio->to = ((ret - 1) & (PAGE_SIZE - 1)) + 1; 1987b2c99d1SAl Viro return 0; 1991da177e4SLinus Torvalds } 2001da177e4SLinus Torvalds return ret; 2011da177e4SLinus Torvalds } 2021da177e4SLinus Torvalds 2031da177e4SLinus Torvalds /* 2041da177e4SLinus Torvalds * Get another userspace page. Returns an ERR_PTR on error. Pages are 2051da177e4SLinus Torvalds * buffered inside the dio so that we can call get_user_pages() against a 2061da177e4SLinus Torvalds * decent number of pages, less frequently. To provide nicer use of the 2071da177e4SLinus Torvalds * L1 cache. 2081da177e4SLinus Torvalds */ 209ba253fbfSAndi Kleen static inline struct page *dio_get_page(struct dio *dio, 2106fcc5420SBoaz Harrosh struct dio_submit *sdio) 2111da177e4SLinus Torvalds { 212eb28be2bSAndi Kleen if (dio_pages_present(sdio) == 0) { 2131da177e4SLinus Torvalds int ret; 2141da177e4SLinus Torvalds 215eb28be2bSAndi Kleen ret = dio_refill_pages(dio, sdio); 2161da177e4SLinus Torvalds if (ret) 2171da177e4SLinus Torvalds return ERR_PTR(ret); 218eb28be2bSAndi Kleen BUG_ON(dio_pages_present(sdio) == 0); 2191da177e4SLinus Torvalds } 2206fcc5420SBoaz Harrosh return dio->pages[sdio->head]; 2211da177e4SLinus Torvalds } 2221da177e4SLinus Torvalds 2235a9d929dSDarrick J. Wong /* 2245a9d929dSDarrick J. Wong * Warn about a page cache invalidation failure during a direct io write. 2255a9d929dSDarrick J. Wong */ 2265a9d929dSDarrick J. Wong void dio_warn_stale_pagecache(struct file *filp) 2275a9d929dSDarrick J. Wong { 2285a9d929dSDarrick J. Wong static DEFINE_RATELIMIT_STATE(_rs, 86400 * HZ, DEFAULT_RATELIMIT_BURST); 2295a9d929dSDarrick J. Wong char pathname[128]; 2305a9d929dSDarrick J. Wong struct inode *inode = file_inode(filp); 2315a9d929dSDarrick J. Wong char *path; 2325a9d929dSDarrick J. Wong 2335a9d929dSDarrick J. Wong errseq_set(&inode->i_mapping->wb_err, -EIO); 2345a9d929dSDarrick J. Wong if (__ratelimit(&_rs)) { 2355a9d929dSDarrick J. Wong path = file_path(filp, pathname, sizeof(pathname)); 2365a9d929dSDarrick J. Wong if (IS_ERR(path)) 2375a9d929dSDarrick J. Wong path = "(unknown)"; 2385a9d929dSDarrick J. Wong pr_crit("Page cache invalidation failure on direct I/O. Possible data corruption due to collision with buffered I/O!\n"); 2395a9d929dSDarrick J. Wong pr_crit("File: %s PID: %d Comm: %.20s\n", path, current->pid, 2405a9d929dSDarrick J. Wong current->comm); 2415a9d929dSDarrick J. Wong } 2425a9d929dSDarrick J. Wong } 2435a9d929dSDarrick J. Wong 2446d544bb4SZach Brown /** 2456d544bb4SZach Brown * dio_complete() - called when all DIO BIO I/O has been completed 2466d544bb4SZach Brown * @offset: the byte offset in the file of the completed operation 2476d544bb4SZach Brown * 2487b7a8665SChristoph Hellwig * This drops i_dio_count, lets interested parties know that a DIO operation 2497b7a8665SChristoph Hellwig * has completed, and calculates the resulting return code for the operation. 2506d544bb4SZach Brown * 2516d544bb4SZach Brown * It lets the filesystem know if it registered an interest earlier via 2526d544bb4SZach Brown * get_block. Pass the private field of the map buffer_head so that 2536d544bb4SZach Brown * filesystems can use it to hold additional state between get_block calls and 2546d544bb4SZach Brown * dio_complete. 2551da177e4SLinus Torvalds */ 256ffe51f01SLukas Czerner static ssize_t dio_complete(struct dio *dio, ssize_t ret, unsigned int flags) 2571da177e4SLinus Torvalds { 258716b9bc0SChristoph Hellwig loff_t offset = dio->iocb->ki_pos; 2596d544bb4SZach Brown ssize_t transferred = 0; 260332391a9SLukas Czerner int err; 2616d544bb4SZach Brown 2628459d86aSZach Brown /* 2638459d86aSZach Brown * AIO submission can race with bio completion to get here while 2648459d86aSZach Brown * expecting to have the last io completed by bio completion. 2658459d86aSZach Brown * In that case -EIOCBQUEUED is in fact not an error we want 2668459d86aSZach Brown * to preserve through this call. 2678459d86aSZach Brown */ 2688459d86aSZach Brown if (ret == -EIOCBQUEUED) 2698459d86aSZach Brown ret = 0; 2708459d86aSZach Brown 2716d544bb4SZach Brown if (dio->result) { 2726d544bb4SZach Brown transferred = dio->result; 2736d544bb4SZach Brown 2746d544bb4SZach Brown /* Check for short read case */ 2758a4c1e42SMike Christie if ((dio->op == REQ_OP_READ) && 2768a4c1e42SMike Christie ((offset + transferred) > dio->i_size)) 2776d544bb4SZach Brown transferred = dio->i_size - offset; 2784038acdbSAl Viro /* ignore EFAULT if some IO has been done */ 2794038acdbSAl Viro if (unlikely(ret == -EFAULT) && transferred) 2804038acdbSAl Viro ret = 0; 2816d544bb4SZach Brown } 2826d544bb4SZach Brown 2836d544bb4SZach Brown if (ret == 0) 2846d544bb4SZach Brown ret = dio->page_errors; 2856d544bb4SZach Brown if (ret == 0) 2866d544bb4SZach Brown ret = dio->io_error; 2876d544bb4SZach Brown if (ret == 0) 2886d544bb4SZach Brown ret = transferred; 2896d544bb4SZach Brown 2905e25c269SEryu Guan if (dio->end_io) { 2915e25c269SEryu Guan // XXX: ki_pos?? 2925e25c269SEryu Guan err = dio->end_io(dio->iocb, offset, ret, dio->private); 2935e25c269SEryu Guan if (err) 2945e25c269SEryu Guan ret = err; 2955e25c269SEryu Guan } 2965e25c269SEryu Guan 297332391a9SLukas Czerner /* 298332391a9SLukas Czerner * Try again to invalidate clean pages which might have been cached by 299332391a9SLukas Czerner * non-direct readahead, or faulted in by get_user_pages() if the source 300332391a9SLukas Czerner * of the write was an mmap'ed region of the file we're writing. Either 301332391a9SLukas Czerner * one is a pretty crazy thing to do, so we don't support it 100%. If 302332391a9SLukas Czerner * this invalidation fails, tough, the write still worked... 3035e25c269SEryu Guan * 3045e25c269SEryu Guan * And this page cache invalidation has to be after dio->end_io(), as 3055e25c269SEryu Guan * some filesystems convert unwritten extents to real allocations in 3065e25c269SEryu Guan * end_io() when necessary, otherwise a racing buffer read would cache 3075e25c269SEryu Guan * zeros from unwritten extents. 308332391a9SLukas Czerner */ 309ffe51f01SLukas Czerner if (flags & DIO_COMPLETE_INVALIDATE && 310ffe51f01SLukas Czerner ret > 0 && dio->op == REQ_OP_WRITE && 311332391a9SLukas Czerner dio->inode->i_mapping->nrpages) { 312332391a9SLukas Czerner err = invalidate_inode_pages2_range(dio->inode->i_mapping, 313332391a9SLukas Czerner offset >> PAGE_SHIFT, 314332391a9SLukas Czerner (offset + ret - 1) >> PAGE_SHIFT); 3155a9d929dSDarrick J. Wong if (err) 3165a9d929dSDarrick J. Wong dio_warn_stale_pagecache(dio->iocb->ki_filp); 317332391a9SLukas Czerner } 318332391a9SLukas Czerner 319fe0f07d0SJens Axboe inode_dio_end(dio->inode); 320fe0f07d0SJens Axboe 321ffe51f01SLukas Czerner if (flags & DIO_COMPLETE_ASYNC) { 322e2592217SChristoph Hellwig /* 323e2592217SChristoph Hellwig * generic_write_sync expects ki_pos to have been updated 324e2592217SChristoph Hellwig * already, but the submission path only does this for 325e2592217SChristoph Hellwig * synchronous I/O. 326e2592217SChristoph Hellwig */ 327e2592217SChristoph Hellwig dio->iocb->ki_pos += transferred; 32802afc27fSChristoph Hellwig 32941e817bcSMaximilian Heyne if (ret > 0 && dio->op == REQ_OP_WRITE) 33041e817bcSMaximilian Heyne ret = generic_write_sync(dio->iocb, ret); 33104b2fa9fSChristoph Hellwig dio->iocb->ki_complete(dio->iocb, ret, 0); 33202afc27fSChristoph Hellwig } 33340e2e973SChristoph Hellwig 3347b7a8665SChristoph Hellwig kmem_cache_free(dio_cache, dio); 3356d544bb4SZach Brown return ret; 3361da177e4SLinus Torvalds } 3371da177e4SLinus Torvalds 3387b7a8665SChristoph Hellwig static void dio_aio_complete_work(struct work_struct *work) 3397b7a8665SChristoph Hellwig { 3407b7a8665SChristoph Hellwig struct dio *dio = container_of(work, struct dio, complete_work); 3417b7a8665SChristoph Hellwig 342ffe51f01SLukas Czerner dio_complete(dio, 0, DIO_COMPLETE_ASYNC | DIO_COMPLETE_INVALIDATE); 3437b7a8665SChristoph Hellwig } 3447b7a8665SChristoph Hellwig 3454e4cbee9SChristoph Hellwig static blk_status_t dio_bio_complete(struct dio *dio, struct bio *bio); 3467b7a8665SChristoph Hellwig 3471da177e4SLinus Torvalds /* 3481da177e4SLinus Torvalds * Asynchronous IO callback. 3491da177e4SLinus Torvalds */ 3504246a0b6SChristoph Hellwig static void dio_bio_end_aio(struct bio *bio) 3511da177e4SLinus Torvalds { 3521da177e4SLinus Torvalds struct dio *dio = bio->bi_private; 3535eb6c7a2SZach Brown unsigned long remaining; 3545eb6c7a2SZach Brown unsigned long flags; 355332391a9SLukas Czerner bool defer_completion = false; 3561da177e4SLinus Torvalds 3571da177e4SLinus Torvalds /* cleanup the bio */ 3581da177e4SLinus Torvalds dio_bio_complete(dio, bio); 3590273201eSZach Brown 3605eb6c7a2SZach Brown spin_lock_irqsave(&dio->bio_lock, flags); 3615eb6c7a2SZach Brown remaining = --dio->refcount; 3625eb6c7a2SZach Brown if (remaining == 1 && dio->waiter) 36320258b2bSZach Brown wake_up_process(dio->waiter); 3645eb6c7a2SZach Brown spin_unlock_irqrestore(&dio->bio_lock, flags); 36520258b2bSZach Brown 3668459d86aSZach Brown if (remaining == 0) { 367332391a9SLukas Czerner /* 368332391a9SLukas Czerner * Defer completion when defer_completion is set or 369332391a9SLukas Czerner * when the inode has pages mapped and this is AIO write. 370332391a9SLukas Czerner * We need to invalidate those pages because there is a 371332391a9SLukas Czerner * chance they contain stale data in the case buffered IO 372332391a9SLukas Czerner * went in between AIO submission and completion into the 373332391a9SLukas Czerner * same region. 374332391a9SLukas Czerner */ 375332391a9SLukas Czerner if (dio->result) 376332391a9SLukas Czerner defer_completion = dio->defer_completion || 377332391a9SLukas Czerner (dio->op == REQ_OP_WRITE && 378332391a9SLukas Czerner dio->inode->i_mapping->nrpages); 379332391a9SLukas Czerner if (defer_completion) { 3807b7a8665SChristoph Hellwig INIT_WORK(&dio->complete_work, dio_aio_complete_work); 3817b7a8665SChristoph Hellwig queue_work(dio->inode->i_sb->s_dio_done_wq, 3827b7a8665SChristoph Hellwig &dio->complete_work); 3837b7a8665SChristoph Hellwig } else { 384ffe51f01SLukas Czerner dio_complete(dio, 0, DIO_COMPLETE_ASYNC); 3857b7a8665SChristoph Hellwig } 3868459d86aSZach Brown } 3871da177e4SLinus Torvalds } 3881da177e4SLinus Torvalds 3891da177e4SLinus Torvalds /* 3901da177e4SLinus Torvalds * The BIO completion handler simply queues the BIO up for the process-context 3911da177e4SLinus Torvalds * handler. 3921da177e4SLinus Torvalds * 3931da177e4SLinus Torvalds * During I/O bi_private points at the dio. After I/O, bi_private is used to 3941da177e4SLinus Torvalds * implement a singly-linked list of completed BIOs, at dio->bio_list. 3951da177e4SLinus Torvalds */ 3964246a0b6SChristoph Hellwig static void dio_bio_end_io(struct bio *bio) 3971da177e4SLinus Torvalds { 3981da177e4SLinus Torvalds struct dio *dio = bio->bi_private; 3991da177e4SLinus Torvalds unsigned long flags; 4001da177e4SLinus Torvalds 4011da177e4SLinus Torvalds spin_lock_irqsave(&dio->bio_lock, flags); 4021da177e4SLinus Torvalds bio->bi_private = dio->bio_list; 4031da177e4SLinus Torvalds dio->bio_list = bio; 4045eb6c7a2SZach Brown if (--dio->refcount == 1 && dio->waiter) 4051da177e4SLinus Torvalds wake_up_process(dio->waiter); 4061da177e4SLinus Torvalds spin_unlock_irqrestore(&dio->bio_lock, flags); 4071da177e4SLinus Torvalds } 4081da177e4SLinus Torvalds 409facd07b0SJosef Bacik /** 410facd07b0SJosef Bacik * dio_end_io - handle the end io action for the given bio 411facd07b0SJosef Bacik * @bio: The direct io bio thats being completed 412facd07b0SJosef Bacik * 413facd07b0SJosef Bacik * This is meant to be called by any filesystem that uses their own dio_submit_t 414facd07b0SJosef Bacik * so that the DIO specific endio actions are dealt with after the filesystem 415facd07b0SJosef Bacik * has done it's completion work. 416facd07b0SJosef Bacik */ 4174055351cSChristoph Hellwig void dio_end_io(struct bio *bio) 418facd07b0SJosef Bacik { 419facd07b0SJosef Bacik struct dio *dio = bio->bi_private; 420facd07b0SJosef Bacik 421facd07b0SJosef Bacik if (dio->is_async) 4224246a0b6SChristoph Hellwig dio_bio_end_aio(bio); 423facd07b0SJosef Bacik else 4244246a0b6SChristoph Hellwig dio_bio_end_io(bio); 425facd07b0SJosef Bacik } 426facd07b0SJosef Bacik EXPORT_SYMBOL_GPL(dio_end_io); 427facd07b0SJosef Bacik 428ba253fbfSAndi Kleen static inline void 429eb28be2bSAndi Kleen dio_bio_alloc(struct dio *dio, struct dio_submit *sdio, 430eb28be2bSAndi Kleen struct block_device *bdev, 4311da177e4SLinus Torvalds sector_t first_sector, int nr_vecs) 4321da177e4SLinus Torvalds { 4331da177e4SLinus Torvalds struct bio *bio; 4341da177e4SLinus Torvalds 43520d9600cSDavid Dillow /* 4360eb0b63cSChristoph Hellwig * bio_alloc() is guaranteed to return a bio when allowed to sleep and 4370eb0b63cSChristoph Hellwig * we request a valid number of vectors. 43820d9600cSDavid Dillow */ 4391da177e4SLinus Torvalds bio = bio_alloc(GFP_KERNEL, nr_vecs); 4401da177e4SLinus Torvalds 44174d46992SChristoph Hellwig bio_set_dev(bio, bdev); 4424f024f37SKent Overstreet bio->bi_iter.bi_sector = first_sector; 4438a4c1e42SMike Christie bio_set_op_attrs(bio, dio->op, dio->op_flags); 4441da177e4SLinus Torvalds if (dio->is_async) 4451da177e4SLinus Torvalds bio->bi_end_io = dio_bio_end_aio; 4461da177e4SLinus Torvalds else 4471da177e4SLinus Torvalds bio->bi_end_io = dio_bio_end_io; 4481da177e4SLinus Torvalds 44945d06cf7SJens Axboe bio->bi_write_hint = dio->iocb->ki_hint; 45045d06cf7SJens Axboe 451eb28be2bSAndi Kleen sdio->bio = bio; 452eb28be2bSAndi Kleen sdio->logical_offset_in_bio = sdio->cur_page_fs_offset; 4531da177e4SLinus Torvalds } 4541da177e4SLinus Torvalds 4551da177e4SLinus Torvalds /* 4561da177e4SLinus Torvalds * In the AIO read case we speculatively dirty the pages before starting IO. 4571da177e4SLinus Torvalds * During IO completion, any of these pages which happen to have been written 4581da177e4SLinus Torvalds * back will be redirtied by bio_check_pages_dirty(). 4590273201eSZach Brown * 4600273201eSZach Brown * bios hold a dio reference between submit_bio and ->end_io. 4611da177e4SLinus Torvalds */ 462ba253fbfSAndi Kleen static inline void dio_bio_submit(struct dio *dio, struct dio_submit *sdio) 4631da177e4SLinus Torvalds { 464eb28be2bSAndi Kleen struct bio *bio = sdio->bio; 4655eb6c7a2SZach Brown unsigned long flags; 4661da177e4SLinus Torvalds 4671da177e4SLinus Torvalds bio->bi_private = dio; 4685eb6c7a2SZach Brown 4695eb6c7a2SZach Brown spin_lock_irqsave(&dio->bio_lock, flags); 4705eb6c7a2SZach Brown dio->refcount++; 4715eb6c7a2SZach Brown spin_unlock_irqrestore(&dio->bio_lock, flags); 4725eb6c7a2SZach Brown 4738a4c1e42SMike Christie if (dio->is_async && dio->op == REQ_OP_READ && dio->should_dirty) 4741da177e4SLinus Torvalds bio_set_pages_dirty(bio); 4755eb6c7a2SZach Brown 47674d46992SChristoph Hellwig dio->bio_disk = bio->bi_disk; 477c1c53460SJens Axboe 47815c4f638SJens Axboe if (sdio->submit_io) { 4798a4c1e42SMike Christie sdio->submit_io(bio, dio->inode, sdio->logical_offset_in_bio); 48015c4f638SJens Axboe dio->bio_cookie = BLK_QC_T_NONE; 481c1c53460SJens Axboe } else 4824e49ea4aSMike Christie dio->bio_cookie = submit_bio(bio); 4831da177e4SLinus Torvalds 484eb28be2bSAndi Kleen sdio->bio = NULL; 485eb28be2bSAndi Kleen sdio->boundary = 0; 486eb28be2bSAndi Kleen sdio->logical_offset_in_bio = 0; 4871da177e4SLinus Torvalds } 4881da177e4SLinus Torvalds 4891da177e4SLinus Torvalds /* 4901da177e4SLinus Torvalds * Release any resources in case of a failure 4911da177e4SLinus Torvalds */ 492ba253fbfSAndi Kleen static inline void dio_cleanup(struct dio *dio, struct dio_submit *sdio) 4931da177e4SLinus Torvalds { 4947b2c99d1SAl Viro while (sdio->head < sdio->tail) 49509cbfeafSKirill A. Shutemov put_page(dio->pages[sdio->head++]); 4961da177e4SLinus Torvalds } 4971da177e4SLinus Torvalds 4981da177e4SLinus Torvalds /* 4990273201eSZach Brown * Wait for the next BIO to complete. Remove it and return it. NULL is 5000273201eSZach Brown * returned once all BIOs have been completed. This must only be called once 5010273201eSZach Brown * all bios have been issued so that dio->refcount can only decrease. This 5020273201eSZach Brown * requires that that the caller hold a reference on the dio. 5031da177e4SLinus Torvalds */ 5041da177e4SLinus Torvalds static struct bio *dio_await_one(struct dio *dio) 5051da177e4SLinus Torvalds { 5061da177e4SLinus Torvalds unsigned long flags; 5070273201eSZach Brown struct bio *bio = NULL; 5081da177e4SLinus Torvalds 5091da177e4SLinus Torvalds spin_lock_irqsave(&dio->bio_lock, flags); 5105eb6c7a2SZach Brown 5115eb6c7a2SZach Brown /* 5125eb6c7a2SZach Brown * Wait as long as the list is empty and there are bios in flight. bio 5135eb6c7a2SZach Brown * completion drops the count, maybe adds to the list, and wakes while 5145eb6c7a2SZach Brown * holding the bio_lock so we don't need set_current_state()'s barrier 5155eb6c7a2SZach Brown * and can call it after testing our condition. 5165eb6c7a2SZach Brown */ 5175eb6c7a2SZach Brown while (dio->refcount > 1 && dio->bio_list == NULL) { 5185eb6c7a2SZach Brown __set_current_state(TASK_UNINTERRUPTIBLE); 5191da177e4SLinus Torvalds dio->waiter = current; 5201da177e4SLinus Torvalds spin_unlock_irqrestore(&dio->bio_lock, flags); 521c43c83a2SChristoph Hellwig if (!(dio->iocb->ki_flags & IOCB_HIPRI) || 5220a1b8b87SJens Axboe !blk_poll(dio->bio_disk->queue, dio->bio_cookie, true)) 5231da177e4SLinus Torvalds io_schedule(); 5245eb6c7a2SZach Brown /* wake up sets us TASK_RUNNING */ 5251da177e4SLinus Torvalds spin_lock_irqsave(&dio->bio_lock, flags); 5261da177e4SLinus Torvalds dio->waiter = NULL; 5271da177e4SLinus Torvalds } 5280273201eSZach Brown if (dio->bio_list) { 5291da177e4SLinus Torvalds bio = dio->bio_list; 5301da177e4SLinus Torvalds dio->bio_list = bio->bi_private; 5310273201eSZach Brown } 5321da177e4SLinus Torvalds spin_unlock_irqrestore(&dio->bio_lock, flags); 5331da177e4SLinus Torvalds return bio; 5341da177e4SLinus Torvalds } 5351da177e4SLinus Torvalds 5361da177e4SLinus Torvalds /* 5371da177e4SLinus Torvalds * Process one completed BIO. No locks are held. 5381da177e4SLinus Torvalds */ 5394e4cbee9SChristoph Hellwig static blk_status_t dio_bio_complete(struct dio *dio, struct bio *bio) 5401da177e4SLinus Torvalds { 541cb34e057SKent Overstreet struct bio_vec *bvec; 5424e4cbee9SChristoph Hellwig blk_status_t err = bio->bi_status; 5431da177e4SLinus Torvalds 54403a07c92SGoldwyn Rodrigues if (err) { 54503a07c92SGoldwyn Rodrigues if (err == BLK_STS_AGAIN && (bio->bi_opf & REQ_NOWAIT)) 54603a07c92SGoldwyn Rodrigues dio->io_error = -EAGAIN; 54703a07c92SGoldwyn Rodrigues else 548174e27c6SChen, Kenneth W dio->io_error = -EIO; 54903a07c92SGoldwyn Rodrigues } 5501da177e4SLinus Torvalds 5518a4c1e42SMike Christie if (dio->is_async && dio->op == REQ_OP_READ && dio->should_dirty) { 5527ddc971fSMike Krinkin bio_check_pages_dirty(bio); /* transfers ownership */ 5531da177e4SLinus Torvalds } else { 5546dc4f100SMing Lei struct bvec_iter_all iter_all; 5556dc4f100SMing Lei 5562b070cfeSChristoph Hellwig bio_for_each_segment_all(bvec, bio, iter_all) { 557cb34e057SKent Overstreet struct page *page = bvec->bv_page; 5581da177e4SLinus Torvalds 5598a4c1e42SMike Christie if (dio->op == REQ_OP_READ && !PageCompound(page) && 56053cbf3b1SMing Lei dio->should_dirty) 5611da177e4SLinus Torvalds set_page_dirty_lock(page); 56209cbfeafSKirill A. Shutemov put_page(page); 5631da177e4SLinus Torvalds } 5641da177e4SLinus Torvalds bio_put(bio); 5651da177e4SLinus Torvalds } 5669b81c842SSasha Levin return err; 5671da177e4SLinus Torvalds } 5681da177e4SLinus Torvalds 5691da177e4SLinus Torvalds /* 5700273201eSZach Brown * Wait on and process all in-flight BIOs. This must only be called once 5710273201eSZach Brown * all bios have been issued so that the refcount can only decrease. 5720273201eSZach Brown * This just waits for all bios to make it through dio_bio_complete. IO 573beb7dd86SRobert P. J. Day * errors are propagated through dio->io_error and should be propagated via 5740273201eSZach Brown * dio_complete(). 5751da177e4SLinus Torvalds */ 5766d544bb4SZach Brown static void dio_await_completion(struct dio *dio) 5771da177e4SLinus Torvalds { 5780273201eSZach Brown struct bio *bio; 5790273201eSZach Brown do { 5800273201eSZach Brown bio = dio_await_one(dio); 5810273201eSZach Brown if (bio) 5826d544bb4SZach Brown dio_bio_complete(dio, bio); 5830273201eSZach Brown } while (bio); 5841da177e4SLinus Torvalds } 5851da177e4SLinus Torvalds 5861da177e4SLinus Torvalds /* 5871da177e4SLinus Torvalds * A really large O_DIRECT read or write can generate a lot of BIOs. So 5881da177e4SLinus Torvalds * to keep the memory consumption sane we periodically reap any completed BIOs 5891da177e4SLinus Torvalds * during the BIO generation phase. 5901da177e4SLinus Torvalds * 5911da177e4SLinus Torvalds * This also helps to limit the peak amount of pinned userspace memory. 5921da177e4SLinus Torvalds */ 593ba253fbfSAndi Kleen static inline int dio_bio_reap(struct dio *dio, struct dio_submit *sdio) 5941da177e4SLinus Torvalds { 5951da177e4SLinus Torvalds int ret = 0; 5961da177e4SLinus Torvalds 597eb28be2bSAndi Kleen if (sdio->reap_counter++ >= 64) { 5981da177e4SLinus Torvalds while (dio->bio_list) { 5991da177e4SLinus Torvalds unsigned long flags; 6001da177e4SLinus Torvalds struct bio *bio; 6011da177e4SLinus Torvalds int ret2; 6021da177e4SLinus Torvalds 6031da177e4SLinus Torvalds spin_lock_irqsave(&dio->bio_lock, flags); 6041da177e4SLinus Torvalds bio = dio->bio_list; 6051da177e4SLinus Torvalds dio->bio_list = bio->bi_private; 6061da177e4SLinus Torvalds spin_unlock_irqrestore(&dio->bio_lock, flags); 6074e4cbee9SChristoph Hellwig ret2 = blk_status_to_errno(dio_bio_complete(dio, bio)); 6081da177e4SLinus Torvalds if (ret == 0) 6091da177e4SLinus Torvalds ret = ret2; 6101da177e4SLinus Torvalds } 611eb28be2bSAndi Kleen sdio->reap_counter = 0; 6121da177e4SLinus Torvalds } 6131da177e4SLinus Torvalds return ret; 6141da177e4SLinus Torvalds } 6151da177e4SLinus Torvalds 6161da177e4SLinus Torvalds /* 6177b7a8665SChristoph Hellwig * Create workqueue for deferred direct IO completions. We allocate the 6187b7a8665SChristoph Hellwig * workqueue when it's first needed. This avoids creating workqueue for 6197b7a8665SChristoph Hellwig * filesystems that don't need it and also allows us to create the workqueue 6207b7a8665SChristoph Hellwig * late enough so the we can include s_id in the name of the workqueue. 6217b7a8665SChristoph Hellwig */ 622ec1b8260SChristoph Hellwig int sb_init_dio_done_wq(struct super_block *sb) 6237b7a8665SChristoph Hellwig { 62445150c43SOlof Johansson struct workqueue_struct *old; 6257b7a8665SChristoph Hellwig struct workqueue_struct *wq = alloc_workqueue("dio/%s", 6267b7a8665SChristoph Hellwig WQ_MEM_RECLAIM, 0, 6277b7a8665SChristoph Hellwig sb->s_id); 6287b7a8665SChristoph Hellwig if (!wq) 6297b7a8665SChristoph Hellwig return -ENOMEM; 6307b7a8665SChristoph Hellwig /* 6317b7a8665SChristoph Hellwig * This has to be atomic as more DIOs can race to create the workqueue 6327b7a8665SChristoph Hellwig */ 63345150c43SOlof Johansson old = cmpxchg(&sb->s_dio_done_wq, NULL, wq); 6347b7a8665SChristoph Hellwig /* Someone created workqueue before us? Free ours... */ 63545150c43SOlof Johansson if (old) 6367b7a8665SChristoph Hellwig destroy_workqueue(wq); 6377b7a8665SChristoph Hellwig return 0; 6387b7a8665SChristoph Hellwig } 6397b7a8665SChristoph Hellwig 6407b7a8665SChristoph Hellwig static int dio_set_defer_completion(struct dio *dio) 6417b7a8665SChristoph Hellwig { 6427b7a8665SChristoph Hellwig struct super_block *sb = dio->inode->i_sb; 6437b7a8665SChristoph Hellwig 6447b7a8665SChristoph Hellwig if (dio->defer_completion) 6457b7a8665SChristoph Hellwig return 0; 6467b7a8665SChristoph Hellwig dio->defer_completion = true; 6477b7a8665SChristoph Hellwig if (!sb->s_dio_done_wq) 6487b7a8665SChristoph Hellwig return sb_init_dio_done_wq(sb); 6497b7a8665SChristoph Hellwig return 0; 6507b7a8665SChristoph Hellwig } 6517b7a8665SChristoph Hellwig 6527b7a8665SChristoph Hellwig /* 6531da177e4SLinus Torvalds * Call into the fs to map some more disk blocks. We record the current number 654eb28be2bSAndi Kleen * of available blocks at sdio->blocks_available. These are in units of the 65593407472SFabian Frederick * fs blocksize, i_blocksize(inode). 6561da177e4SLinus Torvalds * 6571da177e4SLinus Torvalds * The fs is allowed to map lots of blocks at once. If it wants to do that, 6581da177e4SLinus Torvalds * it uses the passed inode-relative block number as the file offset, as usual. 6591da177e4SLinus Torvalds * 6601d8fa7a2SBadari Pulavarty * get_block() is passed the number of i_blkbits-sized blocks which direct_io 6611da177e4SLinus Torvalds * has remaining to do. The fs should not map more than this number of blocks. 6621da177e4SLinus Torvalds * 6631da177e4SLinus Torvalds * If the fs has mapped a lot of blocks, it should populate bh->b_size to 6641da177e4SLinus Torvalds * indicate how much contiguous disk space has been made available at 6651da177e4SLinus Torvalds * bh->b_blocknr. 6661da177e4SLinus Torvalds * 6671da177e4SLinus Torvalds * If *any* of the mapped blocks are new, then the fs must set buffer_new(). 6681da177e4SLinus Torvalds * This isn't very efficient... 6691da177e4SLinus Torvalds * 6701da177e4SLinus Torvalds * In the case of filesystem holes: the fs may return an arbitrarily-large 6711da177e4SLinus Torvalds * hole by returning an appropriate value in b_size and by clearing 6721da177e4SLinus Torvalds * buffer_mapped(). However the direct-io code will only process holes one 6731d8fa7a2SBadari Pulavarty * block at a time - it will repeatedly call get_block() as it walks the hole. 6741da177e4SLinus Torvalds */ 67518772641SAndi Kleen static int get_more_blocks(struct dio *dio, struct dio_submit *sdio, 67618772641SAndi Kleen struct buffer_head *map_bh) 6771da177e4SLinus Torvalds { 6781da177e4SLinus Torvalds int ret; 6791da177e4SLinus Torvalds sector_t fs_startblk; /* Into file, in filesystem-sized blocks */ 680ae55e1aaSTao Ma sector_t fs_endblk; /* Into file, in filesystem-sized blocks */ 6811da177e4SLinus Torvalds unsigned long fs_count; /* Number of filesystem-sized blocks */ 6821da177e4SLinus Torvalds int create; 683ab73857eSLinus Torvalds unsigned int i_blkbits = sdio->blkbits + sdio->blkfactor; 6848b9433ebSErnesto A. Fernández loff_t i_size; 6851da177e4SLinus Torvalds 6861da177e4SLinus Torvalds /* 6871da177e4SLinus Torvalds * If there was a memory error and we've overwritten all the 6881da177e4SLinus Torvalds * mapped blocks then we can now return that memory error 6891da177e4SLinus Torvalds */ 6901da177e4SLinus Torvalds ret = dio->page_errors; 6911da177e4SLinus Torvalds if (ret == 0) { 692eb28be2bSAndi Kleen BUG_ON(sdio->block_in_file >= sdio->final_block_in_request); 693eb28be2bSAndi Kleen fs_startblk = sdio->block_in_file >> sdio->blkfactor; 694ae55e1aaSTao Ma fs_endblk = (sdio->final_block_in_request - 1) >> 695ae55e1aaSTao Ma sdio->blkfactor; 696ae55e1aaSTao Ma fs_count = fs_endblk - fs_startblk + 1; 6971da177e4SLinus Torvalds 6983c674e74SNathan Scott map_bh->b_state = 0; 699ab73857eSLinus Torvalds map_bh->b_size = fs_count << i_blkbits; 7003c674e74SNathan Scott 7015fe878aeSChristoph Hellwig /* 7029ecd10b7SEryu Guan * For writes that could fill holes inside i_size on a 7039ecd10b7SEryu Guan * DIO_SKIP_HOLES filesystem we forbid block creations: only 7049ecd10b7SEryu Guan * overwrites are permitted. We will return early to the caller 7059ecd10b7SEryu Guan * once we see an unmapped buffer head returned, and the caller 7069ecd10b7SEryu Guan * will fall back to buffered I/O. 7075fe878aeSChristoph Hellwig * 7085fe878aeSChristoph Hellwig * Otherwise the decision is left to the get_blocks method, 7095fe878aeSChristoph Hellwig * which may decide to handle it or also return an unmapped 7105fe878aeSChristoph Hellwig * buffer head. 7115fe878aeSChristoph Hellwig */ 7128a4c1e42SMike Christie create = dio->op == REQ_OP_WRITE; 7135fe878aeSChristoph Hellwig if (dio->flags & DIO_SKIP_HOLES) { 7148b9433ebSErnesto A. Fernández i_size = i_size_read(dio->inode); 7158b9433ebSErnesto A. Fernández if (i_size && fs_startblk <= (i_size - 1) >> i_blkbits) 7161da177e4SLinus Torvalds create = 0; 7171da177e4SLinus Torvalds } 7183c674e74SNathan Scott 719eb28be2bSAndi Kleen ret = (*sdio->get_block)(dio->inode, fs_startblk, 7201da177e4SLinus Torvalds map_bh, create); 72118772641SAndi Kleen 72218772641SAndi Kleen /* Store for completion */ 72318772641SAndi Kleen dio->private = map_bh->b_private; 7247b7a8665SChristoph Hellwig 7257b7a8665SChristoph Hellwig if (ret == 0 && buffer_defer_completion(map_bh)) 7267b7a8665SChristoph Hellwig ret = dio_set_defer_completion(dio); 7271da177e4SLinus Torvalds } 7281da177e4SLinus Torvalds return ret; 7291da177e4SLinus Torvalds } 7301da177e4SLinus Torvalds 7311da177e4SLinus Torvalds /* 7321da177e4SLinus Torvalds * There is no bio. Make one now. 7331da177e4SLinus Torvalds */ 734ba253fbfSAndi Kleen static inline int dio_new_bio(struct dio *dio, struct dio_submit *sdio, 73518772641SAndi Kleen sector_t start_sector, struct buffer_head *map_bh) 7361da177e4SLinus Torvalds { 7371da177e4SLinus Torvalds sector_t sector; 7381da177e4SLinus Torvalds int ret, nr_pages; 7391da177e4SLinus Torvalds 740eb28be2bSAndi Kleen ret = dio_bio_reap(dio, sdio); 7411da177e4SLinus Torvalds if (ret) 7421da177e4SLinus Torvalds goto out; 743eb28be2bSAndi Kleen sector = start_sector << (sdio->blkbits - 9); 744b54ffb73SKent Overstreet nr_pages = min(sdio->pages_in_io, BIO_MAX_PAGES); 7451da177e4SLinus Torvalds BUG_ON(nr_pages <= 0); 74618772641SAndi Kleen dio_bio_alloc(dio, sdio, map_bh->b_bdev, sector, nr_pages); 747eb28be2bSAndi Kleen sdio->boundary = 0; 7481da177e4SLinus Torvalds out: 7491da177e4SLinus Torvalds return ret; 7501da177e4SLinus Torvalds } 7511da177e4SLinus Torvalds 7521da177e4SLinus Torvalds /* 7531da177e4SLinus Torvalds * Attempt to put the current chunk of 'cur_page' into the current BIO. If 7541da177e4SLinus Torvalds * that was successful then update final_block_in_bio and take a ref against 7551da177e4SLinus Torvalds * the just-added page. 7561da177e4SLinus Torvalds * 7571da177e4SLinus Torvalds * Return zero on success. Non-zero means the caller needs to start a new BIO. 7581da177e4SLinus Torvalds */ 759ba253fbfSAndi Kleen static inline int dio_bio_add_page(struct dio_submit *sdio) 7601da177e4SLinus Torvalds { 7611da177e4SLinus Torvalds int ret; 7621da177e4SLinus Torvalds 763eb28be2bSAndi Kleen ret = bio_add_page(sdio->bio, sdio->cur_page, 764eb28be2bSAndi Kleen sdio->cur_page_len, sdio->cur_page_offset); 765eb28be2bSAndi Kleen if (ret == sdio->cur_page_len) { 7661da177e4SLinus Torvalds /* 7671da177e4SLinus Torvalds * Decrement count only, if we are done with this page 7681da177e4SLinus Torvalds */ 769eb28be2bSAndi Kleen if ((sdio->cur_page_len + sdio->cur_page_offset) == PAGE_SIZE) 770eb28be2bSAndi Kleen sdio->pages_in_io--; 77109cbfeafSKirill A. Shutemov get_page(sdio->cur_page); 772eb28be2bSAndi Kleen sdio->final_block_in_bio = sdio->cur_page_block + 773eb28be2bSAndi Kleen (sdio->cur_page_len >> sdio->blkbits); 7741da177e4SLinus Torvalds ret = 0; 7751da177e4SLinus Torvalds } else { 7761da177e4SLinus Torvalds ret = 1; 7771da177e4SLinus Torvalds } 7781da177e4SLinus Torvalds return ret; 7791da177e4SLinus Torvalds } 7801da177e4SLinus Torvalds 7811da177e4SLinus Torvalds /* 7821da177e4SLinus Torvalds * Put cur_page under IO. The section of cur_page which is described by 7831da177e4SLinus Torvalds * cur_page_offset,cur_page_len is put into a BIO. The section of cur_page 7841da177e4SLinus Torvalds * starts on-disk at cur_page_block. 7851da177e4SLinus Torvalds * 7861da177e4SLinus Torvalds * We take a ref against the page here (on behalf of its presence in the bio). 7871da177e4SLinus Torvalds * 7881da177e4SLinus Torvalds * The caller of this function is responsible for removing cur_page from the 7891da177e4SLinus Torvalds * dio, and for dropping the refcount which came from that presence. 7901da177e4SLinus Torvalds */ 791ba253fbfSAndi Kleen static inline int dio_send_cur_page(struct dio *dio, struct dio_submit *sdio, 79218772641SAndi Kleen struct buffer_head *map_bh) 7931da177e4SLinus Torvalds { 7941da177e4SLinus Torvalds int ret = 0; 7951da177e4SLinus Torvalds 796eb28be2bSAndi Kleen if (sdio->bio) { 797eb28be2bSAndi Kleen loff_t cur_offset = sdio->cur_page_fs_offset; 798eb28be2bSAndi Kleen loff_t bio_next_offset = sdio->logical_offset_in_bio + 7994f024f37SKent Overstreet sdio->bio->bi_iter.bi_size; 800c2c6ca41SJosef Bacik 8011da177e4SLinus Torvalds /* 802c2c6ca41SJosef Bacik * See whether this new request is contiguous with the old. 803c2c6ca41SJosef Bacik * 804f0940ceeSNamhyung Kim * Btrfs cannot handle having logically non-contiguous requests 805f0940ceeSNamhyung Kim * submitted. For example if you have 806c2c6ca41SJosef Bacik * 807c2c6ca41SJosef Bacik * Logical: [0-4095][HOLE][8192-12287] 808f0940ceeSNamhyung Kim * Physical: [0-4095] [4096-8191] 809c2c6ca41SJosef Bacik * 810c2c6ca41SJosef Bacik * We cannot submit those pages together as one BIO. So if our 811c2c6ca41SJosef Bacik * current logical offset in the file does not equal what would 812c2c6ca41SJosef Bacik * be the next logical offset in the bio, submit the bio we 813c2c6ca41SJosef Bacik * have. 8141da177e4SLinus Torvalds */ 815eb28be2bSAndi Kleen if (sdio->final_block_in_bio != sdio->cur_page_block || 816c2c6ca41SJosef Bacik cur_offset != bio_next_offset) 817eb28be2bSAndi Kleen dio_bio_submit(dio, sdio); 8181da177e4SLinus Torvalds } 8191da177e4SLinus Torvalds 820eb28be2bSAndi Kleen if (sdio->bio == NULL) { 82118772641SAndi Kleen ret = dio_new_bio(dio, sdio, sdio->cur_page_block, map_bh); 8221da177e4SLinus Torvalds if (ret) 8231da177e4SLinus Torvalds goto out; 8241da177e4SLinus Torvalds } 8251da177e4SLinus Torvalds 826eb28be2bSAndi Kleen if (dio_bio_add_page(sdio) != 0) { 827eb28be2bSAndi Kleen dio_bio_submit(dio, sdio); 82818772641SAndi Kleen ret = dio_new_bio(dio, sdio, sdio->cur_page_block, map_bh); 8291da177e4SLinus Torvalds if (ret == 0) { 830eb28be2bSAndi Kleen ret = dio_bio_add_page(sdio); 8311da177e4SLinus Torvalds BUG_ON(ret != 0); 8321da177e4SLinus Torvalds } 8331da177e4SLinus Torvalds } 8341da177e4SLinus Torvalds out: 8351da177e4SLinus Torvalds return ret; 8361da177e4SLinus Torvalds } 8371da177e4SLinus Torvalds 8381da177e4SLinus Torvalds /* 8391da177e4SLinus Torvalds * An autonomous function to put a chunk of a page under deferred IO. 8401da177e4SLinus Torvalds * 8411da177e4SLinus Torvalds * The caller doesn't actually know (or care) whether this piece of page is in 8421da177e4SLinus Torvalds * a BIO, or is under IO or whatever. We just take care of all possible 8431da177e4SLinus Torvalds * situations here. The separation between the logic of do_direct_IO() and 8441da177e4SLinus Torvalds * that of submit_page_section() is important for clarity. Please don't break. 8451da177e4SLinus Torvalds * 8461da177e4SLinus Torvalds * The chunk of page starts on-disk at blocknr. 8471da177e4SLinus Torvalds * 8481da177e4SLinus Torvalds * We perform deferred IO, by recording the last-submitted page inside our 8491da177e4SLinus Torvalds * private part of the dio structure. If possible, we just expand the IO 8501da177e4SLinus Torvalds * across that page here. 8511da177e4SLinus Torvalds * 8521da177e4SLinus Torvalds * If that doesn't work out then we put the old page into the bio and add this 8531da177e4SLinus Torvalds * page to the dio instead. 8541da177e4SLinus Torvalds */ 855ba253fbfSAndi Kleen static inline int 856eb28be2bSAndi Kleen submit_page_section(struct dio *dio, struct dio_submit *sdio, struct page *page, 85718772641SAndi Kleen unsigned offset, unsigned len, sector_t blocknr, 85818772641SAndi Kleen struct buffer_head *map_bh) 8591da177e4SLinus Torvalds { 8601da177e4SLinus Torvalds int ret = 0; 8611da177e4SLinus Torvalds 8628a4c1e42SMike Christie if (dio->op == REQ_OP_WRITE) { 86398c4d57dSAndrew Morton /* 86498c4d57dSAndrew Morton * Read accounting is performed in submit_bio() 86598c4d57dSAndrew Morton */ 86698c4d57dSAndrew Morton task_io_account_write(len); 86798c4d57dSAndrew Morton } 86898c4d57dSAndrew Morton 8691da177e4SLinus Torvalds /* 8701da177e4SLinus Torvalds * Can we just grow the current page's presence in the dio? 8711da177e4SLinus Torvalds */ 872eb28be2bSAndi Kleen if (sdio->cur_page == page && 873eb28be2bSAndi Kleen sdio->cur_page_offset + sdio->cur_page_len == offset && 874eb28be2bSAndi Kleen sdio->cur_page_block + 875eb28be2bSAndi Kleen (sdio->cur_page_len >> sdio->blkbits) == blocknr) { 876eb28be2bSAndi Kleen sdio->cur_page_len += len; 8771da177e4SLinus Torvalds goto out; 8781da177e4SLinus Torvalds } 8791da177e4SLinus Torvalds 8801da177e4SLinus Torvalds /* 8811da177e4SLinus Torvalds * If there's a deferred page already there then send it. 8821da177e4SLinus Torvalds */ 883eb28be2bSAndi Kleen if (sdio->cur_page) { 88418772641SAndi Kleen ret = dio_send_cur_page(dio, sdio, map_bh); 88509cbfeafSKirill A. Shutemov put_page(sdio->cur_page); 886eb28be2bSAndi Kleen sdio->cur_page = NULL; 8871da177e4SLinus Torvalds if (ret) 888b1058b98SJan Kara return ret; 8891da177e4SLinus Torvalds } 8901da177e4SLinus Torvalds 89109cbfeafSKirill A. Shutemov get_page(page); /* It is in dio */ 892eb28be2bSAndi Kleen sdio->cur_page = page; 893eb28be2bSAndi Kleen sdio->cur_page_offset = offset; 894eb28be2bSAndi Kleen sdio->cur_page_len = len; 895eb28be2bSAndi Kleen sdio->cur_page_block = blocknr; 896eb28be2bSAndi Kleen sdio->cur_page_fs_offset = sdio->block_in_file << sdio->blkbits; 8971da177e4SLinus Torvalds out: 898b1058b98SJan Kara /* 899b1058b98SJan Kara * If sdio->boundary then we want to schedule the IO now to 900b1058b98SJan Kara * avoid metadata seeks. 901b1058b98SJan Kara */ 902b1058b98SJan Kara if (sdio->boundary) { 903b1058b98SJan Kara ret = dio_send_cur_page(dio, sdio, map_bh); 904899f0429SAndreas Gruenbacher if (sdio->bio) 905b1058b98SJan Kara dio_bio_submit(dio, sdio); 90609cbfeafSKirill A. Shutemov put_page(sdio->cur_page); 907b1058b98SJan Kara sdio->cur_page = NULL; 908b1058b98SJan Kara } 9091da177e4SLinus Torvalds return ret; 9101da177e4SLinus Torvalds } 9111da177e4SLinus Torvalds 9121da177e4SLinus Torvalds /* 9131da177e4SLinus Torvalds * If we are not writing the entire block and get_block() allocated 9141da177e4SLinus Torvalds * the block for us, we need to fill-in the unused portion of the 9151da177e4SLinus Torvalds * block with zeros. This happens only if user-buffer, fileoffset or 9161da177e4SLinus Torvalds * io length is not filesystem block-size multiple. 9171da177e4SLinus Torvalds * 9181da177e4SLinus Torvalds * `end' is zero if we're doing the start of the IO, 1 at the end of the 9191da177e4SLinus Torvalds * IO. 9201da177e4SLinus Torvalds */ 921ba253fbfSAndi Kleen static inline void dio_zero_block(struct dio *dio, struct dio_submit *sdio, 922ba253fbfSAndi Kleen int end, struct buffer_head *map_bh) 9231da177e4SLinus Torvalds { 9241da177e4SLinus Torvalds unsigned dio_blocks_per_fs_block; 9251da177e4SLinus Torvalds unsigned this_chunk_blocks; /* In dio_blocks */ 9261da177e4SLinus Torvalds unsigned this_chunk_bytes; 9271da177e4SLinus Torvalds struct page *page; 9281da177e4SLinus Torvalds 929eb28be2bSAndi Kleen sdio->start_zero_done = 1; 93018772641SAndi Kleen if (!sdio->blkfactor || !buffer_new(map_bh)) 9311da177e4SLinus Torvalds return; 9321da177e4SLinus Torvalds 933eb28be2bSAndi Kleen dio_blocks_per_fs_block = 1 << sdio->blkfactor; 934eb28be2bSAndi Kleen this_chunk_blocks = sdio->block_in_file & (dio_blocks_per_fs_block - 1); 9351da177e4SLinus Torvalds 9361da177e4SLinus Torvalds if (!this_chunk_blocks) 9371da177e4SLinus Torvalds return; 9381da177e4SLinus Torvalds 9391da177e4SLinus Torvalds /* 9401da177e4SLinus Torvalds * We need to zero out part of an fs block. It is either at the 9411da177e4SLinus Torvalds * beginning or the end of the fs block. 9421da177e4SLinus Torvalds */ 9431da177e4SLinus Torvalds if (end) 9441da177e4SLinus Torvalds this_chunk_blocks = dio_blocks_per_fs_block - this_chunk_blocks; 9451da177e4SLinus Torvalds 946eb28be2bSAndi Kleen this_chunk_bytes = this_chunk_blocks << sdio->blkbits; 9471da177e4SLinus Torvalds 948557ed1faSNick Piggin page = ZERO_PAGE(0); 949eb28be2bSAndi Kleen if (submit_page_section(dio, sdio, page, 0, this_chunk_bytes, 95018772641SAndi Kleen sdio->next_block_for_io, map_bh)) 9511da177e4SLinus Torvalds return; 9521da177e4SLinus Torvalds 953eb28be2bSAndi Kleen sdio->next_block_for_io += this_chunk_blocks; 9541da177e4SLinus Torvalds } 9551da177e4SLinus Torvalds 9561da177e4SLinus Torvalds /* 9571da177e4SLinus Torvalds * Walk the user pages, and the file, mapping blocks to disk and generating 9581da177e4SLinus Torvalds * a sequence of (page,offset,len,block) mappings. These mappings are injected 9591da177e4SLinus Torvalds * into submit_page_section(), which takes care of the next stage of submission 9601da177e4SLinus Torvalds * 9611da177e4SLinus Torvalds * Direct IO against a blockdev is different from a file. Because we can 9621da177e4SLinus Torvalds * happily perform page-sized but 512-byte aligned IOs. It is important that 9631da177e4SLinus Torvalds * blockdev IO be able to have fine alignment and large sizes. 9641da177e4SLinus Torvalds * 9651d8fa7a2SBadari Pulavarty * So what we do is to permit the ->get_block function to populate bh.b_size 9661da177e4SLinus Torvalds * with the size of IO which is permitted at this offset and this i_blkbits. 9671da177e4SLinus Torvalds * 9681da177e4SLinus Torvalds * For best results, the blockdev should be set up with 512-byte i_blkbits and 9691d8fa7a2SBadari Pulavarty * it should set b_size to PAGE_SIZE or more inside get_block(). This gives 9701da177e4SLinus Torvalds * fine alignment but still allows this function to work in PAGE_SIZE units. 9711da177e4SLinus Torvalds */ 97218772641SAndi Kleen static int do_direct_IO(struct dio *dio, struct dio_submit *sdio, 97318772641SAndi Kleen struct buffer_head *map_bh) 9741da177e4SLinus Torvalds { 975eb28be2bSAndi Kleen const unsigned blkbits = sdio->blkbits; 976dd545b52SChandan Rajendra const unsigned i_blkbits = blkbits + sdio->blkfactor; 9771da177e4SLinus Torvalds int ret = 0; 9781da177e4SLinus Torvalds 979eb28be2bSAndi Kleen while (sdio->block_in_file < sdio->final_block_in_request) { 9807b2c99d1SAl Viro struct page *page; 9817b2c99d1SAl Viro size_t from, to; 9826fcc5420SBoaz Harrosh 9836fcc5420SBoaz Harrosh page = dio_get_page(dio, sdio); 9841da177e4SLinus Torvalds if (IS_ERR(page)) { 9851da177e4SLinus Torvalds ret = PTR_ERR(page); 9861da177e4SLinus Torvalds goto out; 9871da177e4SLinus Torvalds } 9886fcc5420SBoaz Harrosh from = sdio->head ? 0 : sdio->from; 9896fcc5420SBoaz Harrosh to = (sdio->head == sdio->tail - 1) ? sdio->to : PAGE_SIZE; 9906fcc5420SBoaz Harrosh sdio->head++; 9911da177e4SLinus Torvalds 9927b2c99d1SAl Viro while (from < to) { 9931da177e4SLinus Torvalds unsigned this_chunk_bytes; /* # of bytes mapped */ 9941da177e4SLinus Torvalds unsigned this_chunk_blocks; /* # of blocks */ 9951da177e4SLinus Torvalds unsigned u; 9961da177e4SLinus Torvalds 997eb28be2bSAndi Kleen if (sdio->blocks_available == 0) { 9981da177e4SLinus Torvalds /* 9991da177e4SLinus Torvalds * Need to go and map some more disk 10001da177e4SLinus Torvalds */ 10011da177e4SLinus Torvalds unsigned long blkmask; 10021da177e4SLinus Torvalds unsigned long dio_remainder; 10031da177e4SLinus Torvalds 100418772641SAndi Kleen ret = get_more_blocks(dio, sdio, map_bh); 10051da177e4SLinus Torvalds if (ret) { 100609cbfeafSKirill A. Shutemov put_page(page); 10071da177e4SLinus Torvalds goto out; 10081da177e4SLinus Torvalds } 10091da177e4SLinus Torvalds if (!buffer_mapped(map_bh)) 10101da177e4SLinus Torvalds goto do_holes; 10111da177e4SLinus Torvalds 1012eb28be2bSAndi Kleen sdio->blocks_available = 1013f734c89cSJan Kara map_bh->b_size >> blkbits; 1014eb28be2bSAndi Kleen sdio->next_block_for_io = 1015eb28be2bSAndi Kleen map_bh->b_blocknr << sdio->blkfactor; 1016f734c89cSJan Kara if (buffer_new(map_bh)) { 1017f734c89cSJan Kara clean_bdev_aliases( 1018f734c89cSJan Kara map_bh->b_bdev, 1019f734c89cSJan Kara map_bh->b_blocknr, 1020dd545b52SChandan Rajendra map_bh->b_size >> i_blkbits); 1021f734c89cSJan Kara } 10221da177e4SLinus Torvalds 1023eb28be2bSAndi Kleen if (!sdio->blkfactor) 10241da177e4SLinus Torvalds goto do_holes; 10251da177e4SLinus Torvalds 1026eb28be2bSAndi Kleen blkmask = (1 << sdio->blkfactor) - 1; 1027eb28be2bSAndi Kleen dio_remainder = (sdio->block_in_file & blkmask); 10281da177e4SLinus Torvalds 10291da177e4SLinus Torvalds /* 10301da177e4SLinus Torvalds * If we are at the start of IO and that IO 10311da177e4SLinus Torvalds * starts partway into a fs-block, 10321da177e4SLinus Torvalds * dio_remainder will be non-zero. If the IO 10331da177e4SLinus Torvalds * is a read then we can simply advance the IO 10341da177e4SLinus Torvalds * cursor to the first block which is to be 10351da177e4SLinus Torvalds * read. But if the IO is a write and the 10361da177e4SLinus Torvalds * block was newly allocated we cannot do that; 10371da177e4SLinus Torvalds * the start of the fs block must be zeroed out 10381da177e4SLinus Torvalds * on-disk 10391da177e4SLinus Torvalds */ 10401da177e4SLinus Torvalds if (!buffer_new(map_bh)) 1041eb28be2bSAndi Kleen sdio->next_block_for_io += dio_remainder; 1042eb28be2bSAndi Kleen sdio->blocks_available -= dio_remainder; 10431da177e4SLinus Torvalds } 10441da177e4SLinus Torvalds do_holes: 10451da177e4SLinus Torvalds /* Handle holes */ 10461da177e4SLinus Torvalds if (!buffer_mapped(map_bh)) { 104735dc8161SJeff Moyer loff_t i_size_aligned; 10481da177e4SLinus Torvalds 10491da177e4SLinus Torvalds /* AKPM: eargh, -ENOTBLK is a hack */ 10508a4c1e42SMike Christie if (dio->op == REQ_OP_WRITE) { 105109cbfeafSKirill A. Shutemov put_page(page); 10521da177e4SLinus Torvalds return -ENOTBLK; 10531da177e4SLinus Torvalds } 10541da177e4SLinus Torvalds 105535dc8161SJeff Moyer /* 105635dc8161SJeff Moyer * Be sure to account for a partial block as the 105735dc8161SJeff Moyer * last block in the file 105835dc8161SJeff Moyer */ 105935dc8161SJeff Moyer i_size_aligned = ALIGN(i_size_read(dio->inode), 106035dc8161SJeff Moyer 1 << blkbits); 1061eb28be2bSAndi Kleen if (sdio->block_in_file >= 106235dc8161SJeff Moyer i_size_aligned >> blkbits) { 10631da177e4SLinus Torvalds /* We hit eof */ 106409cbfeafSKirill A. Shutemov put_page(page); 10651da177e4SLinus Torvalds goto out; 10661da177e4SLinus Torvalds } 10677b2c99d1SAl Viro zero_user(page, from, 1 << blkbits); 1068eb28be2bSAndi Kleen sdio->block_in_file++; 10697b2c99d1SAl Viro from += 1 << blkbits; 10703320c60bSAl Viro dio->result += 1 << blkbits; 10711da177e4SLinus Torvalds goto next_block; 10721da177e4SLinus Torvalds } 10731da177e4SLinus Torvalds 10741da177e4SLinus Torvalds /* 10751da177e4SLinus Torvalds * If we're performing IO which has an alignment which 10761da177e4SLinus Torvalds * is finer than the underlying fs, go check to see if 10771da177e4SLinus Torvalds * we must zero out the start of this block. 10781da177e4SLinus Torvalds */ 1079eb28be2bSAndi Kleen if (unlikely(sdio->blkfactor && !sdio->start_zero_done)) 108018772641SAndi Kleen dio_zero_block(dio, sdio, 0, map_bh); 10811da177e4SLinus Torvalds 10821da177e4SLinus Torvalds /* 10831da177e4SLinus Torvalds * Work out, in this_chunk_blocks, how much disk we 10841da177e4SLinus Torvalds * can add to this page 10851da177e4SLinus Torvalds */ 1086eb28be2bSAndi Kleen this_chunk_blocks = sdio->blocks_available; 10877b2c99d1SAl Viro u = (to - from) >> blkbits; 10881da177e4SLinus Torvalds if (this_chunk_blocks > u) 10891da177e4SLinus Torvalds this_chunk_blocks = u; 1090eb28be2bSAndi Kleen u = sdio->final_block_in_request - sdio->block_in_file; 10911da177e4SLinus Torvalds if (this_chunk_blocks > u) 10921da177e4SLinus Torvalds this_chunk_blocks = u; 10931da177e4SLinus Torvalds this_chunk_bytes = this_chunk_blocks << blkbits; 10941da177e4SLinus Torvalds BUG_ON(this_chunk_bytes == 0); 10951da177e4SLinus Torvalds 1096092c8d46SJan Kara if (this_chunk_blocks == sdio->blocks_available) 1097eb28be2bSAndi Kleen sdio->boundary = buffer_boundary(map_bh); 1098eb28be2bSAndi Kleen ret = submit_page_section(dio, sdio, page, 10997b2c99d1SAl Viro from, 1100eb28be2bSAndi Kleen this_chunk_bytes, 110118772641SAndi Kleen sdio->next_block_for_io, 110218772641SAndi Kleen map_bh); 11031da177e4SLinus Torvalds if (ret) { 110409cbfeafSKirill A. Shutemov put_page(page); 11051da177e4SLinus Torvalds goto out; 11061da177e4SLinus Torvalds } 1107eb28be2bSAndi Kleen sdio->next_block_for_io += this_chunk_blocks; 11081da177e4SLinus Torvalds 1109eb28be2bSAndi Kleen sdio->block_in_file += this_chunk_blocks; 11107b2c99d1SAl Viro from += this_chunk_bytes; 11117b2c99d1SAl Viro dio->result += this_chunk_bytes; 1112eb28be2bSAndi Kleen sdio->blocks_available -= this_chunk_blocks; 11131da177e4SLinus Torvalds next_block: 1114eb28be2bSAndi Kleen BUG_ON(sdio->block_in_file > sdio->final_block_in_request); 1115eb28be2bSAndi Kleen if (sdio->block_in_file == sdio->final_block_in_request) 11161da177e4SLinus Torvalds break; 11171da177e4SLinus Torvalds } 11181da177e4SLinus Torvalds 11191da177e4SLinus Torvalds /* Drop the ref which was taken in get_user_pages() */ 112009cbfeafSKirill A. Shutemov put_page(page); 11211da177e4SLinus Torvalds } 11221da177e4SLinus Torvalds out: 11231da177e4SLinus Torvalds return ret; 11241da177e4SLinus Torvalds } 11251da177e4SLinus Torvalds 1126847cc637SAndi Kleen static inline int drop_refcount(struct dio *dio) 11271da177e4SLinus Torvalds { 1128847cc637SAndi Kleen int ret2; 11295eb6c7a2SZach Brown unsigned long flags; 113020258b2bSZach Brown 11311da177e4SLinus Torvalds /* 11328459d86aSZach Brown * Sync will always be dropping the final ref and completing the 11335eb6c7a2SZach Brown * operation. AIO can if it was a broken operation described above or 11345eb6c7a2SZach Brown * in fact if all the bios race to complete before we get here. In 11355eb6c7a2SZach Brown * that case dio_complete() translates the EIOCBQUEUED into the proper 113604b2fa9fSChristoph Hellwig * return code that the caller will hand to ->complete(). 11375eb6c7a2SZach Brown * 11385eb6c7a2SZach Brown * This is managed by the bio_lock instead of being an atomic_t so that 11395eb6c7a2SZach Brown * completion paths can drop their ref and use the remaining count to 11405eb6c7a2SZach Brown * decide to wake the submission path atomically. 11411da177e4SLinus Torvalds */ 11425eb6c7a2SZach Brown spin_lock_irqsave(&dio->bio_lock, flags); 11435eb6c7a2SZach Brown ret2 = --dio->refcount; 11445eb6c7a2SZach Brown spin_unlock_irqrestore(&dio->bio_lock, flags); 1145847cc637SAndi Kleen return ret2; 11461da177e4SLinus Torvalds } 11471da177e4SLinus Torvalds 1148eafdc7d1SChristoph Hellwig /* 1149eafdc7d1SChristoph Hellwig * This is a library function for use by filesystem drivers. 1150eafdc7d1SChristoph Hellwig * 1151eafdc7d1SChristoph Hellwig * The locking rules are governed by the flags parameter: 1152eafdc7d1SChristoph Hellwig * - if the flags value contains DIO_LOCKING we use a fancy locking 1153eafdc7d1SChristoph Hellwig * scheme for dumb filesystems. 1154eafdc7d1SChristoph Hellwig * For writes this function is called under i_mutex and returns with 1155eafdc7d1SChristoph Hellwig * i_mutex held, for reads, i_mutex is not held on entry, but it is 1156eafdc7d1SChristoph Hellwig * taken and dropped again before returning. 1157eafdc7d1SChristoph Hellwig * - if the flags value does NOT contain DIO_LOCKING we don't use any 1158eafdc7d1SChristoph Hellwig * internal locking but rather rely on the filesystem to synchronize 1159eafdc7d1SChristoph Hellwig * direct I/O reads/writes versus each other and truncate. 1160df2d6f26SChristoph Hellwig * 1161df2d6f26SChristoph Hellwig * To help with locking against truncate we incremented the i_dio_count 1162df2d6f26SChristoph Hellwig * counter before starting direct I/O, and decrement it once we are done. 1163df2d6f26SChristoph Hellwig * Truncate can wait for it to reach zero to provide exclusion. It is 1164df2d6f26SChristoph Hellwig * expected that filesystem provide exclusion between new direct I/O 1165df2d6f26SChristoph Hellwig * and truncates. For DIO_LOCKING filesystems this is done by i_mutex, 1166df2d6f26SChristoph Hellwig * but other filesystems need to take care of this on their own. 1167ba253fbfSAndi Kleen * 1168ba253fbfSAndi Kleen * NOTE: if you pass "sdio" to anything by pointer make sure that function 1169ba253fbfSAndi Kleen * is always inlined. Otherwise gcc is unable to split the structure into 1170ba253fbfSAndi Kleen * individual fields and will generate much worse code. This is important 1171ba253fbfSAndi Kleen * for the whole file. 1172eafdc7d1SChristoph Hellwig */ 117365dd2aa9SAndi Kleen static inline ssize_t 117417f8c842SOmar Sandoval do_blockdev_direct_IO(struct kiocb *iocb, struct inode *inode, 117517f8c842SOmar Sandoval struct block_device *bdev, struct iov_iter *iter, 1176c8b8e32dSChristoph Hellwig get_block_t get_block, dio_iodone_t end_io, 1177facd07b0SJosef Bacik dio_submit_t submit_io, int flags) 11781da177e4SLinus Torvalds { 11796aa7de05SMark Rutland unsigned i_blkbits = READ_ONCE(inode->i_blkbits); 1180ab73857eSLinus Torvalds unsigned blkbits = i_blkbits; 11811da177e4SLinus Torvalds unsigned blocksize_mask = (1 << blkbits) - 1; 11821da177e4SLinus Torvalds ssize_t retval = -EINVAL; 11831c0ff0f1SNikolay Borisov const size_t count = iov_iter_count(iter); 1184c8b8e32dSChristoph Hellwig loff_t offset = iocb->ki_pos; 11851c0ff0f1SNikolay Borisov const loff_t end = offset + count; 11861da177e4SLinus Torvalds struct dio *dio; 1187eb28be2bSAndi Kleen struct dio_submit sdio = { 0, }; 1188847cc637SAndi Kleen struct buffer_head map_bh = { 0, }; 1189647d1e4cSFengguang Wu struct blk_plug plug; 1190886a3911SAl Viro unsigned long align = offset | iov_iter_alignment(iter); 11911da177e4SLinus Torvalds 119265dd2aa9SAndi Kleen /* 119365dd2aa9SAndi Kleen * Avoid references to bdev if not absolutely needed to give 119465dd2aa9SAndi Kleen * the early prefetch in the caller enough time. 119565dd2aa9SAndi Kleen */ 11961da177e4SLinus Torvalds 1197886a3911SAl Viro if (align & blocksize_mask) { 11981da177e4SLinus Torvalds if (bdev) 119965dd2aa9SAndi Kleen blkbits = blksize_bits(bdev_logical_block_size(bdev)); 12001da177e4SLinus Torvalds blocksize_mask = (1 << blkbits) - 1; 1201886a3911SAl Viro if (align & blocksize_mask) 12021da177e4SLinus Torvalds goto out; 12031da177e4SLinus Torvalds } 12041da177e4SLinus Torvalds 1205f9b5570dSChristoph Hellwig /* watch out for a 0 len io from a tricksy fs */ 12061c0ff0f1SNikolay Borisov if (iov_iter_rw(iter) == READ && !count) 1207f9b5570dSChristoph Hellwig return 0; 1208f9b5570dSChristoph Hellwig 12096e8267f5SAndi Kleen dio = kmem_cache_alloc(dio_cache, GFP_KERNEL); 12101da177e4SLinus Torvalds retval = -ENOMEM; 12111da177e4SLinus Torvalds if (!dio) 12121da177e4SLinus Torvalds goto out; 121323aee091SJeff Moyer /* 121423aee091SJeff Moyer * Believe it or not, zeroing out the page array caused a .5% 121523aee091SJeff Moyer * performance regression in a database benchmark. So, we take 121623aee091SJeff Moyer * care to only zero out what's needed. 121723aee091SJeff Moyer */ 121823aee091SJeff Moyer memset(dio, 0, offsetof(struct dio, pages)); 12191da177e4SLinus Torvalds 12205fe878aeSChristoph Hellwig dio->flags = flags; 12215fe878aeSChristoph Hellwig if (dio->flags & DIO_LOCKING) { 122217f8c842SOmar Sandoval if (iov_iter_rw(iter) == READ) { 12235fe878aeSChristoph Hellwig struct address_space *mapping = 12245fe878aeSChristoph Hellwig iocb->ki_filp->f_mapping; 12251da177e4SLinus Torvalds 12265fe878aeSChristoph Hellwig /* will be released by direct_io_worker */ 12275955102cSAl Viro inode_lock(inode); 12281da177e4SLinus Torvalds 12291da177e4SLinus Torvalds retval = filemap_write_and_wait_range(mapping, offset, 12301da177e4SLinus Torvalds end - 1); 12311da177e4SLinus Torvalds if (retval) { 12325955102cSAl Viro inode_unlock(inode); 12336e8267f5SAndi Kleen kmem_cache_free(dio_cache, dio); 12341da177e4SLinus Torvalds goto out; 12351da177e4SLinus Torvalds } 12361da177e4SLinus Torvalds } 1237df2d6f26SChristoph Hellwig } 12381da177e4SLinus Torvalds 123974cedf9bSJan Kara /* Once we sampled i_size check for reads beyond EOF */ 124074cedf9bSJan Kara dio->i_size = i_size_read(inode); 124174cedf9bSJan Kara if (iov_iter_rw(iter) == READ && offset >= dio->i_size) { 124274cedf9bSJan Kara if (dio->flags & DIO_LOCKING) 12435955102cSAl Viro inode_unlock(inode); 124474cedf9bSJan Kara kmem_cache_free(dio_cache, dio); 12452d4594acSAl Viro retval = 0; 124674cedf9bSJan Kara goto out; 124774cedf9bSJan Kara } 124874cedf9bSJan Kara 12495fe878aeSChristoph Hellwig /* 125060392573SChristoph Hellwig * For file extending writes updating i_size before data writeouts 125160392573SChristoph Hellwig * complete can expose uninitialized blocks in dumb filesystems. 125260392573SChristoph Hellwig * In that case we need to wait for I/O completion even if asked 125360392573SChristoph Hellwig * for an asynchronous write. 12541da177e4SLinus Torvalds */ 125560392573SChristoph Hellwig if (is_sync_kiocb(iocb)) 125660392573SChristoph Hellwig dio->is_async = false; 1257c8f4c36fSNikolay Borisov else if (iov_iter_rw(iter) == WRITE && end > i_size_read(inode)) 125860392573SChristoph Hellwig dio->is_async = false; 125960392573SChristoph Hellwig else 126060392573SChristoph Hellwig dio->is_async = true; 126160392573SChristoph Hellwig 1262847cc637SAndi Kleen dio->inode = inode; 12638a4c1e42SMike Christie if (iov_iter_rw(iter) == WRITE) { 12648a4c1e42SMike Christie dio->op = REQ_OP_WRITE; 126570fd7614SChristoph Hellwig dio->op_flags = REQ_SYNC | REQ_IDLE; 126603a07c92SGoldwyn Rodrigues if (iocb->ki_flags & IOCB_NOWAIT) 126703a07c92SGoldwyn Rodrigues dio->op_flags |= REQ_NOWAIT; 12688a4c1e42SMike Christie } else { 12698a4c1e42SMike Christie dio->op = REQ_OP_READ; 12708a4c1e42SMike Christie } 1271d1e36282SJens Axboe if (iocb->ki_flags & IOCB_HIPRI) 1272d1e36282SJens Axboe dio->op_flags |= REQ_HIPRI; 127302afc27fSChristoph Hellwig 127402afc27fSChristoph Hellwig /* 127502afc27fSChristoph Hellwig * For AIO O_(D)SYNC writes we need to defer completions to a workqueue 127602afc27fSChristoph Hellwig * so that we can call ->fsync. 127702afc27fSChristoph Hellwig */ 1278332391a9SLukas Czerner if (dio->is_async && iov_iter_rw(iter) == WRITE) { 1279332391a9SLukas Czerner retval = 0; 1280d9c10e5bSJan Kara if (iocb->ki_flags & IOCB_DSYNC) 128102afc27fSChristoph Hellwig retval = dio_set_defer_completion(dio); 1282332391a9SLukas Czerner else if (!dio->inode->i_sb->s_dio_done_wq) { 1283332391a9SLukas Czerner /* 1284332391a9SLukas Czerner * In case of AIO write racing with buffered read we 1285332391a9SLukas Czerner * need to defer completion. We can't decide this now, 1286332391a9SLukas Czerner * however the workqueue needs to be initialized here. 1287332391a9SLukas Czerner */ 1288332391a9SLukas Czerner retval = sb_init_dio_done_wq(dio->inode->i_sb); 1289332391a9SLukas Czerner } 129002afc27fSChristoph Hellwig if (retval) { 129102afc27fSChristoph Hellwig /* 129202afc27fSChristoph Hellwig * We grab i_mutex only for reads so we don't have 129302afc27fSChristoph Hellwig * to release it here 129402afc27fSChristoph Hellwig */ 129502afc27fSChristoph Hellwig kmem_cache_free(dio_cache, dio); 129602afc27fSChristoph Hellwig goto out; 129702afc27fSChristoph Hellwig } 129802afc27fSChristoph Hellwig } 129902afc27fSChristoph Hellwig 130002afc27fSChristoph Hellwig /* 130102afc27fSChristoph Hellwig * Will be decremented at I/O completion time. 130202afc27fSChristoph Hellwig */ 1303fe0f07d0SJens Axboe inode_dio_begin(inode); 130402afc27fSChristoph Hellwig 130502afc27fSChristoph Hellwig retval = 0; 1306847cc637SAndi Kleen sdio.blkbits = blkbits; 1307ab73857eSLinus Torvalds sdio.blkfactor = i_blkbits - blkbits; 1308847cc637SAndi Kleen sdio.block_in_file = offset >> blkbits; 1309847cc637SAndi Kleen 1310847cc637SAndi Kleen sdio.get_block = get_block; 1311847cc637SAndi Kleen dio->end_io = end_io; 1312847cc637SAndi Kleen sdio.submit_io = submit_io; 1313847cc637SAndi Kleen sdio.final_block_in_bio = -1; 1314847cc637SAndi Kleen sdio.next_block_for_io = -1; 1315847cc637SAndi Kleen 1316847cc637SAndi Kleen dio->iocb = iocb; 1317847cc637SAndi Kleen 1318847cc637SAndi Kleen spin_lock_init(&dio->bio_lock); 1319847cc637SAndi Kleen dio->refcount = 1; 1320847cc637SAndi Kleen 132100e23707SDavid Howells dio->should_dirty = iter_is_iovec(iter) && iov_iter_rw(iter) == READ; 13227b2c99d1SAl Viro sdio.iter = iter; 13231c0ff0f1SNikolay Borisov sdio.final_block_in_request = end >> blkbits; 13247b2c99d1SAl Viro 1325847cc637SAndi Kleen /* 1326847cc637SAndi Kleen * In case of non-aligned buffers, we may need 2 more 1327847cc637SAndi Kleen * pages since we need to zero out first and last block. 1328847cc637SAndi Kleen */ 1329847cc637SAndi Kleen if (unlikely(sdio.blkfactor)) 1330847cc637SAndi Kleen sdio.pages_in_io = 2; 1331847cc637SAndi Kleen 1332f67da30cSAl Viro sdio.pages_in_io += iov_iter_npages(iter, INT_MAX); 1333847cc637SAndi Kleen 1334647d1e4cSFengguang Wu blk_start_plug(&plug); 1335647d1e4cSFengguang Wu 1336847cc637SAndi Kleen retval = do_direct_IO(dio, &sdio, &map_bh); 13377b2c99d1SAl Viro if (retval) 1338847cc637SAndi Kleen dio_cleanup(dio, &sdio); 1339847cc637SAndi Kleen 1340847cc637SAndi Kleen if (retval == -ENOTBLK) { 1341847cc637SAndi Kleen /* 1342847cc637SAndi Kleen * The remaining part of the request will be 1343847cc637SAndi Kleen * be handled by buffered I/O when we return 1344847cc637SAndi Kleen */ 1345847cc637SAndi Kleen retval = 0; 1346847cc637SAndi Kleen } 1347847cc637SAndi Kleen /* 1348847cc637SAndi Kleen * There may be some unwritten disk at the end of a part-written 1349847cc637SAndi Kleen * fs-block-sized block. Go zero that now. 1350847cc637SAndi Kleen */ 1351847cc637SAndi Kleen dio_zero_block(dio, &sdio, 1, &map_bh); 1352847cc637SAndi Kleen 1353847cc637SAndi Kleen if (sdio.cur_page) { 1354847cc637SAndi Kleen ssize_t ret2; 1355847cc637SAndi Kleen 1356847cc637SAndi Kleen ret2 = dio_send_cur_page(dio, &sdio, &map_bh); 1357847cc637SAndi Kleen if (retval == 0) 1358847cc637SAndi Kleen retval = ret2; 135909cbfeafSKirill A. Shutemov put_page(sdio.cur_page); 1360847cc637SAndi Kleen sdio.cur_page = NULL; 1361847cc637SAndi Kleen } 1362847cc637SAndi Kleen if (sdio.bio) 1363847cc637SAndi Kleen dio_bio_submit(dio, &sdio); 1364847cc637SAndi Kleen 1365647d1e4cSFengguang Wu blk_finish_plug(&plug); 1366647d1e4cSFengguang Wu 1367847cc637SAndi Kleen /* 1368847cc637SAndi Kleen * It is possible that, we return short IO due to end of file. 1369847cc637SAndi Kleen * In that case, we need to release all the pages we got hold on. 1370847cc637SAndi Kleen */ 1371847cc637SAndi Kleen dio_cleanup(dio, &sdio); 1372847cc637SAndi Kleen 1373847cc637SAndi Kleen /* 1374847cc637SAndi Kleen * All block lookups have been performed. For READ requests 1375847cc637SAndi Kleen * we can let i_mutex go now that its achieved its purpose 1376847cc637SAndi Kleen * of protecting us from looking up uninitialized blocks. 1377847cc637SAndi Kleen */ 137817f8c842SOmar Sandoval if (iov_iter_rw(iter) == READ && (dio->flags & DIO_LOCKING)) 13795955102cSAl Viro inode_unlock(dio->inode); 1380847cc637SAndi Kleen 1381847cc637SAndi Kleen /* 1382847cc637SAndi Kleen * The only time we want to leave bios in flight is when a successful 1383847cc637SAndi Kleen * partial aio read or full aio write have been setup. In that case 1384847cc637SAndi Kleen * bio completion will call aio_complete. The only time it's safe to 1385847cc637SAndi Kleen * call aio_complete is when we return -EIOCBQUEUED, so we key on that. 1386847cc637SAndi Kleen * This had *better* be the only place that raises -EIOCBQUEUED. 1387847cc637SAndi Kleen */ 1388847cc637SAndi Kleen BUG_ON(retval == -EIOCBQUEUED); 1389847cc637SAndi Kleen if (dio->is_async && retval == 0 && dio->result && 139017f8c842SOmar Sandoval (iov_iter_rw(iter) == READ || dio->result == count)) 1391847cc637SAndi Kleen retval = -EIOCBQUEUED; 1392af436472SChristoph Hellwig else 1393847cc637SAndi Kleen dio_await_completion(dio); 1394847cc637SAndi Kleen 1395847cc637SAndi Kleen if (drop_refcount(dio) == 0) { 1396ffe51f01SLukas Czerner retval = dio_complete(dio, retval, DIO_COMPLETE_INVALIDATE); 1397847cc637SAndi Kleen } else 1398847cc637SAndi Kleen BUG_ON(retval != -EIOCBQUEUED); 13991da177e4SLinus Torvalds 14007bb46a67Snpiggin@suse.de out: 14017bb46a67Snpiggin@suse.de return retval; 14027bb46a67Snpiggin@suse.de } 140365dd2aa9SAndi Kleen 140417f8c842SOmar Sandoval ssize_t __blockdev_direct_IO(struct kiocb *iocb, struct inode *inode, 140517f8c842SOmar Sandoval struct block_device *bdev, struct iov_iter *iter, 1406c8b8e32dSChristoph Hellwig get_block_t get_block, 140717f8c842SOmar Sandoval dio_iodone_t end_io, dio_submit_t submit_io, 140817f8c842SOmar Sandoval int flags) 140965dd2aa9SAndi Kleen { 141065dd2aa9SAndi Kleen /* 141165dd2aa9SAndi Kleen * The block device state is needed in the end to finally 141265dd2aa9SAndi Kleen * submit everything. Since it's likely to be cache cold 141365dd2aa9SAndi Kleen * prefetch it here as first thing to hide some of the 141465dd2aa9SAndi Kleen * latency. 141565dd2aa9SAndi Kleen * 141665dd2aa9SAndi Kleen * Attempt to prefetch the pieces we likely need later. 141765dd2aa9SAndi Kleen */ 141865dd2aa9SAndi Kleen prefetch(&bdev->bd_disk->part_tbl); 141965dd2aa9SAndi Kleen prefetch(bdev->bd_queue); 142065dd2aa9SAndi Kleen prefetch((char *)bdev->bd_queue + SMP_CACHE_BYTES); 142165dd2aa9SAndi Kleen 1422c8b8e32dSChristoph Hellwig return do_blockdev_direct_IO(iocb, inode, bdev, iter, get_block, 142317f8c842SOmar Sandoval end_io, submit_io, flags); 142465dd2aa9SAndi Kleen } 142565dd2aa9SAndi Kleen 14261da177e4SLinus Torvalds EXPORT_SYMBOL(__blockdev_direct_IO); 14276e8267f5SAndi Kleen 14286e8267f5SAndi Kleen static __init int dio_init(void) 14296e8267f5SAndi Kleen { 14306e8267f5SAndi Kleen dio_cache = KMEM_CACHE(dio, SLAB_PANIC); 14316e8267f5SAndi Kleen return 0; 14326e8267f5SAndi Kleen } 14336e8267f5SAndi Kleen module_init(dio_init) 1434