Greg Kroah-Hartman | b244131 | 2017-11-01 15:07:57 +0100 | [diff] [blame] | 1 | // SPDX-License-Identifier: GPL-2.0 |
Dave Kleikamp | ac27a0e | 2006-10-11 01:20:50 -0700 | [diff] [blame] | 2 | /* |
Mingming Cao | 617ba13 | 2006-10-11 01:20:53 -0700 | [diff] [blame] | 3 | * linux/fs/ext4/fsync.c |
Dave Kleikamp | ac27a0e | 2006-10-11 01:20:50 -0700 | [diff] [blame] | 4 | * |
| 5 | * Copyright (C) 1993 Stephen Tweedie (sct@redhat.com) |
| 6 | * from |
| 7 | * Copyright (C) 1992 Remy Card (card@masi.ibp.fr) |
| 8 | * Laboratoire MASI - Institut Blaise Pascal |
| 9 | * Universite Pierre et Marie Curie (Paris VI) |
| 10 | * from |
| 11 | * linux/fs/minix/truncate.c Copyright (C) 1991, 1992 Linus Torvalds |
| 12 | * |
Mingming Cao | 617ba13 | 2006-10-11 01:20:53 -0700 | [diff] [blame] | 13 | * ext4fs fsync primitive |
Dave Kleikamp | ac27a0e | 2006-10-11 01:20:50 -0700 | [diff] [blame] | 14 | * |
| 15 | * Big-endian to little-endian byte-swapping/bitmaps by |
| 16 | * David S. Miller (davem@caip.rutgers.edu), 1995 |
| 17 | * |
| 18 | * Removed unnecessary code duplication for little endian machines |
| 19 | * and excessive __inline__s. |
| 20 | * Andi Kleen, 1997 |
| 21 | * |
| 22 | * Major simplications and cleanup - we only need to do the metadata, because |
| 23 | * we can depend on generic_block_fdatasync() to sync the data blocks. |
| 24 | */ |
| 25 | |
| 26 | #include <linux/time.h> |
| 27 | #include <linux/fs.h> |
| 28 | #include <linux/sched.h> |
| 29 | #include <linux/writeback.h> |
Eric Sandeen | d755fb3 | 2008-07-11 19:27:31 -0400 | [diff] [blame] | 30 | #include <linux/blkdev.h> |
Theodore Ts'o | 9bffad1 | 2009-06-17 11:48:11 -0400 | [diff] [blame] | 31 | |
Christoph Hellwig | 3dcf545 | 2008-04-29 18:13:32 -0400 | [diff] [blame] | 32 | #include "ext4.h" |
| 33 | #include "ext4_jbd2.h" |
Dave Kleikamp | ac27a0e | 2006-10-11 01:20:50 -0700 | [diff] [blame] | 34 | |
Theodore Ts'o | 9bffad1 | 2009-06-17 11:48:11 -0400 | [diff] [blame] | 35 | #include <trace/events/ext4.h> |
| 36 | |
Dave Kleikamp | ac27a0e | 2006-10-11 01:20:50 -0700 | [diff] [blame] | 37 | /* |
Frank Mayhar | 14ece10 | 2010-05-17 08:00:00 -0400 | [diff] [blame] | 38 | * If we're not journaling and this is a just-created file, we have to |
| 39 | * sync our parent directory (if it was freshly created) since |
| 40 | * otherwise it will only be written by writeback, leaving a huge |
| 41 | * window during which a crash may lose the file. This may apply for |
| 42 | * the parent directory's parent as well, and so on recursively, if |
| 43 | * they are also freshly created. |
| 44 | */ |
Curt Wohlgemuth | 0893ed4 | 2011-04-10 22:05:31 -0400 | [diff] [blame] | 45 | static int ext4_sync_parent(struct inode *inode) |
Frank Mayhar | 14ece10 | 2010-05-17 08:00:00 -0400 | [diff] [blame] | 46 | { |
| 47 | struct dentry *dentry = NULL; |
Theodore Ts'o | d59729f | 2011-07-30 12:34:19 -0400 | [diff] [blame] | 48 | struct inode *next; |
Curt Wohlgemuth | 0893ed4 | 2011-04-10 22:05:31 -0400 | [diff] [blame] | 49 | int ret = 0; |
Frank Mayhar | 14ece10 | 2010-05-17 08:00:00 -0400 | [diff] [blame] | 50 | |
Theodore Ts'o | d59729f | 2011-07-30 12:34:19 -0400 | [diff] [blame] | 51 | if (!ext4_test_inode_state(inode, EXT4_STATE_NEWENTRY)) |
| 52 | return 0; |
| 53 | inode = igrab(inode); |
| 54 | while (ext4_test_inode_state(inode, EXT4_STATE_NEWENTRY)) { |
Frank Mayhar | 14ece10 | 2010-05-17 08:00:00 -0400 | [diff] [blame] | 55 | ext4_clear_inode_state(inode, EXT4_STATE_NEWENTRY); |
Al Viro | 9f71387 | 2012-06-09 13:19:12 -0400 | [diff] [blame] | 56 | dentry = d_find_any_alias(inode); |
Theodore Ts'o | d59729f | 2011-07-30 12:34:19 -0400 | [diff] [blame] | 57 | if (!dentry) |
Frank Mayhar | 14ece10 | 2010-05-17 08:00:00 -0400 | [diff] [blame] | 58 | break; |
David Howells | 2b0143b | 2015-03-17 22:25:59 +0000 | [diff] [blame] | 59 | next = igrab(d_inode(dentry->d_parent)); |
Theodore Ts'o | d59729f | 2011-07-30 12:34:19 -0400 | [diff] [blame] | 60 | dput(dentry); |
| 61 | if (!next) |
| 62 | break; |
| 63 | iput(inode); |
| 64 | inode = next; |
Jan Kara | 6ae4c5a | 2016-09-05 23:21:43 -0400 | [diff] [blame] | 65 | /* |
| 66 | * The directory inode may have gone through rmdir by now. But |
| 67 | * the inode itself and its blocks are still allocated (we hold |
| 68 | * a reference to the inode so it didn't go through |
| 69 | * ext4_evict_inode()) and so we are safe to flush metadata |
| 70 | * blocks and the inode. |
| 71 | */ |
Curt Wohlgemuth | 0893ed4 | 2011-04-10 22:05:31 -0400 | [diff] [blame] | 72 | ret = sync_mapping_buffers(inode->i_mapping); |
| 73 | if (ret) |
| 74 | break; |
Guo Chao | 64744e0 | 2012-12-10 14:06:03 -0500 | [diff] [blame] | 75 | ret = sync_inode_metadata(inode, 1); |
Curt Wohlgemuth | 0893ed4 | 2011-04-10 22:05:31 -0400 | [diff] [blame] | 76 | if (ret) |
| 77 | break; |
Frank Mayhar | 14ece10 | 2010-05-17 08:00:00 -0400 | [diff] [blame] | 78 | } |
Theodore Ts'o | d59729f | 2011-07-30 12:34:19 -0400 | [diff] [blame] | 79 | iput(inode); |
Curt Wohlgemuth | 0893ed4 | 2011-04-10 22:05:31 -0400 | [diff] [blame] | 80 | return ret; |
Frank Mayhar | 14ece10 | 2010-05-17 08:00:00 -0400 | [diff] [blame] | 81 | } |
| 82 | |
Matthew Bobrowski | 3eaf9cc6 | 2019-11-05 23:02:23 +1100 | [diff] [blame] | 83 | static int ext4_fsync_nojournal(struct inode *inode, bool datasync, |
| 84 | bool *needs_barrier) |
| 85 | { |
| 86 | int ret, err; |
| 87 | |
| 88 | ret = sync_mapping_buffers(inode->i_mapping); |
| 89 | if (!(inode->i_state & I_DIRTY_ALL)) |
| 90 | return ret; |
| 91 | if (datasync && !(inode->i_state & I_DIRTY_DATASYNC)) |
| 92 | return ret; |
| 93 | |
| 94 | err = sync_inode_metadata(inode, 1); |
| 95 | if (!ret) |
| 96 | ret = err; |
| 97 | |
| 98 | if (!ret) |
| 99 | ret = ext4_sync_parent(inode); |
| 100 | if (test_opt(inode->i_sb, BARRIER)) |
| 101 | *needs_barrier = true; |
| 102 | |
| 103 | return ret; |
| 104 | } |
| 105 | |
| 106 | static int ext4_fsync_journal(struct inode *inode, bool datasync, |
| 107 | bool *needs_barrier) |
| 108 | { |
| 109 | struct ext4_inode_info *ei = EXT4_I(inode); |
| 110 | journal_t *journal = EXT4_SB(inode->i_sb)->s_journal; |
| 111 | tid_t commit_tid = datasync ? ei->i_datasync_tid : ei->i_sync_tid; |
| 112 | |
| 113 | if (journal->j_flags & JBD2_BARRIER && |
| 114 | !jbd2_trans_will_send_data_barrier(journal, commit_tid)) |
| 115 | *needs_barrier = true; |
| 116 | |
| 117 | return jbd2_complete_transaction(journal, commit_tid); |
| 118 | } |
| 119 | |
Frank Mayhar | 14ece10 | 2010-05-17 08:00:00 -0400 | [diff] [blame] | 120 | /* |
Mingming Cao | 617ba13 | 2006-10-11 01:20:53 -0700 | [diff] [blame] | 121 | * akpm: A new design for ext4_sync_file(). |
Dave Kleikamp | ac27a0e | 2006-10-11 01:20:50 -0700 | [diff] [blame] | 122 | * |
| 123 | * This is only called from sys_fsync(), sys_fdatasync() and sys_msync(). |
| 124 | * There cannot be a transaction open by this task. |
| 125 | * Another task could have dirtied this inode. Its data can be in any |
| 126 | * state in the journalling system. |
| 127 | * |
| 128 | * What we do is just kick off a commit and wait on it. This will snapshot the |
| 129 | * inode to disk. |
| 130 | */ |
Josef Bacik | 02c24a8 | 2011-07-16 20:44:56 -0400 | [diff] [blame] | 131 | int ext4_sync_file(struct file *file, loff_t start, loff_t end, int datasync) |
Dave Kleikamp | ac27a0e | 2006-10-11 01:20:50 -0700 | [diff] [blame] | 132 | { |
Jan Kara | 37b10dd | 2013-06-04 14:40:09 -0400 | [diff] [blame] | 133 | int ret = 0, err; |
Jan Kara | 93628ff | 2011-05-24 12:00:54 -0400 | [diff] [blame] | 134 | bool needs_barrier = false; |
Matthew Bobrowski | 3eaf9cc6 | 2019-11-05 23:02:23 +1100 | [diff] [blame] | 135 | struct inode *inode = file->f_mapping->host; |
| 136 | struct ext4_sb_info *sbi = EXT4_SB(inode->i_sb); |
Dave Kleikamp | ac27a0e | 2006-10-11 01:20:50 -0700 | [diff] [blame] | 137 | |
Matthew Bobrowski | 3eaf9cc6 | 2019-11-05 23:02:23 +1100 | [diff] [blame] | 138 | if (unlikely(ext4_forced_shutdown(sbi))) |
Theodore Ts'o | 0db1ff2 | 2017-02-05 01:28:48 -0500 | [diff] [blame] | 139 | return -EIO; |
| 140 | |
Aneesh Kumar K.V | ac39849 | 2007-10-16 18:38:25 -0400 | [diff] [blame] | 141 | J_ASSERT(ext4_journal_current_handle() == NULL); |
Dave Kleikamp | ac27a0e | 2006-10-11 01:20:50 -0700 | [diff] [blame] | 142 | |
Jiaying Zhang | 0562e0b | 2011-03-21 21:38:05 -0400 | [diff] [blame] | 143 | trace_ext4_sync_file_enter(file, datasync); |
Theodore Ts'o | ede86cc | 2008-10-05 20:50:06 -0400 | [diff] [blame] | 144 | |
David Howells | bc98a42 | 2017-07-17 08:45:34 +0100 | [diff] [blame] | 145 | if (sb_rdonly(inode->i_sb)) { |
Dmitry Monakhov | 4418e141 | 2013-06-12 22:38:04 -0400 | [diff] [blame] | 146 | /* Make sure that we read updated s_mount_flags value */ |
| 147 | smp_rmb(); |
Matthew Bobrowski | 3eaf9cc6 | 2019-11-05 23:02:23 +1100 | [diff] [blame] | 148 | if (sbi->s_mount_flags & EXT4_MF_FS_ABORTED) |
Dmitry Monakhov | 4418e141 | 2013-06-12 22:38:04 -0400 | [diff] [blame] | 149 | ret = -EROFS; |
Jan Kara | 92e6222 | 2013-06-04 14:40:39 -0400 | [diff] [blame] | 150 | goto out; |
Dmitry Monakhov | 4418e141 | 2013-06-12 22:38:04 -0400 | [diff] [blame] | 151 | } |
Jan Kara | 37b10dd | 2013-06-04 14:40:09 -0400 | [diff] [blame] | 152 | |
Theodore Ts'o | 8fdd60f | 2019-01-31 23:41:11 -0500 | [diff] [blame] | 153 | ret = file_write_and_wait_range(file, start, end); |
| 154 | if (ret) |
| 155 | return ret; |
Matthew Bobrowski | 3eaf9cc6 | 2019-11-05 23:02:23 +1100 | [diff] [blame] | 156 | |
Dave Kleikamp | ac27a0e | 2006-10-11 01:20:50 -0700 | [diff] [blame] | 157 | /* |
Jan Kara | b436b9b | 2009-12-08 23:51:10 -0500 | [diff] [blame] | 158 | * data=writeback,ordered: |
Dave Kleikamp | ac27a0e | 2006-10-11 01:20:50 -0700 | [diff] [blame] | 159 | * The caller's filemap_fdatawrite()/wait will sync the data. |
Jan Kara | b436b9b | 2009-12-08 23:51:10 -0500 | [diff] [blame] | 160 | * Metadata is in the journal, we wait for proper transaction to |
| 161 | * commit here. |
Dave Kleikamp | ac27a0e | 2006-10-11 01:20:50 -0700 | [diff] [blame] | 162 | * |
| 163 | * data=journal: |
| 164 | * filemap_fdatawrite won't do anything (the buffers are clean). |
Mingming Cao | 617ba13 | 2006-10-11 01:20:53 -0700 | [diff] [blame] | 165 | * ext4_force_commit will write the file data into the journal and |
Dave Kleikamp | ac27a0e | 2006-10-11 01:20:50 -0700 | [diff] [blame] | 166 | * will wait on that. |
| 167 | * filemap_fdatawait() will encounter a ton of newly-dirtied pages |
| 168 | * (they were dirtied by commit). But that's OK - the blocks are |
| 169 | * safe in-journal, which is all fsync() needs to ensure. |
| 170 | */ |
Matthew Bobrowski | 3eaf9cc6 | 2019-11-05 23:02:23 +1100 | [diff] [blame] | 171 | if (!sbi->s_journal) |
| 172 | ret = ext4_fsync_nojournal(inode, datasync, &needs_barrier); |
| 173 | else if (ext4_should_journal_data(inode)) |
Jiaying Zhang | 0562e0b | 2011-03-21 21:38:05 -0400 | [diff] [blame] | 174 | ret = ext4_force_commit(inode->i_sb); |
Matthew Bobrowski | 3eaf9cc6 | 2019-11-05 23:02:23 +1100 | [diff] [blame] | 175 | else |
| 176 | ret = ext4_fsync_journal(inode, datasync, &needs_barrier); |
Dave Kleikamp | ac27a0e | 2006-10-11 01:20:50 -0700 | [diff] [blame] | 177 | |
Theodore Ts'o | a4a3904 | 2012-08-17 09:58:17 -0400 | [diff] [blame] | 178 | if (needs_barrier) { |
| 179 | err = blkdev_issue_flush(inode->i_sb->s_bdev, GFP_KERNEL, NULL); |
| 180 | if (!ret) |
| 181 | ret = err; |
| 182 | } |
Jan Kara | 37b10dd | 2013-06-04 14:40:09 -0400 | [diff] [blame] | 183 | out: |
Theodore Ts'o | 95cb671 | 2018-12-31 00:11:07 -0500 | [diff] [blame] | 184 | err = file_check_and_advance_wb_err(file); |
| 185 | if (ret == 0) |
| 186 | ret = err; |
Jiaying Zhang | 0562e0b | 2011-03-21 21:38:05 -0400 | [diff] [blame] | 187 | trace_ext4_sync_file_exit(inode, ret); |
Dave Kleikamp | ac27a0e | 2006-10-11 01:20:50 -0700 | [diff] [blame] | 188 | return ret; |
| 189 | } |