blob: 1c7116abff0d6946edb6ba4d0f4ff276bf2d70b1 [file] [log] [blame]
Dave Chinner0b61f8a2018-06-05 19:42:14 -07001// SPDX-License-Identifier: GPL-2.0
Dave Chinner68988112013-08-12 20:49:42 +10002/*
3 * Copyright (c) 2000-2006 Silicon Graphics, Inc.
Dave Chinnerc24b5df2013-08-12 20:49:45 +10004 * Copyright (c) 2012 Red Hat, Inc.
Dave Chinner68988112013-08-12 20:49:42 +10005 * All Rights Reserved.
Dave Chinner68988112013-08-12 20:49:42 +10006 */
7#include "xfs.h"
8#include "xfs_fs.h"
Dave Chinner70a98832013-10-23 10:36:05 +11009#include "xfs_shared.h"
Dave Chinner239880e2013-10-23 10:50:10 +110010#include "xfs_format.h"
11#include "xfs_log_format.h"
12#include "xfs_trans_resv.h"
Dave Chinner68988112013-08-12 20:49:42 +100013#include "xfs_bit.h"
Dave Chinner68988112013-08-12 20:49:42 +100014#include "xfs_mount.h"
Darrick J. Wong3ab78df2016-08-03 11:15:38 +100015#include "xfs_defer.h"
Dave Chinner68988112013-08-12 20:49:42 +100016#include "xfs_inode.h"
17#include "xfs_btree.h"
Dave Chinner239880e2013-10-23 10:50:10 +110018#include "xfs_trans.h"
Dave Chinner68988112013-08-12 20:49:42 +100019#include "xfs_alloc.h"
20#include "xfs_bmap.h"
21#include "xfs_bmap_util.h"
Dave Chinnera4fbe6a2013-10-23 10:51:50 +110022#include "xfs_bmap_btree.h"
Dave Chinner68988112013-08-12 20:49:42 +100023#include "xfs_rtalloc.h"
24#include "xfs_error.h"
25#include "xfs_quota.h"
26#include "xfs_trans_space.h"
27#include "xfs_trace.h"
Dave Chinnerc24b5df2013-08-12 20:49:45 +100028#include "xfs_icache.h"
Darrick J. Wongf86f4032016-10-03 09:11:41 -070029#include "xfs_iomap.h"
30#include "xfs_reflink.h"
Dave Chinner68988112013-08-12 20:49:42 +100031
32/* Kernel only BMAP related definitions and functions */
33
34/*
35 * Convert the given file system block to a disk block. We have to treat it
36 * differently based on whether the file is a real time file or not, because the
37 * bmap code does.
38 */
39xfs_daddr_t
40xfs_fsb_to_db(struct xfs_inode *ip, xfs_fsblock_t fsb)
41{
Christoph Hellwigecfc28a2019-08-30 08:56:55 -070042 if (XFS_IS_REALTIME_INODE(ip))
43 return XFS_FSB_TO_BB(ip->i_mount, fsb);
44 return XFS_FSB_TO_DADDR(ip->i_mount, fsb);
Dave Chinner68988112013-08-12 20:49:42 +100045}
46
47/*
Dave Chinner3fbbbea2015-11-03 12:27:22 +110048 * Routine to zero an extent on disk allocated to the specific inode.
49 *
50 * The VFS functions take a linearised filesystem block offset, so we have to
51 * convert the sparse xfs fsb to the right format first.
52 * VFS types are real funky, too.
53 */
54int
55xfs_zero_extent(
Christoph Hellwig30fa5292019-10-24 22:25:38 -070056 struct xfs_inode *ip,
57 xfs_fsblock_t start_fsb,
58 xfs_off_t count_fsb)
Dave Chinner3fbbbea2015-11-03 12:27:22 +110059{
Christoph Hellwig30fa5292019-10-24 22:25:38 -070060 struct xfs_mount *mp = ip->i_mount;
61 struct xfs_buftarg *target = xfs_inode_buftarg(ip);
62 xfs_daddr_t sector = xfs_fsb_to_db(ip, start_fsb);
63 sector_t block = XFS_BB_TO_FSBT(mp, sector);
Dave Chinner3fbbbea2015-11-03 12:27:22 +110064
Christoph Hellwig30fa5292019-10-24 22:25:38 -070065 return blkdev_issue_zeroout(target->bt_bdev,
Matthew Wilcox3dc29162016-03-15 11:20:41 -060066 block << (mp->m_super->s_blocksize_bits - 9),
67 count_fsb << (mp->m_super->s_blocksize_bits - 9),
Christoph Hellwigee472d82017-04-05 19:21:08 +020068 GFP_NOFS, 0);
Dave Chinner3fbbbea2015-11-03 12:27:22 +110069}
70
Dave Chinnerbb9c2e52017-10-09 11:37:22 -070071#ifdef CONFIG_XFS_RT
Dave Chinner68988112013-08-12 20:49:42 +100072int
73xfs_bmap_rtalloc(
74 struct xfs_bmalloca *ap) /* bmap alloc argument struct */
75{
Dave Chinner68988112013-08-12 20:49:42 +100076 int error; /* error return value */
77 xfs_mount_t *mp; /* mount point structure */
78 xfs_extlen_t prod = 0; /* product factor for allocators */
Dave Chinner0703a8e2018-06-08 09:54:22 -070079 xfs_extlen_t mod = 0; /* product factor for allocators */
Dave Chinner68988112013-08-12 20:49:42 +100080 xfs_extlen_t ralen = 0; /* realtime allocation length */
81 xfs_extlen_t align; /* minimum allocation alignment */
82 xfs_rtblock_t rtb;
83
84 mp = ap->ip->i_mount;
85 align = xfs_get_extsz_hint(ap->ip);
86 prod = align / mp->m_sb.sb_rextsize;
87 error = xfs_bmap_extsize_align(mp, &ap->got, &ap->prev,
88 align, 1, ap->eof, 0,
89 ap->conv, &ap->offset, &ap->length);
90 if (error)
91 return error;
92 ASSERT(ap->length);
93 ASSERT(ap->length % mp->m_sb.sb_rextsize == 0);
94
95 /*
96 * If the offset & length are not perfectly aligned
97 * then kill prod, it will just get us in trouble.
98 */
Dave Chinner0703a8e2018-06-08 09:54:22 -070099 div_u64_rem(ap->offset, align, &mod);
100 if (mod || ap->length % align)
Dave Chinner68988112013-08-12 20:49:42 +1000101 prod = 1;
102 /*
103 * Set ralen to be the actual requested length in rtextents.
104 */
105 ralen = ap->length / mp->m_sb.sb_rextsize;
106 /*
107 * If the old value was close enough to MAXEXTLEN that
108 * we rounded up to it, cut it back so it's valid again.
109 * Note that if it's a really large request (bigger than
110 * MAXEXTLEN), we don't hear about that number, and can't
111 * adjust the starting point to match it.
112 */
113 if (ralen * mp->m_sb.sb_rextsize >= MAXEXTLEN)
114 ralen = MAXEXTLEN / mp->m_sb.sb_rextsize;
115
116 /*
Dave Chinner4b680af2016-02-08 10:46:51 +1100117 * Lock out modifications to both the RT bitmap and summary inodes
Dave Chinner68988112013-08-12 20:49:42 +1000118 */
Darrick J. Wongf4a06602016-08-03 11:00:42 +1000119 xfs_ilock(mp->m_rbmip, XFS_ILOCK_EXCL|XFS_ILOCK_RTBITMAP);
Dave Chinner68988112013-08-12 20:49:42 +1000120 xfs_trans_ijoin(ap->tp, mp->m_rbmip, XFS_ILOCK_EXCL);
Darrick J. Wongf4a06602016-08-03 11:00:42 +1000121 xfs_ilock(mp->m_rsumip, XFS_ILOCK_EXCL|XFS_ILOCK_RTSUM);
Dave Chinner4b680af2016-02-08 10:46:51 +1100122 xfs_trans_ijoin(ap->tp, mp->m_rsumip, XFS_ILOCK_EXCL);
Dave Chinner68988112013-08-12 20:49:42 +1000123
124 /*
125 * If it's an allocation to an empty file at offset 0,
126 * pick an extent that will space things out in the rt area.
127 */
128 if (ap->eof && ap->offset == 0) {
Kees Cook3f649ab2020-06-03 13:09:38 -0700129 xfs_rtblock_t rtx; /* realtime extent no */
Dave Chinner68988112013-08-12 20:49:42 +1000130
131 error = xfs_rtpick_extent(mp, ap->tp, ralen, &rtx);
132 if (error)
133 return error;
134 ap->blkno = rtx * mp->m_sb.sb_rextsize;
135 } else {
136 ap->blkno = 0;
137 }
138
139 xfs_bmap_adjacent(ap);
140
141 /*
142 * Realtime allocation, done through xfs_rtallocate_extent.
143 */
Dave Chinner68988112013-08-12 20:49:42 +1000144 do_div(ap->blkno, mp->m_sb.sb_rextsize);
145 rtb = ap->blkno;
146 ap->length = ralen;
Christoph Hellwig089ec2f2017-02-17 08:21:06 -0800147 error = xfs_rtallocate_extent(ap->tp, ap->blkno, 1, ap->length,
148 &ralen, ap->wasdel, prod, &rtb);
149 if (error)
Dave Chinner68988112013-08-12 20:49:42 +1000150 return error;
Christoph Hellwig089ec2f2017-02-17 08:21:06 -0800151
Dave Chinner68988112013-08-12 20:49:42 +1000152 ap->blkno = rtb;
153 if (ap->blkno != NULLFSBLOCK) {
154 ap->blkno *= mp->m_sb.sb_rextsize;
155 ralen *= mp->m_sb.sb_rextsize;
156 ap->length = ralen;
Christoph Hellwig6e73a542021-03-29 11:11:40 -0700157 ap->ip->i_nblocks += ralen;
Dave Chinner68988112013-08-12 20:49:42 +1000158 xfs_trans_log_inode(ap->tp, ap->ip, XFS_ILOG_CORE);
159 if (ap->wasdel)
160 ap->ip->i_delayed_blks -= ralen;
161 /*
162 * Adjust the disk quota also. This was reserved
163 * earlier.
164 */
165 xfs_trans_mod_dquot_byino(ap->tp, ap->ip,
166 ap->wasdel ? XFS_TRANS_DQ_DELRTBCOUNT :
167 XFS_TRANS_DQ_RTBCOUNT, (long) ralen);
168 } else {
169 ap->length = 0;
170 }
171 return 0;
172}
Dave Chinnerbb9c2e52017-10-09 11:37:22 -0700173#endif /* CONFIG_XFS_RT */
Dave Chinner68988112013-08-12 20:49:42 +1000174
175/*
Dave Chinner68988112013-08-12 20:49:42 +1000176 * Extent tree block counting routines.
177 */
178
179/*
Darrick J. Wongd29cb3e2017-06-16 11:00:12 -0700180 * Count leaf blocks given a range of extent records. Delayed allocation
181 * extents are not counted towards the totals.
Dave Chinner68988112013-08-12 20:49:42 +1000182 */
Christoph Hellwige17a5c62017-08-29 15:44:14 -0700183xfs_extnum_t
Dave Chinner68988112013-08-12 20:49:42 +1000184xfs_bmap_count_leaves(
Darrick J. Wongd29cb3e2017-06-16 11:00:12 -0700185 struct xfs_ifork *ifp,
Darrick J. Wonge7f5d5c2017-06-16 11:00:12 -0700186 xfs_filblks_t *count)
Dave Chinner68988112013-08-12 20:49:42 +1000187{
Christoph Hellwigb2b17122017-11-03 10:34:43 -0700188 struct xfs_iext_cursor icur;
Christoph Hellwige17a5c62017-08-29 15:44:14 -0700189 struct xfs_bmbt_irec got;
Christoph Hellwigb2b17122017-11-03 10:34:43 -0700190 xfs_extnum_t numrecs = 0;
Dave Chinner68988112013-08-12 20:49:42 +1000191
Christoph Hellwigb2b17122017-11-03 10:34:43 -0700192 for_each_xfs_iext(ifp, &icur, &got) {
Christoph Hellwige17a5c62017-08-29 15:44:14 -0700193 if (!isnullstartblock(got.br_startblock)) {
194 *count += got.br_blockcount;
195 numrecs++;
Darrick J. Wongd29cb3e2017-06-16 11:00:12 -0700196 }
Dave Chinner68988112013-08-12 20:49:42 +1000197 }
Christoph Hellwigb2b17122017-11-03 10:34:43 -0700198
Christoph Hellwige17a5c62017-08-29 15:44:14 -0700199 return numrecs;
Dave Chinner68988112013-08-12 20:49:42 +1000200}
201
202/*
Darrick J. Wongd29cb3e2017-06-16 11:00:12 -0700203 * Count fsblocks of the given fork. Delayed allocation extents are
204 * not counted towards the totals.
Dave Chinner68988112013-08-12 20:49:42 +1000205 */
Darrick J. Wonge7f5d5c2017-06-16 11:00:12 -0700206int
Dave Chinner68988112013-08-12 20:49:42 +1000207xfs_bmap_count_blocks(
Darrick J. Wonge7f5d5c2017-06-16 11:00:12 -0700208 struct xfs_trans *tp,
209 struct xfs_inode *ip,
210 int whichfork,
211 xfs_extnum_t *nextents,
212 xfs_filblks_t *count)
Dave Chinner68988112013-08-12 20:49:42 +1000213{
Darrick J. Wongfec40e22019-10-28 16:12:35 -0700214 struct xfs_mount *mp = ip->i_mount;
215 struct xfs_ifork *ifp = XFS_IFORK_PTR(ip, whichfork);
216 struct xfs_btree_cur *cur;
217 xfs_extlen_t btblocks = 0;
Darrick J. Wonge7f5d5c2017-06-16 11:00:12 -0700218 int error;
Dave Chinner68988112013-08-12 20:49:42 +1000219
Darrick J. Wonge7f5d5c2017-06-16 11:00:12 -0700220 *nextents = 0;
221 *count = 0;
Darrick J. Wongfec40e22019-10-28 16:12:35 -0700222
Darrick J. Wonge7f5d5c2017-06-16 11:00:12 -0700223 if (!ifp)
Dave Chinner68988112013-08-12 20:49:42 +1000224 return 0;
Dave Chinner68988112013-08-12 20:49:42 +1000225
Christoph Hellwigf7e67b22020-05-18 10:28:05 -0700226 switch (ifp->if_format) {
Darrick J. Wonge7f5d5c2017-06-16 11:00:12 -0700227 case XFS_DINODE_FMT_BTREE:
Christoph Hellwig862a8042021-04-13 11:15:09 -0700228 error = xfs_iread_extents(tp, ip, whichfork);
229 if (error)
230 return error;
Dave Chinner68988112013-08-12 20:49:42 +1000231
Darrick J. Wongfec40e22019-10-28 16:12:35 -0700232 cur = xfs_bmbt_init_cursor(mp, tp, ip, whichfork);
233 error = xfs_btree_count_blocks(cur, &btblocks);
234 xfs_btree_del_cursor(cur, error);
235 if (error)
236 return error;
Darrick J. Wonge7f5d5c2017-06-16 11:00:12 -0700237
Darrick J. Wongfec40e22019-10-28 16:12:35 -0700238 /*
239 * xfs_btree_count_blocks includes the root block contained in
240 * the inode fork in @btblocks, so subtract one because we're
241 * only interested in allocated disk blocks.
242 */
243 *count += btblocks - 1;
244
245 /* fall through */
246 case XFS_DINODE_FMT_EXTENTS:
247 *nextents = xfs_bmap_count_leaves(ifp, count);
248 break;
Dave Chinner68988112013-08-12 20:49:42 +1000249 }
250
251 return 0;
252}
253
Christoph Hellwigabbf9e82017-10-17 14:16:18 -0700254static int
255xfs_getbmap_report_one(
256 struct xfs_inode *ip,
257 struct getbmapx *bmv,
Christoph Hellwig232b51942017-10-17 14:16:19 -0700258 struct kgetbmap *out,
Christoph Hellwigabbf9e82017-10-17 14:16:18 -0700259 int64_t bmv_end,
260 struct xfs_bmbt_irec *got)
Dave Chinner68988112013-08-12 20:49:42 +1000261{
Christoph Hellwig232b51942017-10-17 14:16:19 -0700262 struct kgetbmap *p = out + bmv->bmv_entries;
Christoph Hellwigd392bc82018-10-18 17:19:48 +1100263 bool shared = false;
Christoph Hellwigabbf9e82017-10-17 14:16:18 -0700264 int error;
Dave Chinner68988112013-08-12 20:49:42 +1000265
Christoph Hellwigd392bc82018-10-18 17:19:48 +1100266 error = xfs_reflink_trim_around_shared(ip, got, &shared);
Darrick J. Wongf86f4032016-10-03 09:11:41 -0700267 if (error)
268 return error;
269
Christoph Hellwigabbf9e82017-10-17 14:16:18 -0700270 if (isnullstartblock(got->br_startblock) ||
271 got->br_startblock == DELAYSTARTBLOCK) {
Darrick J. Wongf86f4032016-10-03 09:11:41 -0700272 /*
Christoph Hellwigabbf9e82017-10-17 14:16:18 -0700273 * Delalloc extents that start beyond EOF can occur due to
274 * speculative EOF allocation when the delalloc extent is larger
275 * than the largest freespace extent at conversion time. These
276 * extents cannot be converted by data writeback, so can exist
277 * here even if we are not supposed to be finding delalloc
278 * extents.
Darrick J. Wongf86f4032016-10-03 09:11:41 -0700279 */
Christoph Hellwigabbf9e82017-10-17 14:16:18 -0700280 if (got->br_startoff < XFS_B_TO_FSB(ip->i_mount, XFS_ISIZE(ip)))
281 ASSERT((bmv->bmv_iflags & BMV_IF_DELALLOC) != 0);
282
283 p->bmv_oflags |= BMV_OF_DELALLOC;
284 p->bmv_block = -2;
Darrick J. Wongf86f4032016-10-03 09:11:41 -0700285 } else {
Christoph Hellwigabbf9e82017-10-17 14:16:18 -0700286 p->bmv_block = xfs_fsb_to_db(ip, got->br_startblock);
Darrick J. Wongf86f4032016-10-03 09:11:41 -0700287 }
288
Christoph Hellwigabbf9e82017-10-17 14:16:18 -0700289 if (got->br_state == XFS_EXT_UNWRITTEN &&
290 (bmv->bmv_iflags & BMV_IF_PREALLOC))
291 p->bmv_oflags |= BMV_OF_PREALLOC;
292
293 if (shared)
294 p->bmv_oflags |= BMV_OF_SHARED;
295
296 p->bmv_offset = XFS_FSB_TO_BB(ip->i_mount, got->br_startoff);
297 p->bmv_length = XFS_FSB_TO_BB(ip->i_mount, got->br_blockcount);
298
299 bmv->bmv_offset = p->bmv_offset + p->bmv_length;
300 bmv->bmv_length = max(0LL, bmv_end - bmv->bmv_offset);
301 bmv->bmv_entries++;
Darrick J. Wongf86f4032016-10-03 09:11:41 -0700302 return 0;
303}
304
Christoph Hellwigabbf9e82017-10-17 14:16:18 -0700305static void
306xfs_getbmap_report_hole(
307 struct xfs_inode *ip,
308 struct getbmapx *bmv,
Christoph Hellwig232b51942017-10-17 14:16:19 -0700309 struct kgetbmap *out,
Christoph Hellwigabbf9e82017-10-17 14:16:18 -0700310 int64_t bmv_end,
311 xfs_fileoff_t bno,
312 xfs_fileoff_t end)
313{
Christoph Hellwig232b51942017-10-17 14:16:19 -0700314 struct kgetbmap *p = out + bmv->bmv_entries;
Christoph Hellwigabbf9e82017-10-17 14:16:18 -0700315
316 if (bmv->bmv_iflags & BMV_IF_NO_HOLES)
317 return;
318
319 p->bmv_block = -1;
320 p->bmv_offset = XFS_FSB_TO_BB(ip->i_mount, bno);
321 p->bmv_length = XFS_FSB_TO_BB(ip->i_mount, end - bno);
322
323 bmv->bmv_offset = p->bmv_offset + p->bmv_length;
324 bmv->bmv_length = max(0LL, bmv_end - bmv->bmv_offset);
325 bmv->bmv_entries++;
326}
327
328static inline bool
329xfs_getbmap_full(
330 struct getbmapx *bmv)
331{
332 return bmv->bmv_length == 0 || bmv->bmv_entries >= bmv->bmv_count - 1;
333}
334
335static bool
336xfs_getbmap_next_rec(
337 struct xfs_bmbt_irec *rec,
338 xfs_fileoff_t total_end)
339{
340 xfs_fileoff_t end = rec->br_startoff + rec->br_blockcount;
341
342 if (end == total_end)
343 return false;
344
345 rec->br_startoff += rec->br_blockcount;
346 if (!isnullstartblock(rec->br_startblock) &&
347 rec->br_startblock != DELAYSTARTBLOCK)
348 rec->br_startblock += rec->br_blockcount;
349 rec->br_blockcount = total_end - end;
350 return true;
351}
352
Dave Chinner68988112013-08-12 20:49:42 +1000353/*
354 * Get inode's extents as described in bmv, and format for output.
355 * Calls formatter to fill the user's buffer until all extents
356 * are mapped, until the passed-in bmv->bmv_count slots have
357 * been filled, or until the formatter short-circuits the loop,
358 * if it is tracking filled-in extents on its own.
359 */
360int /* error code */
361xfs_getbmap(
Christoph Hellwig232b51942017-10-17 14:16:19 -0700362 struct xfs_inode *ip,
Dave Chinner68988112013-08-12 20:49:42 +1000363 struct getbmapx *bmv, /* user bmap structure */
Christoph Hellwig232b51942017-10-17 14:16:19 -0700364 struct kgetbmap *out)
Dave Chinner68988112013-08-12 20:49:42 +1000365{
Christoph Hellwigabbf9e82017-10-17 14:16:18 -0700366 struct xfs_mount *mp = ip->i_mount;
367 int iflags = bmv->bmv_iflags;
Christoph Hellwig232b51942017-10-17 14:16:19 -0700368 int whichfork, lock, error = 0;
Christoph Hellwigabbf9e82017-10-17 14:16:18 -0700369 int64_t bmv_end, max_len;
370 xfs_fileoff_t bno, first_bno;
371 struct xfs_ifork *ifp;
Christoph Hellwigabbf9e82017-10-17 14:16:18 -0700372 struct xfs_bmbt_irec got, rec;
373 xfs_filblks_t len;
Christoph Hellwigb2b17122017-11-03 10:34:43 -0700374 struct xfs_iext_cursor icur;
Dave Chinner68988112013-08-12 20:49:42 +1000375
Christoph Hellwig232b51942017-10-17 14:16:19 -0700376 if (bmv->bmv_iflags & ~BMV_IF_VALID)
377 return -EINVAL;
Darrick J. Wongf86f4032016-10-03 09:11:41 -0700378#ifndef DEBUG
379 /* Only allow CoW fork queries if we're debugging. */
380 if (iflags & BMV_IF_COWFORK)
381 return -EINVAL;
382#endif
383 if ((iflags & BMV_IF_ATTRFORK) && (iflags & BMV_IF_COWFORK))
384 return -EINVAL;
385
Christoph Hellwigabbf9e82017-10-17 14:16:18 -0700386 if (bmv->bmv_length < -1)
387 return -EINVAL;
Christoph Hellwigabbf9e82017-10-17 14:16:18 -0700388 bmv->bmv_entries = 0;
389 if (bmv->bmv_length == 0)
390 return 0;
391
Darrick J. Wongf86f4032016-10-03 09:11:41 -0700392 if (iflags & BMV_IF_ATTRFORK)
393 whichfork = XFS_ATTR_FORK;
394 else if (iflags & BMV_IF_COWFORK)
395 whichfork = XFS_COW_FORK;
396 else
397 whichfork = XFS_DATA_FORK;
Christoph Hellwigabbf9e82017-10-17 14:16:18 -0700398 ifp = XFS_IFORK_PTR(ip, whichfork);
Dave Chinner68988112013-08-12 20:49:42 +1000399
400 xfs_ilock(ip, XFS_IOLOCK_SHARED);
Darrick J. Wongf86f4032016-10-03 09:11:41 -0700401 switch (whichfork) {
Christoph Hellwigabbf9e82017-10-17 14:16:18 -0700402 case XFS_ATTR_FORK:
403 if (!XFS_IFORK_Q(ip))
404 goto out_unlock_iolock;
405
406 max_len = 1LL << 32;
407 lock = xfs_ilock_attr_map_shared(ip);
408 break;
409 case XFS_COW_FORK:
410 /* No CoW fork? Just return */
411 if (!ifp)
412 goto out_unlock_iolock;
413
414 if (xfs_get_cowextsz_hint(ip))
415 max_len = mp->m_super->s_maxbytes;
416 else
417 max_len = XFS_ISIZE(ip);
418
419 lock = XFS_ILOCK_SHARED;
420 xfs_ilock(ip, lock);
421 break;
Darrick J. Wongf86f4032016-10-03 09:11:41 -0700422 case XFS_DATA_FORK:
Christoph Hellwigefa70be2013-12-18 02:14:39 -0800423 if (!(iflags & BMV_IF_DELALLOC) &&
Christoph Hellwig13d2c102021-03-29 11:11:40 -0700424 (ip->i_delayed_blks || XFS_ISIZE(ip) > ip->i_disk_size)) {
Dave Chinner24513372014-06-25 14:58:08 +1000425 error = filemap_write_and_wait(VFS_I(ip)->i_mapping);
Dave Chinner68988112013-08-12 20:49:42 +1000426 if (error)
427 goto out_unlock_iolock;
Dave Chinner68988112013-08-12 20:49:42 +1000428
Christoph Hellwigefa70be2013-12-18 02:14:39 -0800429 /*
430 * Even after flushing the inode, there can still be
431 * delalloc blocks on the inode beyond EOF due to
432 * speculative preallocation. These are not removed
433 * until the release function is called or the inode
434 * is inactivated. Hence we cannot assert here that
435 * ip->i_delayed_blks == 0.
436 */
437 }
438
Christoph Hellwigabbf9e82017-10-17 14:16:18 -0700439 if (xfs_get_extsz_hint(ip) ||
Christoph Hellwigdb073492021-03-29 11:11:44 -0700440 (ip->i_diflags &
Christoph Hellwigabbf9e82017-10-17 14:16:18 -0700441 (XFS_DIFLAG_PREALLOC | XFS_DIFLAG_APPEND)))
442 max_len = mp->m_super->s_maxbytes;
443 else
444 max_len = XFS_ISIZE(ip);
445
Christoph Hellwigefa70be2013-12-18 02:14:39 -0800446 lock = xfs_ilock_data_map_shared(ip);
Darrick J. Wongf86f4032016-10-03 09:11:41 -0700447 break;
Christoph Hellwigefa70be2013-12-18 02:14:39 -0800448 }
Dave Chinner68988112013-08-12 20:49:42 +1000449
Christoph Hellwigf7e67b22020-05-18 10:28:05 -0700450 switch (ifp->if_format) {
Christoph Hellwigabbf9e82017-10-17 14:16:18 -0700451 case XFS_DINODE_FMT_EXTENTS:
452 case XFS_DINODE_FMT_BTREE:
453 break;
454 case XFS_DINODE_FMT_LOCAL:
455 /* Local format inode forks report no extents. */
Dave Chinner68988112013-08-12 20:49:42 +1000456 goto out_unlock_ilock;
Christoph Hellwigabbf9e82017-10-17 14:16:18 -0700457 default:
458 error = -EINVAL;
459 goto out_unlock_ilock;
Dave Chinner68988112013-08-12 20:49:42 +1000460 }
461
Christoph Hellwigabbf9e82017-10-17 14:16:18 -0700462 if (bmv->bmv_length == -1) {
463 max_len = XFS_FSB_TO_BB(mp, XFS_B_TO_FSB(mp, max_len));
464 bmv->bmv_length = max(0LL, max_len - bmv->bmv_offset);
465 }
466
467 bmv_end = bmv->bmv_offset + bmv->bmv_length;
468
469 first_bno = bno = XFS_BB_TO_FSBT(mp, bmv->bmv_offset);
470 len = XFS_BB_TO_FSB(mp, bmv->bmv_length);
471
Christoph Hellwig862a8042021-04-13 11:15:09 -0700472 error = xfs_iread_extents(NULL, ip, whichfork);
473 if (error)
474 goto out_unlock_ilock;
Dave Chinner68988112013-08-12 20:49:42 +1000475
Christoph Hellwigb2b17122017-11-03 10:34:43 -0700476 if (!xfs_iext_lookup_extent(ip, ifp, bno, &icur, &got)) {
Christoph Hellwigabbf9e82017-10-17 14:16:18 -0700477 /*
478 * Report a whole-file hole if the delalloc flag is set to
479 * stay compatible with the old implementation.
480 */
481 if (iflags & BMV_IF_DELALLOC)
482 xfs_getbmap_report_hole(ip, bmv, out, bmv_end, bno,
483 XFS_B_TO_FSB(mp, XFS_ISIZE(ip)));
484 goto out_unlock_ilock;
485 }
Dave Chinner68988112013-08-12 20:49:42 +1000486
Christoph Hellwigabbf9e82017-10-17 14:16:18 -0700487 while (!xfs_getbmap_full(bmv)) {
488 xfs_trim_extent(&got, first_bno, len);
Dave Chinner68988112013-08-12 20:49:42 +1000489
Christoph Hellwigabbf9e82017-10-17 14:16:18 -0700490 /*
491 * Report an entry for a hole if this extent doesn't directly
492 * follow the previous one.
493 */
494 if (got.br_startoff > bno) {
495 xfs_getbmap_report_hole(ip, bmv, out, bmv_end, bno,
496 got.br_startoff);
497 if (xfs_getbmap_full(bmv))
498 break;
Dave Chinner68988112013-08-12 20:49:42 +1000499 }
Dave Chinner68988112013-08-12 20:49:42 +1000500
Christoph Hellwigabbf9e82017-10-17 14:16:18 -0700501 /*
502 * In order to report shared extents accurately, we report each
503 * distinct shared / unshared part of a single bmbt record with
504 * an individual getbmapx record.
505 */
506 bno = got.br_startoff + got.br_blockcount;
507 rec = got;
508 do {
509 error = xfs_getbmap_report_one(ip, bmv, out, bmv_end,
510 &rec);
511 if (error || xfs_getbmap_full(bmv))
512 goto out_unlock_ilock;
513 } while (xfs_getbmap_next_rec(&rec, bno));
514
Christoph Hellwigb2b17122017-11-03 10:34:43 -0700515 if (!xfs_iext_next_extent(ifp, &icur, &got)) {
Christoph Hellwigabbf9e82017-10-17 14:16:18 -0700516 xfs_fileoff_t end = XFS_B_TO_FSB(mp, XFS_ISIZE(ip));
517
518 out[bmv->bmv_entries - 1].bmv_oflags |= BMV_OF_LAST;
519
520 if (whichfork != XFS_ATTR_FORK && bno < end &&
521 !xfs_getbmap_full(bmv)) {
522 xfs_getbmap_report_hole(ip, bmv, out, bmv_end,
523 bno, end);
524 }
525 break;
526 }
527
528 if (bno >= first_bno + len)
529 break;
530 }
531
532out_unlock_ilock:
Christoph Hellwig01f4f322013-12-06 12:30:08 -0800533 xfs_iunlock(ip, lock);
Christoph Hellwigabbf9e82017-10-17 14:16:18 -0700534out_unlock_iolock:
Dave Chinner68988112013-08-12 20:49:42 +1000535 xfs_iunlock(ip, XFS_IOLOCK_SHARED);
Dave Chinner68988112013-08-12 20:49:42 +1000536 return error;
537}
538
539/*
Christoph Hellwige2ac8362018-06-21 23:24:38 -0700540 * Dead simple method of punching delalyed allocation blocks from a range in
541 * the inode. This will always punch out both the start and end blocks, even
542 * if the ranges only partially overlap them, so it is up to the caller to
543 * ensure that partial blocks are not passed in.
Dave Chinner68988112013-08-12 20:49:42 +1000544 */
545int
546xfs_bmap_punch_delalloc_range(
547 struct xfs_inode *ip,
548 xfs_fileoff_t start_fsb,
549 xfs_fileoff_t length)
550{
Christoph Hellwige2ac8362018-06-21 23:24:38 -0700551 struct xfs_ifork *ifp = &ip->i_df;
552 xfs_fileoff_t end_fsb = start_fsb + length;
553 struct xfs_bmbt_irec got, del;
554 struct xfs_iext_cursor icur;
Dave Chinner68988112013-08-12 20:49:42 +1000555 int error = 0;
556
Christoph Hellwig0065b542018-09-29 13:47:46 +1000557 ASSERT(ifp->if_flags & XFS_IFEXTENTS);
Dave Chinner68988112013-08-12 20:49:42 +1000558
Christoph Hellwig0065b542018-09-29 13:47:46 +1000559 xfs_ilock(ip, XFS_ILOCK_EXCL);
Christoph Hellwige2ac8362018-06-21 23:24:38 -0700560 if (!xfs_iext_lookup_extent_before(ip, ifp, &end_fsb, &icur, &got))
Christoph Hellwigd4380172018-07-11 22:25:57 -0700561 goto out_unlock;
Christoph Hellwige2ac8362018-06-21 23:24:38 -0700562
563 while (got.br_startoff + got.br_blockcount > start_fsb) {
564 del = got;
565 xfs_trim_extent(&del, start_fsb, length);
566
567 /*
568 * A delete can push the cursor forward. Step back to the
569 * previous extent on non-delalloc or extents outside the
570 * target range.
571 */
572 if (!del.br_blockcount ||
573 !isnullstartblock(del.br_startblock)) {
574 if (!xfs_iext_prev_extent(ifp, &icur, &got))
575 break;
576 continue;
577 }
578
579 error = xfs_bmap_del_extent_delay(ip, XFS_DATA_FORK, &icur,
580 &got, &del);
581 if (error || !xfs_iext_get_extent(ifp, &icur, &got))
582 break;
583 }
Dave Chinner68988112013-08-12 20:49:42 +1000584
Christoph Hellwigd4380172018-07-11 22:25:57 -0700585out_unlock:
586 xfs_iunlock(ip, XFS_ILOCK_EXCL);
Dave Chinner68988112013-08-12 20:49:42 +1000587 return error;
588}
Dave Chinnerc24b5df2013-08-12 20:49:45 +1000589
590/*
591 * Test whether it is appropriate to check an inode for and free post EOF
592 * blocks. The 'force' parameter determines whether we should also consider
593 * regular files that are marked preallocated or append-only.
594 */
595bool
Darrick J. Wong7d883292021-03-23 16:59:31 -0700596xfs_can_free_eofblocks(
597 struct xfs_inode *ip,
598 bool force)
Dave Chinnerc24b5df2013-08-12 20:49:45 +1000599{
Darrick J. Wong7d883292021-03-23 16:59:31 -0700600 struct xfs_bmbt_irec imap;
601 struct xfs_mount *mp = ip->i_mount;
602 xfs_fileoff_t end_fsb;
603 xfs_fileoff_t last_fsb;
604 int nimaps = 1;
605 int error;
606
607 /*
608 * Caller must either hold the exclusive io lock; or be inactivating
609 * the inode, which guarantees there are no other users of the inode.
610 */
611 ASSERT(xfs_isilocked(ip, XFS_IOLOCK_EXCL) ||
612 (VFS_I(ip)->i_state & I_FREEING));
613
Dave Chinnerc24b5df2013-08-12 20:49:45 +1000614 /* prealloc/delalloc exists only on regular files */
Dave Chinnerc19b3b052016-02-09 16:54:58 +1100615 if (!S_ISREG(VFS_I(ip)->i_mode))
Dave Chinnerc24b5df2013-08-12 20:49:45 +1000616 return false;
617
618 /*
619 * Zero sized files with no cached pages and delalloc blocks will not
620 * have speculative prealloc/delalloc blocks to remove.
621 */
622 if (VFS_I(ip)->i_size == 0 &&
Dave Chinner2667c6f2014-08-04 13:23:15 +1000623 VFS_I(ip)->i_mapping->nrpages == 0 &&
Dave Chinnerc24b5df2013-08-12 20:49:45 +1000624 ip->i_delayed_blks == 0)
625 return false;
626
627 /* If we haven't read in the extent list, then don't do it now. */
628 if (!(ip->i_df.if_flags & XFS_IFEXTENTS))
629 return false;
630
631 /*
632 * Do not free real preallocated or append-only files unless the file
633 * has delalloc blocks and we are forced to remove them.
634 */
Christoph Hellwigdb073492021-03-29 11:11:44 -0700635 if (ip->i_diflags & (XFS_DIFLAG_PREALLOC | XFS_DIFLAG_APPEND))
Dave Chinnerc24b5df2013-08-12 20:49:45 +1000636 if (!force || ip->i_delayed_blks == 0)
637 return false;
638
Darrick J. Wong7d883292021-03-23 16:59:31 -0700639 /*
640 * Do not try to free post-EOF blocks if EOF is beyond the end of the
641 * range supported by the page cache, because the truncation will loop
642 * forever.
643 */
644 end_fsb = XFS_B_TO_FSB(mp, (xfs_ufsize_t)XFS_ISIZE(ip));
645 last_fsb = XFS_B_TO_FSB(mp, mp->m_super->s_maxbytes);
646 if (last_fsb <= end_fsb)
647 return false;
648
649 /*
650 * Look up the mapping for the first block past EOF. If we can't find
651 * it, there's nothing to free.
652 */
653 xfs_ilock(ip, XFS_ILOCK_SHARED);
654 error = xfs_bmapi_read(ip, end_fsb, last_fsb - end_fsb, &imap, &nimaps,
655 0);
656 xfs_iunlock(ip, XFS_ILOCK_SHARED);
657 if (error || nimaps == 0)
658 return false;
659
660 /*
661 * If there's a real mapping there or there are delayed allocation
662 * reservations, then we have post-EOF blocks to try to free.
663 */
664 return imap.br_startblock != HOLESTARTBLOCK || ip->i_delayed_blks;
Dave Chinnerc24b5df2013-08-12 20:49:45 +1000665}
666
667/*
Brian Foster3b4683c2017-04-11 10:50:05 -0700668 * This is called to free any blocks beyond eof. The caller must hold
669 * IOLOCK_EXCL unless we are in the inode reclaim path and have the only
670 * reference to the inode.
Dave Chinnerc24b5df2013-08-12 20:49:45 +1000671 */
672int
673xfs_free_eofblocks(
Brian Fostera36b9262017-01-27 23:22:55 -0800674 struct xfs_inode *ip)
Dave Chinnerc24b5df2013-08-12 20:49:45 +1000675{
Brian Fostera36b9262017-01-27 23:22:55 -0800676 struct xfs_trans *tp;
Brian Fostera36b9262017-01-27 23:22:55 -0800677 struct xfs_mount *mp = ip->i_mount;
Darrick J. Wong7d883292021-03-23 16:59:31 -0700678 int error;
Brian Fostera36b9262017-01-27 23:22:55 -0800679
Darrick J. Wong7d883292021-03-23 16:59:31 -0700680 /* Attach the dquots to the inode up front. */
681 error = xfs_qm_dqattach(ip);
682 if (error)
683 return error;
Dave Chinnerc24b5df2013-08-12 20:49:45 +1000684
Darrick J. Wong7d883292021-03-23 16:59:31 -0700685 /* Wait on dio to ensure i_size has settled. */
686 inode_dio_wait(VFS_I(ip));
Dave Chinnerc24b5df2013-08-12 20:49:45 +1000687
Darrick J. Wong7d883292021-03-23 16:59:31 -0700688 error = xfs_trans_alloc(mp, &M_RES(mp)->tr_itruncate, 0, 0, 0, &tp);
689 if (error) {
690 ASSERT(XFS_FORCED_SHUTDOWN(mp));
691 return error;
Dave Chinnerc24b5df2013-08-12 20:49:45 +1000692 }
Darrick J. Wong7d883292021-03-23 16:59:31 -0700693
694 xfs_ilock(ip, XFS_ILOCK_EXCL);
695 xfs_trans_ijoin(tp, ip, 0);
696
697 /*
698 * Do not update the on-disk file size. If we update the on-disk file
699 * size and then the system crashes before the contents of the file are
700 * flushed to disk then the files may be full of holes (ie NULL files
701 * bug).
702 */
703 error = xfs_itruncate_extents_flags(&tp, ip, XFS_DATA_FORK,
704 XFS_ISIZE(ip), XFS_BMAPI_NODISCARD);
705 if (error)
706 goto err_cancel;
707
708 error = xfs_trans_commit(tp);
709 if (error)
710 goto out_unlock;
711
712 xfs_inode_clear_eofblocks_tag(ip);
713 goto out_unlock;
714
715err_cancel:
716 /*
717 * If we get an error at this point we simply don't
718 * bother truncating the file.
719 */
720 xfs_trans_cancel(tp);
721out_unlock:
722 xfs_iunlock(ip, XFS_ILOCK_EXCL);
Dave Chinnerc24b5df2013-08-12 20:49:45 +1000723 return error;
724}
725
Christoph Hellwig83aee9e2013-10-12 00:55:07 -0700726int
Dave Chinnerc24b5df2013-08-12 20:49:45 +1000727xfs_alloc_file_space(
Christoph Hellwig83aee9e2013-10-12 00:55:07 -0700728 struct xfs_inode *ip,
Dave Chinnerc24b5df2013-08-12 20:49:45 +1000729 xfs_off_t offset,
730 xfs_off_t len,
Christoph Hellwig5f8aca82013-10-12 00:55:06 -0700731 int alloc_type)
Dave Chinnerc24b5df2013-08-12 20:49:45 +1000732{
733 xfs_mount_t *mp = ip->i_mount;
734 xfs_off_t count;
735 xfs_filblks_t allocated_fsb;
736 xfs_filblks_t allocatesize_fsb;
737 xfs_extlen_t extsz, temp;
738 xfs_fileoff_t startoffset_fsb;
Max Reitze093c4b2019-09-30 11:29:44 -0700739 xfs_fileoff_t endoffset_fsb;
Dave Chinnerc24b5df2013-08-12 20:49:45 +1000740 int nimaps;
Dave Chinnerc24b5df2013-08-12 20:49:45 +1000741 int rt;
742 xfs_trans_t *tp;
743 xfs_bmbt_irec_t imaps[1], *imapp;
Dave Chinnerc24b5df2013-08-12 20:49:45 +1000744 int error;
745
746 trace_xfs_alloc_file_space(ip);
747
748 if (XFS_FORCED_SHUTDOWN(mp))
Dave Chinner24513372014-06-25 14:58:08 +1000749 return -EIO;
Dave Chinnerc24b5df2013-08-12 20:49:45 +1000750
Darrick J. Wongc14cfcc2018-05-04 15:30:21 -0700751 error = xfs_qm_dqattach(ip);
Dave Chinnerc24b5df2013-08-12 20:49:45 +1000752 if (error)
753 return error;
754
755 if (len <= 0)
Dave Chinner24513372014-06-25 14:58:08 +1000756 return -EINVAL;
Dave Chinnerc24b5df2013-08-12 20:49:45 +1000757
758 rt = XFS_IS_REALTIME_INODE(ip);
759 extsz = xfs_get_extsz_hint(ip);
760
761 count = len;
762 imapp = &imaps[0];
763 nimaps = 1;
764 startoffset_fsb = XFS_B_TO_FSBT(mp, offset);
Max Reitze093c4b2019-09-30 11:29:44 -0700765 endoffset_fsb = XFS_B_TO_FSB(mp, offset + count);
766 allocatesize_fsb = endoffset_fsb - startoffset_fsb;
Dave Chinnerc24b5df2013-08-12 20:49:45 +1000767
768 /*
769 * Allocate file space until done or until there is an error
770 */
771 while (allocatesize_fsb && !error) {
772 xfs_fileoff_t s, e;
Darrick J. Wong3de4eb12021-01-26 16:44:07 -0800773 unsigned int dblocks, rblocks, resblks;
Dave Chinnerc24b5df2013-08-12 20:49:45 +1000774
775 /*
776 * Determine space reservations for data/realtime.
777 */
778 if (unlikely(extsz)) {
779 s = startoffset_fsb;
780 do_div(s, extsz);
781 s *= extsz;
782 e = startoffset_fsb + allocatesize_fsb;
Dave Chinner0703a8e2018-06-08 09:54:22 -0700783 div_u64_rem(startoffset_fsb, extsz, &temp);
784 if (temp)
Dave Chinnerc24b5df2013-08-12 20:49:45 +1000785 e += temp;
Dave Chinner0703a8e2018-06-08 09:54:22 -0700786 div_u64_rem(e, extsz, &temp);
787 if (temp)
Dave Chinnerc24b5df2013-08-12 20:49:45 +1000788 e += extsz - temp;
789 } else {
790 s = 0;
791 e = allocatesize_fsb;
792 }
793
794 /*
795 * The transaction reservation is limited to a 32-bit block
796 * count, hence we need to limit the number of blocks we are
797 * trying to reserve to avoid an overflow. We can't allocate
798 * more than @nimaps extents, and an extent is limited on disk
799 * to MAXEXTLEN (21 bits), so use that to enforce the limit.
800 */
801 resblks = min_t(xfs_fileoff_t, (e - s), (MAXEXTLEN * nimaps));
802 if (unlikely(rt)) {
Darrick J. Wong02b7ee42021-01-26 17:20:42 -0800803 dblocks = XFS_DIOSTRAT_SPACE_RES(mp, 0);
804 rblocks = resblks;
Dave Chinnerc24b5df2013-08-12 20:49:45 +1000805 } else {
Darrick J. Wong02b7ee42021-01-26 17:20:42 -0800806 dblocks = XFS_DIOSTRAT_SPACE_RES(mp, resblks);
807 rblocks = 0;
Dave Chinnerc24b5df2013-08-12 20:49:45 +1000808 }
809
810 /*
811 * Allocate and setup the transaction.
812 */
Darrick J. Wong3de4eb12021-01-26 16:44:07 -0800813 error = xfs_trans_alloc_inode(ip, &M_RES(mp)->tr_write,
814 dblocks, rblocks, false, &tp);
Dave Chinnerc24b5df2013-08-12 20:49:45 +1000815 if (error)
Darrick J. Wong3de4eb12021-01-26 16:44:07 -0800816 break;
Dave Chinnerc24b5df2013-08-12 20:49:45 +1000817
Chandan Babu R727e1ac2021-01-22 16:48:11 -0800818 error = xfs_iext_count_may_overflow(ip, XFS_DATA_FORK,
819 XFS_IEXT_ADD_NOSPLIT_CNT);
820 if (error)
Darrick J. Wong35b110102021-01-26 17:23:30 -0800821 goto error;
Chandan Babu R727e1ac2021-01-22 16:48:11 -0800822
Dave Chinnerc24b5df2013-08-12 20:49:45 +1000823 error = xfs_bmapi_write(tp, ip, startoffset_fsb,
Brian Fosterda781e62019-10-21 09:26:48 -0700824 allocatesize_fsb, alloc_type, 0, imapp,
825 &nimaps);
Eric Sandeenf6106ef2016-01-11 11:34:01 +1100826 if (error)
Darrick J. Wong35b110102021-01-26 17:23:30 -0800827 goto error;
Dave Chinnerc24b5df2013-08-12 20:49:45 +1000828
829 /*
830 * Complete the transaction
831 */
Christoph Hellwig70393312015-06-04 13:48:08 +1000832 error = xfs_trans_commit(tp);
Dave Chinnerc24b5df2013-08-12 20:49:45 +1000833 xfs_iunlock(ip, XFS_ILOCK_EXCL);
Eric Sandeenf6106ef2016-01-11 11:34:01 +1100834 if (error)
Dave Chinnerc24b5df2013-08-12 20:49:45 +1000835 break;
Dave Chinnerc24b5df2013-08-12 20:49:45 +1000836
837 allocated_fsb = imapp->br_blockcount;
838
839 if (nimaps == 0) {
Dave Chinner24513372014-06-25 14:58:08 +1000840 error = -ENOSPC;
Dave Chinnerc24b5df2013-08-12 20:49:45 +1000841 break;
842 }
843
844 startoffset_fsb += allocated_fsb;
845 allocatesize_fsb -= allocated_fsb;
846 }
847
848 return error;
849
Darrick J. Wong35b110102021-01-26 17:23:30 -0800850error:
Christoph Hellwig4906e212015-06-04 13:47:56 +1000851 xfs_trans_cancel(tp);
Dave Chinnerc24b5df2013-08-12 20:49:45 +1000852 xfs_iunlock(ip, XFS_ILOCK_EXCL);
853 return error;
854}
855
Christoph Hellwigbdb0d042016-06-21 10:00:55 +1000856static int
857xfs_unmap_extent(
858 struct xfs_inode *ip,
859 xfs_fileoff_t startoffset_fsb,
860 xfs_filblks_t len_fsb,
861 int *done)
Dave Chinnerc24b5df2013-08-12 20:49:45 +1000862{
Christoph Hellwigbdb0d042016-06-21 10:00:55 +1000863 struct xfs_mount *mp = ip->i_mount;
864 struct xfs_trans *tp;
Christoph Hellwigbdb0d042016-06-21 10:00:55 +1000865 uint resblks = XFS_DIOSTRAT_SPACE_RES(mp, 0);
866 int error;
Dave Chinnerc24b5df2013-08-12 20:49:45 +1000867
Darrick J. Wong3de4eb12021-01-26 16:44:07 -0800868 error = xfs_trans_alloc_inode(ip, &M_RES(mp)->tr_write, resblks, 0,
Darrick J. Wong3a1af6c2021-01-26 16:33:29 -0800869 false, &tp);
Christoph Hellwigbdb0d042016-06-21 10:00:55 +1000870 if (error)
Darrick J. Wong3a1af6c2021-01-26 16:33:29 -0800871 return error;
Christoph Hellwigbdb0d042016-06-21 10:00:55 +1000872
Chandan Babu R85ef08b2021-01-22 16:48:11 -0800873 error = xfs_iext_count_may_overflow(ip, XFS_DATA_FORK,
874 XFS_IEXT_PUNCH_HOLE_CNT);
875 if (error)
876 goto out_trans_cancel;
877
Brian Foster2af52842018-07-11 22:26:25 -0700878 error = xfs_bunmapi(tp, ip, startoffset_fsb, len_fsb, 0, 2, done);
Christoph Hellwigbdb0d042016-06-21 10:00:55 +1000879 if (error)
Brian Fosterc8eac492018-07-24 13:43:13 -0700880 goto out_trans_cancel;
Christoph Hellwigbdb0d042016-06-21 10:00:55 +1000881
Christoph Hellwigbdb0d042016-06-21 10:00:55 +1000882 error = xfs_trans_commit(tp);
883out_unlock:
884 xfs_iunlock(ip, XFS_ILOCK_EXCL);
Dave Chinnerc24b5df2013-08-12 20:49:45 +1000885 return error;
Christoph Hellwigbdb0d042016-06-21 10:00:55 +1000886
Christoph Hellwigbdb0d042016-06-21 10:00:55 +1000887out_trans_cancel:
888 xfs_trans_cancel(tp);
889 goto out_unlock;
890}
891
Dave Chinner249bd902019-10-29 13:04:32 -0700892/* Caller must first wait for the completion of any pending DIOs if required. */
Dave Chinner2c307172018-11-19 13:31:10 -0800893int
Christoph Hellwigbdb0d042016-06-21 10:00:55 +1000894xfs_flush_unmap_range(
895 struct xfs_inode *ip,
896 xfs_off_t offset,
897 xfs_off_t len)
898{
899 struct xfs_mount *mp = ip->i_mount;
900 struct inode *inode = VFS_I(ip);
901 xfs_off_t rounding, start, end;
902 int error;
903
Christoph Hellwigbdb0d042016-06-21 10:00:55 +1000904 rounding = max_t(xfs_off_t, 1 << mp->m_sb.sb_blocklog, PAGE_SIZE);
905 start = round_down(offset, rounding);
906 end = round_up(offset + len, rounding) - 1;
907
908 error = filemap_write_and_wait_range(inode->i_mapping, start, end);
909 if (error)
910 return error;
911 truncate_pagecache_range(inode, start, end);
912 return 0;
Dave Chinnerc24b5df2013-08-12 20:49:45 +1000913}
914
Christoph Hellwig83aee9e2013-10-12 00:55:07 -0700915int
Dave Chinnerc24b5df2013-08-12 20:49:45 +1000916xfs_free_file_space(
Christoph Hellwig83aee9e2013-10-12 00:55:07 -0700917 struct xfs_inode *ip,
Dave Chinnerc24b5df2013-08-12 20:49:45 +1000918 xfs_off_t offset,
Christoph Hellwig5f8aca82013-10-12 00:55:06 -0700919 xfs_off_t len)
Dave Chinnerc24b5df2013-08-12 20:49:45 +1000920{
Christoph Hellwigbdb0d042016-06-21 10:00:55 +1000921 struct xfs_mount *mp = ip->i_mount;
Dave Chinnerc24b5df2013-08-12 20:49:45 +1000922 xfs_fileoff_t startoffset_fsb;
Christoph Hellwigbdb0d042016-06-21 10:00:55 +1000923 xfs_fileoff_t endoffset_fsb;
Christoph Hellwig3c2bdc92016-06-21 10:02:23 +1000924 int done = 0, error;
Dave Chinnerc24b5df2013-08-12 20:49:45 +1000925
926 trace_xfs_free_file_space(ip);
927
Darrick J. Wongc14cfcc2018-05-04 15:30:21 -0700928 error = xfs_qm_dqattach(ip);
Dave Chinnerc24b5df2013-08-12 20:49:45 +1000929 if (error)
930 return error;
931
Dave Chinnerc24b5df2013-08-12 20:49:45 +1000932 if (len <= 0) /* if nothing being freed */
Christoph Hellwigbdb0d042016-06-21 10:00:55 +1000933 return 0;
934
Christoph Hellwigbdb0d042016-06-21 10:00:55 +1000935 startoffset_fsb = XFS_B_TO_FSB(mp, offset);
Dave Chinnerc24b5df2013-08-12 20:49:45 +1000936 endoffset_fsb = XFS_B_TO_FSBT(mp, offset + len);
937
Darrick J. Wongfe341eb2020-09-09 14:21:06 -0700938 /* We can only free complete realtime extents. */
Darrick J. Wong25219db2020-10-09 16:42:59 -0700939 if (XFS_IS_REALTIME_INODE(ip) && mp->m_sb.sb_rextsize > 1) {
940 startoffset_fsb = roundup_64(startoffset_fsb,
941 mp->m_sb.sb_rextsize);
942 endoffset_fsb = rounddown_64(endoffset_fsb,
943 mp->m_sb.sb_rextsize);
Darrick J. Wongfe341eb2020-09-09 14:21:06 -0700944 }
945
Dave Chinnerc24b5df2013-08-12 20:49:45 +1000946 /*
Christoph Hellwigdaa79ba2018-10-18 17:18:58 +1100947 * Need to zero the stuff we're not freeing, on disk.
Dave Chinnerc24b5df2013-08-12 20:49:45 +1000948 */
Christoph Hellwig3c2bdc92016-06-21 10:02:23 +1000949 if (endoffset_fsb > startoffset_fsb) {
950 while (!done) {
951 error = xfs_unmap_extent(ip, startoffset_fsb,
952 endoffset_fsb - startoffset_fsb, &done);
953 if (error)
954 return error;
955 }
Dave Chinnerc24b5df2013-08-12 20:49:45 +1000956 }
957
958 /*
Christoph Hellwig3c2bdc92016-06-21 10:02:23 +1000959 * Now that we've unmap all full blocks we'll have to zero out any
Christoph Hellwigf5c547172018-03-13 23:15:32 -0700960 * partial block at the beginning and/or end. iomap_zero_range is smart
961 * enough to skip any holes, including those we just created, but we
962 * must take care not to zero beyond EOF and enlarge i_size.
Dave Chinnerc24b5df2013-08-12 20:49:45 +1000963 */
Calvin Owens3dd09d52017-04-03 12:22:29 -0700964 if (offset >= XFS_ISIZE(ip))
965 return 0;
Calvin Owens3dd09d52017-04-03 12:22:29 -0700966 if (offset + len > XFS_ISIZE(ip))
967 len = XFS_ISIZE(ip) - offset;
Christoph Hellwigf150b422019-10-19 09:09:46 -0700968 error = iomap_zero_range(VFS_I(ip), offset, len, NULL,
969 &xfs_buffered_write_iomap_ops);
Darrick J. Wonge53c4b52018-06-21 23:26:58 -0700970 if (error)
971 return error;
972
973 /*
974 * If we zeroed right up to EOF and EOF straddles a page boundary we
975 * must make sure that the post-EOF area is also zeroed because the
976 * page could be mmap'd and iomap_zero_range doesn't do that for us.
977 * Writeback of the eof page will do this, albeit clumsily.
978 */
Darrick J. Wonga5791212018-11-27 11:01:43 -0800979 if (offset + len >= XFS_ISIZE(ip) && offset_in_page(offset + len) > 0) {
Darrick J. Wonge53c4b52018-06-21 23:26:58 -0700980 error = filemap_write_and_wait_range(VFS_I(ip)->i_mapping,
Darrick J. Wonga5791212018-11-27 11:01:43 -0800981 round_down(offset + len, PAGE_SIZE), LLONG_MAX);
Darrick J. Wonge53c4b52018-06-21 23:26:58 -0700982 }
983
984 return error;
Dave Chinnerc24b5df2013-08-12 20:49:45 +1000985}
986
kbuild test robot72c1a732015-04-13 11:25:04 +1000987static int
Christoph Hellwig4ed36c62017-10-19 11:07:10 -0700988xfs_prepare_shift(
989 struct xfs_inode *ip,
990 loff_t offset)
Namjae Jeone1d8fb82014-02-24 10:58:19 +1100991{
Brian Fosterd0c22042019-12-11 13:18:38 -0800992 struct xfs_mount *mp = ip->i_mount;
Namjae Jeone1d8fb82014-02-24 10:58:19 +1100993 int error;
Namjae Jeone1d8fb82014-02-24 10:58:19 +1100994
Brian Fosterf71721d2014-09-23 15:39:05 +1000995 /*
996 * Trim eofblocks to avoid shifting uninitialized post-eof preallocation
997 * into the accessible region of the file.
998 */
Brian Foster41b9d722014-09-02 12:12:53 +1000999 if (xfs_can_free_eofblocks(ip, true)) {
Brian Fostera36b9262017-01-27 23:22:55 -08001000 error = xfs_free_eofblocks(ip);
Brian Foster41b9d722014-09-02 12:12:53 +10001001 if (error)
1002 return error;
1003 }
Dave Chinner1669a8c2014-09-02 12:12:53 +10001004
Brian Fosterf71721d2014-09-23 15:39:05 +10001005 /*
Brian Fosterd0c22042019-12-11 13:18:38 -08001006 * Shift operations must stabilize the start block offset boundary along
1007 * with the full range of the operation. If we don't, a COW writeback
1008 * completion could race with an insert, front merge with the start
1009 * extent (after split) during the shift and corrupt the file. Start
1010 * with the block just prior to the start to stabilize the boundary.
1011 */
1012 offset = round_down(offset, 1 << mp->m_sb.sb_blocklog);
1013 if (offset)
1014 offset -= (1 << mp->m_sb.sb_blocklog);
1015
1016 /*
Brian Fosterf71721d2014-09-23 15:39:05 +10001017 * Writeback and invalidate cache for the remainder of the file as we're
Namjae Jeona904b1c2015-03-25 15:08:56 +11001018 * about to shift down every extent from offset to EOF.
Brian Fosterf71721d2014-09-23 15:39:05 +10001019 */
Dave Chinner7f9f71be2018-11-19 13:31:09 -08001020 error = xfs_flush_unmap_range(ip, offset, XFS_ISIZE(ip));
Brian Foster1749d1e2019-04-26 07:30:24 -07001021 if (error)
1022 return error;
Namjae Jeone1d8fb82014-02-24 10:58:19 +11001023
Namjae Jeona904b1c2015-03-25 15:08:56 +11001024 /*
Darrick J. Wong3af423b2017-09-18 09:41:17 -07001025 * Clean out anything hanging around in the cow fork now that
1026 * we've flushed all the dirty data out to disk to avoid having
1027 * CoW extents at the wrong offsets.
1028 */
Christoph Hellwig51d62692018-07-17 16:51:51 -07001029 if (xfs_inode_has_cow_data(ip)) {
Darrick J. Wong3af423b2017-09-18 09:41:17 -07001030 error = xfs_reflink_cancel_cow_range(ip, offset, NULLFILEOFF,
1031 true);
1032 if (error)
1033 return error;
1034 }
1035
Christoph Hellwig4ed36c62017-10-19 11:07:10 -07001036 return 0;
Namjae Jeone1d8fb82014-02-24 10:58:19 +11001037}
1038
1039/*
Namjae Jeona904b1c2015-03-25 15:08:56 +11001040 * xfs_collapse_file_space()
1041 * This routine frees disk space and shift extent for the given file.
1042 * The first thing we do is to free data blocks in the specified range
1043 * by calling xfs_free_file_space(). It would also sync dirty data
1044 * and invalidate page cache over the region on which collapse range
1045 * is working. And Shift extent records to the left to cover a hole.
1046 * RETURNS:
1047 * 0 on success
1048 * errno on error
1049 *
1050 */
1051int
1052xfs_collapse_file_space(
1053 struct xfs_inode *ip,
1054 xfs_off_t offset,
1055 xfs_off_t len)
1056{
Christoph Hellwig4ed36c62017-10-19 11:07:10 -07001057 struct xfs_mount *mp = ip->i_mount;
1058 struct xfs_trans *tp;
1059 int error;
Christoph Hellwig4ed36c62017-10-19 11:07:10 -07001060 xfs_fileoff_t next_fsb = XFS_B_TO_FSB(mp, offset + len);
1061 xfs_fileoff_t shift_fsb = XFS_B_TO_FSB(mp, len);
Christoph Hellwigecfea3f2017-10-19 11:07:11 -07001062 bool done = false;
Namjae Jeona904b1c2015-03-25 15:08:56 +11001063
1064 ASSERT(xfs_isilocked(ip, XFS_IOLOCK_EXCL));
Christoph Hellwig9ad1a23a2017-10-23 16:32:38 -07001065 ASSERT(xfs_isilocked(ip, XFS_MMAPLOCK_EXCL));
1066
Namjae Jeona904b1c2015-03-25 15:08:56 +11001067 trace_xfs_collapse_file_space(ip);
1068
1069 error = xfs_free_file_space(ip, offset, len);
1070 if (error)
1071 return error;
1072
Christoph Hellwig4ed36c62017-10-19 11:07:10 -07001073 error = xfs_prepare_shift(ip, offset);
1074 if (error)
1075 return error;
1076
Brian Foster211683b2020-02-26 09:43:16 -08001077 error = xfs_trans_alloc(mp, &M_RES(mp)->tr_write, 0, 0, 0, &tp);
1078 if (error)
1079 return error;
Christoph Hellwig4ed36c62017-10-19 11:07:10 -07001080
Brian Foster211683b2020-02-26 09:43:16 -08001081 xfs_ilock(ip, XFS_ILOCK_EXCL);
1082 xfs_trans_ijoin(tp, ip, 0);
Christoph Hellwig4ed36c62017-10-19 11:07:10 -07001083
Brian Foster211683b2020-02-26 09:43:16 -08001084 while (!done) {
Christoph Hellwigecfea3f2017-10-19 11:07:11 -07001085 error = xfs_bmap_collapse_extents(tp, ip, &next_fsb, shift_fsb,
Brian Foster333f9502018-07-11 22:26:27 -07001086 &done);
Christoph Hellwig4ed36c62017-10-19 11:07:10 -07001087 if (error)
Brian Fosterc8eac492018-07-24 13:43:13 -07001088 goto out_trans_cancel;
Brian Foster211683b2020-02-26 09:43:16 -08001089 if (done)
1090 break;
Christoph Hellwig4ed36c62017-10-19 11:07:10 -07001091
Brian Foster211683b2020-02-26 09:43:16 -08001092 /* finish any deferred frees and roll the transaction */
1093 error = xfs_defer_finish(&tp);
1094 if (error)
1095 goto out_trans_cancel;
Christoph Hellwig4ed36c62017-10-19 11:07:10 -07001096 }
1097
Brian Foster211683b2020-02-26 09:43:16 -08001098 error = xfs_trans_commit(tp);
1099 xfs_iunlock(ip, XFS_ILOCK_EXCL);
Christoph Hellwig4ed36c62017-10-19 11:07:10 -07001100 return error;
1101
Christoph Hellwig4ed36c62017-10-19 11:07:10 -07001102out_trans_cancel:
1103 xfs_trans_cancel(tp);
Brian Foster211683b2020-02-26 09:43:16 -08001104 xfs_iunlock(ip, XFS_ILOCK_EXCL);
Christoph Hellwig4ed36c62017-10-19 11:07:10 -07001105 return error;
Namjae Jeona904b1c2015-03-25 15:08:56 +11001106}
1107
1108/*
1109 * xfs_insert_file_space()
1110 * This routine create hole space by shifting extents for the given file.
1111 * The first thing we do is to sync dirty data and invalidate page cache
1112 * over the region on which insert range is working. And split an extent
1113 * to two extents at given offset by calling xfs_bmap_split_extent.
1114 * And shift all extent records which are laying between [offset,
1115 * last allocated extent] to the right to reserve hole range.
1116 * RETURNS:
1117 * 0 on success
1118 * errno on error
1119 */
1120int
1121xfs_insert_file_space(
1122 struct xfs_inode *ip,
1123 loff_t offset,
1124 loff_t len)
1125{
Christoph Hellwig4ed36c62017-10-19 11:07:10 -07001126 struct xfs_mount *mp = ip->i_mount;
1127 struct xfs_trans *tp;
1128 int error;
Christoph Hellwig4ed36c62017-10-19 11:07:10 -07001129 xfs_fileoff_t stop_fsb = XFS_B_TO_FSB(mp, offset);
1130 xfs_fileoff_t next_fsb = NULLFSBLOCK;
1131 xfs_fileoff_t shift_fsb = XFS_B_TO_FSB(mp, len);
Christoph Hellwigecfea3f2017-10-19 11:07:11 -07001132 bool done = false;
Christoph Hellwig4ed36c62017-10-19 11:07:10 -07001133
Namjae Jeona904b1c2015-03-25 15:08:56 +11001134 ASSERT(xfs_isilocked(ip, XFS_IOLOCK_EXCL));
Christoph Hellwig9ad1a23a2017-10-23 16:32:38 -07001135 ASSERT(xfs_isilocked(ip, XFS_MMAPLOCK_EXCL));
1136
Namjae Jeona904b1c2015-03-25 15:08:56 +11001137 trace_xfs_insert_file_space(ip);
1138
Darrick J. Wongf62cb482018-06-21 23:26:57 -07001139 error = xfs_bmap_can_insert_extents(ip, stop_fsb, shift_fsb);
1140 if (error)
1141 return error;
1142
Christoph Hellwig4ed36c62017-10-19 11:07:10 -07001143 error = xfs_prepare_shift(ip, offset);
1144 if (error)
1145 return error;
1146
Brian Fosterb73df172020-02-26 09:43:15 -08001147 error = xfs_trans_alloc(mp, &M_RES(mp)->tr_write,
1148 XFS_DIOSTRAT_SPACE_RES(mp, 0), 0, 0, &tp);
1149 if (error)
1150 return error;
1151
1152 xfs_ilock(ip, XFS_ILOCK_EXCL);
Brian Fosterdd87f872020-02-26 09:43:16 -08001153 xfs_trans_ijoin(tp, ip, 0);
Brian Fosterb73df172020-02-26 09:43:15 -08001154
Chandan Babu R85ef08b2021-01-22 16:48:11 -08001155 error = xfs_iext_count_may_overflow(ip, XFS_DATA_FORK,
1156 XFS_IEXT_PUNCH_HOLE_CNT);
1157 if (error)
1158 goto out_trans_cancel;
1159
Brian Fosterdd87f872020-02-26 09:43:16 -08001160 /*
1161 * The extent shifting code works on extent granularity. So, if stop_fsb
1162 * is not the starting block of extent, we need to split the extent at
1163 * stop_fsb.
1164 */
Brian Fosterb73df172020-02-26 09:43:15 -08001165 error = xfs_bmap_split_extent(tp, ip, stop_fsb);
1166 if (error)
1167 goto out_trans_cancel;
1168
Brian Fosterdd87f872020-02-26 09:43:16 -08001169 do {
Brian Foster9c516e02020-08-18 08:05:58 -07001170 error = xfs_defer_finish(&tp);
Christoph Hellwig4ed36c62017-10-19 11:07:10 -07001171 if (error)
Brian Fosterdd87f872020-02-26 09:43:16 -08001172 goto out_trans_cancel;
Christoph Hellwig4ed36c62017-10-19 11:07:10 -07001173
Christoph Hellwigecfea3f2017-10-19 11:07:11 -07001174 error = xfs_bmap_insert_extents(tp, ip, &next_fsb, shift_fsb,
Brian Foster333f9502018-07-11 22:26:27 -07001175 &done, stop_fsb);
Christoph Hellwig4ed36c62017-10-19 11:07:10 -07001176 if (error)
Brian Fosterc8eac492018-07-24 13:43:13 -07001177 goto out_trans_cancel;
Brian Fosterdd87f872020-02-26 09:43:16 -08001178 } while (!done);
Christoph Hellwig4ed36c62017-10-19 11:07:10 -07001179
Brian Fosterdd87f872020-02-26 09:43:16 -08001180 error = xfs_trans_commit(tp);
1181 xfs_iunlock(ip, XFS_ILOCK_EXCL);
Christoph Hellwig4ed36c62017-10-19 11:07:10 -07001182 return error;
1183
Brian Fosterc8eac492018-07-24 13:43:13 -07001184out_trans_cancel:
Christoph Hellwig4ed36c62017-10-19 11:07:10 -07001185 xfs_trans_cancel(tp);
Brian Fosterdd87f872020-02-26 09:43:16 -08001186 xfs_iunlock(ip, XFS_ILOCK_EXCL);
Christoph Hellwig4ed36c62017-10-19 11:07:10 -07001187 return error;
Namjae Jeona904b1c2015-03-25 15:08:56 +11001188}
1189
1190/*
Dave Chinnera133d952013-08-12 20:49:48 +10001191 * We need to check that the format of the data fork in the temporary inode is
1192 * valid for the target inode before doing the swap. This is not a problem with
1193 * attr1 because of the fixed fork offset, but attr2 has a dynamically sized
1194 * data fork depending on the space the attribute fork is taking so we can get
1195 * invalid formats on the target inode.
1196 *
1197 * E.g. target has space for 7 extents in extent format, temp inode only has
1198 * space for 6. If we defragment down to 7 extents, then the tmp format is a
1199 * btree, but when swapped it needs to be in extent format. Hence we can't just
1200 * blindly swap data forks on attr2 filesystems.
1201 *
1202 * Note that we check the swap in both directions so that we don't end up with
1203 * a corrupt temporary inode, either.
1204 *
1205 * Note that fixing the way xfs_fsr sets up the attribute fork in the source
1206 * inode will prevent this situation from occurring, so all we do here is
1207 * reject and log the attempt. basically we are putting the responsibility on
1208 * userspace to get this right.
1209 */
1210static int
1211xfs_swap_extents_check_format(
Darrick J. Wonge06259a2016-10-03 09:11:52 -07001212 struct xfs_inode *ip, /* target inode */
1213 struct xfs_inode *tip) /* tmp inode */
Dave Chinnera133d952013-08-12 20:49:48 +10001214{
Christoph Hellwigf7e67b22020-05-18 10:28:05 -07001215 struct xfs_ifork *ifp = &ip->i_df;
1216 struct xfs_ifork *tifp = &tip->i_df;
Dave Chinnera133d952013-08-12 20:49:48 +10001217
Darrick J. Wong765d3c32020-05-12 16:42:51 -07001218 /* User/group/project quota ids must match if quotas are enforced. */
1219 if (XFS_IS_QUOTA_ON(ip->i_mount) &&
1220 (!uid_eq(VFS_I(ip)->i_uid, VFS_I(tip)->i_uid) ||
1221 !gid_eq(VFS_I(ip)->i_gid, VFS_I(tip)->i_gid) ||
Christoph Hellwigceaf6032021-03-29 11:11:39 -07001222 ip->i_projid != tip->i_projid))
Darrick J. Wong765d3c32020-05-12 16:42:51 -07001223 return -EINVAL;
1224
Dave Chinnera133d952013-08-12 20:49:48 +10001225 /* Should never get a local format */
Christoph Hellwigf7e67b22020-05-18 10:28:05 -07001226 if (ifp->if_format == XFS_DINODE_FMT_LOCAL ||
1227 tifp->if_format == XFS_DINODE_FMT_LOCAL)
Dave Chinner24513372014-06-25 14:58:08 +10001228 return -EINVAL;
Dave Chinnera133d952013-08-12 20:49:48 +10001229
1230 /*
1231 * if the target inode has less extents that then temporary inode then
1232 * why did userspace call us?
1233 */
Christoph Hellwigf7e67b22020-05-18 10:28:05 -07001234 if (ifp->if_nextents < tifp->if_nextents)
Dave Chinner24513372014-06-25 14:58:08 +10001235 return -EINVAL;
Dave Chinnera133d952013-08-12 20:49:48 +10001236
1237 /*
Darrick J. Wong1f08af52016-10-03 09:11:53 -07001238 * If we have to use the (expensive) rmap swap method, we can
1239 * handle any number of extents and any format.
1240 */
1241 if (xfs_sb_version_hasrmapbt(&ip->i_mount->m_sb))
1242 return 0;
1243
1244 /*
Dave Chinnera133d952013-08-12 20:49:48 +10001245 * if the target inode is in extent form and the temp inode is in btree
1246 * form then we will end up with the target inode in the wrong format
1247 * as we already know there are less extents in the temp inode.
1248 */
Christoph Hellwigf7e67b22020-05-18 10:28:05 -07001249 if (ifp->if_format == XFS_DINODE_FMT_EXTENTS &&
1250 tifp->if_format == XFS_DINODE_FMT_BTREE)
Dave Chinner24513372014-06-25 14:58:08 +10001251 return -EINVAL;
Dave Chinnera133d952013-08-12 20:49:48 +10001252
1253 /* Check temp in extent form to max in target */
Christoph Hellwigf7e67b22020-05-18 10:28:05 -07001254 if (tifp->if_format == XFS_DINODE_FMT_EXTENTS &&
1255 tifp->if_nextents > XFS_IFORK_MAXEXT(ip, XFS_DATA_FORK))
Dave Chinner24513372014-06-25 14:58:08 +10001256 return -EINVAL;
Dave Chinnera133d952013-08-12 20:49:48 +10001257
1258 /* Check target in extent form to max in temp */
Christoph Hellwigf7e67b22020-05-18 10:28:05 -07001259 if (ifp->if_format == XFS_DINODE_FMT_EXTENTS &&
1260 ifp->if_nextents > XFS_IFORK_MAXEXT(tip, XFS_DATA_FORK))
Dave Chinner24513372014-06-25 14:58:08 +10001261 return -EINVAL;
Dave Chinnera133d952013-08-12 20:49:48 +10001262
1263 /*
1264 * If we are in a btree format, check that the temp root block will fit
1265 * in the target and that it has enough extents to be in btree format
1266 * in the target.
1267 *
1268 * Note that we have to be careful to allow btree->extent conversions
1269 * (a common defrag case) which will occur when the temp inode is in
1270 * extent format...
1271 */
Christoph Hellwigf7e67b22020-05-18 10:28:05 -07001272 if (tifp->if_format == XFS_DINODE_FMT_BTREE) {
Arnd Bergmann0cbe48c2017-06-14 21:35:34 -07001273 if (XFS_IFORK_Q(ip) &&
Christoph Hellwigf7e67b22020-05-18 10:28:05 -07001274 XFS_BMAP_BMDR_SPACE(tifp->if_broot) > XFS_IFORK_BOFF(ip))
Dave Chinner24513372014-06-25 14:58:08 +10001275 return -EINVAL;
Christoph Hellwigf7e67b22020-05-18 10:28:05 -07001276 if (tifp->if_nextents <= XFS_IFORK_MAXEXT(ip, XFS_DATA_FORK))
Dave Chinner24513372014-06-25 14:58:08 +10001277 return -EINVAL;
Dave Chinnera133d952013-08-12 20:49:48 +10001278 }
1279
1280 /* Reciprocal target->temp btree format checks */
Christoph Hellwigf7e67b22020-05-18 10:28:05 -07001281 if (ifp->if_format == XFS_DINODE_FMT_BTREE) {
Arnd Bergmann0cbe48c2017-06-14 21:35:34 -07001282 if (XFS_IFORK_Q(tip) &&
Dave Chinnera133d952013-08-12 20:49:48 +10001283 XFS_BMAP_BMDR_SPACE(ip->i_df.if_broot) > XFS_IFORK_BOFF(tip))
Dave Chinner24513372014-06-25 14:58:08 +10001284 return -EINVAL;
Christoph Hellwigf7e67b22020-05-18 10:28:05 -07001285 if (ifp->if_nextents <= XFS_IFORK_MAXEXT(tip, XFS_DATA_FORK))
Dave Chinner24513372014-06-25 14:58:08 +10001286 return -EINVAL;
Dave Chinnera133d952013-08-12 20:49:48 +10001287 }
1288
1289 return 0;
1290}
1291
Dave Chinner7abbb8f2014-09-23 16:20:11 +10001292static int
Dave Chinner4ef897a2014-08-04 13:44:08 +10001293xfs_swap_extent_flush(
1294 struct xfs_inode *ip)
1295{
1296 int error;
1297
1298 error = filemap_write_and_wait(VFS_I(ip)->i_mapping);
1299 if (error)
1300 return error;
1301 truncate_pagecache_range(VFS_I(ip), 0, -1);
1302
1303 /* Verify O_DIRECT for ftmp */
1304 if (VFS_I(ip)->i_mapping->nrpages)
1305 return -EINVAL;
Dave Chinner4ef897a2014-08-04 13:44:08 +10001306 return 0;
1307}
1308
Darrick J. Wong1f08af52016-10-03 09:11:53 -07001309/*
1310 * Move extents from one file to another, when rmap is enabled.
1311 */
1312STATIC int
1313xfs_swap_extent_rmap(
1314 struct xfs_trans **tpp,
1315 struct xfs_inode *ip,
1316 struct xfs_inode *tip)
1317{
Brian Foster7a7943c2018-07-11 22:26:17 -07001318 struct xfs_trans *tp = *tpp;
Darrick J. Wong1f08af52016-10-03 09:11:53 -07001319 struct xfs_bmbt_irec irec;
1320 struct xfs_bmbt_irec uirec;
1321 struct xfs_bmbt_irec tirec;
1322 xfs_fileoff_t offset_fsb;
1323 xfs_fileoff_t end_fsb;
1324 xfs_filblks_t count_fsb;
Darrick J. Wong1f08af52016-10-03 09:11:53 -07001325 int error;
1326 xfs_filblks_t ilen;
1327 xfs_filblks_t rlen;
1328 int nimaps;
Darrick J. Wongc8ce5402017-06-16 11:00:05 -07001329 uint64_t tip_flags2;
Darrick J. Wong1f08af52016-10-03 09:11:53 -07001330
1331 /*
1332 * If the source file has shared blocks, we must flag the donor
1333 * file as having shared blocks so that we get the shared-block
1334 * rmap functions when we go to fix up the rmaps. The flags
1335 * will be switch for reals later.
1336 */
Christoph Hellwig3e09ab82021-03-29 11:11:45 -07001337 tip_flags2 = tip->i_diflags2;
1338 if (ip->i_diflags2 & XFS_DIFLAG2_REFLINK)
1339 tip->i_diflags2 |= XFS_DIFLAG2_REFLINK;
Darrick J. Wong1f08af52016-10-03 09:11:53 -07001340
1341 offset_fsb = 0;
1342 end_fsb = XFS_B_TO_FSB(ip->i_mount, i_size_read(VFS_I(ip)));
1343 count_fsb = (xfs_filblks_t)(end_fsb - offset_fsb);
1344
1345 while (count_fsb) {
1346 /* Read extent from the donor file */
1347 nimaps = 1;
1348 error = xfs_bmapi_read(tip, offset_fsb, count_fsb, &tirec,
1349 &nimaps, 0);
1350 if (error)
1351 goto out;
1352 ASSERT(nimaps == 1);
1353 ASSERT(tirec.br_startblock != DELAYSTARTBLOCK);
1354
1355 trace_xfs_swap_extent_rmap_remap(tip, &tirec);
1356 ilen = tirec.br_blockcount;
1357
1358 /* Unmap the old blocks in the source file. */
1359 while (tirec.br_blockcount) {
Brian Fosterc8eac492018-07-24 13:43:13 -07001360 ASSERT(tp->t_firstblock == NULLFSBLOCK);
Darrick J. Wong1f08af52016-10-03 09:11:53 -07001361 trace_xfs_swap_extent_rmap_remap_piece(tip, &tirec);
1362
1363 /* Read extent from the source file */
1364 nimaps = 1;
1365 error = xfs_bmapi_read(ip, tirec.br_startoff,
1366 tirec.br_blockcount, &irec,
1367 &nimaps, 0);
1368 if (error)
Brian Fosterd5a2e282018-09-29 13:41:58 +10001369 goto out;
Darrick J. Wong1f08af52016-10-03 09:11:53 -07001370 ASSERT(nimaps == 1);
1371 ASSERT(tirec.br_startoff == irec.br_startoff);
1372 trace_xfs_swap_extent_rmap_remap_piece(ip, &irec);
1373
1374 /* Trim the extent. */
1375 uirec = tirec;
1376 uirec.br_blockcount = rlen = min_t(xfs_filblks_t,
1377 tirec.br_blockcount,
1378 irec.br_blockcount);
1379 trace_xfs_swap_extent_rmap_remap_piece(tip, &uirec);
1380
Chandan Babu Rbcc561f2021-01-22 16:48:15 -08001381 if (xfs_bmap_is_real_extent(&uirec)) {
1382 error = xfs_iext_count_may_overflow(ip,
1383 XFS_DATA_FORK,
1384 XFS_IEXT_SWAP_RMAP_CNT);
1385 if (error)
1386 goto out;
1387 }
1388
1389 if (xfs_bmap_is_real_extent(&irec)) {
1390 error = xfs_iext_count_may_overflow(tip,
1391 XFS_DATA_FORK,
1392 XFS_IEXT_SWAP_RMAP_CNT);
1393 if (error)
1394 goto out;
1395 }
1396
Darrick J. Wong1f08af52016-10-03 09:11:53 -07001397 /* Remove the mapping from the donor file. */
Darrick J. Wong3e08f422019-08-26 17:06:04 -07001398 xfs_bmap_unmap_extent(tp, tip, &uirec);
Darrick J. Wong1f08af52016-10-03 09:11:53 -07001399
1400 /* Remove the mapping from the source file. */
Darrick J. Wong3e08f422019-08-26 17:06:04 -07001401 xfs_bmap_unmap_extent(tp, ip, &irec);
Darrick J. Wong1f08af52016-10-03 09:11:53 -07001402
1403 /* Map the donor file's blocks into the source file. */
Darrick J. Wong3e08f422019-08-26 17:06:04 -07001404 xfs_bmap_map_extent(tp, ip, &uirec);
Darrick J. Wong1f08af52016-10-03 09:11:53 -07001405
1406 /* Map the source file's blocks into the donor file. */
Darrick J. Wong3e08f422019-08-26 17:06:04 -07001407 xfs_bmap_map_extent(tp, tip, &irec);
Darrick J. Wong1f08af52016-10-03 09:11:53 -07001408
Brian Foster9e28a242018-07-24 13:43:15 -07001409 error = xfs_defer_finish(tpp);
Brian Foster7a7943c2018-07-11 22:26:17 -07001410 tp = *tpp;
Darrick J. Wong1f08af52016-10-03 09:11:53 -07001411 if (error)
Brian Foster9b1f4e92018-08-01 07:20:33 -07001412 goto out;
Darrick J. Wong1f08af52016-10-03 09:11:53 -07001413
1414 tirec.br_startoff += rlen;
1415 if (tirec.br_startblock != HOLESTARTBLOCK &&
1416 tirec.br_startblock != DELAYSTARTBLOCK)
1417 tirec.br_startblock += rlen;
1418 tirec.br_blockcount -= rlen;
1419 }
1420
1421 /* Roll on... */
1422 count_fsb -= ilen;
1423 offset_fsb += ilen;
1424 }
1425
Christoph Hellwig3e09ab82021-03-29 11:11:45 -07001426 tip->i_diflags2 = tip_flags2;
Darrick J. Wong1f08af52016-10-03 09:11:53 -07001427 return 0;
1428
Darrick J. Wong1f08af52016-10-03 09:11:53 -07001429out:
1430 trace_xfs_swap_extent_rmap_error(ip, error, _RET_IP_);
Christoph Hellwig3e09ab82021-03-29 11:11:45 -07001431 tip->i_diflags2 = tip_flags2;
Darrick J. Wong1f08af52016-10-03 09:11:53 -07001432 return error;
1433}
1434
Darrick J. Wong39aff5f2016-10-03 09:11:53 -07001435/* Swap the extents of two files by swapping data forks. */
1436STATIC int
1437xfs_swap_extent_forks(
1438 struct xfs_trans *tp,
1439 struct xfs_inode *ip,
1440 struct xfs_inode *tip,
1441 int *src_log_flags,
1442 int *target_log_flags)
1443{
Darrick J. Wonge7f5d5c2017-06-16 11:00:12 -07001444 xfs_filblks_t aforkblks = 0;
1445 xfs_filblks_t taforkblks = 0;
1446 xfs_extnum_t junk;
Darrick J. Wongc8ce5402017-06-16 11:00:05 -07001447 uint64_t tmp;
Darrick J. Wong39aff5f2016-10-03 09:11:53 -07001448 int error;
1449
1450 /*
1451 * Count the number of extended attribute blocks
1452 */
Christoph Hellwigdaf83962020-05-18 10:27:22 -07001453 if (XFS_IFORK_Q(ip) && ip->i_afp->if_nextents > 0 &&
Christoph Hellwigf7e67b22020-05-18 10:28:05 -07001454 ip->i_afp->if_format != XFS_DINODE_FMT_LOCAL) {
Darrick J. Wonge7f5d5c2017-06-16 11:00:12 -07001455 error = xfs_bmap_count_blocks(tp, ip, XFS_ATTR_FORK, &junk,
Darrick J. Wong39aff5f2016-10-03 09:11:53 -07001456 &aforkblks);
1457 if (error)
1458 return error;
1459 }
Christoph Hellwigdaf83962020-05-18 10:27:22 -07001460 if (XFS_IFORK_Q(tip) && tip->i_afp->if_nextents > 0 &&
Christoph Hellwigf7e67b22020-05-18 10:28:05 -07001461 tip->i_afp->if_format != XFS_DINODE_FMT_LOCAL) {
Darrick J. Wonge7f5d5c2017-06-16 11:00:12 -07001462 error = xfs_bmap_count_blocks(tp, tip, XFS_ATTR_FORK, &junk,
Darrick J. Wong39aff5f2016-10-03 09:11:53 -07001463 &taforkblks);
1464 if (error)
1465 return error;
1466 }
1467
1468 /*
Brian Foster6fb10d62017-08-29 10:08:39 -07001469 * Btree format (v3) inodes have the inode number stamped in the bmbt
1470 * block headers. We can't start changing the bmbt blocks until the
1471 * inode owner change is logged so recovery does the right thing in the
1472 * event of a crash. Set the owner change log flags now and leave the
1473 * bmbt scan as the last step.
Darrick J. Wong39aff5f2016-10-03 09:11:53 -07001474 */
Christoph Hellwig6471e9c2020-03-18 08:15:11 -07001475 if (xfs_sb_version_has_v3inode(&ip->i_mount->m_sb)) {
Christoph Hellwigf7e67b22020-05-18 10:28:05 -07001476 if (ip->i_df.if_format == XFS_DINODE_FMT_BTREE)
Christoph Hellwig6471e9c2020-03-18 08:15:11 -07001477 (*target_log_flags) |= XFS_ILOG_DOWNER;
Christoph Hellwigf7e67b22020-05-18 10:28:05 -07001478 if (tip->i_df.if_format == XFS_DINODE_FMT_BTREE)
Christoph Hellwig6471e9c2020-03-18 08:15:11 -07001479 (*src_log_flags) |= XFS_ILOG_DOWNER;
1480 }
Darrick J. Wong39aff5f2016-10-03 09:11:53 -07001481
1482 /*
1483 * Swap the data forks of the inodes
1484 */
Gustavo A. R. Silva897992b2018-07-11 22:26:38 -07001485 swap(ip->i_df, tip->i_df);
Darrick J. Wong39aff5f2016-10-03 09:11:53 -07001486
1487 /*
1488 * Fix the on-disk inode values
1489 */
Christoph Hellwig6e73a542021-03-29 11:11:40 -07001490 tmp = (uint64_t)ip->i_nblocks;
1491 ip->i_nblocks = tip->i_nblocks - taforkblks + aforkblks;
1492 tip->i_nblocks = tmp + taforkblks - aforkblks;
Darrick J. Wong39aff5f2016-10-03 09:11:53 -07001493
Darrick J. Wong39aff5f2016-10-03 09:11:53 -07001494 /*
1495 * The extents in the source inode could still contain speculative
1496 * preallocation beyond EOF (e.g. the file is open but not modified
1497 * while defrag is in progress). In that case, we need to copy over the
1498 * number of delalloc blocks the data fork in the source inode is
1499 * tracking beyond EOF so that when the fork is truncated away when the
1500 * temporary inode is unlinked we don't underrun the i_delayed_blks
1501 * counter on that inode.
1502 */
1503 ASSERT(tip->i_delayed_blks == 0);
1504 tip->i_delayed_blks = ip->i_delayed_blks;
1505 ip->i_delayed_blks = 0;
1506
Christoph Hellwigf7e67b22020-05-18 10:28:05 -07001507 switch (ip->i_df.if_format) {
Darrick J. Wong39aff5f2016-10-03 09:11:53 -07001508 case XFS_DINODE_FMT_EXTENTS:
Darrick J. Wong39aff5f2016-10-03 09:11:53 -07001509 (*src_log_flags) |= XFS_ILOG_DEXT;
1510 break;
1511 case XFS_DINODE_FMT_BTREE:
Christoph Hellwig6471e9c2020-03-18 08:15:11 -07001512 ASSERT(!xfs_sb_version_has_v3inode(&ip->i_mount->m_sb) ||
Darrick J. Wong39aff5f2016-10-03 09:11:53 -07001513 (*src_log_flags & XFS_ILOG_DOWNER));
1514 (*src_log_flags) |= XFS_ILOG_DBROOT;
1515 break;
1516 }
1517
Christoph Hellwigf7e67b22020-05-18 10:28:05 -07001518 switch (tip->i_df.if_format) {
Darrick J. Wong39aff5f2016-10-03 09:11:53 -07001519 case XFS_DINODE_FMT_EXTENTS:
Darrick J. Wong39aff5f2016-10-03 09:11:53 -07001520 (*target_log_flags) |= XFS_ILOG_DEXT;
1521 break;
1522 case XFS_DINODE_FMT_BTREE:
1523 (*target_log_flags) |= XFS_ILOG_DBROOT;
Christoph Hellwig6471e9c2020-03-18 08:15:11 -07001524 ASSERT(!xfs_sb_version_has_v3inode(&ip->i_mount->m_sb) ||
Darrick J. Wong39aff5f2016-10-03 09:11:53 -07001525 (*target_log_flags & XFS_ILOG_DOWNER));
1526 break;
1527 }
1528
1529 return 0;
1530}
1531
Brian Foster2dd3d702017-08-29 10:08:40 -07001532/*
1533 * Fix up the owners of the bmbt blocks to refer to the current inode. The
1534 * change owner scan attempts to order all modified buffers in the current
1535 * transaction. In the event of ordered buffer failure, the offending buffer is
1536 * physically logged as a fallback and the scan returns -EAGAIN. We must roll
1537 * the transaction in this case to replenish the fallback log reservation and
1538 * restart the scan. This process repeats until the scan completes.
1539 */
1540static int
1541xfs_swap_change_owner(
1542 struct xfs_trans **tpp,
1543 struct xfs_inode *ip,
1544 struct xfs_inode *tmpip)
1545{
1546 int error;
1547 struct xfs_trans *tp = *tpp;
1548
1549 do {
1550 error = xfs_bmbt_change_owner(tp, ip, XFS_DATA_FORK, ip->i_ino,
1551 NULL);
1552 /* success or fatal error */
1553 if (error != -EAGAIN)
1554 break;
1555
1556 error = xfs_trans_roll(tpp);
1557 if (error)
1558 break;
1559 tp = *tpp;
1560
1561 /*
1562 * Redirty both inodes so they can relog and keep the log tail
1563 * moving forward.
1564 */
1565 xfs_trans_ijoin(tp, ip, 0);
1566 xfs_trans_ijoin(tp, tmpip, 0);
1567 xfs_trans_log_inode(tp, ip, XFS_ILOG_CORE);
1568 xfs_trans_log_inode(tp, tmpip, XFS_ILOG_CORE);
1569 } while (true);
1570
1571 return error;
1572}
1573
Dave Chinner4ef897a2014-08-04 13:44:08 +10001574int
Dave Chinnera133d952013-08-12 20:49:48 +10001575xfs_swap_extents(
Darrick J. Wonge06259a2016-10-03 09:11:52 -07001576 struct xfs_inode *ip, /* target inode */
1577 struct xfs_inode *tip, /* tmp inode */
1578 struct xfs_swapext *sxp)
Dave Chinnera133d952013-08-12 20:49:48 +10001579{
Darrick J. Wonge06259a2016-10-03 09:11:52 -07001580 struct xfs_mount *mp = ip->i_mount;
1581 struct xfs_trans *tp;
1582 struct xfs_bstat *sbp = &sxp->sx_stat;
Darrick J. Wonge06259a2016-10-03 09:11:52 -07001583 int src_log_flags, target_log_flags;
1584 int error = 0;
Darrick J. Wonge06259a2016-10-03 09:11:52 -07001585 int lock_flags;
Darrick J. Wongc8ce5402017-06-16 11:00:05 -07001586 uint64_t f;
Brian Foster2dd3d702017-08-29 10:08:40 -07001587 int resblks = 0;
Brian Fosterf74681b2020-06-29 14:44:36 -07001588 unsigned int flags = 0;
Dave Chinnera133d952013-08-12 20:49:48 +10001589
Dave Chinnera133d952013-08-12 20:49:48 +10001590 /*
Dave Chinner723cac42015-02-23 21:47:29 +11001591 * Lock the inodes against other IO, page faults and truncate to
1592 * begin with. Then we can ensure the inodes are flushed and have no
1593 * page cache safely. Once we have done this we can take the ilocks and
1594 * do the rest of the checks.
Dave Chinnera133d952013-08-12 20:49:48 +10001595 */
Christoph Hellwig65523212016-11-30 14:33:25 +11001596 lock_two_nondirectories(VFS_I(ip), VFS_I(tip));
1597 lock_flags = XFS_MMAPLOCK_EXCL;
Darrick J. Wong7c2d2382018-01-26 15:27:33 -08001598 xfs_lock_two_inodes(ip, XFS_MMAPLOCK_EXCL, tip, XFS_MMAPLOCK_EXCL);
Dave Chinnera133d952013-08-12 20:49:48 +10001599
1600 /* Verify that both files have the same format */
Dave Chinnerc19b3b052016-02-09 16:54:58 +11001601 if ((VFS_I(ip)->i_mode & S_IFMT) != (VFS_I(tip)->i_mode & S_IFMT)) {
Dave Chinner24513372014-06-25 14:58:08 +10001602 error = -EINVAL;
Dave Chinnera133d952013-08-12 20:49:48 +10001603 goto out_unlock;
1604 }
1605
1606 /* Verify both files are either real-time or non-realtime */
1607 if (XFS_IS_REALTIME_INODE(ip) != XFS_IS_REALTIME_INODE(tip)) {
Dave Chinner24513372014-06-25 14:58:08 +10001608 error = -EINVAL;
Dave Chinnera133d952013-08-12 20:49:48 +10001609 goto out_unlock;
1610 }
1611
Darrick J. Wong2713fef2019-11-09 12:04:30 -08001612 error = xfs_qm_dqattach(ip);
1613 if (error)
1614 goto out_unlock;
1615
1616 error = xfs_qm_dqattach(tip);
1617 if (error)
1618 goto out_unlock;
1619
Dave Chinner4ef897a2014-08-04 13:44:08 +10001620 error = xfs_swap_extent_flush(ip);
Dave Chinnera133d952013-08-12 20:49:48 +10001621 if (error)
1622 goto out_unlock;
Dave Chinner4ef897a2014-08-04 13:44:08 +10001623 error = xfs_swap_extent_flush(tip);
1624 if (error)
1625 goto out_unlock;
Dave Chinnera133d952013-08-12 20:49:48 +10001626
Christoph Hellwig96987ee2018-10-18 17:21:55 +11001627 if (xfs_inode_has_cow_data(tip)) {
1628 error = xfs_reflink_cancel_cow_range(tip, 0, NULLFILEOFF, true);
1629 if (error)
Darrick J. Wong8bc3b5e2020-05-04 14:06:27 -07001630 goto out_unlock;
Christoph Hellwig96987ee2018-10-18 17:21:55 +11001631 }
1632
Darrick J. Wong1f08af52016-10-03 09:11:53 -07001633 /*
1634 * Extent "swapping" with rmap requires a permanent reservation and
1635 * a block reservation because it's really just a remap operation
1636 * performed with log redo items!
1637 */
1638 if (xfs_sb_version_hasrmapbt(&mp->m_sb)) {
Christoph Hellwigdaf83962020-05-18 10:27:22 -07001639 int w = XFS_DATA_FORK;
1640 uint32_t ipnext = ip->i_df.if_nextents;
1641 uint32_t tipnext = tip->i_df.if_nextents;
Brian Fosterb3fed432018-03-09 14:01:58 -08001642
Darrick J. Wong1f08af52016-10-03 09:11:53 -07001643 /*
Brian Fosterb3fed432018-03-09 14:01:58 -08001644 * Conceptually this shouldn't affect the shape of either bmbt,
1645 * but since we atomically move extents one by one, we reserve
1646 * enough space to rebuild both trees.
Darrick J. Wong1f08af52016-10-03 09:11:53 -07001647 */
Brian Fosterb3fed432018-03-09 14:01:58 -08001648 resblks = XFS_SWAP_RMAP_SPACE_RES(mp, ipnext, w);
1649 resblks += XFS_SWAP_RMAP_SPACE_RES(mp, tipnext, w);
1650
1651 /*
Brian Fosterf74681b2020-06-29 14:44:36 -07001652 * If either inode straddles a bmapbt block allocation boundary,
1653 * the rmapbt algorithm triggers repeated allocs and frees as
1654 * extents are remapped. This can exhaust the block reservation
1655 * prematurely and cause shutdown. Return freed blocks to the
1656 * transaction reservation to counter this behavior.
Brian Fosterb3fed432018-03-09 14:01:58 -08001657 */
Brian Fosterf74681b2020-06-29 14:44:36 -07001658 flags |= XFS_TRANS_RES_FDBLKS;
Brian Foster2dd3d702017-08-29 10:08:40 -07001659 }
Brian Fosterf74681b2020-06-29 14:44:36 -07001660 error = xfs_trans_alloc(mp, &M_RES(mp)->tr_write, resblks, 0, flags,
1661 &tp);
Christoph Hellwig253f4912016-04-06 09:19:55 +10001662 if (error)
Dave Chinnera133d952013-08-12 20:49:48 +10001663 goto out_unlock;
Dave Chinner723cac42015-02-23 21:47:29 +11001664
1665 /*
1666 * Lock and join the inodes to the tansaction so that transaction commit
1667 * or cancel will unlock the inodes from this point onwards.
1668 */
Darrick J. Wong7c2d2382018-01-26 15:27:33 -08001669 xfs_lock_two_inodes(ip, XFS_ILOCK_EXCL, tip, XFS_ILOCK_EXCL);
Dave Chinner4ef897a2014-08-04 13:44:08 +10001670 lock_flags |= XFS_ILOCK_EXCL;
Darrick J. Wong39aff5f2016-10-03 09:11:53 -07001671 xfs_trans_ijoin(tp, ip, 0);
1672 xfs_trans_ijoin(tp, tip, 0);
Dave Chinner723cac42015-02-23 21:47:29 +11001673
Dave Chinnera133d952013-08-12 20:49:48 +10001674
1675 /* Verify all data are being swapped */
1676 if (sxp->sx_offset != 0 ||
Christoph Hellwig13d2c102021-03-29 11:11:40 -07001677 sxp->sx_length != ip->i_disk_size ||
1678 sxp->sx_length != tip->i_disk_size) {
Dave Chinner24513372014-06-25 14:58:08 +10001679 error = -EFAULT;
Dave Chinner4ef897a2014-08-04 13:44:08 +10001680 goto out_trans_cancel;
Dave Chinnera133d952013-08-12 20:49:48 +10001681 }
1682
1683 trace_xfs_swap_extent_before(ip, 0);
1684 trace_xfs_swap_extent_before(tip, 1);
1685
1686 /* check inode formats now that data is flushed */
1687 error = xfs_swap_extents_check_format(ip, tip);
1688 if (error) {
1689 xfs_notice(mp,
1690 "%s: inode 0x%llx format is incompatible for exchanging.",
1691 __func__, ip->i_ino);
Dave Chinner4ef897a2014-08-04 13:44:08 +10001692 goto out_trans_cancel;
Dave Chinnera133d952013-08-12 20:49:48 +10001693 }
1694
1695 /*
1696 * Compare the current change & modify times with that
1697 * passed in. If they differ, we abort this swap.
1698 * This is the mechanism used to ensure the calling
1699 * process that the file was not changed out from
1700 * under it.
1701 */
1702 if ((sbp->bs_ctime.tv_sec != VFS_I(ip)->i_ctime.tv_sec) ||
1703 (sbp->bs_ctime.tv_nsec != VFS_I(ip)->i_ctime.tv_nsec) ||
1704 (sbp->bs_mtime.tv_sec != VFS_I(ip)->i_mtime.tv_sec) ||
1705 (sbp->bs_mtime.tv_nsec != VFS_I(ip)->i_mtime.tv_nsec)) {
Dave Chinner24513372014-06-25 14:58:08 +10001706 error = -EBUSY;
Dave Chinner81217682014-08-04 13:29:32 +10001707 goto out_trans_cancel;
Dave Chinnera133d952013-08-12 20:49:48 +10001708 }
Dave Chinnera133d952013-08-12 20:49:48 +10001709
Dave Chinner21b5c972013-08-30 10:23:44 +10001710 /*
Dave Chinner21b5c972013-08-30 10:23:44 +10001711 * Note the trickiness in setting the log flags - we set the owner log
1712 * flag on the opposite inode (i.e. the inode we are setting the new
1713 * owner to be) because once we swap the forks and log that, log
1714 * recovery is going to see the fork as owned by the swapped inode,
1715 * not the pre-swapped inodes.
1716 */
1717 src_log_flags = XFS_ILOG_CORE;
1718 target_log_flags = XFS_ILOG_CORE;
Dave Chinner21b5c972013-08-30 10:23:44 +10001719
Darrick J. Wong1f08af52016-10-03 09:11:53 -07001720 if (xfs_sb_version_hasrmapbt(&mp->m_sb))
1721 error = xfs_swap_extent_rmap(&tp, ip, tip);
1722 else
1723 error = xfs_swap_extent_forks(tp, ip, tip, &src_log_flags,
1724 &target_log_flags);
Darrick J. Wong39aff5f2016-10-03 09:11:53 -07001725 if (error)
1726 goto out_trans_cancel;
Dave Chinnera133d952013-08-12 20:49:48 +10001727
Darrick J. Wongf0bc4d12016-10-03 09:11:42 -07001728 /* Do we have to swap reflink flags? */
Christoph Hellwig3e09ab82021-03-29 11:11:45 -07001729 if ((ip->i_diflags2 & XFS_DIFLAG2_REFLINK) ^
1730 (tip->i_diflags2 & XFS_DIFLAG2_REFLINK)) {
1731 f = ip->i_diflags2 & XFS_DIFLAG2_REFLINK;
1732 ip->i_diflags2 &= ~XFS_DIFLAG2_REFLINK;
1733 ip->i_diflags2 |= tip->i_diflags2 & XFS_DIFLAG2_REFLINK;
1734 tip->i_diflags2 &= ~XFS_DIFLAG2_REFLINK;
1735 tip->i_diflags2 |= f & XFS_DIFLAG2_REFLINK;
Darrick J. Wong52bfcdd72017-09-18 09:41:18 -07001736 }
1737
1738 /* Swap the cow forks. */
1739 if (xfs_sb_version_hasreflink(&mp->m_sb)) {
Christoph Hellwigf7e67b22020-05-18 10:28:05 -07001740 ASSERT(!ip->i_cowfp ||
1741 ip->i_cowfp->if_format == XFS_DINODE_FMT_EXTENTS);
1742 ASSERT(!tip->i_cowfp ||
1743 tip->i_cowfp->if_format == XFS_DINODE_FMT_EXTENTS);
Darrick J. Wong52bfcdd72017-09-18 09:41:18 -07001744
Gustavo A. R. Silva897992b2018-07-11 22:26:38 -07001745 swap(ip->i_cowfp, tip->i_cowfp);
Darrick J. Wong52bfcdd72017-09-18 09:41:18 -07001746
Christoph Hellwig5bcffe32018-03-13 23:15:30 -07001747 if (ip->i_cowfp && ip->i_cowfp->if_bytes)
Darrick J. Wong52bfcdd72017-09-18 09:41:18 -07001748 xfs_inode_set_cowblocks_tag(ip);
1749 else
1750 xfs_inode_clear_cowblocks_tag(ip);
Christoph Hellwig5bcffe32018-03-13 23:15:30 -07001751 if (tip->i_cowfp && tip->i_cowfp->if_bytes)
Darrick J. Wong52bfcdd72017-09-18 09:41:18 -07001752 xfs_inode_set_cowblocks_tag(tip);
1753 else
1754 xfs_inode_clear_cowblocks_tag(tip);
Darrick J. Wongf0bc4d12016-10-03 09:11:42 -07001755 }
1756
Dave Chinnera133d952013-08-12 20:49:48 +10001757 xfs_trans_log_inode(tp, ip, src_log_flags);
1758 xfs_trans_log_inode(tp, tip, target_log_flags);
1759
1760 /*
Brian Foster6fb10d62017-08-29 10:08:39 -07001761 * The extent forks have been swapped, but crc=1,rmapbt=0 filesystems
1762 * have inode number owner values in the bmbt blocks that still refer to
1763 * the old inode. Scan each bmbt to fix up the owner values with the
1764 * inode number of the current inode.
1765 */
1766 if (src_log_flags & XFS_ILOG_DOWNER) {
Brian Foster2dd3d702017-08-29 10:08:40 -07001767 error = xfs_swap_change_owner(&tp, ip, tip);
Brian Foster6fb10d62017-08-29 10:08:39 -07001768 if (error)
1769 goto out_trans_cancel;
1770 }
1771 if (target_log_flags & XFS_ILOG_DOWNER) {
Brian Foster2dd3d702017-08-29 10:08:40 -07001772 error = xfs_swap_change_owner(&tp, tip, ip);
Brian Foster6fb10d62017-08-29 10:08:39 -07001773 if (error)
1774 goto out_trans_cancel;
1775 }
1776
1777 /*
Dave Chinnera133d952013-08-12 20:49:48 +10001778 * If this is a synchronous mount, make sure that the
1779 * transaction goes to disk before returning to the user.
1780 */
1781 if (mp->m_flags & XFS_MOUNT_WSYNC)
1782 xfs_trans_set_sync(tp);
1783
Christoph Hellwig70393312015-06-04 13:48:08 +10001784 error = xfs_trans_commit(tp);
Dave Chinnera133d952013-08-12 20:49:48 +10001785
1786 trace_xfs_swap_extent_after(ip, 0);
1787 trace_xfs_swap_extent_after(tip, 1);
Darrick J. Wong39aff5f2016-10-03 09:11:53 -07001788
Christoph Hellwig65523212016-11-30 14:33:25 +11001789out_unlock:
Darrick J. Wong39aff5f2016-10-03 09:11:53 -07001790 xfs_iunlock(ip, lock_flags);
1791 xfs_iunlock(tip, lock_flags);
Christoph Hellwig65523212016-11-30 14:33:25 +11001792 unlock_two_nondirectories(VFS_I(ip), VFS_I(tip));
Dave Chinnera133d952013-08-12 20:49:48 +10001793 return error;
1794
Darrick J. Wong39aff5f2016-10-03 09:11:53 -07001795out_trans_cancel:
1796 xfs_trans_cancel(tp);
Christoph Hellwig65523212016-11-30 14:33:25 +11001797 goto out_unlock;
Dave Chinnera133d952013-08-12 20:49:48 +10001798}