blob: 9d6a67c7d2271a49cb0783101e5ef643babffc56 [file] [log] [blame]
Dave Chinner0b61f8a2018-06-05 19:42:14 -07001// SPDX-License-Identifier: GPL-2.0
Linus Torvalds1da177e2005-04-16 15:20:36 -07002/*
Nathan Scott7b718762005-11-02 14:58:39 +11003 * Copyright (c) 2000-2005 Silicon Graphics, Inc.
Christoph Hellwig98c1a7c02018-07-11 22:26:06 -07004 * Copyright (c) 2016-2018 Christoph Hellwig.
Nathan Scott7b718762005-11-02 14:58:39 +11005 * All Rights Reserved.
Linus Torvalds1da177e2005-04-16 15:20:36 -07006 */
Linus Torvalds1da177e2005-04-16 15:20:36 -07007#include "xfs.h"
Dave Chinner70a98832013-10-23 10:36:05 +11008#include "xfs_shared.h"
Dave Chinner239880e2013-10-23 10:50:10 +11009#include "xfs_format.h"
10#include "xfs_log_format.h"
11#include "xfs_trans_resv.h"
Linus Torvalds1da177e2005-04-16 15:20:36 -070012#include "xfs_mount.h"
Linus Torvalds1da177e2005-04-16 15:20:36 -070013#include "xfs_inode.h"
Dave Chinner239880e2013-10-23 10:50:10 +110014#include "xfs_trans.h"
Linus Torvalds1da177e2005-04-16 15:20:36 -070015#include "xfs_iomap.h"
Christoph Hellwig0b1b2132009-12-14 23:14:59 +000016#include "xfs_trace.h"
Dave Chinner3ed3a432010-03-05 02:00:42 +000017#include "xfs_bmap.h"
Dave Chinner68988112013-08-12 20:49:42 +100018#include "xfs_bmap_util.h"
Darrick J. Wongef473662016-10-03 09:11:34 -070019#include "xfs_reflink.h"
Linus Torvalds1da177e2005-04-16 15:20:36 -070020
Dave Chinnerfbcc0252016-02-15 17:21:19 +110021struct xfs_writepage_ctx {
Christoph Hellwig598ecfb2019-10-17 13:12:15 -070022 struct iomap_writepage_ctx ctx;
Brian Fosterd9252d52019-02-01 09:14:23 -080023 unsigned int data_seq;
Christoph Hellwige666aa32018-07-17 16:51:52 -070024 unsigned int cow_seq;
Dave Chinnerfbcc0252016-02-15 17:21:19 +110025};
26
Christoph Hellwig598ecfb2019-10-17 13:12:15 -070027static inline struct xfs_writepage_ctx *
28XFS_WPC(struct iomap_writepage_ctx *ctx)
29{
30 return container_of(ctx, struct xfs_writepage_ctx, ctx);
31}
32
Linus Torvalds1da177e2005-04-16 15:20:36 -070033/*
Christoph Hellwigfc0063c2011-08-23 08:28:11 +000034 * Fast and loose check if this write could update the on-disk inode size.
35 */
Christoph Hellwig598ecfb2019-10-17 13:12:15 -070036static inline bool xfs_ioend_is_append(struct iomap_ioend *ioend)
Christoph Hellwigfc0063c2011-08-23 08:28:11 +000037{
38 return ioend->io_offset + ioend->io_size >
Christoph Hellwig13d2c102021-03-29 11:11:40 -070039 XFS_I(ioend->io_inode)->i_disk_size;
Christoph Hellwigfc0063c2011-08-23 08:28:11 +000040}
41
42/*
Christoph Hellwig2813d682011-12-18 20:00:12 +000043 * Update on-disk file size now that data has been written to disk.
Lachlan McIlroyba87ea62007-05-08 13:49:46 +100044 */
Brian Fostere7a3d7e2021-04-09 10:27:56 -070045int
46xfs_setfilesize(
Christoph Hellwig2ba66232015-02-02 10:02:09 +110047 struct xfs_inode *ip,
Christoph Hellwig2ba66232015-02-02 10:02:09 +110048 xfs_off_t offset,
49 size_t size)
Lachlan McIlroyba87ea62007-05-08 13:49:46 +100050{
Brian Fostere7a3d7e2021-04-09 10:27:56 -070051 struct xfs_mount *mp = ip->i_mount;
52 struct xfs_trans *tp;
Lachlan McIlroyba87ea62007-05-08 13:49:46 +100053 xfs_fsize_t isize;
Brian Fostere7a3d7e2021-04-09 10:27:56 -070054 int error;
55
56 error = xfs_trans_alloc(mp, &M_RES(mp)->tr_fsyncts, 0, 0, 0, &tp);
57 if (error)
58 return error;
Lachlan McIlroyba87ea62007-05-08 13:49:46 +100059
Christoph Hellwigaa6bf012012-02-29 09:53:48 +000060 xfs_ilock(ip, XFS_ILOCK_EXCL);
Christoph Hellwig2ba66232015-02-02 10:02:09 +110061 isize = xfs_new_eof(ip, offset + size);
Christoph Hellwig281627d2012-03-13 08:41:05 +000062 if (!isize) {
63 xfs_iunlock(ip, XFS_ILOCK_EXCL);
Christoph Hellwig4906e212015-06-04 13:47:56 +100064 xfs_trans_cancel(tp);
Christoph Hellwig281627d2012-03-13 08:41:05 +000065 return 0;
Lachlan McIlroyba87ea62007-05-08 13:49:46 +100066 }
67
Christoph Hellwig2ba66232015-02-02 10:02:09 +110068 trace_xfs_setfilesize(ip, offset, size);
Christoph Hellwig281627d2012-03-13 08:41:05 +000069
Christoph Hellwig13d2c102021-03-29 11:11:40 -070070 ip->i_disk_size = isize;
Christoph Hellwig281627d2012-03-13 08:41:05 +000071 xfs_trans_ijoin(tp, ip, XFS_ILOCK_EXCL);
72 xfs_trans_log_inode(tp, ip, XFS_ILOG_CORE);
73
Christoph Hellwig70393312015-06-04 13:48:08 +100074 return xfs_trans_commit(tp);
Christoph Hellwig0829c362005-09-02 16:58:49 +100075}
76
77/*
Dave Chinner77d7a0c2010-02-17 05:36:29 +000078 * IO write completion.
79 */
80STATIC void
Darrick J. Wongcb357bf2019-04-15 13:13:20 -070081xfs_end_ioend(
Christoph Hellwig598ecfb2019-10-17 13:12:15 -070082 struct iomap_ioend *ioend)
Dave Chinner77d7a0c2010-02-17 05:36:29 +000083{
Christoph Hellwig0e51a8e2016-04-06 08:34:30 +100084 struct xfs_inode *ip = XFS_I(ioend->io_inode);
Brian Foster5ca59162021-10-21 14:11:55 -070085 struct xfs_mount *mp = ip->i_mount;
Christoph Hellwig787eb482017-03-02 15:02:51 -080086 xfs_off_t offset = ioend->io_offset;
87 size_t size = ioend->io_size;
Christoph Hellwig73d30d42019-06-28 19:31:38 -070088 unsigned int nofs_flag;
Christoph Hellwig4e4cbee2017-06-03 09:38:06 +020089 int error;
Dave Chinner77d7a0c2010-02-17 05:36:29 +000090
Brian Fosteraf055e32016-02-08 15:00:02 +110091 /*
Christoph Hellwig73d30d42019-06-28 19:31:38 -070092 * We can allocate memory here while doing writeback on behalf of
93 * memory reclaim. To avoid memory allocation deadlocks set the
94 * task-wide nofs context for the following operations.
95 */
96 nofs_flag = memalloc_nofs_save();
97
98 /*
Bhaskar Chowdhuryf9dd7ba2021-03-23 16:59:30 -070099 * Just clean up the in-memory structures if the fs has been shut down.
Brian Fosteraf055e32016-02-08 15:00:02 +1100100 */
Brian Foster5ca59162021-10-21 14:11:55 -0700101 if (xfs_is_shutdown(mp)) {
Christoph Hellwig0e51a8e2016-04-06 08:34:30 +1000102 error = -EIO;
Christoph Hellwig787eb482017-03-02 15:02:51 -0800103 goto done;
Darrick J. Wong43caeb12016-10-03 09:11:35 -0700104 }
105
106 /*
Brian Foster5ca59162021-10-21 14:11:55 -0700107 * Clean up all COW blocks and underlying data fork delalloc blocks on
108 * I/O error. The delalloc punch is required because this ioend was
109 * mapped to blocks in the COW fork and the associated pages are no
110 * longer dirty. If we don't remove delalloc blocks here, they become
111 * stale and can corrupt free space accounting on unmount.
Dave Chinner77d7a0c2010-02-17 05:36:29 +0000112 */
Christoph Hellwig4e4cbee2017-06-03 09:38:06 +0200113 error = blk_status_to_errno(ioend->io_bio->bi_status);
Christoph Hellwig787eb482017-03-02 15:02:51 -0800114 if (unlikely(error)) {
Brian Foster5ca59162021-10-21 14:11:55 -0700115 if (ioend->io_flags & IOMAP_F_SHARED) {
Christoph Hellwig787eb482017-03-02 15:02:51 -0800116 xfs_reflink_cancel_cow_range(ip, offset, size, true);
Brian Foster5ca59162021-10-21 14:11:55 -0700117 xfs_bmap_punch_delalloc_range(ip,
118 XFS_B_TO_FSBT(mp, offset),
119 XFS_B_TO_FSB(mp, size));
120 }
Christoph Hellwig787eb482017-03-02 15:02:51 -0800121 goto done;
122 }
123
124 /*
Christoph Hellwigbe225fe2019-02-15 08:02:46 -0800125 * Success: commit the COW or unwritten blocks if needed.
Christoph Hellwig787eb482017-03-02 15:02:51 -0800126 */
Christoph Hellwig760fea82019-10-17 13:12:10 -0700127 if (ioend->io_flags & IOMAP_F_SHARED)
Christoph Hellwig787eb482017-03-02 15:02:51 -0800128 error = xfs_reflink_end_cow(ip, offset, size);
Christoph Hellwig4e087a32019-10-17 13:12:06 -0700129 else if (ioend->io_type == IOMAP_UNWRITTEN)
Eryu Guanee70daa2017-09-21 11:26:18 -0700130 error = xfs_iomap_write_unwritten(ip, offset, size, false);
Dave Chinner77d7a0c2010-02-17 05:36:29 +0000131
Brian Foster7cd30992021-04-09 10:27:43 -0700132 if (!error && xfs_ioend_is_append(ioend))
133 error = xfs_setfilesize(ip, ioend->io_offset, ioend->io_size);
Christoph Hellwig04f658e2011-08-24 05:59:25 +0000134done:
Christoph Hellwig598ecfb2019-10-17 13:12:15 -0700135 iomap_finish_ioends(ioend, error);
Christoph Hellwig73d30d42019-06-28 19:31:38 -0700136 memalloc_nofs_restore(nofs_flag);
Darrick J. Wong3994fc42019-04-15 13:13:21 -0700137}
138
Dave Chinnerebb7fb12022-01-26 09:19:20 -0800139/*
140 * Finish all pending IO completions that require transactional modifications.
141 *
142 * We try to merge physical and logically contiguous ioends before completion to
143 * minimise the number of transactions we need to perform during IO completion.
144 * Both unwritten extent conversion and COW remapping need to iterate and modify
145 * one physical extent at a time, so we gain nothing by merging physically
146 * discontiguous extents here.
147 *
148 * The ioend chain length that we can be processing here is largely unbound in
149 * length and we may have to perform significant amounts of work on each ioend
150 * to complete it. Hence we have to be careful about holding the CPU for too
151 * long in this loop.
152 */
Darrick J. Wongcb357bf2019-04-15 13:13:20 -0700153void
154xfs_end_io(
155 struct work_struct *work)
156{
Christoph Hellwig433dad92019-10-17 13:12:07 -0700157 struct xfs_inode *ip =
158 container_of(work, struct xfs_inode, i_ioend_work);
Christoph Hellwig598ecfb2019-10-17 13:12:15 -0700159 struct iomap_ioend *ioend;
Christoph Hellwig433dad92019-10-17 13:12:07 -0700160 struct list_head tmp;
Darrick J. Wongcb357bf2019-04-15 13:13:20 -0700161 unsigned long flags;
162
Darrick J. Wongcb357bf2019-04-15 13:13:20 -0700163 spin_lock_irqsave(&ip->i_ioend_lock, flags);
Christoph Hellwig433dad92019-10-17 13:12:07 -0700164 list_replace_init(&ip->i_ioend_list, &tmp);
Darrick J. Wongcb357bf2019-04-15 13:13:20 -0700165 spin_unlock_irqrestore(&ip->i_ioend_lock, flags);
166
Christoph Hellwig598ecfb2019-10-17 13:12:15 -0700167 iomap_sort_ioends(&tmp);
168 while ((ioend = list_first_entry_or_null(&tmp, struct iomap_ioend,
Christoph Hellwig433dad92019-10-17 13:12:07 -0700169 io_list))) {
Darrick J. Wongcb357bf2019-04-15 13:13:20 -0700170 list_del_init(&ioend->io_list);
Brian Foster6e552492021-05-04 08:54:29 -0700171 iomap_ioend_try_merge(ioend, &tmp);
Darrick J. Wongcb357bf2019-04-15 13:13:20 -0700172 xfs_end_ioend(ioend);
Dave Chinnerebb7fb12022-01-26 09:19:20 -0800173 cond_resched();
Darrick J. Wongcb357bf2019-04-15 13:13:20 -0700174 }
175}
176
Christoph Hellwig0e51a8e2016-04-06 08:34:30 +1000177STATIC void
178xfs_end_bio(
179 struct bio *bio)
Christoph Hellwig0829c362005-09-02 16:58:49 +1000180{
Christoph Hellwig598ecfb2019-10-17 13:12:15 -0700181 struct iomap_ioend *ioend = bio->bi_private;
Darrick J. Wongcb357bf2019-04-15 13:13:20 -0700182 struct xfs_inode *ip = XFS_I(ioend->io_inode);
Darrick J. Wongcb357bf2019-04-15 13:13:20 -0700183 unsigned long flags;
Christoph Hellwig0829c362005-09-02 16:58:49 +1000184
Christoph Hellwig598ecfb2019-10-17 13:12:15 -0700185 spin_lock_irqsave(&ip->i_ioend_lock, flags);
186 if (list_empty(&ip->i_ioend_list))
187 WARN_ON_ONCE(!queue_work(ip->i_mount->m_unwritten_workqueue,
188 &ip->i_ioend_work));
189 list_add_tail(&ioend->io_list, &ip->i_ioend_list);
190 spin_unlock_irqrestore(&ip->i_ioend_lock, flags);
Christoph Hellwig0829c362005-09-02 16:58:49 +1000191}
192
Brian Fosterd9252d52019-02-01 09:14:23 -0800193/*
194 * Fast revalidation of the cached writeback mapping. Return true if the current
195 * mapping is valid, false otherwise.
196 */
197static bool
198xfs_imap_valid(
Christoph Hellwig598ecfb2019-10-17 13:12:15 -0700199 struct iomap_writepage_ctx *wpc,
Brian Fosterd9252d52019-02-01 09:14:23 -0800200 struct xfs_inode *ip,
Christoph Hellwig4e087a32019-10-17 13:12:06 -0700201 loff_t offset)
Brian Fosterd9252d52019-02-01 09:14:23 -0800202{
Christoph Hellwig4e087a32019-10-17 13:12:06 -0700203 if (offset < wpc->iomap.offset ||
204 offset >= wpc->iomap.offset + wpc->iomap.length)
Brian Fosterd9252d52019-02-01 09:14:23 -0800205 return false;
206 /*
207 * If this is a COW mapping, it is sufficient to check that the mapping
208 * covers the offset. Be careful to check this first because the caller
209 * can revalidate a COW mapping without updating the data seqno.
210 */
Christoph Hellwig760fea82019-10-17 13:12:10 -0700211 if (wpc->iomap.flags & IOMAP_F_SHARED)
Brian Fosterd9252d52019-02-01 09:14:23 -0800212 return true;
213
214 /*
215 * This is not a COW mapping. Check the sequence number of the data fork
216 * because concurrent changes could have invalidated the extent. Check
217 * the COW fork because concurrent changes since the last time we
218 * checked (and found nothing at this offset) could have added
219 * overlapping blocks.
220 */
Christoph Hellwig598ecfb2019-10-17 13:12:15 -0700221 if (XFS_WPC(wpc)->data_seq != READ_ONCE(ip->i_df.if_seq))
Brian Fosterd9252d52019-02-01 09:14:23 -0800222 return false;
223 if (xfs_inode_has_cow_data(ip) &&
Christoph Hellwig598ecfb2019-10-17 13:12:15 -0700224 XFS_WPC(wpc)->cow_seq != READ_ONCE(ip->i_cowfp->if_seq))
Brian Fosterd9252d52019-02-01 09:14:23 -0800225 return false;
226 return true;
227}
228
Christoph Hellwig4ad765e2019-02-15 08:02:49 -0800229/*
230 * Pass in a dellalloc extent and convert it to real extents, return the real
Christoph Hellwig4e087a32019-10-17 13:12:06 -0700231 * extent that maps offset_fsb in wpc->iomap.
Christoph Hellwig4ad765e2019-02-15 08:02:49 -0800232 *
233 * The current page is held locked so nothing could have removed the block
Christoph Hellwig7588cbe2019-02-15 08:02:50 -0800234 * backing offset_fsb, although it could have moved from the COW to the data
235 * fork by another thread.
Christoph Hellwig4ad765e2019-02-15 08:02:49 -0800236 */
237static int
238xfs_convert_blocks(
Christoph Hellwig598ecfb2019-10-17 13:12:15 -0700239 struct iomap_writepage_ctx *wpc,
Christoph Hellwig4ad765e2019-02-15 08:02:49 -0800240 struct xfs_inode *ip,
Christoph Hellwig760fea82019-10-17 13:12:10 -0700241 int whichfork,
Christoph Hellwig4e087a32019-10-17 13:12:06 -0700242 loff_t offset)
Christoph Hellwig4ad765e2019-02-15 08:02:49 -0800243{
244 int error;
Christoph Hellwig598ecfb2019-10-17 13:12:15 -0700245 unsigned *seq;
246
247 if (whichfork == XFS_COW_FORK)
248 seq = &XFS_WPC(wpc)->cow_seq;
249 else
250 seq = &XFS_WPC(wpc)->data_seq;
Christoph Hellwig4ad765e2019-02-15 08:02:49 -0800251
252 /*
Christoph Hellwig4e087a32019-10-17 13:12:06 -0700253 * Attempt to allocate whatever delalloc extent currently backs offset
254 * and put the result into wpc->iomap. Allocate in a loop because it
255 * may take several attempts to allocate real blocks for a contiguous
256 * delalloc extent if free space is sufficiently fragmented.
Christoph Hellwig4ad765e2019-02-15 08:02:49 -0800257 */
258 do {
Christoph Hellwig760fea82019-10-17 13:12:10 -0700259 error = xfs_bmapi_convert_delalloc(ip, whichfork, offset,
Christoph Hellwig598ecfb2019-10-17 13:12:15 -0700260 &wpc->iomap, seq);
Christoph Hellwig4ad765e2019-02-15 08:02:49 -0800261 if (error)
262 return error;
Christoph Hellwig4e087a32019-10-17 13:12:06 -0700263 } while (wpc->iomap.offset + wpc->iomap.length <= offset);
Christoph Hellwig4ad765e2019-02-15 08:02:49 -0800264
265 return 0;
266}
267
Christoph Hellwig598ecfb2019-10-17 13:12:15 -0700268static int
Linus Torvalds1da177e2005-04-16 15:20:36 -0700269xfs_map_blocks(
Christoph Hellwig598ecfb2019-10-17 13:12:15 -0700270 struct iomap_writepage_ctx *wpc,
Linus Torvalds1da177e2005-04-16 15:20:36 -0700271 struct inode *inode,
Christoph Hellwig5c665e52018-07-11 22:25:59 -0700272 loff_t offset)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700273{
Christoph Hellwiga206c812010-12-10 08:42:20 +0000274 struct xfs_inode *ip = XFS_I(inode);
275 struct xfs_mount *mp = ip->i_mount;
Fabian Frederick93407472017-02-27 14:28:32 -0800276 ssize_t count = i_blocksize(inode);
Christoph Hellwigb4e29032019-02-15 08:02:47 -0800277 xfs_fileoff_t offset_fsb = XFS_B_TO_FSBT(mp, offset);
278 xfs_fileoff_t end_fsb = XFS_B_TO_FSB(mp, offset + count);
Darrick J. Wongc2f09212020-11-02 17:14:06 -0800279 xfs_fileoff_t cow_fsb;
280 int whichfork;
Christoph Hellwig5c665e52018-07-11 22:25:59 -0700281 struct xfs_bmbt_irec imap;
Christoph Hellwig060d4ea2018-07-11 22:26:01 -0700282 struct xfs_iext_cursor icur;
Christoph Hellwig7588cbe2019-02-15 08:02:50 -0800283 int retries = 0;
Christoph Hellwiga206c812010-12-10 08:42:20 +0000284 int error = 0;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700285
Dave Chinner75c8c50f2021-08-18 18:46:53 -0700286 if (xfs_is_shutdown(mp))
Brian Fosterd9252d52019-02-01 09:14:23 -0800287 return -EIO;
288
Christoph Hellwig889c65b2018-07-11 22:26:02 -0700289 /*
Christoph Hellwig889c65b2018-07-11 22:26:02 -0700290 * COW fork blocks can overlap data fork blocks even if the blocks
291 * aren't shared. COW I/O always takes precedent, so we must always
292 * check for overlap on reflink inodes unless the mapping is already a
Christoph Hellwige666aa32018-07-17 16:51:52 -0700293 * COW one, or the COW fork hasn't changed from the last time we looked
294 * at it.
295 *
296 * It's safe to check the COW fork if_seq here without the ILOCK because
297 * we've indirectly protected against concurrent updates: writeback has
298 * the page locked, which prevents concurrent invalidations by reflink
299 * and directio and prevents concurrent buffered writes to the same
300 * page. Changes to if_seq always happen under i_lock, which protects
301 * against concurrent updates and provides a memory barrier on the way
302 * out that ensures that we always see the current value.
Christoph Hellwig889c65b2018-07-11 22:26:02 -0700303 */
Christoph Hellwig4e087a32019-10-17 13:12:06 -0700304 if (xfs_imap_valid(wpc, ip, offset))
Christoph Hellwig889c65b2018-07-11 22:26:02 -0700305 return 0;
306
Christoph Hellwig889c65b2018-07-11 22:26:02 -0700307 /*
308 * If we don't have a valid map, now it's time to get a new one for this
309 * offset. This will convert delayed allocations (including COW ones)
310 * into real extents. If we return without a valid map, it means we
311 * landed in a hole and we skip the block.
312 */
Christoph Hellwig7588cbe2019-02-15 08:02:50 -0800313retry:
Darrick J. Wongc2f09212020-11-02 17:14:06 -0800314 cow_fsb = NULLFILEOFF;
315 whichfork = XFS_DATA_FORK;
Dave Chinner988ef922016-02-15 17:20:50 +1100316 xfs_ilock(ip, XFS_ILOCK_SHARED);
Christoph Hellwigb2197a32021-04-13 11:15:12 -0700317 ASSERT(!xfs_need_iread_extents(&ip->i_df));
Christoph Hellwig060d4ea2018-07-11 22:26:01 -0700318
319 /*
320 * Check if this is offset is covered by a COW extents, and if yes use
321 * it directly instead of looking up anything in the data fork.
322 */
Christoph Hellwig51d62692018-07-17 16:51:51 -0700323 if (xfs_inode_has_cow_data(ip) &&
Christoph Hellwige666aa32018-07-17 16:51:52 -0700324 xfs_iext_lookup_extent(ip, ip->i_cowfp, offset_fsb, &icur, &imap))
325 cow_fsb = imap.br_startoff;
326 if (cow_fsb != NULLFILEOFF && cow_fsb <= offset_fsb) {
Christoph Hellwig598ecfb2019-10-17 13:12:15 -0700327 XFS_WPC(wpc)->cow_seq = READ_ONCE(ip->i_cowfp->if_seq);
Christoph Hellwig5c665e52018-07-11 22:25:59 -0700328 xfs_iunlock(ip, XFS_ILOCK_SHARED);
Christoph Hellwigbe225fe2019-02-15 08:02:46 -0800329
Christoph Hellwig760fea82019-10-17 13:12:10 -0700330 whichfork = XFS_COW_FORK;
Christoph Hellwig5c665e52018-07-11 22:25:59 -0700331 goto allocate_blocks;
332 }
333
334 /*
Brian Fosterd9252d52019-02-01 09:14:23 -0800335 * No COW extent overlap. Revalidate now that we may have updated
336 * ->cow_seq. If the data mapping is still valid, we're done.
Christoph Hellwig5c665e52018-07-11 22:25:59 -0700337 */
Christoph Hellwig4e087a32019-10-17 13:12:06 -0700338 if (xfs_imap_valid(wpc, ip, offset)) {
Christoph Hellwig5c665e52018-07-11 22:25:59 -0700339 xfs_iunlock(ip, XFS_ILOCK_SHARED);
340 return 0;
341 }
342
343 /*
344 * If we don't have a valid map, now it's time to get a new one for this
345 * offset. This will convert delayed allocations (including COW ones)
346 * into real extents.
347 */
Christoph Hellwig33457462018-07-11 22:26:02 -0700348 if (!xfs_iext_lookup_extent(ip, &ip->i_df, offset_fsb, &icur, &imap))
349 imap.br_startoff = end_fsb; /* fake a hole past EOF */
Christoph Hellwig598ecfb2019-10-17 13:12:15 -0700350 XFS_WPC(wpc)->data_seq = READ_ONCE(ip->i_df.if_seq);
Christoph Hellwig8ff29572010-12-10 08:42:21 +0000351 xfs_iunlock(ip, XFS_ILOCK_SHARED);
Christoph Hellwiga206c812010-12-10 08:42:20 +0000352
Christoph Hellwig12df89f2019-02-18 09:38:47 -0800353 /* landed in a hole or beyond EOF? */
Christoph Hellwig33457462018-07-11 22:26:02 -0700354 if (imap.br_startoff > offset_fsb) {
Christoph Hellwig33457462018-07-11 22:26:02 -0700355 imap.br_blockcount = imap.br_startoff - offset_fsb;
Christoph Hellwig5c665e52018-07-11 22:25:59 -0700356 imap.br_startoff = offset_fsb;
Christoph Hellwig5c665e52018-07-11 22:25:59 -0700357 imap.br_startblock = HOLESTARTBLOCK;
Christoph Hellwigbe225fe2019-02-15 08:02:46 -0800358 imap.br_state = XFS_EXT_NORM;
Christoph Hellwiga206c812010-12-10 08:42:20 +0000359 }
360
Christoph Hellwig12df89f2019-02-18 09:38:47 -0800361 /*
362 * Truncate to the next COW extent if there is one. This is the only
363 * opportunity to do this because we can skip COW fork lookups for the
364 * subsequent blocks in the mapping; however, the requirement to treat
365 * the COW range separately remains.
366 */
367 if (cow_fsb != NULLFILEOFF &&
368 cow_fsb < imap.br_startoff + imap.br_blockcount)
369 imap.br_blockcount = cow_fsb - imap.br_startoff;
370
371 /* got a delalloc extent? */
372 if (imap.br_startblock != HOLESTARTBLOCK &&
373 isnullstartblock(imap.br_startblock))
374 goto allocate_blocks;
375
Christoph Hellwig740fd672021-11-29 11:21:57 +0100376 xfs_bmbt_to_iomap(ip, &wpc->iomap, &imap, 0, 0);
Christoph Hellwig760fea82019-10-17 13:12:10 -0700377 trace_xfs_map_blocks_found(ip, offset, count, whichfork, &imap);
Christoph Hellwig5c665e52018-07-11 22:25:59 -0700378 return 0;
379allocate_blocks:
Christoph Hellwig760fea82019-10-17 13:12:10 -0700380 error = xfs_convert_blocks(wpc, ip, whichfork, offset);
Christoph Hellwig7588cbe2019-02-15 08:02:50 -0800381 if (error) {
382 /*
383 * If we failed to find the extent in the COW fork we might have
384 * raced with a COW to data fork conversion or truncate.
385 * Restart the lookup to catch the extent in the data fork for
386 * the former case, but prevent additional retries to avoid
387 * looping forever for the latter case.
388 */
Christoph Hellwig760fea82019-10-17 13:12:10 -0700389 if (error == -EAGAIN && whichfork == XFS_COW_FORK && !retries++)
Christoph Hellwig7588cbe2019-02-15 08:02:50 -0800390 goto retry;
391 ASSERT(error != -EAGAIN);
Christoph Hellwig5c665e52018-07-11 22:25:59 -0700392 return error;
Christoph Hellwig7588cbe2019-02-15 08:02:50 -0800393 }
Christoph Hellwig4ad765e2019-02-15 08:02:49 -0800394
395 /*
396 * Due to merging the return real extent might be larger than the
397 * original delalloc one. Trim the return extent to the next COW
398 * boundary again to force a re-lookup.
399 */
Christoph Hellwig760fea82019-10-17 13:12:10 -0700400 if (whichfork != XFS_COW_FORK && cow_fsb != NULLFILEOFF) {
Christoph Hellwig4e087a32019-10-17 13:12:06 -0700401 loff_t cow_offset = XFS_FSB_TO_B(mp, cow_fsb);
Christoph Hellwig4ad765e2019-02-15 08:02:49 -0800402
Christoph Hellwig4e087a32019-10-17 13:12:06 -0700403 if (cow_offset < wpc->iomap.offset + wpc->iomap.length)
404 wpc->iomap.length = cow_offset - wpc->iomap.offset;
405 }
406
407 ASSERT(wpc->iomap.offset <= offset);
408 ASSERT(wpc->iomap.offset + wpc->iomap.length > offset);
Christoph Hellwig760fea82019-10-17 13:12:10 -0700409 trace_xfs_map_blocks_alloc(ip, offset, count, whichfork, &imap);
Christoph Hellwig8ff29572010-12-10 08:42:21 +0000410 return 0;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700411}
412
Christoph Hellwig598ecfb2019-10-17 13:12:15 -0700413static int
414xfs_prepare_ioend(
415 struct iomap_ioend *ioend,
Dave Chinnere10de372016-02-15 17:23:12 +1100416 int status)
Christoph Hellwigf6d6d4f2006-01-11 15:40:13 +1100417{
Christoph Hellwig73d30d42019-06-28 19:31:38 -0700418 unsigned int nofs_flag;
419
420 /*
421 * We can allocate memory here while doing writeback on behalf of
422 * memory reclaim. To avoid memory allocation deadlocks set the
423 * task-wide nofs context for the following operations.
424 */
425 nofs_flag = memalloc_nofs_save();
426
Darrick J. Wong5eda4302017-02-02 15:14:02 -0800427 /* Convert CoW extents to regular */
Christoph Hellwig760fea82019-10-17 13:12:10 -0700428 if (!status && (ioend->io_flags & IOMAP_F_SHARED)) {
Darrick J. Wong5eda4302017-02-02 15:14:02 -0800429 status = xfs_reflink_convert_cow(XFS_I(ioend->io_inode),
430 ioend->io_offset, ioend->io_size);
431 }
432
Christoph Hellwig73d30d42019-06-28 19:31:38 -0700433 memalloc_nofs_restore(nofs_flag);
434
Brian Foster7adb8f12021-04-09 10:27:55 -0700435 /* send ioends that might require a transaction to the completion wq */
436 if (xfs_ioend_is_append(ioend) || ioend->io_type == IOMAP_UNWRITTEN ||
437 (ioend->io_flags & IOMAP_F_SHARED))
Christoph Hellwig598ecfb2019-10-17 13:12:15 -0700438 ioend->io_bio->bi_end_io = xfs_end_bio;
439 return status;
Christoph Hellwigf6d6d4f2006-01-11 15:40:13 +1100440}
441
Dave Chinner3ed3a432010-03-05 02:00:42 +0000442/*
Christoph Hellwig82cb1412018-07-11 22:26:05 -0700443 * If the page has delalloc blocks on it, we need to punch them out before we
444 * invalidate the page. If we don't, we leave a stale delalloc mapping on the
445 * inode that can trip up a later direct I/O read operation on the same region.
Dave Chinner3ed3a432010-03-05 02:00:42 +0000446 *
Christoph Hellwig82cb1412018-07-11 22:26:05 -0700447 * We prevent this by truncating away the delalloc regions on the page. Because
448 * they are delalloc, we can do this without needing a transaction. Indeed - if
449 * we get ENOSPC errors, we have to be able to do this truncation without a
450 * transaction as there is no space left for block reservation (typically why we
451 * see a ENOSPC in writeback).
Dave Chinner3ed3a432010-03-05 02:00:42 +0000452 */
Christoph Hellwig598ecfb2019-10-17 13:12:15 -0700453static void
Matthew Wilcox (Oracle)6e478522021-07-30 09:56:05 -0400454xfs_discard_folio(
455 struct folio *folio,
456 loff_t pos)
Dave Chinner3ed3a432010-03-05 02:00:42 +0000457{
Matthew Wilcox (Oracle)6e478522021-07-30 09:56:05 -0400458 struct inode *inode = folio->mapping->host;
Dave Chinner3ed3a432010-03-05 02:00:42 +0000459 struct xfs_inode *ip = XFS_I(inode);
Christoph Hellwig03625722018-07-11 22:25:57 -0700460 struct xfs_mount *mp = ip->i_mount;
Matthew Wilcox (Oracle)6e478522021-07-30 09:56:05 -0400461 size_t offset = offset_in_folio(folio, pos);
462 xfs_fileoff_t start_fsb = XFS_B_TO_FSBT(mp, pos);
463 xfs_fileoff_t pageoff_fsb = XFS_B_TO_FSBT(mp, offset);
Christoph Hellwig03625722018-07-11 22:25:57 -0700464 int error;
Dave Chinner3ed3a432010-03-05 02:00:42 +0000465
Dave Chinner75c8c50f2021-08-18 18:46:53 -0700466 if (xfs_is_shutdown(mp))
Dave Chinner3ed3a432010-03-05 02:00:42 +0000467 goto out_invalidate;
468
Christoph Hellwig4ab45e22020-02-21 07:34:48 -0800469 xfs_alert_ratelimited(mp,
Matthew Wilcox (Oracle)6e478522021-07-30 09:56:05 -0400470 "page discard on page "PTR_FMT", inode 0x%llx, pos %llu.",
471 folio, ip->i_ino, pos);
Dave Chinner3ed3a432010-03-05 02:00:42 +0000472
Christoph Hellwig03625722018-07-11 22:25:57 -0700473 error = xfs_bmap_punch_delalloc_range(ip, start_fsb,
Matthew Wilcox (Oracle)6e478522021-07-30 09:56:05 -0400474 i_blocks_per_folio(inode, folio) - pageoff_fsb);
Dave Chinner75c8c50f2021-08-18 18:46:53 -0700475 if (error && !xfs_is_shutdown(mp))
Christoph Hellwig03625722018-07-11 22:25:57 -0700476 xfs_alert(mp, "page discard unable to remove delalloc mapping.");
Dave Chinner3ed3a432010-03-05 02:00:42 +0000477out_invalidate:
Matthew Wilcox (Oracle)6e478522021-07-30 09:56:05 -0400478 iomap_invalidate_folio(folio, offset, folio_size(folio) - offset);
Dave Chinner3ed3a432010-03-05 02:00:42 +0000479}
480
Christoph Hellwig598ecfb2019-10-17 13:12:15 -0700481static const struct iomap_writeback_ops xfs_writeback_ops = {
482 .map_blocks = xfs_map_blocks,
483 .prepare_ioend = xfs_prepare_ioend,
Matthew Wilcox (Oracle)6e478522021-07-30 09:56:05 -0400484 .discard_folio = xfs_discard_folio,
Christoph Hellwig598ecfb2019-10-17 13:12:15 -0700485};
Nathan Scottf51623b2006-03-14 13:26:27 +1100486
Nathan Scott7d4fb402006-06-09 15:27:16 +1000487STATIC int
488xfs_vm_writepages(
489 struct address_space *mapping,
490 struct writeback_control *wbc)
491{
Christoph Hellwigbe225fe2019-02-15 08:02:46 -0800492 struct xfs_writepage_ctx wpc = { };
Dave Chinnerfbcc0252016-02-15 17:21:19 +1100493
Dave Chinner756b1c32021-02-23 10:26:06 -0800494 /*
495 * Writing back data in a transaction context can result in recursive
496 * transactions. This is bad, so issue a warning and get out of here.
497 */
498 if (WARN_ON_ONCE(current->journal_info))
499 return 0;
500
Christoph Hellwigb3aea4e2007-08-29 11:44:37 +1000501 xfs_iflags_clear(XFS_I(mapping->host), XFS_ITRUNCATED);
Christoph Hellwig598ecfb2019-10-17 13:12:15 -0700502 return iomap_writepages(mapping, wbc, &wpc.ctx, &xfs_writeback_ops);
Nathan Scott7d4fb402006-06-09 15:27:16 +1000503}
504
Dan Williams6e2608d2018-03-07 15:26:44 -0800505STATIC int
506xfs_dax_writepages(
507 struct address_space *mapping,
508 struct writeback_control *wbc)
509{
Christoph Hellwig30fa5292019-10-24 22:25:38 -0700510 struct xfs_inode *ip = XFS_I(mapping->host);
511
512 xfs_iflags_clear(ip, XFS_ITRUNCATED);
Dan Williams6e2608d2018-03-07 15:26:44 -0800513 return dax_writeback_mapping_range(mapping,
Vivek Goyal3f666c52020-01-03 13:33:07 -0500514 xfs_inode_buftarg(ip)->bt_daxdev, wbc);
Dan Williams6e2608d2018-03-07 15:26:44 -0800515}
516
Linus Torvalds1da177e2005-04-16 15:20:36 -0700517STATIC sector_t
Nathan Scotte4c573b2006-03-14 13:54:26 +1100518xfs_vm_bmap(
Linus Torvalds1da177e2005-04-16 15:20:36 -0700519 struct address_space *mapping,
520 sector_t block)
521{
Christoph Hellwigb84e7722018-06-01 09:03:09 -0700522 struct xfs_inode *ip = XFS_I(mapping->host);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700523
Christoph Hellwigb84e7722018-06-01 09:03:09 -0700524 trace_xfs_vm_bmap(ip);
Darrick J. Wongdb1327b2016-10-03 09:11:36 -0700525
526 /*
527 * The swap code (ab-)uses ->bmap to get a block mapping and then
Ingo Molnar793057e2018-02-28 09:39:48 +0100528 * bypasses the file system for actual I/O. We really can't allow
Darrick J. Wongdb1327b2016-10-03 09:11:36 -0700529 * that on reflinks inodes, so we have to skip out here. And yes,
Darrick J. Wongeb5e2482017-06-21 20:27:35 -0700530 * 0 is the magic code for a bmap error.
531 *
532 * Since we don't pass back blockdev info, we can't return bmap
533 * information for rt files either.
Darrick J. Wongdb1327b2016-10-03 09:11:36 -0700534 */
Christoph Hellwig66ae56a2019-02-18 09:38:49 -0800535 if (xfs_is_cow_inode(ip) || XFS_IS_REALTIME_INODE(ip))
Darrick J. Wongdb1327b2016-10-03 09:11:36 -0700536 return 0;
Christoph Hellwig690c2a32019-10-19 09:09:45 -0700537 return iomap_bmap(mapping, block, &xfs_read_iomap_ops);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700538}
539
540STATIC int
Nathan Scotte4c573b2006-03-14 13:54:26 +1100541xfs_vm_readpage(
Linus Torvalds1da177e2005-04-16 15:20:36 -0700542 struct file *unused,
543 struct page *page)
544{
Christoph Hellwig690c2a32019-10-19 09:09:45 -0700545 return iomap_readpage(page, &xfs_read_iomap_ops);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700546}
547
Matthew Wilcox (Oracle)9d24a132020-06-01 21:47:34 -0700548STATIC void
549xfs_vm_readahead(
550 struct readahead_control *rac)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700551{
Matthew Wilcox (Oracle)9d24a132020-06-01 21:47:34 -0700552 iomap_readahead(rac, &xfs_read_iomap_ops);
Dave Chinner22e757a2014-09-02 12:12:51 +1000553}
554
Darrick J. Wong67482122018-05-10 08:38:15 -0700555static int
556xfs_iomap_swapfile_activate(
557 struct swap_info_struct *sis,
558 struct file *swap_file,
559 sector_t *span)
560{
Christoph Hellwig30fa5292019-10-24 22:25:38 -0700561 sis->bdev = xfs_inode_buftarg(XFS_I(file_inode(swap_file)))->bt_bdev;
Christoph Hellwig690c2a32019-10-19 09:09:45 -0700562 return iomap_swapfile_activate(sis, swap_file, span,
563 &xfs_read_iomap_ops);
Darrick J. Wong67482122018-05-10 08:38:15 -0700564}
565
Christoph Hellwigf5e54d62006-06-28 04:26:44 -0700566const struct address_space_operations xfs_address_space_operations = {
Nathan Scotte4c573b2006-03-14 13:54:26 +1100567 .readpage = xfs_vm_readpage,
Matthew Wilcox (Oracle)9d24a132020-06-01 21:47:34 -0700568 .readahead = xfs_vm_readahead,
Nathan Scott7d4fb402006-06-09 15:27:16 +1000569 .writepages = xfs_vm_writepages,
Matthew Wilcox (Oracle)fd7353f2021-06-28 19:36:21 -0700570 .set_page_dirty = __set_page_dirty_nobuffers,
Christoph Hellwig9e91c572019-10-17 13:12:13 -0700571 .releasepage = iomap_releasepage,
572 .invalidatepage = iomap_invalidatepage,
Nathan Scotte4c573b2006-03-14 13:54:26 +1100573 .bmap = xfs_vm_bmap,
Dan Williams6e2608d2018-03-07 15:26:44 -0800574 .direct_IO = noop_direct_IO,
Christoph Hellwig82cb1412018-07-11 22:26:05 -0700575 .migratepage = iomap_migrate_page,
576 .is_partially_uptodate = iomap_is_partially_uptodate,
Andi Kleenaa261f52009-09-16 11:50:16 +0200577 .error_remove_page = generic_error_remove_page,
Darrick J. Wong67482122018-05-10 08:38:15 -0700578 .swap_activate = xfs_iomap_swapfile_activate,
Linus Torvalds1da177e2005-04-16 15:20:36 -0700579};
Dan Williams6e2608d2018-03-07 15:26:44 -0800580
581const struct address_space_operations xfs_dax_aops = {
582 .writepages = xfs_dax_writepages,
583 .direct_IO = noop_direct_IO,
Matthew Wilcox (Oracle)b82a96c2021-06-28 19:36:27 -0700584 .set_page_dirty = __set_page_dirty_no_writeback,
Dan Williams6e2608d2018-03-07 15:26:44 -0800585 .invalidatepage = noop_invalidatepage,
Darrick J. Wong67482122018-05-10 08:38:15 -0700586 .swap_activate = xfs_iomap_swapfile_activate,
Dan Williams6e2608d2018-03-07 15:26:44 -0800587};