4 * Copyright (C) 1992, 1993, 1994, 1995
5 * Remy Card (card@masi.ibp.fr)
6 * Laboratoire MASI - Institut Blaise Pascal
7 * Universite Pierre et Marie Curie (Paris VI)
11 * linux/fs/minix/file.c
13 * Copyright (C) 1991, 1992 Linus Torvalds
15 * ext4 fs regular file handling primitives
17 * 64-bit file support on 64-bit platforms by Jakub Jelinek
18 * (jj@sunsite.ms.mff.cuni.cz)
21 #include <linux/time.h>
23 #include <linux/mount.h>
24 #include <linux/path.h>
25 #include <linux/aio.h>
26 #include <linux/quotaops.h>
27 #include <linux/pagevec.h>
29 #include "ext4_jbd2.h"
34 * Called when an inode is released. Note that this is different
35 * from ext4_file_open: open gets called at every open, but release
36 * gets called only when /all/ the files are closed.
38 static int ext4_release_file(struct inode *inode, struct file *filp)
40 if (ext4_test_inode_state(inode, EXT4_STATE_DA_ALLOC_CLOSE)) {
41 ext4_alloc_da_blocks(inode);
42 ext4_clear_inode_state(inode, EXT4_STATE_DA_ALLOC_CLOSE);
44 /* if we are the last writer on the inode, drop the block reservation */
45 if ((filp->f_mode & FMODE_WRITE) &&
46 (atomic_read(&inode->i_writecount) == 1) &&
47 !EXT4_I(inode)->i_reserved_data_blocks)
49 down_write(&EXT4_I(inode)->i_data_sem);
50 ext4_discard_preallocations(inode);
51 up_write(&EXT4_I(inode)->i_data_sem);
53 if (is_dx(inode) && filp->private_data)
54 ext4_htree_free_dir_info(filp->private_data);
59 static void ext4_unwritten_wait(struct inode *inode)
61 wait_queue_head_t *wq = ext4_ioend_wq(inode);
63 wait_event(*wq, (atomic_read(&EXT4_I(inode)->i_unwritten) == 0));
67 * This tests whether the IO in question is block-aligned or not.
68 * Ext4 utilizes unwritten extents when hole-filling during direct IO, and they
69 * are converted to written only after the IO is complete. Until they are
70 * mapped, these blocks appear as holes, so dio_zero_block() will assume that
71 * it needs to zero out portions of the start and/or end block. If 2 AIO
72 * threads are at work on the same unwritten block, they must be synchronized
73 * or one thread will zero the other's data, causing corruption.
76 ext4_unaligned_aio(struct inode *inode, struct iov_iter *from, loff_t pos)
78 struct super_block *sb = inode->i_sb;
79 int blockmask = sb->s_blocksize - 1;
81 if (pos >= i_size_read(inode))
84 if ((pos | iov_iter_alignment(from)) & blockmask)
91 ext4_file_write_iter(struct kiocb *iocb, struct iov_iter *from)
93 struct file *file = iocb->ki_filp;
94 struct inode *inode = file_inode(iocb->ki_filp);
95 struct mutex *aio_mutex = NULL;
97 int o_direct = io_is_direct(file);
99 size_t length = iov_iter_count(from);
101 loff_t pos = iocb->ki_pos;
104 * Unaligned direct AIO must be serialized; see comment above
105 * In the case of O_APPEND, assume that we must always serialize
108 ext4_test_inode_flag(inode, EXT4_INODE_EXTENTS) &&
109 !is_sync_kiocb(iocb) &&
110 (file->f_flags & O_APPEND ||
111 ext4_unaligned_aio(inode, from, pos))) {
112 aio_mutex = ext4_aio_mutex(inode);
113 mutex_lock(aio_mutex);
114 ext4_unwritten_wait(inode);
117 mutex_lock(&inode->i_mutex);
118 if (file->f_flags & O_APPEND)
119 iocb->ki_pos = pos = i_size_read(inode);
122 * If we have encountered a bitmap-format file, the size limit
123 * is smaller than s_maxbytes, which is for extent-mapped files.
125 if (!(ext4_test_inode_flag(inode, EXT4_INODE_EXTENTS))) {
126 struct ext4_sb_info *sbi = EXT4_SB(inode->i_sb);
128 if ((pos > sbi->s_bitmap_maxbytes) ||
129 (pos == sbi->s_bitmap_maxbytes && length > 0)) {
130 mutex_unlock(&inode->i_mutex);
135 if (pos + length > sbi->s_bitmap_maxbytes)
136 iov_iter_truncate(from, sbi->s_bitmap_maxbytes - pos);
139 iocb->private = &overwrite;
141 blk_start_plug(&plug);
144 /* check whether we do a DIO overwrite or not */
145 if (ext4_should_dioread_nolock(inode) && !aio_mutex &&
146 !file->f_mapping->nrpages && pos + length <= i_size_read(inode)) {
147 struct ext4_map_blocks map;
148 unsigned int blkbits = inode->i_blkbits;
151 map.m_lblk = pos >> blkbits;
152 map.m_len = (EXT4_BLOCK_ALIGN(pos + length, blkbits) >> blkbits)
156 err = ext4_map_blocks(NULL, inode, &map, 0);
158 * 'err==len' means that all of blocks has
159 * been preallocated no matter they are
160 * initialized or not. For excluding
161 * unwritten extents, we need to check
162 * m_flags. There are two conditions that
163 * indicate for initialized extents. 1) If we
164 * hit extent cache, EXT4_MAP_MAPPED flag is
165 * returned; 2) If we do a real lookup,
166 * non-flags are returned. So we should check
167 * these two conditions.
169 if (err == len && (map.m_flags & EXT4_MAP_MAPPED))
174 ret = __generic_file_write_iter(iocb, from);
175 mutex_unlock(&inode->i_mutex);
180 err = generic_write_sync(file, iocb->ki_pos - ret, ret);
185 blk_finish_plug(&plug);
189 mutex_unlock(aio_mutex);
194 static int ext4_dax_fault(struct vm_area_struct *vma, struct vm_fault *vmf)
196 return dax_fault(vma, vmf, ext4_get_block);
197 /* Is this the right get_block? */
200 static int ext4_dax_mkwrite(struct vm_area_struct *vma, struct vm_fault *vmf)
202 return dax_mkwrite(vma, vmf, ext4_get_block);
205 static const struct vm_operations_struct ext4_dax_vm_ops = {
206 .fault = ext4_dax_fault,
207 .page_mkwrite = ext4_dax_mkwrite,
210 #define ext4_dax_vm_ops ext4_file_vm_ops
213 static const struct vm_operations_struct ext4_file_vm_ops = {
214 .fault = filemap_fault,
215 .map_pages = filemap_map_pages,
216 .page_mkwrite = ext4_page_mkwrite,
219 static int ext4_file_mmap(struct file *file, struct vm_area_struct *vma)
221 struct inode *inode = file->f_mapping->host;
223 if (ext4_encrypted_inode(inode)) {
224 int err = ext4_generate_encryption_key(inode);
229 if (IS_DAX(file_inode(file))) {
230 vma->vm_ops = &ext4_dax_vm_ops;
231 vma->vm_flags |= VM_MIXEDMAP;
233 vma->vm_ops = &ext4_file_vm_ops;
238 static int ext4_file_open(struct inode * inode, struct file * filp)
240 struct super_block *sb = inode->i_sb;
241 struct ext4_sb_info *sbi = EXT4_SB(inode->i_sb);
242 struct vfsmount *mnt = filp->f_path.mnt;
247 if (unlikely(!(sbi->s_mount_flags & EXT4_MF_MNTDIR_SAMPLED) &&
248 !(sb->s_flags & MS_RDONLY))) {
249 sbi->s_mount_flags |= EXT4_MF_MNTDIR_SAMPLED;
251 * Sample where the filesystem has been mounted and
252 * store it in the superblock for sysadmin convenience
253 * when trying to sort through large numbers of block
254 * devices or filesystem images.
256 memset(buf, 0, sizeof(buf));
258 path.dentry = mnt->mnt_root;
259 cp = d_path(&path, buf, sizeof(buf));
264 handle = ext4_journal_start_sb(sb, EXT4_HT_MISC, 1);
266 return PTR_ERR(handle);
267 BUFFER_TRACE(sbi->s_sbh, "get_write_access");
268 err = ext4_journal_get_write_access(handle, sbi->s_sbh);
270 ext4_journal_stop(handle);
273 strlcpy(sbi->s_es->s_last_mounted, cp,
274 sizeof(sbi->s_es->s_last_mounted));
275 ext4_handle_dirty_super(handle, sb);
276 ext4_journal_stop(handle);
280 * Set up the jbd2_inode if we are opening the inode for
281 * writing and the journal is present
283 if (filp->f_mode & FMODE_WRITE) {
284 ret = ext4_inode_attach_jinode(inode);
288 ret = dquot_file_open(inode, filp);
289 if (!ret && ext4_encrypted_inode(inode)) {
290 ret = ext4_generate_encryption_key(inode);
298 * Here we use ext4_map_blocks() to get a block mapping for a extent-based
299 * file rather than ext4_ext_walk_space() because we can introduce
300 * SEEK_DATA/SEEK_HOLE for block-mapped and extent-mapped file at the same
301 * function. When extent status tree has been fully implemented, it will
302 * track all extent status for a file and we can directly use it to
303 * retrieve the offset for SEEK_DATA/SEEK_HOLE.
307 * When we retrieve the offset for SEEK_DATA/SEEK_HOLE, we would need to
308 * lookup page cache to check whether or not there has some data between
309 * [startoff, endoff] because, if this range contains an unwritten extent,
310 * we determine this extent as a data or a hole according to whether the
311 * page cache has data or not.
313 static int ext4_find_unwritten_pgoff(struct inode *inode,
315 struct ext4_map_blocks *map,
319 unsigned int blkbits;
327 blkbits = inode->i_sb->s_blocksize_bits;
330 endoff = (loff_t)(map->m_lblk + map->m_len) << blkbits;
332 index = startoff >> PAGE_CACHE_SHIFT;
333 end = endoff >> PAGE_CACHE_SHIFT;
335 pagevec_init(&pvec, 0);
338 unsigned long nr_pages;
340 num = min_t(pgoff_t, end - index, PAGEVEC_SIZE);
341 nr_pages = pagevec_lookup(&pvec, inode->i_mapping, index,
344 if (whence == SEEK_DATA)
347 BUG_ON(whence != SEEK_HOLE);
349 * If this is the first time to go into the loop and
350 * offset is not beyond the end offset, it will be a
351 * hole at this offset
353 if (lastoff == startoff || lastoff < endoff)
359 * If this is the first time to go into the loop and
360 * offset is smaller than the first page offset, it will be a
361 * hole at this offset.
363 if (lastoff == startoff && whence == SEEK_HOLE &&
364 lastoff < page_offset(pvec.pages[0])) {
369 for (i = 0; i < nr_pages; i++) {
370 struct page *page = pvec.pages[i];
371 struct buffer_head *bh, *head;
374 * If the current offset is not beyond the end of given
375 * range, it will be a hole.
377 if (lastoff < endoff && whence == SEEK_HOLE &&
386 if (unlikely(page->mapping != inode->i_mapping)) {
391 if (!page_has_buffers(page)) {
396 if (page_has_buffers(page)) {
397 lastoff = page_offset(page);
398 bh = head = page_buffers(page);
400 if (buffer_uptodate(bh) ||
401 buffer_unwritten(bh)) {
402 if (whence == SEEK_DATA)
405 if (whence == SEEK_HOLE)
409 *offset = max_t(loff_t,
414 lastoff += bh->b_size;
415 bh = bh->b_this_page;
416 } while (bh != head);
419 lastoff = page_offset(page) + PAGE_SIZE;
424 * The no. of pages is less than our desired, that would be a
427 if (nr_pages < num && whence == SEEK_HOLE) {
433 index = pvec.pages[i - 1]->index + 1;
434 pagevec_release(&pvec);
435 } while (index <= end);
438 pagevec_release(&pvec);
443 * ext4_seek_data() retrieves the offset for SEEK_DATA.
445 static loff_t ext4_seek_data(struct file *file, loff_t offset, loff_t maxsize)
447 struct inode *inode = file->f_mapping->host;
448 struct ext4_map_blocks map;
449 struct extent_status es;
450 ext4_lblk_t start, last, end;
451 loff_t dataoff, isize;
455 mutex_lock(&inode->i_mutex);
457 isize = i_size_read(inode);
458 if (offset >= isize) {
459 mutex_unlock(&inode->i_mutex);
463 blkbits = inode->i_sb->s_blocksize_bits;
464 start = offset >> blkbits;
466 end = isize >> blkbits;
471 map.m_len = end - last + 1;
472 ret = ext4_map_blocks(NULL, inode, &map, 0);
473 if (ret > 0 && !(map.m_flags & EXT4_MAP_UNWRITTEN)) {
475 dataoff = (loff_t)last << blkbits;
480 * If there is a delay extent at this offset,
481 * it will be as a data.
483 ext4_es_find_delayed_extent_range(inode, last, last, &es);
484 if (es.es_len != 0 && in_range(last, es.es_lblk, es.es_len)) {
486 dataoff = (loff_t)last << blkbits;
491 * If there is a unwritten extent at this offset,
492 * it will be as a data or a hole according to page
493 * cache that has data or not.
495 if (map.m_flags & EXT4_MAP_UNWRITTEN) {
497 unwritten = ext4_find_unwritten_pgoff(inode, SEEK_DATA,
504 dataoff = (loff_t)last << blkbits;
505 } while (last <= end);
507 mutex_unlock(&inode->i_mutex);
512 return vfs_setpos(file, dataoff, maxsize);
516 * ext4_seek_hole() retrieves the offset for SEEK_HOLE.
518 static loff_t ext4_seek_hole(struct file *file, loff_t offset, loff_t maxsize)
520 struct inode *inode = file->f_mapping->host;
521 struct ext4_map_blocks map;
522 struct extent_status es;
523 ext4_lblk_t start, last, end;
524 loff_t holeoff, isize;
528 mutex_lock(&inode->i_mutex);
530 isize = i_size_read(inode);
531 if (offset >= isize) {
532 mutex_unlock(&inode->i_mutex);
536 blkbits = inode->i_sb->s_blocksize_bits;
537 start = offset >> blkbits;
539 end = isize >> blkbits;
544 map.m_len = end - last + 1;
545 ret = ext4_map_blocks(NULL, inode, &map, 0);
546 if (ret > 0 && !(map.m_flags & EXT4_MAP_UNWRITTEN)) {
548 holeoff = (loff_t)last << blkbits;
553 * If there is a delay extent at this offset,
554 * we will skip this extent.
556 ext4_es_find_delayed_extent_range(inode, last, last, &es);
557 if (es.es_len != 0 && in_range(last, es.es_lblk, es.es_len)) {
558 last = es.es_lblk + es.es_len;
559 holeoff = (loff_t)last << blkbits;
564 * If there is a unwritten extent at this offset,
565 * it will be as a data or a hole according to page
566 * cache that has data or not.
568 if (map.m_flags & EXT4_MAP_UNWRITTEN) {
570 unwritten = ext4_find_unwritten_pgoff(inode, SEEK_HOLE,
574 holeoff = (loff_t)last << blkbits;
581 } while (last <= end);
583 mutex_unlock(&inode->i_mutex);
588 return vfs_setpos(file, holeoff, maxsize);
592 * ext4_llseek() handles both block-mapped and extent-mapped maxbytes values
593 * by calling generic_file_llseek_size() with the appropriate maxbytes
596 loff_t ext4_llseek(struct file *file, loff_t offset, int whence)
598 struct inode *inode = file->f_mapping->host;
601 if (!(ext4_test_inode_flag(inode, EXT4_INODE_EXTENTS)))
602 maxbytes = EXT4_SB(inode->i_sb)->s_bitmap_maxbytes;
604 maxbytes = inode->i_sb->s_maxbytes;
610 return generic_file_llseek_size(file, offset, whence,
611 maxbytes, i_size_read(inode));
613 return ext4_seek_data(file, offset, maxbytes);
615 return ext4_seek_hole(file, offset, maxbytes);
621 const struct file_operations ext4_file_operations = {
622 .llseek = ext4_llseek,
623 .read = new_sync_read,
624 .write = new_sync_write,
625 .read_iter = generic_file_read_iter,
626 .write_iter = ext4_file_write_iter,
627 .unlocked_ioctl = ext4_ioctl,
629 .compat_ioctl = ext4_compat_ioctl,
631 .mmap = ext4_file_mmap,
632 .open = ext4_file_open,
633 .release = ext4_release_file,
634 .fsync = ext4_sync_file,
635 .splice_read = generic_file_splice_read,
636 .splice_write = iter_file_splice_write,
637 .fallocate = ext4_fallocate,
641 const struct file_operations ext4_dax_file_operations = {
642 .llseek = ext4_llseek,
643 .read = new_sync_read,
644 .write = new_sync_write,
645 .read_iter = generic_file_read_iter,
646 .write_iter = ext4_file_write_iter,
647 .unlocked_ioctl = ext4_ioctl,
649 .compat_ioctl = ext4_compat_ioctl,
651 .mmap = ext4_file_mmap,
652 .open = ext4_file_open,
653 .release = ext4_release_file,
654 .fsync = ext4_sync_file,
655 /* Splice not yet supported with DAX */
656 .fallocate = ext4_fallocate,
660 const struct inode_operations ext4_file_inode_operations = {
661 .setattr = ext4_setattr,
662 .getattr = ext4_getattr,
663 .setxattr = generic_setxattr,
664 .getxattr = generic_getxattr,
665 .listxattr = ext4_listxattr,
666 .removexattr = generic_removexattr,
667 .get_acl = ext4_get_acl,
668 .set_acl = ext4_set_acl,
669 .fiemap = ext4_fiemap,