blob: 79e2bacedc2de8b5dd03c9191730d1823af7640a [file] [log] [blame]
Dave Kleikampac27a0e2006-10-11 01:20:50 -07001/*
Mingming Cao617ba132006-10-11 01:20:53 -07002 * linux/fs/ext4/file.c
Dave Kleikampac27a0e2006-10-11 01:20:50 -07003 *
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)
8 *
9 * from
10 *
11 * linux/fs/minix/file.c
12 *
13 * Copyright (C) 1991, 1992 Linus Torvalds
14 *
Mingming Cao617ba132006-10-11 01:20:53 -070015 * ext4 fs regular file handling primitives
Dave Kleikampac27a0e2006-10-11 01:20:50 -070016 *
17 * 64-bit file support on 64-bit platforms by Jakub Jelinek
18 * (jj@sunsite.ms.mff.cuni.cz)
19 */
20
21#include <linux/time.h>
22#include <linux/fs.h>
Theodore Ts'obc0b0d62009-06-13 10:09:48 -040023#include <linux/mount.h>
24#include <linux/path.h>
Matthew Wilcoxc94c2ac2015-09-08 14:58:40 -070025#include <linux/dax.h>
Christoph Hellwig871a2932010-03-03 09:05:07 -050026#include <linux/quotaops.h>
Zheng Liuc8c0df22012-11-08 21:57:40 -050027#include <linux/pagevec.h>
Christoph Hellwige2e40f22015-02-22 08:58:50 -080028#include <linux/uio.h>
Christoph Hellwig3dcf5452008-04-29 18:13:32 -040029#include "ext4.h"
30#include "ext4_jbd2.h"
Dave Kleikampac27a0e2006-10-11 01:20:50 -070031#include "xattr.h"
32#include "acl.h"
33
34/*
35 * Called when an inode is released. Note that this is different
Mingming Cao617ba132006-10-11 01:20:53 -070036 * from ext4_file_open: open gets called at every open, but release
Dave Kleikampac27a0e2006-10-11 01:20:50 -070037 * gets called only when /all/ the files are closed.
38 */
Theodore Ts'oaf5bc922008-09-08 22:25:24 -040039static int ext4_release_file(struct inode *inode, struct file *filp)
Dave Kleikampac27a0e2006-10-11 01:20:50 -070040{
Theodore Ts'o19f5fb72010-01-24 14:34:07 -050041 if (ext4_test_inode_state(inode, EXT4_STATE_DA_ALLOC_CLOSE)) {
Theodore Ts'o7d8f9f72009-02-24 08:21:14 -050042 ext4_alloc_da_blocks(inode);
Theodore Ts'o19f5fb72010-01-24 14:34:07 -050043 ext4_clear_inode_state(inode, EXT4_STATE_DA_ALLOC_CLOSE);
Theodore Ts'o7d8f9f72009-02-24 08:21:14 -050044 }
Dave Kleikampac27a0e2006-10-11 01:20:50 -070045 /* if we are the last writer on the inode, drop the block reservation */
46 if ((filp->f_mode & FMODE_WRITE) &&
Aneesh Kumar K.Vd6014302009-03-27 22:36:43 -040047 (atomic_read(&inode->i_writecount) == 1) &&
48 !EXT4_I(inode)->i_reserved_data_blocks)
Dave Kleikampac27a0e2006-10-11 01:20:50 -070049 {
Aneesh Kumar K.V0e855ac2008-01-28 23:58:26 -050050 down_write(&EXT4_I(inode)->i_data_sem);
Theodore Ts'oc2ea3fd2008-10-10 09:40:52 -040051 ext4_discard_preallocations(inode);
Aneesh Kumar K.V0e855ac2008-01-28 23:58:26 -050052 up_write(&EXT4_I(inode)->i_data_sem);
Dave Kleikampac27a0e2006-10-11 01:20:50 -070053 }
54 if (is_dx(inode) && filp->private_data)
Mingming Cao617ba132006-10-11 01:20:53 -070055 ext4_htree_free_dir_info(filp->private_data);
Dave Kleikampac27a0e2006-10-11 01:20:50 -070056
57 return 0;
58}
59
Stephen Hemmingerc1978552014-05-12 10:50:23 -040060static void ext4_unwritten_wait(struct inode *inode)
Eric Sandeene9e3bce2011-02-12 08:17:34 -050061{
62 wait_queue_head_t *wq = ext4_ioend_wq(inode);
63
Dmitry Monakhove27f41e2012-09-28 23:24:52 -040064 wait_event(*wq, (atomic_read(&EXT4_I(inode)->i_unwritten) == 0));
Eric Sandeene9e3bce2011-02-12 08:17:34 -050065}
66
67/*
68 * This tests whether the IO in question is block-aligned or not.
69 * Ext4 utilizes unwritten extents when hole-filling during direct IO, and they
70 * are converted to written only after the IO is complete. Until they are
71 * mapped, these blocks appear as holes, so dio_zero_block() will assume that
72 * it needs to zero out portions of the start and/or end block. If 2 AIO
73 * threads are at work on the same unwritten block, they must be synchronized
74 * or one thread will zero the other's data, causing corruption.
75 */
76static int
Al Viro9b884162014-04-17 16:09:22 -040077ext4_unaligned_aio(struct inode *inode, struct iov_iter *from, loff_t pos)
Eric Sandeene9e3bce2011-02-12 08:17:34 -050078{
79 struct super_block *sb = inode->i_sb;
80 int blockmask = sb->s_blocksize - 1;
Eric Sandeene9e3bce2011-02-12 08:17:34 -050081
Theodore Ts'o6e6358f2014-04-12 12:45:25 -040082 if (pos >= i_size_read(inode))
Eric Sandeene9e3bce2011-02-12 08:17:34 -050083 return 0;
84
Al Viro9b884162014-04-17 16:09:22 -040085 if ((pos | iov_iter_alignment(from)) & blockmask)
Eric Sandeene9e3bce2011-02-12 08:17:34 -050086 return 1;
87
88 return 0;
89}
90
Dave Kleikampac27a0e2006-10-11 01:20:50 -070091static ssize_t
Al Viro9b884162014-04-17 16:09:22 -040092ext4_file_write_iter(struct kiocb *iocb, struct iov_iter *from)
Dave Kleikampac27a0e2006-10-11 01:20:50 -070093{
Al Viro496ad9a2013-01-23 17:07:38 -050094 struct inode *inode = file_inode(iocb->ki_filp);
Al Viro2ba48ce2015-04-09 13:52:01 -040095 int o_direct = iocb->ki_flags & IOCB_DIRECT;
Jan Karae142d052016-03-08 22:44:50 -050096 int unaligned_aio = 0;
Theodore Ts'o8ad28502014-04-21 14:26:57 -040097 int overwrite = 0;
Zheng Liu85630002012-05-28 18:06:51 -040098 ssize_t ret;
Theodore Ts'o7608e612014-04-21 14:26:28 -040099
Al Viro59551022016-01-22 15:40:57 -0500100 inode_lock(inode);
Al Viro3309dd02015-04-09 12:55:47 -0400101 ret = generic_write_checks(iocb, from);
102 if (ret <= 0)
Al Viroe768d7f2015-04-07 14:48:22 -0400103 goto out;
Theodore Ts'of5ccfe12014-04-21 14:37:52 -0400104
105 /*
Jan Karae142d052016-03-08 22:44:50 -0500106 * Unaligned direct AIO must be serialized among each other as zeroing
107 * of partial blocks of two competing unaligned AIOs can result in data
108 * corruption.
109 */
110 if (o_direct && ext4_test_inode_flag(inode, EXT4_INODE_EXTENTS) &&
111 !is_sync_kiocb(iocb) &&
112 ext4_unaligned_aio(inode, from, iocb->ki_pos)) {
113 unaligned_aio = 1;
114 ext4_unwritten_wait(inode);
115 }
116
117 /*
Eric Sandeene2b46572008-01-28 23:58:27 -0500118 * If we have encountered a bitmap-format file, the size limit
119 * is smaller than s_maxbytes, which is for extent-mapped files.
120 */
Dmitry Monakhov12e9b892010-05-16 22:00:00 -0400121 if (!(ext4_test_inode_flag(inode, EXT4_INODE_EXTENTS))) {
Eric Sandeene2b46572008-01-28 23:58:27 -0500122 struct ext4_sb_info *sbi = EXT4_SB(inode->i_sb);
Eric Sandeene2b46572008-01-28 23:58:27 -0500123
Al Viro3309dd02015-04-09 12:55:47 -0400124 if (iocb->ki_pos >= sbi->s_bitmap_maxbytes) {
Theodore Ts'of5ccfe12014-04-21 14:37:52 -0400125 ret = -EFBIG;
Al Viroe768d7f2015-04-07 14:48:22 -0400126 goto out;
Theodore Ts'of5ccfe12014-04-21 14:37:52 -0400127 }
Al Viro3309dd02015-04-09 12:55:47 -0400128 iov_iter_truncate(from, sbi->s_bitmap_maxbytes - iocb->ki_pos);
Eric Sandeene2b46572008-01-28 23:58:27 -0500129 }
130
Dmitry Monakhova41537e2014-10-30 10:53:16 -0400131 iocb->private = &overwrite;
Theodore Ts'o7ed07ba2014-04-21 14:36:30 -0400132 if (o_direct) {
Al Viro3309dd02015-04-09 12:55:47 -0400133 size_t length = iov_iter_count(from);
134 loff_t pos = iocb->ki_pos;
Theodore Ts'o8ad28502014-04-21 14:26:57 -0400135
Theodore Ts'o8ad28502014-04-21 14:26:57 -0400136 /* check whether we do a DIO overwrite or not */
Jan Karae142d052016-03-08 22:44:50 -0500137 if (ext4_should_dioread_nolock(inode) && !unaligned_aio &&
Jan Kara4b0524a2016-09-30 01:55:32 -0400138 pos + length <= i_size_read(inode)) {
Theodore Ts'o8ad28502014-04-21 14:26:57 -0400139 struct ext4_map_blocks map;
140 unsigned int blkbits = inode->i_blkbits;
141 int err, len;
142
143 map.m_lblk = pos >> blkbits;
Fabian Frederick518eaa62016-09-15 11:55:01 -0400144 map.m_len = EXT4_MAX_BLOCKS(length, pos, blkbits);
Theodore Ts'o8ad28502014-04-21 14:26:57 -0400145 len = map.m_len;
146
147 err = ext4_map_blocks(NULL, inode, &map, 0);
148 /*
149 * 'err==len' means that all of blocks has
150 * been preallocated no matter they are
151 * initialized or not. For excluding
152 * unwritten extents, we need to check
153 * m_flags. There are two conditions that
154 * indicate for initialized extents. 1) If we
155 * hit extent cache, EXT4_MAP_MAPPED flag is
156 * returned; 2) If we do a real lookup,
157 * non-flags are returned. So we should check
158 * these two conditions.
159 */
160 if (err == len && (map.m_flags & EXT4_MAP_MAPPED))
161 overwrite = 1;
162 }
Theodore Ts'of5ccfe12014-04-21 14:37:52 -0400163 }
Theodore Ts'o8ad28502014-04-21 14:26:57 -0400164
Al Viro9b884162014-04-17 16:09:22 -0400165 ret = __generic_file_write_iter(iocb, from);
Al Viro59551022016-01-22 15:40:57 -0500166 inode_unlock(inode);
Theodore Ts'o8ad28502014-04-21 14:26:57 -0400167
Christoph Hellwige2592212016-04-07 08:52:01 -0700168 if (ret > 0)
169 ret = generic_write_sync(iocb, ret);
Theodore Ts'o8ad28502014-04-21 14:26:57 -0400170
Al Viroe768d7f2015-04-07 14:48:22 -0400171 return ret;
172
173out:
Al Viro59551022016-01-22 15:40:57 -0500174 inode_unlock(inode);
Eric Sandeene9e3bce2011-02-12 08:17:34 -0500175 return ret;
Dave Kleikampac27a0e2006-10-11 01:20:50 -0700176}
177
Ross Zwisler923ae0f2015-02-16 15:59:38 -0800178#ifdef CONFIG_FS_DAX
179static int ext4_dax_fault(struct vm_area_struct *vma, struct vm_fault *vmf)
180{
Matthew Wilcox01a33b42015-09-08 14:59:22 -0700181 int result;
182 handle_t *handle = NULL;
Jan Karaea3d7202015-12-07 14:28:03 -0500183 struct inode *inode = file_inode(vma->vm_file);
184 struct super_block *sb = inode->i_sb;
Matthew Wilcox01a33b42015-09-08 14:59:22 -0700185 bool write = vmf->flags & FAULT_FLAG_WRITE;
186
187 if (write) {
188 sb_start_pagefault(sb);
189 file_update_time(vma->vm_file);
Jan Karaea3d7202015-12-07 14:28:03 -0500190 down_read(&EXT4_I(inode)->i_mmap_sem);
Matthew Wilcox01a33b42015-09-08 14:59:22 -0700191 handle = ext4_journal_start_sb(sb, EXT4_HT_WRITE_PAGE,
192 EXT4_DATA_TRANS_BLOCKS(sb));
Jan Karaea3d7202015-12-07 14:28:03 -0500193 } else
194 down_read(&EXT4_I(inode)->i_mmap_sem);
Matthew Wilcox01a33b42015-09-08 14:59:22 -0700195
196 if (IS_ERR(handle))
197 result = VM_FAULT_SIGBUS;
198 else
Ross Zwisler6b524992016-07-26 15:21:05 -0700199 result = dax_fault(vma, vmf, ext4_dax_get_block);
Matthew Wilcox01a33b42015-09-08 14:59:22 -0700200
201 if (write) {
202 if (!IS_ERR(handle))
203 ext4_journal_stop(handle);
Jan Karaea3d7202015-12-07 14:28:03 -0500204 up_read(&EXT4_I(inode)->i_mmap_sem);
Matthew Wilcox01a33b42015-09-08 14:59:22 -0700205 sb_end_pagefault(sb);
Jan Karaea3d7202015-12-07 14:28:03 -0500206 } else
207 up_read(&EXT4_I(inode)->i_mmap_sem);
Matthew Wilcox01a33b42015-09-08 14:59:22 -0700208
209 return result;
Ross Zwisler923ae0f2015-02-16 15:59:38 -0800210}
211
Matthew Wilcox11bd1a92015-09-08 14:59:03 -0700212static int ext4_dax_pmd_fault(struct vm_area_struct *vma, unsigned long addr,
213 pmd_t *pmd, unsigned int flags)
214{
Matthew Wilcox01a33b42015-09-08 14:59:22 -0700215 int result;
216 handle_t *handle = NULL;
217 struct inode *inode = file_inode(vma->vm_file);
218 struct super_block *sb = inode->i_sb;
219 bool write = flags & FAULT_FLAG_WRITE;
220
221 if (write) {
222 sb_start_pagefault(sb);
223 file_update_time(vma->vm_file);
Jan Karaea3d7202015-12-07 14:28:03 -0500224 down_read(&EXT4_I(inode)->i_mmap_sem);
Matthew Wilcox01a33b42015-09-08 14:59:22 -0700225 handle = ext4_journal_start_sb(sb, EXT4_HT_WRITE_PAGE,
226 ext4_chunk_trans_blocks(inode,
227 PMD_SIZE / PAGE_SIZE));
Jan Karaea3d7202015-12-07 14:28:03 -0500228 } else
229 down_read(&EXT4_I(inode)->i_mmap_sem);
Matthew Wilcox01a33b42015-09-08 14:59:22 -0700230
231 if (IS_ERR(handle))
232 result = VM_FAULT_SIGBUS;
233 else
Ross Zwisler6b524992016-07-26 15:21:05 -0700234 result = dax_pmd_fault(vma, addr, pmd, flags,
Jan Kara02fbd132016-05-11 11:58:48 +0200235 ext4_dax_get_block);
Matthew Wilcox01a33b42015-09-08 14:59:22 -0700236
237 if (write) {
238 if (!IS_ERR(handle))
239 ext4_journal_stop(handle);
Jan Karaea3d7202015-12-07 14:28:03 -0500240 up_read(&EXT4_I(inode)->i_mmap_sem);
Matthew Wilcox01a33b42015-09-08 14:59:22 -0700241 sb_end_pagefault(sb);
Jan Karaea3d7202015-12-07 14:28:03 -0500242 } else
243 up_read(&EXT4_I(inode)->i_mmap_sem);
Matthew Wilcox01a33b42015-09-08 14:59:22 -0700244
245 return result;
Matthew Wilcox11bd1a92015-09-08 14:59:03 -0700246}
247
Jan Karaea3d7202015-12-07 14:28:03 -0500248/*
Ross Zwisler1e9d1802016-02-27 14:01:13 -0500249 * Handle write fault for VM_MIXEDMAP mappings. Similarly to ext4_dax_fault()
Jan Karaea3d7202015-12-07 14:28:03 -0500250 * handler we check for races agaist truncate. Note that since we cycle through
251 * i_mmap_sem, we are sure that also any hole punching that began before we
252 * were called is finished by now and so if it included part of the file we
253 * are working on, our pte will get unmapped and the check for pte_same() in
254 * wp_pfn_shared() fails. Thus fault gets retried and things work out as
255 * desired.
256 */
257static int ext4_dax_pfn_mkwrite(struct vm_area_struct *vma,
258 struct vm_fault *vmf)
259{
260 struct inode *inode = file_inode(vma->vm_file);
261 struct super_block *sb = inode->i_sb;
Jan Karaea3d7202015-12-07 14:28:03 -0500262 loff_t size;
Ross Zwislerd5be7a02016-01-22 15:10:53 -0800263 int ret;
Jan Karaea3d7202015-12-07 14:28:03 -0500264
265 sb_start_pagefault(sb);
266 file_update_time(vma->vm_file);
267 down_read(&EXT4_I(inode)->i_mmap_sem);
268 size = (i_size_read(inode) + PAGE_SIZE - 1) >> PAGE_SHIFT;
269 if (vmf->pgoff >= size)
270 ret = VM_FAULT_SIGBUS;
Ross Zwislerd5be7a02016-01-22 15:10:53 -0800271 else
272 ret = dax_pfn_mkwrite(vma, vmf);
Jan Karaea3d7202015-12-07 14:28:03 -0500273 up_read(&EXT4_I(inode)->i_mmap_sem);
274 sb_end_pagefault(sb);
275
276 return ret;
Ross Zwisler923ae0f2015-02-16 15:59:38 -0800277}
278
279static const struct vm_operations_struct ext4_dax_vm_ops = {
280 .fault = ext4_dax_fault,
Matthew Wilcox11bd1a92015-09-08 14:59:03 -0700281 .pmd_fault = ext4_dax_pmd_fault,
Ross Zwisler1e9d1802016-02-27 14:01:13 -0500282 .page_mkwrite = ext4_dax_fault,
Jan Karaea3d7202015-12-07 14:28:03 -0500283 .pfn_mkwrite = ext4_dax_pfn_mkwrite,
Ross Zwisler923ae0f2015-02-16 15:59:38 -0800284};
285#else
286#define ext4_dax_vm_ops ext4_file_vm_ops
287#endif
288
Alexey Dobriyanf0f37e22009-09-27 22:29:37 +0400289static const struct vm_operations_struct ext4_file_vm_ops = {
Jan Karaea3d7202015-12-07 14:28:03 -0500290 .fault = ext4_filemap_fault,
Kirill A. Shutemovf1820362014-04-07 15:37:19 -0700291 .map_pages = filemap_map_pages,
Aneesh Kumar K.V2e9ee852008-07-11 19:27:31 -0400292 .page_mkwrite = ext4_page_mkwrite,
293};
294
295static int ext4_file_mmap(struct file *file, struct vm_area_struct *vma)
296{
Michael Halcrowc9c74292015-04-12 00:56:10 -0400297 struct inode *inode = file->f_mapping->host;
298
299 if (ext4_encrypted_inode(inode)) {
Jaegeuk Kima7550b32016-07-10 14:01:03 -0400300 int err = fscrypt_get_encryption_info(inode);
Michael Halcrowc9c74292015-04-12 00:56:10 -0400301 if (err)
302 return 0;
Jaegeuk Kima7550b32016-07-10 14:01:03 -0400303 if (!fscrypt_has_encryption_key(inode))
Theodore Ts'oabdd4382015-05-31 13:35:39 -0400304 return -ENOKEY;
Michael Halcrowc9c74292015-04-12 00:56:10 -0400305 }
Aneesh Kumar K.V2e9ee852008-07-11 19:27:31 -0400306 file_accessed(file);
Ross Zwisler923ae0f2015-02-16 15:59:38 -0800307 if (IS_DAX(file_inode(file))) {
308 vma->vm_ops = &ext4_dax_vm_ops;
Matthew Wilcox11bd1a92015-09-08 14:59:03 -0700309 vma->vm_flags |= VM_MIXEDMAP | VM_HUGEPAGE;
Ross Zwisler923ae0f2015-02-16 15:59:38 -0800310 } else {
311 vma->vm_ops = &ext4_file_vm_ops;
312 }
Aneesh Kumar K.V2e9ee852008-07-11 19:27:31 -0400313 return 0;
314}
315
Theodore Ts'obc0b0d62009-06-13 10:09:48 -0400316static int ext4_file_open(struct inode * inode, struct file * filp)
317{
318 struct super_block *sb = inode->i_sb;
319 struct ext4_sb_info *sbi = EXT4_SB(inode->i_sb);
320 struct vfsmount *mnt = filp->f_path.mnt;
321 struct path path;
322 char buf[64], *cp;
Michael Halcrowc9c74292015-04-12 00:56:10 -0400323 int ret;
Theodore Ts'obc0b0d62009-06-13 10:09:48 -0400324
325 if (unlikely(!(sbi->s_mount_flags & EXT4_MF_MNTDIR_SAMPLED) &&
326 !(sb->s_flags & MS_RDONLY))) {
327 sbi->s_mount_flags |= EXT4_MF_MNTDIR_SAMPLED;
328 /*
329 * Sample where the filesystem has been mounted and
330 * store it in the superblock for sysadmin convenience
331 * when trying to sort through large numbers of block
332 * devices or filesystem images.
333 */
334 memset(buf, 0, sizeof(buf));
Al Viro38991672010-01-23 20:10:29 -0500335 path.mnt = mnt;
336 path.dentry = mnt->mnt_root;
Theodore Ts'obc0b0d62009-06-13 10:09:48 -0400337 cp = d_path(&path, buf, sizeof(buf));
Theodore Ts'obc0b0d62009-06-13 10:09:48 -0400338 if (!IS_ERR(cp)) {
Jan Kara044ce472012-07-22 20:31:31 -0400339 handle_t *handle;
340 int err;
341
Theodore Ts'o9924a922013-02-08 21:59:22 -0500342 handle = ext4_journal_start_sb(sb, EXT4_HT_MISC, 1);
Jan Kara044ce472012-07-22 20:31:31 -0400343 if (IS_ERR(handle))
344 return PTR_ERR(handle);
liang xie5d601252014-05-12 22:06:43 -0400345 BUFFER_TRACE(sbi->s_sbh, "get_write_access");
Jan Kara044ce472012-07-22 20:31:31 -0400346 err = ext4_journal_get_write_access(handle, sbi->s_sbh);
347 if (err) {
348 ext4_journal_stop(handle);
349 return err;
350 }
Darrick J. Wongcf803902011-10-25 09:18:41 -0400351 strlcpy(sbi->s_es->s_last_mounted, cp,
352 sizeof(sbi->s_es->s_last_mounted));
Jan Kara044ce472012-07-22 20:31:31 -0400353 ext4_handle_dirty_super(handle, sb);
354 ext4_journal_stop(handle);
Theodore Ts'obc0b0d62009-06-13 10:09:48 -0400355 }
356 }
Miklos Szeredi9dd78d82016-03-26 16:14:41 -0400357
Eric Biggersec686d22017-10-18 20:21:57 -0400358 ret = fscrypt_file_open(inode, filp);
359 if (ret)
360 return ret;
361
Theodore Ts'o8aefcd52011-01-10 12:29:43 -0500362 /*
363 * Set up the jbd2_inode if we are opening the inode for
364 * writing and the journal is present
365 */
Jan Karaa3612932013-08-16 21:19:41 -0400366 if (filp->f_mode & FMODE_WRITE) {
Michael Halcrowc9c74292015-04-12 00:56:10 -0400367 ret = ext4_inode_attach_jinode(inode);
Jan Karaa3612932013-08-16 21:19:41 -0400368 if (ret < 0)
369 return ret;
Theodore Ts'o8aefcd52011-01-10 12:29:43 -0500370 }
Theodore Ts'oabdd4382015-05-31 13:35:39 -0400371 return dquot_file_open(inode, filp);
Theodore Ts'obc0b0d62009-06-13 10:09:48 -0400372}
373
Toshiyuki Okajimae0d10bf2010-10-27 21:30:06 -0400374/*
Zheng Liuc8c0df22012-11-08 21:57:40 -0500375 * Here we use ext4_map_blocks() to get a block mapping for a extent-based
376 * file rather than ext4_ext_walk_space() because we can introduce
377 * SEEK_DATA/SEEK_HOLE for block-mapped and extent-mapped file at the same
378 * function. When extent status tree has been fully implemented, it will
379 * track all extent status for a file and we can directly use it to
380 * retrieve the offset for SEEK_DATA/SEEK_HOLE.
381 */
382
383/*
384 * When we retrieve the offset for SEEK_DATA/SEEK_HOLE, we would need to
385 * lookup page cache to check whether or not there has some data between
386 * [startoff, endoff] because, if this range contains an unwritten extent,
387 * we determine this extent as a data or a hole according to whether the
388 * page cache has data or not.
389 */
Theodore Ts'oad7fefb2015-01-02 15:16:00 -0500390static int ext4_find_unwritten_pgoff(struct inode *inode,
391 int whence,
Jan Kara2d90c162016-03-09 23:11:13 -0500392 ext4_lblk_t end_blk,
Theodore Ts'oad7fefb2015-01-02 15:16:00 -0500393 loff_t *offset)
Zheng Liuc8c0df22012-11-08 21:57:40 -0500394{
395 struct pagevec pvec;
Theodore Ts'oad7fefb2015-01-02 15:16:00 -0500396 unsigned int blkbits;
Zheng Liuc8c0df22012-11-08 21:57:40 -0500397 pgoff_t index;
398 pgoff_t end;
Theodore Ts'oad7fefb2015-01-02 15:16:00 -0500399 loff_t endoff;
Zheng Liuc8c0df22012-11-08 21:57:40 -0500400 loff_t startoff;
401 loff_t lastoff;
402 int found = 0;
403
Theodore Ts'oad7fefb2015-01-02 15:16:00 -0500404 blkbits = inode->i_sb->s_blocksize_bits;
Zheng Liuc8c0df22012-11-08 21:57:40 -0500405 startoff = *offset;
406 lastoff = startoff;
Jan Kara2d90c162016-03-09 23:11:13 -0500407 endoff = (loff_t)end_blk << blkbits;
Zheng Liuc8c0df22012-11-08 21:57:40 -0500408
Kirill A. Shutemov09cbfea2016-04-01 15:29:47 +0300409 index = startoff >> PAGE_SHIFT;
410 end = endoff >> PAGE_SHIFT;
Zheng Liuc8c0df22012-11-08 21:57:40 -0500411
412 pagevec_init(&pvec, 0);
413 do {
414 int i, num;
415 unsigned long nr_pages;
416
417 num = min_t(pgoff_t, end - index, PAGEVEC_SIZE);
418 nr_pages = pagevec_lookup(&pvec, inode->i_mapping, index,
419 (pgoff_t)num);
Jan Kara98508442017-05-21 22:33:23 -0400420 if (nr_pages == 0)
Zheng Liuc8c0df22012-11-08 21:57:40 -0500421 break;
Zheng Liuc8c0df22012-11-08 21:57:40 -0500422
423 for (i = 0; i < nr_pages; i++) {
424 struct page *page = pvec.pages[i];
425 struct buffer_head *bh, *head;
426
427 /*
Jan Kara98508442017-05-21 22:33:23 -0400428 * If current offset is smaller than the page offset,
429 * there is a hole at this offset.
Zheng Liuc8c0df22012-11-08 21:57:40 -0500430 */
Jan Kara98508442017-05-21 22:33:23 -0400431 if (whence == SEEK_HOLE && lastoff < endoff &&
432 lastoff < page_offset(pvec.pages[i])) {
Zheng Liuc8c0df22012-11-08 21:57:40 -0500433 found = 1;
434 *offset = lastoff;
435 goto out;
436 }
437
Jan Kara98508442017-05-21 22:33:23 -0400438 if (page->index > end)
439 goto out;
440
Zheng Liuc8c0df22012-11-08 21:57:40 -0500441 lock_page(page);
442
443 if (unlikely(page->mapping != inode->i_mapping)) {
444 unlock_page(page);
445 continue;
446 }
447
448 if (!page_has_buffers(page)) {
449 unlock_page(page);
450 continue;
451 }
452
453 if (page_has_buffers(page)) {
454 lastoff = page_offset(page);
455 bh = head = page_buffers(page);
456 do {
457 if (buffer_uptodate(bh) ||
458 buffer_unwritten(bh)) {
Andrew Morton965c8e52012-12-17 15:59:39 -0800459 if (whence == SEEK_DATA)
Zheng Liuc8c0df22012-11-08 21:57:40 -0500460 found = 1;
461 } else {
Andrew Morton965c8e52012-12-17 15:59:39 -0800462 if (whence == SEEK_HOLE)
Zheng Liuc8c0df22012-11-08 21:57:40 -0500463 found = 1;
464 }
465 if (found) {
466 *offset = max_t(loff_t,
467 startoff, lastoff);
468 unlock_page(page);
469 goto out;
470 }
471 lastoff += bh->b_size;
472 bh = bh->b_this_page;
473 } while (bh != head);
474 }
475
476 lastoff = page_offset(page) + PAGE_SIZE;
477 unlock_page(page);
478 }
479
Jan Kara98508442017-05-21 22:33:23 -0400480 /* The no. of pages is less than our desired, we are done. */
481 if (nr_pages < num)
Zheng Liuc8c0df22012-11-08 21:57:40 -0500482 break;
Zheng Liuc8c0df22012-11-08 21:57:40 -0500483
484 index = pvec.pages[i - 1]->index + 1;
485 pagevec_release(&pvec);
486 } while (index <= end);
487
Jan Kara98508442017-05-21 22:33:23 -0400488 if (whence == SEEK_HOLE && lastoff < endoff) {
489 found = 1;
490 *offset = lastoff;
491 }
Zheng Liuc8c0df22012-11-08 21:57:40 -0500492out:
493 pagevec_release(&pvec);
494 return found;
495}
496
497/*
498 * ext4_seek_data() retrieves the offset for SEEK_DATA.
499 */
500static loff_t ext4_seek_data(struct file *file, loff_t offset, loff_t maxsize)
501{
502 struct inode *inode = file->f_mapping->host;
Theodore Ts'oad7fefb2015-01-02 15:16:00 -0500503 struct extent_status es;
504 ext4_lblk_t start, last, end;
505 loff_t dataoff, isize;
506 int blkbits;
Jan Kara2d90c162016-03-09 23:11:13 -0500507 int ret;
Zheng Liuc8c0df22012-11-08 21:57:40 -0500508
Al Viro59551022016-01-22 15:40:57 -0500509 inode_lock(inode);
Theodore Ts'oad7fefb2015-01-02 15:16:00 -0500510
511 isize = i_size_read(inode);
512 if (offset >= isize) {
Al Viro59551022016-01-22 15:40:57 -0500513 inode_unlock(inode);
Zheng Liuc8c0df22012-11-08 21:57:40 -0500514 return -ENXIO;
515 }
516
Theodore Ts'oad7fefb2015-01-02 15:16:00 -0500517 blkbits = inode->i_sb->s_blocksize_bits;
518 start = offset >> blkbits;
519 last = start;
520 end = isize >> blkbits;
521 dataoff = offset;
Zheng Liuc8c0df22012-11-08 21:57:40 -0500522
Theodore Ts'oad7fefb2015-01-02 15:16:00 -0500523 do {
Jan Kara2d90c162016-03-09 23:11:13 -0500524 ret = ext4_get_next_extent(inode, last, end - last + 1, &es);
525 if (ret <= 0) {
526 /* No extent found -> no data */
527 if (ret == 0)
528 ret = -ENXIO;
529 inode_unlock(inode);
530 return ret;
Zheng Liuc8c0df22012-11-08 21:57:40 -0500531 }
532
Jan Kara2d90c162016-03-09 23:11:13 -0500533 last = es.es_lblk;
534 if (last != start)
535 dataoff = (loff_t)last << blkbits;
536 if (!ext4_es_is_unwritten(&es))
Theodore Ts'oad7fefb2015-01-02 15:16:00 -0500537 break;
Theodore Ts'oad7fefb2015-01-02 15:16:00 -0500538
539 /*
540 * If there is a unwritten extent at this offset,
541 * it will be as a data or a hole according to page
542 * cache that has data or not.
543 */
Jan Kara2d90c162016-03-09 23:11:13 -0500544 if (ext4_find_unwritten_pgoff(inode, SEEK_DATA,
545 es.es_lblk + es.es_len, &dataoff))
546 break;
547 last += es.es_len;
Theodore Ts'oad7fefb2015-01-02 15:16:00 -0500548 dataoff = (loff_t)last << blkbits;
Jan Kara2d90c162016-03-09 23:11:13 -0500549 cond_resched();
Theodore Ts'oad7fefb2015-01-02 15:16:00 -0500550 } while (last <= end);
551
Al Viro59551022016-01-22 15:40:57 -0500552 inode_unlock(inode);
Zheng Liuc8c0df22012-11-08 21:57:40 -0500553
Theodore Ts'oad7fefb2015-01-02 15:16:00 -0500554 if (dataoff > isize)
555 return -ENXIO;
556
557 return vfs_setpos(file, dataoff, maxsize);
Zheng Liuc8c0df22012-11-08 21:57:40 -0500558}
559
560/*
Theodore Ts'oad7fefb2015-01-02 15:16:00 -0500561 * ext4_seek_hole() retrieves the offset for SEEK_HOLE.
Zheng Liuc8c0df22012-11-08 21:57:40 -0500562 */
563static loff_t ext4_seek_hole(struct file *file, loff_t offset, loff_t maxsize)
564{
565 struct inode *inode = file->f_mapping->host;
Theodore Ts'oad7fefb2015-01-02 15:16:00 -0500566 struct extent_status es;
567 ext4_lblk_t start, last, end;
568 loff_t holeoff, isize;
569 int blkbits;
Jan Kara2d90c162016-03-09 23:11:13 -0500570 int ret;
Zheng Liuc8c0df22012-11-08 21:57:40 -0500571
Al Viro59551022016-01-22 15:40:57 -0500572 inode_lock(inode);
Theodore Ts'oad7fefb2015-01-02 15:16:00 -0500573
574 isize = i_size_read(inode);
575 if (offset >= isize) {
Al Viro59551022016-01-22 15:40:57 -0500576 inode_unlock(inode);
Zheng Liuc8c0df22012-11-08 21:57:40 -0500577 return -ENXIO;
578 }
579
Theodore Ts'oad7fefb2015-01-02 15:16:00 -0500580 blkbits = inode->i_sb->s_blocksize_bits;
581 start = offset >> blkbits;
582 last = start;
583 end = isize >> blkbits;
584 holeoff = offset;
Zheng Liuc8c0df22012-11-08 21:57:40 -0500585
Theodore Ts'oad7fefb2015-01-02 15:16:00 -0500586 do {
Jan Kara2d90c162016-03-09 23:11:13 -0500587 ret = ext4_get_next_extent(inode, last, end - last + 1, &es);
588 if (ret < 0) {
589 inode_unlock(inode);
590 return ret;
Theodore Ts'oad7fefb2015-01-02 15:16:00 -0500591 }
Jan Kara2d90c162016-03-09 23:11:13 -0500592 /* Found a hole? */
593 if (ret == 0 || es.es_lblk > last) {
594 if (last != start)
595 holeoff = (loff_t)last << blkbits;
596 break;
Theodore Ts'oad7fefb2015-01-02 15:16:00 -0500597 }
Theodore Ts'oad7fefb2015-01-02 15:16:00 -0500598 /*
599 * If there is a unwritten extent at this offset,
600 * it will be as a data or a hole according to page
601 * cache that has data or not.
602 */
Jan Kara2d90c162016-03-09 23:11:13 -0500603 if (ext4_es_is_unwritten(&es) &&
604 ext4_find_unwritten_pgoff(inode, SEEK_HOLE,
605 last + es.es_len, &holeoff))
606 break;
Zheng Liuc8c0df22012-11-08 21:57:40 -0500607
Jan Kara2d90c162016-03-09 23:11:13 -0500608 last += es.es_len;
609 holeoff = (loff_t)last << blkbits;
610 cond_resched();
Theodore Ts'oad7fefb2015-01-02 15:16:00 -0500611 } while (last <= end);
612
Al Viro59551022016-01-22 15:40:57 -0500613 inode_unlock(inode);
Theodore Ts'oad7fefb2015-01-02 15:16:00 -0500614
615 if (holeoff > isize)
616 holeoff = isize;
617
618 return vfs_setpos(file, holeoff, maxsize);
Zheng Liuc8c0df22012-11-08 21:57:40 -0500619}
620
621/*
Eric Sandeenec7268c2012-04-30 13:14:03 -0500622 * ext4_llseek() handles both block-mapped and extent-mapped maxbytes values
623 * by calling generic_file_llseek_size() with the appropriate maxbytes
624 * value for each.
Toshiyuki Okajimae0d10bf2010-10-27 21:30:06 -0400625 */
Andrew Morton965c8e52012-12-17 15:59:39 -0800626loff_t ext4_llseek(struct file *file, loff_t offset, int whence)
Toshiyuki Okajimae0d10bf2010-10-27 21:30:06 -0400627{
628 struct inode *inode = file->f_mapping->host;
629 loff_t maxbytes;
630
631 if (!(ext4_test_inode_flag(inode, EXT4_INODE_EXTENTS)))
632 maxbytes = EXT4_SB(inode->i_sb)->s_bitmap_maxbytes;
633 else
634 maxbytes = inode->i_sb->s_maxbytes;
Toshiyuki Okajimae0d10bf2010-10-27 21:30:06 -0400635
Andrew Morton965c8e52012-12-17 15:59:39 -0800636 switch (whence) {
Zheng Liuc8c0df22012-11-08 21:57:40 -0500637 case SEEK_SET:
638 case SEEK_CUR:
639 case SEEK_END:
Andrew Morton965c8e52012-12-17 15:59:39 -0800640 return generic_file_llseek_size(file, offset, whence,
Zheng Liuc8c0df22012-11-08 21:57:40 -0500641 maxbytes, i_size_read(inode));
642 case SEEK_DATA:
643 return ext4_seek_data(file, offset, maxbytes);
644 case SEEK_HOLE:
645 return ext4_seek_hole(file, offset, maxbytes);
646 }
647
648 return -EINVAL;
Toshiyuki Okajimae0d10bf2010-10-27 21:30:06 -0400649}
650
Mingming Cao617ba132006-10-11 01:20:53 -0700651const struct file_operations ext4_file_operations = {
Toshiyuki Okajimae0d10bf2010-10-27 21:30:06 -0400652 .llseek = ext4_llseek,
Al Viroaad4f8b2014-04-02 14:33:16 -0400653 .read_iter = generic_file_read_iter,
Al Viro9b884162014-04-17 16:09:22 -0400654 .write_iter = ext4_file_write_iter,
Andi Kleen5cdd7b22008-04-29 22:03:54 -0400655 .unlocked_ioctl = ext4_ioctl,
Dave Kleikampac27a0e2006-10-11 01:20:50 -0700656#ifdef CONFIG_COMPAT
Mingming Cao617ba132006-10-11 01:20:53 -0700657 .compat_ioctl = ext4_compat_ioctl,
Dave Kleikampac27a0e2006-10-11 01:20:50 -0700658#endif
Aneesh Kumar K.V2e9ee852008-07-11 19:27:31 -0400659 .mmap = ext4_file_mmap,
Theodore Ts'obc0b0d62009-06-13 10:09:48 -0400660 .open = ext4_file_open,
Mingming Cao617ba132006-10-11 01:20:53 -0700661 .release = ext4_release_file,
662 .fsync = ext4_sync_file,
Toshi Kanidbe6ec82016-10-07 16:59:59 -0700663 .get_unmapped_area = thp_get_unmapped_area,
Dave Kleikampac27a0e2006-10-11 01:20:50 -0700664 .splice_read = generic_file_splice_read,
Al Viro8d020762014-04-05 04:27:08 -0400665 .splice_write = iter_file_splice_write,
Christoph Hellwig2fe17c12011-01-14 13:07:43 +0100666 .fallocate = ext4_fallocate,
Dave Kleikampac27a0e2006-10-11 01:20:50 -0700667};
668
Arjan van de Ven754661f2007-02-12 00:55:38 -0800669const struct inode_operations ext4_file_inode_operations = {
Mingming Cao617ba132006-10-11 01:20:53 -0700670 .setattr = ext4_setattr,
Mingming Cao3e3398a2008-07-11 19:27:31 -0400671 .getattr = ext4_getattr,
Mingming Cao617ba132006-10-11 01:20:53 -0700672 .listxattr = ext4_listxattr,
Christoph Hellwig4e34e712011-07-23 17:37:31 +0200673 .get_acl = ext4_get_acl,
Christoph Hellwig64e178a2013-12-20 05:16:44 -0800674 .set_acl = ext4_set_acl,
Eric Sandeen6873fa02008-10-07 00:46:36 -0400675 .fiemap = ext4_fiemap,
Dave Kleikampac27a0e2006-10-11 01:20:50 -0700676};
677