blob: 3ce8e2137f3109e36ec29895f73c9749893f70d6 [file] [log] [blame]
Greg Kroah-Hartmanb2441312017-11-01 15:07:57 +01001// SPDX-License-Identifier: GPL-2.0
Andrew Mortonf79e2ab2006-03-31 02:30:42 -08002/*
3 * High-level sync()-related operations
4 */
5
Christoph Hellwig70164eb2021-10-19 08:25:25 +02006#include <linux/blkdev.h>
Andrew Mortonf79e2ab2006-03-31 02:30:42 -08007#include <linux/kernel.h>
8#include <linux/file.h>
9#include <linux/fs.h>
Tejun Heo5a0e3ad2010-03-24 17:04:11 +090010#include <linux/slab.h>
Paul Gortmaker630d9c42011-11-16 23:57:37 -050011#include <linux/export.h>
Sage Weilb7ed78f2011-03-10 11:31:30 -080012#include <linux/namei.h>
Al Viro914e2632006-10-18 13:55:46 -040013#include <linux/sched.h>
Andrew Mortonf79e2ab2006-03-31 02:30:42 -080014#include <linux/writeback.h>
15#include <linux/syscalls.h>
16#include <linux/linkage.h>
17#include <linux/pagemap.h>
David Howellscf9a2ae2006-08-29 19:05:54 +010018#include <linux/quotaops.h>
Jörn Engel5129a462010-04-25 08:54:42 +020019#include <linux/backing-dev.h>
Jan Kara5a3e5cb2009-04-27 16:43:48 +020020#include "internal.h"
Andrew Mortonf79e2ab2006-03-31 02:30:42 -080021
22#define VALID_FLAGS (SYNC_FILE_RANGE_WAIT_BEFORE|SYNC_FILE_RANGE_WRITE| \
23 SYNC_FILE_RANGE_WAIT_AFTER)
24
Jan Karac15c54f2009-04-27 16:43:52 +020025/*
Jan Karac15c54f2009-04-27 16:43:52 +020026 * Write out and wait upon all dirty data associated with this
27 * superblock. Filesystem data as well as the underlying block
28 * device. Takes the superblock lock.
29 */
Jan Kara60b06802009-04-27 16:43:53 +020030int sync_filesystem(struct super_block *sb)
Jan Karac15c54f2009-04-27 16:43:52 +020031{
32 int ret;
33
Christoph Hellwig5af79262009-05-05 15:41:25 +020034 /*
35 * We need to be protected against the filesystem going from
36 * r/o to r/w or vice versa.
37 */
38 WARN_ON(!rwsem_is_locked(&sb->s_umount));
39
40 /*
41 * No point in syncing out anything if the filesystem is read-only.
42 */
David Howellsbc98a422017-07-17 08:45:34 +010043 if (sb_rdonly(sb))
Christoph Hellwig5af79262009-05-05 15:41:25 +020044 return 0;
45
Christoph Hellwig9a208ba2021-10-19 08:25:24 +020046 /*
47 * Do the filesystem syncing work. For simple filesystems
48 * writeback_inodes_sb(sb) just dirties buffers with inodes so we have
Christoph Hellwig70164eb2021-10-19 08:25:25 +020049 * to submit I/O for these buffers via sync_blockdev(). This also
Christoph Hellwig9a208ba2021-10-19 08:25:24 +020050 * speeds up the wait == 1 case since in that case write_inode()
51 * methods call sync_dirty_buffer() and thus effectively write one block
52 * at a time.
53 */
54 writeback_inodes_sb(sb, WB_REASON_SYNC);
55 if (sb->s_op->sync_fs)
56 sb->s_op->sync_fs(sb, 0);
Christoph Hellwig70164eb2021-10-19 08:25:25 +020057 ret = sync_blockdev_nowait(sb->s_bdev);
Jan Karac15c54f2009-04-27 16:43:52 +020058 if (ret < 0)
59 return ret;
Christoph Hellwig9a208ba2021-10-19 08:25:24 +020060
61 sync_inodes_sb(sb);
62 if (sb->s_op->sync_fs)
63 sb->s_op->sync_fs(sb, 1);
Christoph Hellwig70164eb2021-10-19 08:25:25 +020064 return sync_blockdev(sb->s_bdev);
Jan Karac15c54f2009-04-27 16:43:52 +020065}
Anton Altaparmakov10096fb2014-08-21 11:09:27 +010066EXPORT_SYMBOL(sync_filesystem);
Jan Karac15c54f2009-04-27 16:43:52 +020067
Jan Karab3de6532012-07-03 16:45:30 +020068static void sync_inodes_one_sb(struct super_block *sb, void *arg)
Al Viro01a05b32010-03-23 06:06:58 -040069{
David Howellsbc98a422017-07-17 08:45:34 +010070 if (!sb_rdonly(sb))
Jan Kara0dc83bd2014-02-21 11:19:04 +010071 sync_inodes_sb(sb);
Al Viro01a05b32010-03-23 06:06:58 -040072}
Jan Karab3de6532012-07-03 16:45:30 +020073
Jan Karab3de6532012-07-03 16:45:30 +020074static void sync_fs_one_sb(struct super_block *sb, void *arg)
75{
Konstantin Khlebnikov32b1924b22020-04-09 11:29:47 +030076 if (!sb_rdonly(sb) && !(sb->s_iflags & SB_I_SKIP_SYNC) &&
77 sb->s_op->sync_fs)
Jan Karab3de6532012-07-03 16:45:30 +020078 sb->s_op->sync_fs(sb, *(int *)arg);
79}
80
Zhang, Yanmin3beab0b2009-07-05 12:08:08 -070081/*
Jan Kara4ea425b2012-07-03 16:45:34 +020082 * Sync everything. We start by waking flusher threads so that most of
83 * writeback runs on all devices in parallel. Then we sync all inodes reliably
84 * which effectively also waits for all flusher threads to finish doing
85 * writeback. At this point all data is on disk so metadata should be stable
86 * and we tell filesystems to sync their metadata via ->sync_fs() calls.
87 * Finally, we writeout all block devices because some filesystems (e.g. ext2)
88 * just write metadata (such as inodes or bitmaps) to block device page cache
89 * and do not sync it on their own in ->sync_fs().
Zhang, Yanmin3beab0b2009-07-05 12:08:08 -070090 */
Dominik Brodowski70f68ee2018-03-14 22:35:11 +010091void ksys_sync(void)
David Howellscf9a2ae2006-08-29 19:05:54 +010092{
Jan Karab3de6532012-07-03 16:45:30 +020093 int nowait = 0, wait = 1;
94
Jens Axboe9ba4b2d2017-09-20 08:58:25 -060095 wakeup_flusher_threads(WB_REASON_SYNC);
Jan Kara0dc83bd2014-02-21 11:19:04 +010096 iterate_supers(sync_inodes_one_sb, NULL);
Jan Kara4ea425b2012-07-03 16:45:34 +020097 iterate_supers(sync_fs_one_sb, &nowait);
Jan Karab3de6532012-07-03 16:45:30 +020098 iterate_supers(sync_fs_one_sb, &wait);
Christoph Hellwig1e03a362021-10-19 08:25:30 +020099 sync_bdevs(false);
100 sync_bdevs(true);
Jan Kara5cee5812009-04-27 16:43:51 +0200101 if (unlikely(laptop_mode))
102 laptop_sync_completion();
Dominik Brodowski70f68ee2018-03-14 22:35:11 +0100103}
104
105SYSCALL_DEFINE0(sync)
106{
107 ksys_sync();
David Howellscf9a2ae2006-08-29 19:05:54 +0100108 return 0;
109}
110
Jens Axboea2a95372009-03-17 09:38:40 +0100111static void do_sync_work(struct work_struct *work)
112{
Jan Karab3de6532012-07-03 16:45:30 +0200113 int nowait = 0;
114
Jan Kara5cee5812009-04-27 16:43:51 +0200115 /*
116 * Sync twice to reduce the possibility we skipped some inodes / pages
117 * because they were temporarily locked
118 */
Jan Karab3de6532012-07-03 16:45:30 +0200119 iterate_supers(sync_inodes_one_sb, &nowait);
120 iterate_supers(sync_fs_one_sb, &nowait);
Christoph Hellwig1e03a362021-10-19 08:25:30 +0200121 sync_bdevs(false);
Jan Karab3de6532012-07-03 16:45:30 +0200122 iterate_supers(sync_inodes_one_sb, &nowait);
123 iterate_supers(sync_fs_one_sb, &nowait);
Christoph Hellwig1e03a362021-10-19 08:25:30 +0200124 sync_bdevs(false);
Jan Kara5cee5812009-04-27 16:43:51 +0200125 printk("Emergency Sync complete\n");
Jens Axboea2a95372009-03-17 09:38:40 +0100126 kfree(work);
127}
128
David Howellscf9a2ae2006-08-29 19:05:54 +0100129void emergency_sync(void)
130{
Jens Axboea2a95372009-03-17 09:38:40 +0100131 struct work_struct *work;
132
133 work = kmalloc(sizeof(*work), GFP_ATOMIC);
134 if (work) {
135 INIT_WORK(work, do_sync_work);
136 schedule_work(work);
137 }
David Howellscf9a2ae2006-08-29 19:05:54 +0100138}
139
Sage Weilb7ed78f2011-03-10 11:31:30 -0800140/*
141 * sync a single super
142 */
143SYSCALL_DEFINE1(syncfs, int, fd)
144{
Al Viro2903ff02012-08-28 12:52:22 -0400145 struct fd f = fdget(fd);
Sage Weilb7ed78f2011-03-10 11:31:30 -0800146 struct super_block *sb;
Jeff Layton735e4ae2020-06-01 21:45:36 -0700147 int ret, ret2;
Sage Weilb7ed78f2011-03-10 11:31:30 -0800148
Al Viro2903ff02012-08-28 12:52:22 -0400149 if (!f.file)
Sage Weilb7ed78f2011-03-10 11:31:30 -0800150 return -EBADF;
Al Virob5830432014-10-31 01:22:04 -0400151 sb = f.file->f_path.dentry->d_sb;
Sage Weilb7ed78f2011-03-10 11:31:30 -0800152
153 down_read(&sb->s_umount);
154 ret = sync_filesystem(sb);
155 up_read(&sb->s_umount);
156
Jeff Layton735e4ae2020-06-01 21:45:36 -0700157 ret2 = errseq_check_and_advance(&sb->s_wb_err, &f.file->f_sb_err);
158
Al Viro2903ff02012-08-28 12:52:22 -0400159 fdput(f);
Jeff Layton735e4ae2020-06-01 21:45:36 -0700160 return ret ? ret : ret2;
Sage Weilb7ed78f2011-03-10 11:31:30 -0800161}
162
Christoph Hellwig4c728ef2008-12-22 21:11:15 +0100163/**
Jan Kara148f9482009-08-17 19:52:36 +0200164 * vfs_fsync_range - helper to sync a range of data & metadata to disk
Christoph Hellwig4c728ef2008-12-22 21:11:15 +0100165 * @file: file to sync
Jan Kara148f9482009-08-17 19:52:36 +0200166 * @start: offset in bytes of the beginning of data range to sync
167 * @end: offset in bytes of the end of data range (inclusive)
168 * @datasync: perform only datasync
Christoph Hellwig4c728ef2008-12-22 21:11:15 +0100169 *
Jan Kara148f9482009-08-17 19:52:36 +0200170 * Write back data in range @start..@end and metadata for @file to disk. If
171 * @datasync is set only metadata needed to access modified file data is
172 * written.
Christoph Hellwig4c728ef2008-12-22 21:11:15 +0100173 */
Christoph Hellwig8018ab02010-03-22 17:32:25 +0100174int vfs_fsync_range(struct file *file, loff_t start, loff_t end, int datasync)
David Howellscf9a2ae2006-08-29 19:05:54 +0100175{
Theodore Ts'o0ae45f62015-02-02 00:37:00 -0500176 struct inode *inode = file->f_mapping->host;
177
Al Viro72c2d532013-09-22 16:27:52 -0400178 if (!file->f_op->fsync)
Josef Bacik02c24a82011-07-16 20:44:56 -0400179 return -EINVAL;
Christoph Hellwig0d07e552018-03-06 17:03:31 -0800180 if (!datasync && (inode->i_state & I_DIRTY_TIME))
Theodore Ts'o0ae45f62015-02-02 00:37:00 -0500181 mark_inode_dirty_sync(inode);
Jeff Layton0f410742017-07-05 15:26:50 -0400182 return file->f_op->fsync(file, start, end, datasync);
David Howellscf9a2ae2006-08-29 19:05:54 +0100183}
Jan Kara148f9482009-08-17 19:52:36 +0200184EXPORT_SYMBOL(vfs_fsync_range);
185
186/**
187 * vfs_fsync - perform a fsync or fdatasync on a file
188 * @file: file to sync
Jan Kara148f9482009-08-17 19:52:36 +0200189 * @datasync: only perform a fdatasync operation
190 *
191 * Write back data and metadata for @file to disk. If @datasync is
192 * set only metadata needed to access modified file data is written.
Jan Kara148f9482009-08-17 19:52:36 +0200193 */
Christoph Hellwig8018ab02010-03-22 17:32:25 +0100194int vfs_fsync(struct file *file, int datasync)
Jan Kara148f9482009-08-17 19:52:36 +0200195{
Christoph Hellwig8018ab02010-03-22 17:32:25 +0100196 return vfs_fsync_range(file, 0, LLONG_MAX, datasync);
Jan Kara148f9482009-08-17 19:52:36 +0200197}
Christoph Hellwig4c728ef2008-12-22 21:11:15 +0100198EXPORT_SYMBOL(vfs_fsync);
David Howellscf9a2ae2006-08-29 19:05:54 +0100199
Christoph Hellwig4c728ef2008-12-22 21:11:15 +0100200static int do_fsync(unsigned int fd, int datasync)
David Howellscf9a2ae2006-08-29 19:05:54 +0100201{
Al Viro2903ff02012-08-28 12:52:22 -0400202 struct fd f = fdget(fd);
David Howellscf9a2ae2006-08-29 19:05:54 +0100203 int ret = -EBADF;
204
Al Viro2903ff02012-08-28 12:52:22 -0400205 if (f.file) {
206 ret = vfs_fsync(f.file, datasync);
207 fdput(f);
David Howellscf9a2ae2006-08-29 19:05:54 +0100208 }
209 return ret;
210}
211
Heiko Carstensa5f8fa92009-01-14 14:14:11 +0100212SYSCALL_DEFINE1(fsync, unsigned int, fd)
David Howellscf9a2ae2006-08-29 19:05:54 +0100213{
Christoph Hellwig4c728ef2008-12-22 21:11:15 +0100214 return do_fsync(fd, 0);
David Howellscf9a2ae2006-08-29 19:05:54 +0100215}
216
Heiko Carstensa5f8fa92009-01-14 14:14:11 +0100217SYSCALL_DEFINE1(fdatasync, unsigned int, fd)
David Howellscf9a2ae2006-08-29 19:05:54 +0100218{
Christoph Hellwig4c728ef2008-12-22 21:11:15 +0100219 return do_fsync(fd, 1);
David Howellscf9a2ae2006-08-29 19:05:54 +0100220}
221
Jens Axboe22f96b32019-04-09 14:51:48 -0600222int sync_file_range(struct file *file, loff_t offset, loff_t nbytes,
223 unsigned int flags)
224{
225 int ret;
226 struct address_space *mapping;
227 loff_t endbyte; /* inclusive */
228 umode_t i_mode;
229
230 ret = -EINVAL;
231 if (flags & ~VALID_FLAGS)
232 goto out;
233
234 endbyte = offset + nbytes;
235
236 if ((s64)offset < 0)
237 goto out;
238 if ((s64)endbyte < 0)
239 goto out;
240 if (endbyte < offset)
241 goto out;
242
243 if (sizeof(pgoff_t) == 4) {
244 if (offset >= (0x100000000ULL << PAGE_SHIFT)) {
245 /*
246 * The range starts outside a 32 bit machine's
247 * pagecache addressing capabilities. Let it "succeed"
248 */
249 ret = 0;
250 goto out;
251 }
252 if (endbyte >= (0x100000000ULL << PAGE_SHIFT)) {
253 /*
254 * Out to EOF
255 */
256 nbytes = 0;
257 }
258 }
259
260 if (nbytes == 0)
261 endbyte = LLONG_MAX;
262 else
263 endbyte--; /* inclusive */
264
265 i_mode = file_inode(file)->i_mode;
266 ret = -ESPIPE;
267 if (!S_ISREG(i_mode) && !S_ISBLK(i_mode) && !S_ISDIR(i_mode) &&
268 !S_ISLNK(i_mode))
269 goto out;
270
271 mapping = file->f_mapping;
272 ret = 0;
273 if (flags & SYNC_FILE_RANGE_WAIT_BEFORE) {
274 ret = file_fdatawait_range(file, offset, endbyte);
275 if (ret < 0)
276 goto out;
277 }
278
279 if (flags & SYNC_FILE_RANGE_WRITE) {
Amir Goldsteinc553ea42019-05-13 17:22:30 -0700280 int sync_mode = WB_SYNC_NONE;
281
282 if ((flags & SYNC_FILE_RANGE_WRITE_AND_WAIT) ==
283 SYNC_FILE_RANGE_WRITE_AND_WAIT)
284 sync_mode = WB_SYNC_ALL;
285
Jens Axboe22f96b32019-04-09 14:51:48 -0600286 ret = __filemap_fdatawrite_range(mapping, offset, endbyte,
Amir Goldsteinc553ea42019-05-13 17:22:30 -0700287 sync_mode);
Jens Axboe22f96b32019-04-09 14:51:48 -0600288 if (ret < 0)
289 goto out;
290 }
291
292 if (flags & SYNC_FILE_RANGE_WAIT_AFTER)
293 ret = file_fdatawait_range(file, offset, endbyte);
294
295out:
296 return ret;
297}
298
David Howellscf9a2ae2006-08-29 19:05:54 +0100299/*
Amir Goldsteinc553ea42019-05-13 17:22:30 -0700300 * ksys_sync_file_range() permits finely controlled syncing over a segment of
Andrew Mortonf79e2ab2006-03-31 02:30:42 -0800301 * a file in the range offset .. (offset+nbytes-1) inclusive. If nbytes is
Amir Goldsteinc553ea42019-05-13 17:22:30 -0700302 * zero then ksys_sync_file_range() will operate from offset out to EOF.
Andrew Mortonf79e2ab2006-03-31 02:30:42 -0800303 *
304 * The flag bits are:
305 *
306 * SYNC_FILE_RANGE_WAIT_BEFORE: wait upon writeout of all pages in the range
307 * before performing the write.
308 *
309 * SYNC_FILE_RANGE_WRITE: initiate writeout of all those dirty pages in the
Pavel Machekcce77082008-07-23 21:27:36 -0700310 * range which are not presently under writeback. Note that this may block for
311 * significant periods due to exhaustion of disk request structures.
Andrew Mortonf79e2ab2006-03-31 02:30:42 -0800312 *
313 * SYNC_FILE_RANGE_WAIT_AFTER: wait upon writeout of all pages in the range
314 * after performing the write.
315 *
316 * Useful combinations of the flag bits are:
317 *
318 * SYNC_FILE_RANGE_WAIT_BEFORE|SYNC_FILE_RANGE_WRITE: ensures that all pages
Amir Goldsteinc553ea42019-05-13 17:22:30 -0700319 * in the range which were dirty on entry to ksys_sync_file_range() are placed
Andrew Mortonf79e2ab2006-03-31 02:30:42 -0800320 * under writeout. This is a start-write-for-data-integrity operation.
321 *
322 * SYNC_FILE_RANGE_WRITE: start writeout of all dirty pages in the range which
323 * are not presently under writeout. This is an asynchronous flush-to-disk
324 * operation. Not suitable for data integrity operations.
325 *
326 * SYNC_FILE_RANGE_WAIT_BEFORE (or SYNC_FILE_RANGE_WAIT_AFTER): wait for
327 * completion of writeout of all pages in the range. This will be used after an
328 * earlier SYNC_FILE_RANGE_WAIT_BEFORE|SYNC_FILE_RANGE_WRITE operation to wait
329 * for that operation to complete and to return the result.
330 *
Amir Goldsteinc553ea42019-05-13 17:22:30 -0700331 * SYNC_FILE_RANGE_WAIT_BEFORE|SYNC_FILE_RANGE_WRITE|SYNC_FILE_RANGE_WAIT_AFTER
332 * (a.k.a. SYNC_FILE_RANGE_WRITE_AND_WAIT):
Andrew Mortonf79e2ab2006-03-31 02:30:42 -0800333 * a traditional sync() operation. This is a write-for-data-integrity operation
334 * which will ensure that all pages in the range which were dirty on entry to
Amir Goldsteinc553ea42019-05-13 17:22:30 -0700335 * ksys_sync_file_range() are written to disk. It should be noted that disk
336 * caches are not flushed by this call, so there are no guarantees here that the
337 * data will be available on disk after a crash.
Andrew Mortonf79e2ab2006-03-31 02:30:42 -0800338 *
339 *
340 * SYNC_FILE_RANGE_WAIT_BEFORE and SYNC_FILE_RANGE_WAIT_AFTER will detect any
341 * I/O errors or ENOSPC conditions and will return those to the caller, after
342 * clearing the EIO and ENOSPC flags in the address_space.
343 *
344 * It should be noted that none of these operations write out the file's
345 * metadata. So unless the application is strictly performing overwrites of
346 * already-instantiated disk blocks, there are no guarantees here that the data
347 * will be available after a crash.
348 */
Dominik Brodowski806cbae2018-03-11 11:34:47 +0100349int ksys_sync_file_range(int fd, loff_t offset, loff_t nbytes,
350 unsigned int flags)
Andrew Mortonf79e2ab2006-03-31 02:30:42 -0800351{
352 int ret;
Al Viro2903ff02012-08-28 12:52:22 -0400353 struct fd f;
Andrew Mortonf79e2ab2006-03-31 02:30:42 -0800354
355 ret = -EBADF;
Al Viro2903ff02012-08-28 12:52:22 -0400356 f = fdget(fd);
Jens Axboe22f96b32019-04-09 14:51:48 -0600357 if (f.file)
358 ret = sync_file_range(f.file, offset, nbytes, flags);
Andrew Mortonf79e2ab2006-03-31 02:30:42 -0800359
Al Viro2903ff02012-08-28 12:52:22 -0400360 fdput(f);
Andrew Mortonf79e2ab2006-03-31 02:30:42 -0800361 return ret;
362}
363
Dominik Brodowski806cbae2018-03-11 11:34:47 +0100364SYSCALL_DEFINE4(sync_file_range, int, fd, loff_t, offset, loff_t, nbytes,
365 unsigned int, flags)
366{
367 return ksys_sync_file_range(fd, offset, nbytes, flags);
368}
369
David Woodhouseedd5cd42007-06-27 14:10:09 -0700370/* It would be nice if people remember that not all the world's an i386
371 when they introduce new system calls */
Al Viro4a0fd5b2013-01-21 15:16:58 -0500372SYSCALL_DEFINE4(sync_file_range2, int, fd, unsigned int, flags,
373 loff_t, offset, loff_t, nbytes)
David Woodhouseedd5cd42007-06-27 14:10:09 -0700374{
Dominik Brodowski806cbae2018-03-11 11:34:47 +0100375 return ksys_sync_file_range(fd, offset, nbytes, flags);
David Woodhouseedd5cd42007-06-27 14:10:09 -0700376}