blob: eb2e387ba5287d953c7bfdbf68f245c1f323c6d6 [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(
Darrick J. Wong9d5e8492021-05-09 16:22:54 -070074 struct xfs_bmalloca *ap)
Dave Chinner68988112013-08-12 20:49:42 +100075{
Darrick J. Wong9d5e8492021-05-09 16:22:54 -070076 struct xfs_mount *mp = ap->ip->i_mount;
77 xfs_fileoff_t orig_offset = ap->offset;
78 xfs_rtblock_t rtb;
79 xfs_extlen_t prod = 0; /* product factor for allocators */
80 xfs_extlen_t mod = 0; /* product factor for allocators */
81 xfs_extlen_t ralen = 0; /* realtime allocation length */
82 xfs_extlen_t align; /* minimum allocation alignment */
83 xfs_extlen_t orig_length = ap->length;
84 xfs_extlen_t minlen = mp->m_sb.sb_rextsize;
85 xfs_extlen_t raminlen;
86 bool rtlocked = false;
Darrick J. Wong676a6592021-05-09 16:22:55 -070087 bool ignore_locality = false;
Darrick J. Wong9d5e8492021-05-09 16:22:54 -070088 int error;
Dave Chinner68988112013-08-12 20:49:42 +100089
Dave Chinner68988112013-08-12 20:49:42 +100090 align = xfs_get_extsz_hint(ap->ip);
Darrick J. Wong9d5e8492021-05-09 16:22:54 -070091retry:
Dave Chinner68988112013-08-12 20:49:42 +100092 prod = align / mp->m_sb.sb_rextsize;
93 error = xfs_bmap_extsize_align(mp, &ap->got, &ap->prev,
94 align, 1, ap->eof, 0,
95 ap->conv, &ap->offset, &ap->length);
96 if (error)
97 return error;
98 ASSERT(ap->length);
99 ASSERT(ap->length % mp->m_sb.sb_rextsize == 0);
100
101 /*
Darrick J. Wong9d5e8492021-05-09 16:22:54 -0700102 * If we shifted the file offset downward to satisfy an extent size
103 * hint, increase minlen by that amount so that the allocator won't
104 * give us an allocation that's too short to cover at least one of the
105 * blocks that the caller asked for.
106 */
107 if (ap->offset != orig_offset)
108 minlen += orig_offset - ap->offset;
109
110 /*
Dave Chinner68988112013-08-12 20:49:42 +1000111 * If the offset & length are not perfectly aligned
112 * then kill prod, it will just get us in trouble.
113 */
Dave Chinner0703a8e2018-06-08 09:54:22 -0700114 div_u64_rem(ap->offset, align, &mod);
115 if (mod || ap->length % align)
Dave Chinner68988112013-08-12 20:49:42 +1000116 prod = 1;
117 /*
118 * Set ralen to be the actual requested length in rtextents.
119 */
120 ralen = ap->length / mp->m_sb.sb_rextsize;
121 /*
122 * If the old value was close enough to MAXEXTLEN that
123 * we rounded up to it, cut it back so it's valid again.
124 * Note that if it's a really large request (bigger than
125 * MAXEXTLEN), we don't hear about that number, and can't
126 * adjust the starting point to match it.
127 */
128 if (ralen * mp->m_sb.sb_rextsize >= MAXEXTLEN)
129 ralen = MAXEXTLEN / mp->m_sb.sb_rextsize;
130
131 /*
Dave Chinner4b680af2016-02-08 10:46:51 +1100132 * Lock out modifications to both the RT bitmap and summary inodes
Dave Chinner68988112013-08-12 20:49:42 +1000133 */
Darrick J. Wong9d5e8492021-05-09 16:22:54 -0700134 if (!rtlocked) {
135 xfs_ilock(mp->m_rbmip, XFS_ILOCK_EXCL|XFS_ILOCK_RTBITMAP);
136 xfs_trans_ijoin(ap->tp, mp->m_rbmip, XFS_ILOCK_EXCL);
137 xfs_ilock(mp->m_rsumip, XFS_ILOCK_EXCL|XFS_ILOCK_RTSUM);
138 xfs_trans_ijoin(ap->tp, mp->m_rsumip, XFS_ILOCK_EXCL);
139 rtlocked = true;
140 }
Dave Chinner68988112013-08-12 20:49:42 +1000141
142 /*
143 * If it's an allocation to an empty file at offset 0,
144 * pick an extent that will space things out in the rt area.
145 */
146 if (ap->eof && ap->offset == 0) {
Kees Cook3f649ab2020-06-03 13:09:38 -0700147 xfs_rtblock_t rtx; /* realtime extent no */
Dave Chinner68988112013-08-12 20:49:42 +1000148
149 error = xfs_rtpick_extent(mp, ap->tp, ralen, &rtx);
150 if (error)
151 return error;
152 ap->blkno = rtx * mp->m_sb.sb_rextsize;
153 } else {
154 ap->blkno = 0;
155 }
156
157 xfs_bmap_adjacent(ap);
158
159 /*
160 * Realtime allocation, done through xfs_rtallocate_extent.
161 */
Darrick J. Wong676a6592021-05-09 16:22:55 -0700162 if (ignore_locality)
163 ap->blkno = 0;
164 else
165 do_div(ap->blkno, mp->m_sb.sb_rextsize);
Dave Chinner68988112013-08-12 20:49:42 +1000166 rtb = ap->blkno;
167 ap->length = ralen;
Darrick J. Wong9d5e8492021-05-09 16:22:54 -0700168 raminlen = max_t(xfs_extlen_t, 1, minlen / mp->m_sb.sb_rextsize);
169 error = xfs_rtallocate_extent(ap->tp, ap->blkno, raminlen, ap->length,
170 &ralen, ap->wasdel, prod, &rtb);
Christoph Hellwig089ec2f2017-02-17 08:21:06 -0800171 if (error)
Dave Chinner68988112013-08-12 20:49:42 +1000172 return error;
Christoph Hellwig089ec2f2017-02-17 08:21:06 -0800173
Darrick J. Wong9d5e8492021-05-09 16:22:54 -0700174 if (rtb != NULLRTBLOCK) {
175 ap->blkno = rtb * mp->m_sb.sb_rextsize;
176 ap->length = ralen * mp->m_sb.sb_rextsize;
177 ap->ip->i_nblocks += ap->length;
Dave Chinner68988112013-08-12 20:49:42 +1000178 xfs_trans_log_inode(ap->tp, ap->ip, XFS_ILOG_CORE);
179 if (ap->wasdel)
Darrick J. Wong9d5e8492021-05-09 16:22:54 -0700180 ap->ip->i_delayed_blks -= ap->length;
Dave Chinner68988112013-08-12 20:49:42 +1000181 /*
182 * Adjust the disk quota also. This was reserved
183 * earlier.
184 */
185 xfs_trans_mod_dquot_byino(ap->tp, ap->ip,
186 ap->wasdel ? XFS_TRANS_DQ_DELRTBCOUNT :
Darrick J. Wong9d5e8492021-05-09 16:22:54 -0700187 XFS_TRANS_DQ_RTBCOUNT, ap->length);
188 return 0;
Dave Chinner68988112013-08-12 20:49:42 +1000189 }
Darrick J. Wong9d5e8492021-05-09 16:22:54 -0700190
191 if (align > mp->m_sb.sb_rextsize) {
192 /*
193 * We previously enlarged the request length to try to satisfy
194 * an extent size hint. The allocator didn't return anything,
195 * so reset the parameters to the original values and try again
196 * without alignment criteria.
197 */
198 ap->offset = orig_offset;
199 ap->length = orig_length;
200 minlen = align = mp->m_sb.sb_rextsize;
201 goto retry;
202 }
203
Darrick J. Wong676a6592021-05-09 16:22:55 -0700204 if (!ignore_locality && ap->blkno != 0) {
205 /*
206 * If we can't allocate near a specific rt extent, try again
207 * without locality criteria.
208 */
209 ignore_locality = true;
210 goto retry;
211 }
212
Darrick J. Wong9d5e8492021-05-09 16:22:54 -0700213 ap->blkno = NULLFSBLOCK;
214 ap->length = 0;
Dave Chinner68988112013-08-12 20:49:42 +1000215 return 0;
216}
Dave Chinnerbb9c2e52017-10-09 11:37:22 -0700217#endif /* CONFIG_XFS_RT */
Dave Chinner68988112013-08-12 20:49:42 +1000218
219/*
Dave Chinner68988112013-08-12 20:49:42 +1000220 * Extent tree block counting routines.
221 */
222
223/*
Darrick J. Wongd29cb3e2017-06-16 11:00:12 -0700224 * Count leaf blocks given a range of extent records. Delayed allocation
225 * extents are not counted towards the totals.
Dave Chinner68988112013-08-12 20:49:42 +1000226 */
Christoph Hellwige17a5c62017-08-29 15:44:14 -0700227xfs_extnum_t
Dave Chinner68988112013-08-12 20:49:42 +1000228xfs_bmap_count_leaves(
Darrick J. Wongd29cb3e2017-06-16 11:00:12 -0700229 struct xfs_ifork *ifp,
Darrick J. Wonge7f5d5c2017-06-16 11:00:12 -0700230 xfs_filblks_t *count)
Dave Chinner68988112013-08-12 20:49:42 +1000231{
Christoph Hellwigb2b17122017-11-03 10:34:43 -0700232 struct xfs_iext_cursor icur;
Christoph Hellwige17a5c62017-08-29 15:44:14 -0700233 struct xfs_bmbt_irec got;
Christoph Hellwigb2b17122017-11-03 10:34:43 -0700234 xfs_extnum_t numrecs = 0;
Dave Chinner68988112013-08-12 20:49:42 +1000235
Christoph Hellwigb2b17122017-11-03 10:34:43 -0700236 for_each_xfs_iext(ifp, &icur, &got) {
Christoph Hellwige17a5c62017-08-29 15:44:14 -0700237 if (!isnullstartblock(got.br_startblock)) {
238 *count += got.br_blockcount;
239 numrecs++;
Darrick J. Wongd29cb3e2017-06-16 11:00:12 -0700240 }
Dave Chinner68988112013-08-12 20:49:42 +1000241 }
Christoph Hellwigb2b17122017-11-03 10:34:43 -0700242
Christoph Hellwige17a5c62017-08-29 15:44:14 -0700243 return numrecs;
Dave Chinner68988112013-08-12 20:49:42 +1000244}
245
246/*
Darrick J. Wongd29cb3e2017-06-16 11:00:12 -0700247 * Count fsblocks of the given fork. Delayed allocation extents are
248 * not counted towards the totals.
Dave Chinner68988112013-08-12 20:49:42 +1000249 */
Darrick J. Wonge7f5d5c2017-06-16 11:00:12 -0700250int
Dave Chinner68988112013-08-12 20:49:42 +1000251xfs_bmap_count_blocks(
Darrick J. Wonge7f5d5c2017-06-16 11:00:12 -0700252 struct xfs_trans *tp,
253 struct xfs_inode *ip,
254 int whichfork,
255 xfs_extnum_t *nextents,
256 xfs_filblks_t *count)
Dave Chinner68988112013-08-12 20:49:42 +1000257{
Darrick J. Wongfec40e22019-10-28 16:12:35 -0700258 struct xfs_mount *mp = ip->i_mount;
259 struct xfs_ifork *ifp = XFS_IFORK_PTR(ip, whichfork);
260 struct xfs_btree_cur *cur;
261 xfs_extlen_t btblocks = 0;
Darrick J. Wonge7f5d5c2017-06-16 11:00:12 -0700262 int error;
Dave Chinner68988112013-08-12 20:49:42 +1000263
Darrick J. Wonge7f5d5c2017-06-16 11:00:12 -0700264 *nextents = 0;
265 *count = 0;
Darrick J. Wongfec40e22019-10-28 16:12:35 -0700266
Darrick J. Wonge7f5d5c2017-06-16 11:00:12 -0700267 if (!ifp)
Dave Chinner68988112013-08-12 20:49:42 +1000268 return 0;
Dave Chinner68988112013-08-12 20:49:42 +1000269
Christoph Hellwigf7e67b22020-05-18 10:28:05 -0700270 switch (ifp->if_format) {
Darrick J. Wonge7f5d5c2017-06-16 11:00:12 -0700271 case XFS_DINODE_FMT_BTREE:
Christoph Hellwig862a8042021-04-13 11:15:09 -0700272 error = xfs_iread_extents(tp, ip, whichfork);
273 if (error)
274 return error;
Dave Chinner68988112013-08-12 20:49:42 +1000275
Darrick J. Wongfec40e22019-10-28 16:12:35 -0700276 cur = xfs_bmbt_init_cursor(mp, tp, ip, whichfork);
277 error = xfs_btree_count_blocks(cur, &btblocks);
278 xfs_btree_del_cursor(cur, error);
279 if (error)
280 return error;
Darrick J. Wonge7f5d5c2017-06-16 11:00:12 -0700281
Darrick J. Wongfec40e22019-10-28 16:12:35 -0700282 /*
283 * xfs_btree_count_blocks includes the root block contained in
284 * the inode fork in @btblocks, so subtract one because we're
285 * only interested in allocated disk blocks.
286 */
287 *count += btblocks - 1;
288
Gustavo A. R. Silva53004ee2021-04-20 17:54:36 -0500289 fallthrough;
Darrick J. Wongfec40e22019-10-28 16:12:35 -0700290 case XFS_DINODE_FMT_EXTENTS:
291 *nextents = xfs_bmap_count_leaves(ifp, count);
292 break;
Dave Chinner68988112013-08-12 20:49:42 +1000293 }
294
295 return 0;
296}
297
Christoph Hellwigabbf9e82017-10-17 14:16:18 -0700298static int
299xfs_getbmap_report_one(
300 struct xfs_inode *ip,
301 struct getbmapx *bmv,
Christoph Hellwig232b51942017-10-17 14:16:19 -0700302 struct kgetbmap *out,
Christoph Hellwigabbf9e82017-10-17 14:16:18 -0700303 int64_t bmv_end,
304 struct xfs_bmbt_irec *got)
Dave Chinner68988112013-08-12 20:49:42 +1000305{
Christoph Hellwig232b51942017-10-17 14:16:19 -0700306 struct kgetbmap *p = out + bmv->bmv_entries;
Christoph Hellwigd392bc82018-10-18 17:19:48 +1100307 bool shared = false;
Christoph Hellwigabbf9e82017-10-17 14:16:18 -0700308 int error;
Dave Chinner68988112013-08-12 20:49:42 +1000309
Christoph Hellwigd392bc82018-10-18 17:19:48 +1100310 error = xfs_reflink_trim_around_shared(ip, got, &shared);
Darrick J. Wongf86f4032016-10-03 09:11:41 -0700311 if (error)
312 return error;
313
Christoph Hellwigabbf9e82017-10-17 14:16:18 -0700314 if (isnullstartblock(got->br_startblock) ||
315 got->br_startblock == DELAYSTARTBLOCK) {
Darrick J. Wongf86f4032016-10-03 09:11:41 -0700316 /*
Christoph Hellwigabbf9e82017-10-17 14:16:18 -0700317 * Delalloc extents that start beyond EOF can occur due to
318 * speculative EOF allocation when the delalloc extent is larger
319 * than the largest freespace extent at conversion time. These
320 * extents cannot be converted by data writeback, so can exist
321 * here even if we are not supposed to be finding delalloc
322 * extents.
Darrick J. Wongf86f4032016-10-03 09:11:41 -0700323 */
Christoph Hellwigabbf9e82017-10-17 14:16:18 -0700324 if (got->br_startoff < XFS_B_TO_FSB(ip->i_mount, XFS_ISIZE(ip)))
325 ASSERT((bmv->bmv_iflags & BMV_IF_DELALLOC) != 0);
326
327 p->bmv_oflags |= BMV_OF_DELALLOC;
328 p->bmv_block = -2;
Darrick J. Wongf86f4032016-10-03 09:11:41 -0700329 } else {
Christoph Hellwigabbf9e82017-10-17 14:16:18 -0700330 p->bmv_block = xfs_fsb_to_db(ip, got->br_startblock);
Darrick J. Wongf86f4032016-10-03 09:11:41 -0700331 }
332
Christoph Hellwigabbf9e82017-10-17 14:16:18 -0700333 if (got->br_state == XFS_EXT_UNWRITTEN &&
334 (bmv->bmv_iflags & BMV_IF_PREALLOC))
335 p->bmv_oflags |= BMV_OF_PREALLOC;
336
337 if (shared)
338 p->bmv_oflags |= BMV_OF_SHARED;
339
340 p->bmv_offset = XFS_FSB_TO_BB(ip->i_mount, got->br_startoff);
341 p->bmv_length = XFS_FSB_TO_BB(ip->i_mount, got->br_blockcount);
342
343 bmv->bmv_offset = p->bmv_offset + p->bmv_length;
344 bmv->bmv_length = max(0LL, bmv_end - bmv->bmv_offset);
345 bmv->bmv_entries++;
Darrick J. Wongf86f4032016-10-03 09:11:41 -0700346 return 0;
347}
348
Christoph Hellwigabbf9e82017-10-17 14:16:18 -0700349static void
350xfs_getbmap_report_hole(
351 struct xfs_inode *ip,
352 struct getbmapx *bmv,
Christoph Hellwig232b51942017-10-17 14:16:19 -0700353 struct kgetbmap *out,
Christoph Hellwigabbf9e82017-10-17 14:16:18 -0700354 int64_t bmv_end,
355 xfs_fileoff_t bno,
356 xfs_fileoff_t end)
357{
Christoph Hellwig232b51942017-10-17 14:16:19 -0700358 struct kgetbmap *p = out + bmv->bmv_entries;
Christoph Hellwigabbf9e82017-10-17 14:16:18 -0700359
360 if (bmv->bmv_iflags & BMV_IF_NO_HOLES)
361 return;
362
363 p->bmv_block = -1;
364 p->bmv_offset = XFS_FSB_TO_BB(ip->i_mount, bno);
365 p->bmv_length = XFS_FSB_TO_BB(ip->i_mount, end - bno);
366
367 bmv->bmv_offset = p->bmv_offset + p->bmv_length;
368 bmv->bmv_length = max(0LL, bmv_end - bmv->bmv_offset);
369 bmv->bmv_entries++;
370}
371
372static inline bool
373xfs_getbmap_full(
374 struct getbmapx *bmv)
375{
376 return bmv->bmv_length == 0 || bmv->bmv_entries >= bmv->bmv_count - 1;
377}
378
379static bool
380xfs_getbmap_next_rec(
381 struct xfs_bmbt_irec *rec,
382 xfs_fileoff_t total_end)
383{
384 xfs_fileoff_t end = rec->br_startoff + rec->br_blockcount;
385
386 if (end == total_end)
387 return false;
388
389 rec->br_startoff += rec->br_blockcount;
390 if (!isnullstartblock(rec->br_startblock) &&
391 rec->br_startblock != DELAYSTARTBLOCK)
392 rec->br_startblock += rec->br_blockcount;
393 rec->br_blockcount = total_end - end;
394 return true;
395}
396
Dave Chinner68988112013-08-12 20:49:42 +1000397/*
398 * Get inode's extents as described in bmv, and format for output.
399 * Calls formatter to fill the user's buffer until all extents
400 * are mapped, until the passed-in bmv->bmv_count slots have
401 * been filled, or until the formatter short-circuits the loop,
402 * if it is tracking filled-in extents on its own.
403 */
404int /* error code */
405xfs_getbmap(
Christoph Hellwig232b51942017-10-17 14:16:19 -0700406 struct xfs_inode *ip,
Dave Chinner68988112013-08-12 20:49:42 +1000407 struct getbmapx *bmv, /* user bmap structure */
Christoph Hellwig232b51942017-10-17 14:16:19 -0700408 struct kgetbmap *out)
Dave Chinner68988112013-08-12 20:49:42 +1000409{
Christoph Hellwigabbf9e82017-10-17 14:16:18 -0700410 struct xfs_mount *mp = ip->i_mount;
411 int iflags = bmv->bmv_iflags;
Christoph Hellwig232b51942017-10-17 14:16:19 -0700412 int whichfork, lock, error = 0;
Christoph Hellwigabbf9e82017-10-17 14:16:18 -0700413 int64_t bmv_end, max_len;
414 xfs_fileoff_t bno, first_bno;
415 struct xfs_ifork *ifp;
Christoph Hellwigabbf9e82017-10-17 14:16:18 -0700416 struct xfs_bmbt_irec got, rec;
417 xfs_filblks_t len;
Christoph Hellwigb2b17122017-11-03 10:34:43 -0700418 struct xfs_iext_cursor icur;
Dave Chinner68988112013-08-12 20:49:42 +1000419
Christoph Hellwig232b51942017-10-17 14:16:19 -0700420 if (bmv->bmv_iflags & ~BMV_IF_VALID)
421 return -EINVAL;
Darrick J. Wongf86f4032016-10-03 09:11:41 -0700422#ifndef DEBUG
423 /* Only allow CoW fork queries if we're debugging. */
424 if (iflags & BMV_IF_COWFORK)
425 return -EINVAL;
426#endif
427 if ((iflags & BMV_IF_ATTRFORK) && (iflags & BMV_IF_COWFORK))
428 return -EINVAL;
429
Christoph Hellwigabbf9e82017-10-17 14:16:18 -0700430 if (bmv->bmv_length < -1)
431 return -EINVAL;
Christoph Hellwigabbf9e82017-10-17 14:16:18 -0700432 bmv->bmv_entries = 0;
433 if (bmv->bmv_length == 0)
434 return 0;
435
Darrick J. Wongf86f4032016-10-03 09:11:41 -0700436 if (iflags & BMV_IF_ATTRFORK)
437 whichfork = XFS_ATTR_FORK;
438 else if (iflags & BMV_IF_COWFORK)
439 whichfork = XFS_COW_FORK;
440 else
441 whichfork = XFS_DATA_FORK;
Christoph Hellwigabbf9e82017-10-17 14:16:18 -0700442 ifp = XFS_IFORK_PTR(ip, whichfork);
Dave Chinner68988112013-08-12 20:49:42 +1000443
444 xfs_ilock(ip, XFS_IOLOCK_SHARED);
Darrick J. Wongf86f4032016-10-03 09:11:41 -0700445 switch (whichfork) {
Christoph Hellwigabbf9e82017-10-17 14:16:18 -0700446 case XFS_ATTR_FORK:
447 if (!XFS_IFORK_Q(ip))
448 goto out_unlock_iolock;
449
450 max_len = 1LL << 32;
451 lock = xfs_ilock_attr_map_shared(ip);
452 break;
453 case XFS_COW_FORK:
454 /* No CoW fork? Just return */
455 if (!ifp)
456 goto out_unlock_iolock;
457
458 if (xfs_get_cowextsz_hint(ip))
459 max_len = mp->m_super->s_maxbytes;
460 else
461 max_len = XFS_ISIZE(ip);
462
463 lock = XFS_ILOCK_SHARED;
464 xfs_ilock(ip, lock);
465 break;
Darrick J. Wongf86f4032016-10-03 09:11:41 -0700466 case XFS_DATA_FORK:
Christoph Hellwigefa70be2013-12-18 02:14:39 -0800467 if (!(iflags & BMV_IF_DELALLOC) &&
Christoph Hellwig13d2c102021-03-29 11:11:40 -0700468 (ip->i_delayed_blks || XFS_ISIZE(ip) > ip->i_disk_size)) {
Dave Chinner24513372014-06-25 14:58:08 +1000469 error = filemap_write_and_wait(VFS_I(ip)->i_mapping);
Dave Chinner68988112013-08-12 20:49:42 +1000470 if (error)
471 goto out_unlock_iolock;
Dave Chinner68988112013-08-12 20:49:42 +1000472
Christoph Hellwigefa70be2013-12-18 02:14:39 -0800473 /*
474 * Even after flushing the inode, there can still be
475 * delalloc blocks on the inode beyond EOF due to
476 * speculative preallocation. These are not removed
477 * until the release function is called or the inode
478 * is inactivated. Hence we cannot assert here that
479 * ip->i_delayed_blks == 0.
480 */
481 }
482
Christoph Hellwigabbf9e82017-10-17 14:16:18 -0700483 if (xfs_get_extsz_hint(ip) ||
Christoph Hellwigdb073492021-03-29 11:11:44 -0700484 (ip->i_diflags &
Christoph Hellwigabbf9e82017-10-17 14:16:18 -0700485 (XFS_DIFLAG_PREALLOC | XFS_DIFLAG_APPEND)))
486 max_len = mp->m_super->s_maxbytes;
487 else
488 max_len = XFS_ISIZE(ip);
489
Christoph Hellwigefa70be2013-12-18 02:14:39 -0800490 lock = xfs_ilock_data_map_shared(ip);
Darrick J. Wongf86f4032016-10-03 09:11:41 -0700491 break;
Christoph Hellwigefa70be2013-12-18 02:14:39 -0800492 }
Dave Chinner68988112013-08-12 20:49:42 +1000493
Christoph Hellwigf7e67b22020-05-18 10:28:05 -0700494 switch (ifp->if_format) {
Christoph Hellwigabbf9e82017-10-17 14:16:18 -0700495 case XFS_DINODE_FMT_EXTENTS:
496 case XFS_DINODE_FMT_BTREE:
497 break;
498 case XFS_DINODE_FMT_LOCAL:
499 /* Local format inode forks report no extents. */
Dave Chinner68988112013-08-12 20:49:42 +1000500 goto out_unlock_ilock;
Christoph Hellwigabbf9e82017-10-17 14:16:18 -0700501 default:
502 error = -EINVAL;
503 goto out_unlock_ilock;
Dave Chinner68988112013-08-12 20:49:42 +1000504 }
505
Christoph Hellwigabbf9e82017-10-17 14:16:18 -0700506 if (bmv->bmv_length == -1) {
507 max_len = XFS_FSB_TO_BB(mp, XFS_B_TO_FSB(mp, max_len));
508 bmv->bmv_length = max(0LL, max_len - bmv->bmv_offset);
509 }
510
511 bmv_end = bmv->bmv_offset + bmv->bmv_length;
512
513 first_bno = bno = XFS_BB_TO_FSBT(mp, bmv->bmv_offset);
514 len = XFS_BB_TO_FSB(mp, bmv->bmv_length);
515
Christoph Hellwig862a8042021-04-13 11:15:09 -0700516 error = xfs_iread_extents(NULL, ip, whichfork);
517 if (error)
518 goto out_unlock_ilock;
Dave Chinner68988112013-08-12 20:49:42 +1000519
Christoph Hellwigb2b17122017-11-03 10:34:43 -0700520 if (!xfs_iext_lookup_extent(ip, ifp, bno, &icur, &got)) {
Christoph Hellwigabbf9e82017-10-17 14:16:18 -0700521 /*
522 * Report a whole-file hole if the delalloc flag is set to
523 * stay compatible with the old implementation.
524 */
525 if (iflags & BMV_IF_DELALLOC)
526 xfs_getbmap_report_hole(ip, bmv, out, bmv_end, bno,
527 XFS_B_TO_FSB(mp, XFS_ISIZE(ip)));
528 goto out_unlock_ilock;
529 }
Dave Chinner68988112013-08-12 20:49:42 +1000530
Christoph Hellwigabbf9e82017-10-17 14:16:18 -0700531 while (!xfs_getbmap_full(bmv)) {
532 xfs_trim_extent(&got, first_bno, len);
Dave Chinner68988112013-08-12 20:49:42 +1000533
Christoph Hellwigabbf9e82017-10-17 14:16:18 -0700534 /*
535 * Report an entry for a hole if this extent doesn't directly
536 * follow the previous one.
537 */
538 if (got.br_startoff > bno) {
539 xfs_getbmap_report_hole(ip, bmv, out, bmv_end, bno,
540 got.br_startoff);
541 if (xfs_getbmap_full(bmv))
542 break;
Dave Chinner68988112013-08-12 20:49:42 +1000543 }
Dave Chinner68988112013-08-12 20:49:42 +1000544
Christoph Hellwigabbf9e82017-10-17 14:16:18 -0700545 /*
546 * In order to report shared extents accurately, we report each
547 * distinct shared / unshared part of a single bmbt record with
548 * an individual getbmapx record.
549 */
550 bno = got.br_startoff + got.br_blockcount;
551 rec = got;
552 do {
553 error = xfs_getbmap_report_one(ip, bmv, out, bmv_end,
554 &rec);
555 if (error || xfs_getbmap_full(bmv))
556 goto out_unlock_ilock;
557 } while (xfs_getbmap_next_rec(&rec, bno));
558
Christoph Hellwigb2b17122017-11-03 10:34:43 -0700559 if (!xfs_iext_next_extent(ifp, &icur, &got)) {
Christoph Hellwigabbf9e82017-10-17 14:16:18 -0700560 xfs_fileoff_t end = XFS_B_TO_FSB(mp, XFS_ISIZE(ip));
561
562 out[bmv->bmv_entries - 1].bmv_oflags |= BMV_OF_LAST;
563
564 if (whichfork != XFS_ATTR_FORK && bno < end &&
565 !xfs_getbmap_full(bmv)) {
566 xfs_getbmap_report_hole(ip, bmv, out, bmv_end,
567 bno, end);
568 }
569 break;
570 }
571
572 if (bno >= first_bno + len)
573 break;
574 }
575
576out_unlock_ilock:
Christoph Hellwig01f4f322013-12-06 12:30:08 -0800577 xfs_iunlock(ip, lock);
Christoph Hellwigabbf9e82017-10-17 14:16:18 -0700578out_unlock_iolock:
Dave Chinner68988112013-08-12 20:49:42 +1000579 xfs_iunlock(ip, XFS_IOLOCK_SHARED);
Dave Chinner68988112013-08-12 20:49:42 +1000580 return error;
581}
582
583/*
Christoph Hellwige2ac8362018-06-21 23:24:38 -0700584 * Dead simple method of punching delalyed allocation blocks from a range in
585 * the inode. This will always punch out both the start and end blocks, even
586 * if the ranges only partially overlap them, so it is up to the caller to
587 * ensure that partial blocks are not passed in.
Dave Chinner68988112013-08-12 20:49:42 +1000588 */
589int
590xfs_bmap_punch_delalloc_range(
591 struct xfs_inode *ip,
592 xfs_fileoff_t start_fsb,
593 xfs_fileoff_t length)
594{
Christoph Hellwige2ac8362018-06-21 23:24:38 -0700595 struct xfs_ifork *ifp = &ip->i_df;
596 xfs_fileoff_t end_fsb = start_fsb + length;
597 struct xfs_bmbt_irec got, del;
598 struct xfs_iext_cursor icur;
Dave Chinner68988112013-08-12 20:49:42 +1000599 int error = 0;
600
Christoph Hellwigb2197a32021-04-13 11:15:12 -0700601 ASSERT(!xfs_need_iread_extents(ifp));
Dave Chinner68988112013-08-12 20:49:42 +1000602
Christoph Hellwig0065b542018-09-29 13:47:46 +1000603 xfs_ilock(ip, XFS_ILOCK_EXCL);
Christoph Hellwige2ac8362018-06-21 23:24:38 -0700604 if (!xfs_iext_lookup_extent_before(ip, ifp, &end_fsb, &icur, &got))
Christoph Hellwigd4380172018-07-11 22:25:57 -0700605 goto out_unlock;
Christoph Hellwige2ac8362018-06-21 23:24:38 -0700606
607 while (got.br_startoff + got.br_blockcount > start_fsb) {
608 del = got;
609 xfs_trim_extent(&del, start_fsb, length);
610
611 /*
612 * A delete can push the cursor forward. Step back to the
613 * previous extent on non-delalloc or extents outside the
614 * target range.
615 */
616 if (!del.br_blockcount ||
617 !isnullstartblock(del.br_startblock)) {
618 if (!xfs_iext_prev_extent(ifp, &icur, &got))
619 break;
620 continue;
621 }
622
623 error = xfs_bmap_del_extent_delay(ip, XFS_DATA_FORK, &icur,
624 &got, &del);
625 if (error || !xfs_iext_get_extent(ifp, &icur, &got))
626 break;
627 }
Dave Chinner68988112013-08-12 20:49:42 +1000628
Christoph Hellwigd4380172018-07-11 22:25:57 -0700629out_unlock:
630 xfs_iunlock(ip, XFS_ILOCK_EXCL);
Dave Chinner68988112013-08-12 20:49:42 +1000631 return error;
632}
Dave Chinnerc24b5df2013-08-12 20:49:45 +1000633
634/*
635 * Test whether it is appropriate to check an inode for and free post EOF
636 * blocks. The 'force' parameter determines whether we should also consider
637 * regular files that are marked preallocated or append-only.
638 */
639bool
Darrick J. Wong7d883292021-03-23 16:59:31 -0700640xfs_can_free_eofblocks(
641 struct xfs_inode *ip,
642 bool force)
Dave Chinnerc24b5df2013-08-12 20:49:45 +1000643{
Darrick J. Wong7d883292021-03-23 16:59:31 -0700644 struct xfs_bmbt_irec imap;
645 struct xfs_mount *mp = ip->i_mount;
646 xfs_fileoff_t end_fsb;
647 xfs_fileoff_t last_fsb;
648 int nimaps = 1;
649 int error;
650
651 /*
652 * Caller must either hold the exclusive io lock; or be inactivating
653 * the inode, which guarantees there are no other users of the inode.
654 */
655 ASSERT(xfs_isilocked(ip, XFS_IOLOCK_EXCL) ||
656 (VFS_I(ip)->i_state & I_FREEING));
657
Dave Chinnerc24b5df2013-08-12 20:49:45 +1000658 /* prealloc/delalloc exists only on regular files */
Dave Chinnerc19b3b052016-02-09 16:54:58 +1100659 if (!S_ISREG(VFS_I(ip)->i_mode))
Dave Chinnerc24b5df2013-08-12 20:49:45 +1000660 return false;
661
662 /*
663 * Zero sized files with no cached pages and delalloc blocks will not
664 * have speculative prealloc/delalloc blocks to remove.
665 */
666 if (VFS_I(ip)->i_size == 0 &&
Dave Chinner2667c6f2014-08-04 13:23:15 +1000667 VFS_I(ip)->i_mapping->nrpages == 0 &&
Dave Chinnerc24b5df2013-08-12 20:49:45 +1000668 ip->i_delayed_blks == 0)
669 return false;
670
671 /* If we haven't read in the extent list, then don't do it now. */
Christoph Hellwigb2197a32021-04-13 11:15:12 -0700672 if (xfs_need_iread_extents(&ip->i_df))
Dave Chinnerc24b5df2013-08-12 20:49:45 +1000673 return false;
674
675 /*
676 * Do not free real preallocated or append-only files unless the file
677 * has delalloc blocks and we are forced to remove them.
678 */
Christoph Hellwigdb073492021-03-29 11:11:44 -0700679 if (ip->i_diflags & (XFS_DIFLAG_PREALLOC | XFS_DIFLAG_APPEND))
Dave Chinnerc24b5df2013-08-12 20:49:45 +1000680 if (!force || ip->i_delayed_blks == 0)
681 return false;
682
Darrick J. Wong7d883292021-03-23 16:59:31 -0700683 /*
684 * Do not try to free post-EOF blocks if EOF is beyond the end of the
685 * range supported by the page cache, because the truncation will loop
686 * forever.
687 */
688 end_fsb = XFS_B_TO_FSB(mp, (xfs_ufsize_t)XFS_ISIZE(ip));
689 last_fsb = XFS_B_TO_FSB(mp, mp->m_super->s_maxbytes);
690 if (last_fsb <= end_fsb)
691 return false;
692
693 /*
694 * Look up the mapping for the first block past EOF. If we can't find
695 * it, there's nothing to free.
696 */
697 xfs_ilock(ip, XFS_ILOCK_SHARED);
698 error = xfs_bmapi_read(ip, end_fsb, last_fsb - end_fsb, &imap, &nimaps,
699 0);
700 xfs_iunlock(ip, XFS_ILOCK_SHARED);
701 if (error || nimaps == 0)
702 return false;
703
704 /*
705 * If there's a real mapping there or there are delayed allocation
706 * reservations, then we have post-EOF blocks to try to free.
707 */
708 return imap.br_startblock != HOLESTARTBLOCK || ip->i_delayed_blks;
Dave Chinnerc24b5df2013-08-12 20:49:45 +1000709}
710
711/*
Brian Foster3b4683c2017-04-11 10:50:05 -0700712 * This is called to free any blocks beyond eof. The caller must hold
713 * IOLOCK_EXCL unless we are in the inode reclaim path and have the only
714 * reference to the inode.
Dave Chinnerc24b5df2013-08-12 20:49:45 +1000715 */
716int
717xfs_free_eofblocks(
Brian Fostera36b9262017-01-27 23:22:55 -0800718 struct xfs_inode *ip)
Dave Chinnerc24b5df2013-08-12 20:49:45 +1000719{
Brian Fostera36b9262017-01-27 23:22:55 -0800720 struct xfs_trans *tp;
Brian Fostera36b9262017-01-27 23:22:55 -0800721 struct xfs_mount *mp = ip->i_mount;
Darrick J. Wong7d883292021-03-23 16:59:31 -0700722 int error;
Brian Fostera36b9262017-01-27 23:22:55 -0800723
Darrick J. Wong7d883292021-03-23 16:59:31 -0700724 /* Attach the dquots to the inode up front. */
725 error = xfs_qm_dqattach(ip);
726 if (error)
727 return error;
Dave Chinnerc24b5df2013-08-12 20:49:45 +1000728
Darrick J. Wong7d883292021-03-23 16:59:31 -0700729 /* Wait on dio to ensure i_size has settled. */
730 inode_dio_wait(VFS_I(ip));
Dave Chinnerc24b5df2013-08-12 20:49:45 +1000731
Darrick J. Wong7d883292021-03-23 16:59:31 -0700732 error = xfs_trans_alloc(mp, &M_RES(mp)->tr_itruncate, 0, 0, 0, &tp);
733 if (error) {
Dave Chinner75c8c50f2021-08-18 18:46:53 -0700734 ASSERT(xfs_is_shutdown(mp));
Darrick J. Wong7d883292021-03-23 16:59:31 -0700735 return error;
Dave Chinnerc24b5df2013-08-12 20:49:45 +1000736 }
Darrick J. Wong7d883292021-03-23 16:59:31 -0700737
738 xfs_ilock(ip, XFS_ILOCK_EXCL);
739 xfs_trans_ijoin(tp, ip, 0);
740
741 /*
742 * Do not update the on-disk file size. If we update the on-disk file
743 * size and then the system crashes before the contents of the file are
744 * flushed to disk then the files may be full of holes (ie NULL files
745 * bug).
746 */
747 error = xfs_itruncate_extents_flags(&tp, ip, XFS_DATA_FORK,
748 XFS_ISIZE(ip), XFS_BMAPI_NODISCARD);
749 if (error)
750 goto err_cancel;
751
752 error = xfs_trans_commit(tp);
753 if (error)
754 goto out_unlock;
755
756 xfs_inode_clear_eofblocks_tag(ip);
757 goto out_unlock;
758
759err_cancel:
760 /*
761 * If we get an error at this point we simply don't
762 * bother truncating the file.
763 */
764 xfs_trans_cancel(tp);
765out_unlock:
766 xfs_iunlock(ip, XFS_ILOCK_EXCL);
Dave Chinnerc24b5df2013-08-12 20:49:45 +1000767 return error;
768}
769
Christoph Hellwig83aee9e2013-10-12 00:55:07 -0700770int
Dave Chinnerc24b5df2013-08-12 20:49:45 +1000771xfs_alloc_file_space(
Christoph Hellwig83aee9e2013-10-12 00:55:07 -0700772 struct xfs_inode *ip,
Dave Chinnerc24b5df2013-08-12 20:49:45 +1000773 xfs_off_t offset,
Darrick J. Wong4d1b97f2022-01-07 17:45:51 -0800774 xfs_off_t len)
Dave Chinnerc24b5df2013-08-12 20:49:45 +1000775{
776 xfs_mount_t *mp = ip->i_mount;
777 xfs_off_t count;
778 xfs_filblks_t allocated_fsb;
779 xfs_filblks_t allocatesize_fsb;
780 xfs_extlen_t extsz, temp;
781 xfs_fileoff_t startoffset_fsb;
Max Reitze093c4b2019-09-30 11:29:44 -0700782 xfs_fileoff_t endoffset_fsb;
Dave Chinnerc24b5df2013-08-12 20:49:45 +1000783 int nimaps;
Dave Chinnerc24b5df2013-08-12 20:49:45 +1000784 int rt;
785 xfs_trans_t *tp;
786 xfs_bmbt_irec_t imaps[1], *imapp;
Dave Chinnerc24b5df2013-08-12 20:49:45 +1000787 int error;
788
789 trace_xfs_alloc_file_space(ip);
790
Dave Chinner75c8c50f2021-08-18 18:46:53 -0700791 if (xfs_is_shutdown(mp))
Dave Chinner24513372014-06-25 14:58:08 +1000792 return -EIO;
Dave Chinnerc24b5df2013-08-12 20:49:45 +1000793
Darrick J. Wongc14cfcc2018-05-04 15:30:21 -0700794 error = xfs_qm_dqattach(ip);
Dave Chinnerc24b5df2013-08-12 20:49:45 +1000795 if (error)
796 return error;
797
798 if (len <= 0)
Dave Chinner24513372014-06-25 14:58:08 +1000799 return -EINVAL;
Dave Chinnerc24b5df2013-08-12 20:49:45 +1000800
801 rt = XFS_IS_REALTIME_INODE(ip);
802 extsz = xfs_get_extsz_hint(ip);
803
804 count = len;
805 imapp = &imaps[0];
806 nimaps = 1;
807 startoffset_fsb = XFS_B_TO_FSBT(mp, offset);
Max Reitze093c4b2019-09-30 11:29:44 -0700808 endoffset_fsb = XFS_B_TO_FSB(mp, offset + count);
809 allocatesize_fsb = endoffset_fsb - startoffset_fsb;
Dave Chinnerc24b5df2013-08-12 20:49:45 +1000810
811 /*
812 * Allocate file space until done or until there is an error
813 */
814 while (allocatesize_fsb && !error) {
815 xfs_fileoff_t s, e;
Darrick J. Wong3de4eb12021-01-26 16:44:07 -0800816 unsigned int dblocks, rblocks, resblks;
Dave Chinnerc24b5df2013-08-12 20:49:45 +1000817
818 /*
819 * Determine space reservations for data/realtime.
820 */
821 if (unlikely(extsz)) {
822 s = startoffset_fsb;
823 do_div(s, extsz);
824 s *= extsz;
825 e = startoffset_fsb + allocatesize_fsb;
Dave Chinner0703a8e2018-06-08 09:54:22 -0700826 div_u64_rem(startoffset_fsb, extsz, &temp);
827 if (temp)
Dave Chinnerc24b5df2013-08-12 20:49:45 +1000828 e += temp;
Dave Chinner0703a8e2018-06-08 09:54:22 -0700829 div_u64_rem(e, extsz, &temp);
830 if (temp)
Dave Chinnerc24b5df2013-08-12 20:49:45 +1000831 e += extsz - temp;
832 } else {
833 s = 0;
834 e = allocatesize_fsb;
835 }
836
837 /*
838 * The transaction reservation is limited to a 32-bit block
839 * count, hence we need to limit the number of blocks we are
840 * trying to reserve to avoid an overflow. We can't allocate
841 * more than @nimaps extents, and an extent is limited on disk
842 * to MAXEXTLEN (21 bits), so use that to enforce the limit.
843 */
844 resblks = min_t(xfs_fileoff_t, (e - s), (MAXEXTLEN * nimaps));
845 if (unlikely(rt)) {
Darrick J. Wong02b7ee42021-01-26 17:20:42 -0800846 dblocks = XFS_DIOSTRAT_SPACE_RES(mp, 0);
847 rblocks = resblks;
Dave Chinnerc24b5df2013-08-12 20:49:45 +1000848 } else {
Darrick J. Wong02b7ee42021-01-26 17:20:42 -0800849 dblocks = XFS_DIOSTRAT_SPACE_RES(mp, resblks);
850 rblocks = 0;
Dave Chinnerc24b5df2013-08-12 20:49:45 +1000851 }
852
Darrick J. Wong3de4eb12021-01-26 16:44:07 -0800853 error = xfs_trans_alloc_inode(ip, &M_RES(mp)->tr_write,
854 dblocks, rblocks, false, &tp);
Dave Chinnerc24b5df2013-08-12 20:49:45 +1000855 if (error)
Darrick J. Wong3de4eb12021-01-26 16:44:07 -0800856 break;
Dave Chinnerc24b5df2013-08-12 20:49:45 +1000857
Chandan Babu R727e1ac2021-01-22 16:48:11 -0800858 error = xfs_iext_count_may_overflow(ip, XFS_DATA_FORK,
859 XFS_IEXT_ADD_NOSPLIT_CNT);
860 if (error)
Darrick J. Wong35b110102021-01-26 17:23:30 -0800861 goto error;
Chandan Babu R727e1ac2021-01-22 16:48:11 -0800862
Dave Chinnerc24b5df2013-08-12 20:49:45 +1000863 error = xfs_bmapi_write(tp, ip, startoffset_fsb,
Darrick J. Wong4d1b97f2022-01-07 17:45:51 -0800864 allocatesize_fsb, XFS_BMAPI_PREALLOC, 0, imapp,
865 &nimaps);
Eric Sandeenf6106ef2016-01-11 11:34:01 +1100866 if (error)
Darrick J. Wong35b110102021-01-26 17:23:30 -0800867 goto error;
Dave Chinnerc24b5df2013-08-12 20:49:45 +1000868
Dave Chinner0b02c8c2022-01-31 13:20:09 -0800869 ip->i_diflags |= XFS_DIFLAG_PREALLOC;
870 xfs_trans_log_inode(tp, ip, XFS_ILOG_CORE);
871
Christoph Hellwig70393312015-06-04 13:48:08 +1000872 error = xfs_trans_commit(tp);
Dave Chinnerc24b5df2013-08-12 20:49:45 +1000873 xfs_iunlock(ip, XFS_ILOCK_EXCL);
Eric Sandeenf6106ef2016-01-11 11:34:01 +1100874 if (error)
Dave Chinnerc24b5df2013-08-12 20:49:45 +1000875 break;
Dave Chinnerc24b5df2013-08-12 20:49:45 +1000876
877 allocated_fsb = imapp->br_blockcount;
878
879 if (nimaps == 0) {
Dave Chinner24513372014-06-25 14:58:08 +1000880 error = -ENOSPC;
Dave Chinnerc24b5df2013-08-12 20:49:45 +1000881 break;
882 }
883
884 startoffset_fsb += allocated_fsb;
885 allocatesize_fsb -= allocated_fsb;
886 }
887
888 return error;
889
Darrick J. Wong35b110102021-01-26 17:23:30 -0800890error:
Christoph Hellwig4906e212015-06-04 13:47:56 +1000891 xfs_trans_cancel(tp);
Dave Chinnerc24b5df2013-08-12 20:49:45 +1000892 xfs_iunlock(ip, XFS_ILOCK_EXCL);
893 return error;
894}
895
Christoph Hellwigbdb0d042016-06-21 10:00:55 +1000896static int
897xfs_unmap_extent(
898 struct xfs_inode *ip,
899 xfs_fileoff_t startoffset_fsb,
900 xfs_filblks_t len_fsb,
901 int *done)
Dave Chinnerc24b5df2013-08-12 20:49:45 +1000902{
Christoph Hellwigbdb0d042016-06-21 10:00:55 +1000903 struct xfs_mount *mp = ip->i_mount;
904 struct xfs_trans *tp;
Christoph Hellwigbdb0d042016-06-21 10:00:55 +1000905 uint resblks = XFS_DIOSTRAT_SPACE_RES(mp, 0);
906 int error;
Dave Chinnerc24b5df2013-08-12 20:49:45 +1000907
Darrick J. Wong3de4eb12021-01-26 16:44:07 -0800908 error = xfs_trans_alloc_inode(ip, &M_RES(mp)->tr_write, resblks, 0,
Darrick J. Wong3a1af6c2021-01-26 16:33:29 -0800909 false, &tp);
Christoph Hellwigbdb0d042016-06-21 10:00:55 +1000910 if (error)
Darrick J. Wong3a1af6c2021-01-26 16:33:29 -0800911 return error;
Christoph Hellwigbdb0d042016-06-21 10:00:55 +1000912
Chandan Babu R85ef08b2021-01-22 16:48:11 -0800913 error = xfs_iext_count_may_overflow(ip, XFS_DATA_FORK,
914 XFS_IEXT_PUNCH_HOLE_CNT);
915 if (error)
916 goto out_trans_cancel;
917
Brian Foster2af52842018-07-11 22:26:25 -0700918 error = xfs_bunmapi(tp, ip, startoffset_fsb, len_fsb, 0, 2, done);
Christoph Hellwigbdb0d042016-06-21 10:00:55 +1000919 if (error)
Brian Fosterc8eac492018-07-24 13:43:13 -0700920 goto out_trans_cancel;
Christoph Hellwigbdb0d042016-06-21 10:00:55 +1000921
Christoph Hellwigbdb0d042016-06-21 10:00:55 +1000922 error = xfs_trans_commit(tp);
923out_unlock:
924 xfs_iunlock(ip, XFS_ILOCK_EXCL);
Dave Chinnerc24b5df2013-08-12 20:49:45 +1000925 return error;
Christoph Hellwigbdb0d042016-06-21 10:00:55 +1000926
Christoph Hellwigbdb0d042016-06-21 10:00:55 +1000927out_trans_cancel:
928 xfs_trans_cancel(tp);
929 goto out_unlock;
930}
931
Dave Chinner249bd902019-10-29 13:04:32 -0700932/* Caller must first wait for the completion of any pending DIOs if required. */
Dave Chinner2c307172018-11-19 13:31:10 -0800933int
Christoph Hellwigbdb0d042016-06-21 10:00:55 +1000934xfs_flush_unmap_range(
935 struct xfs_inode *ip,
936 xfs_off_t offset,
937 xfs_off_t len)
938{
939 struct xfs_mount *mp = ip->i_mount;
940 struct inode *inode = VFS_I(ip);
941 xfs_off_t rounding, start, end;
942 int error;
943
Darrick J. Wong20bd8e62021-05-31 11:31:56 -0700944 rounding = max_t(xfs_off_t, mp->m_sb.sb_blocksize, PAGE_SIZE);
Christoph Hellwigbdb0d042016-06-21 10:00:55 +1000945 start = round_down(offset, rounding);
946 end = round_up(offset + len, rounding) - 1;
947
948 error = filemap_write_and_wait_range(inode->i_mapping, start, end);
949 if (error)
950 return error;
951 truncate_pagecache_range(inode, start, end);
952 return 0;
Dave Chinnerc24b5df2013-08-12 20:49:45 +1000953}
954
Christoph Hellwig83aee9e2013-10-12 00:55:07 -0700955int
Dave Chinnerc24b5df2013-08-12 20:49:45 +1000956xfs_free_file_space(
Christoph Hellwig83aee9e2013-10-12 00:55:07 -0700957 struct xfs_inode *ip,
Dave Chinnerc24b5df2013-08-12 20:49:45 +1000958 xfs_off_t offset,
Christoph Hellwig5f8aca82013-10-12 00:55:06 -0700959 xfs_off_t len)
Dave Chinnerc24b5df2013-08-12 20:49:45 +1000960{
Christoph Hellwigbdb0d042016-06-21 10:00:55 +1000961 struct xfs_mount *mp = ip->i_mount;
Dave Chinnerc24b5df2013-08-12 20:49:45 +1000962 xfs_fileoff_t startoffset_fsb;
Christoph Hellwigbdb0d042016-06-21 10:00:55 +1000963 xfs_fileoff_t endoffset_fsb;
Christoph Hellwig3c2bdc92016-06-21 10:02:23 +1000964 int done = 0, error;
Dave Chinnerc24b5df2013-08-12 20:49:45 +1000965
966 trace_xfs_free_file_space(ip);
967
Darrick J. Wongc14cfcc2018-05-04 15:30:21 -0700968 error = xfs_qm_dqattach(ip);
Dave Chinnerc24b5df2013-08-12 20:49:45 +1000969 if (error)
970 return error;
971
Dave Chinnerc24b5df2013-08-12 20:49:45 +1000972 if (len <= 0) /* if nothing being freed */
Christoph Hellwigbdb0d042016-06-21 10:00:55 +1000973 return 0;
974
Christoph Hellwigbdb0d042016-06-21 10:00:55 +1000975 startoffset_fsb = XFS_B_TO_FSB(mp, offset);
Dave Chinnerc24b5df2013-08-12 20:49:45 +1000976 endoffset_fsb = XFS_B_TO_FSBT(mp, offset + len);
977
Darrick J. Wongfe341eb2020-09-09 14:21:06 -0700978 /* We can only free complete realtime extents. */
Darrick J. Wong25219db2020-10-09 16:42:59 -0700979 if (XFS_IS_REALTIME_INODE(ip) && mp->m_sb.sb_rextsize > 1) {
980 startoffset_fsb = roundup_64(startoffset_fsb,
981 mp->m_sb.sb_rextsize);
982 endoffset_fsb = rounddown_64(endoffset_fsb,
983 mp->m_sb.sb_rextsize);
Darrick J. Wongfe341eb2020-09-09 14:21:06 -0700984 }
985
Dave Chinnerc24b5df2013-08-12 20:49:45 +1000986 /*
Christoph Hellwigdaa79ba2018-10-18 17:18:58 +1100987 * Need to zero the stuff we're not freeing, on disk.
Dave Chinnerc24b5df2013-08-12 20:49:45 +1000988 */
Christoph Hellwig3c2bdc92016-06-21 10:02:23 +1000989 if (endoffset_fsb > startoffset_fsb) {
990 while (!done) {
991 error = xfs_unmap_extent(ip, startoffset_fsb,
992 endoffset_fsb - startoffset_fsb, &done);
993 if (error)
994 return error;
995 }
Dave Chinnerc24b5df2013-08-12 20:49:45 +1000996 }
997
998 /*
Christoph Hellwig3c2bdc92016-06-21 10:02:23 +1000999 * Now that we've unmap all full blocks we'll have to zero out any
Shiyang Ruanf1ba5fa2021-11-29 11:21:49 +01001000 * partial block at the beginning and/or end. xfs_zero_range is smart
Christoph Hellwigf5c547172018-03-13 23:15:32 -07001001 * enough to skip any holes, including those we just created, but we
1002 * must take care not to zero beyond EOF and enlarge i_size.
Dave Chinnerc24b5df2013-08-12 20:49:45 +10001003 */
Calvin Owens3dd09d52017-04-03 12:22:29 -07001004 if (offset >= XFS_ISIZE(ip))
1005 return 0;
Calvin Owens3dd09d52017-04-03 12:22:29 -07001006 if (offset + len > XFS_ISIZE(ip))
1007 len = XFS_ISIZE(ip) - offset;
Shiyang Ruanf1ba5fa2021-11-29 11:21:49 +01001008 error = xfs_zero_range(ip, offset, len, NULL);
Darrick J. Wonge53c4b52018-06-21 23:26:58 -07001009 if (error)
1010 return error;
1011
1012 /*
1013 * If we zeroed right up to EOF and EOF straddles a page boundary we
1014 * must make sure that the post-EOF area is also zeroed because the
Shiyang Ruanf1ba5fa2021-11-29 11:21:49 +01001015 * page could be mmap'd and xfs_zero_range doesn't do that for us.
Darrick J. Wonge53c4b52018-06-21 23:26:58 -07001016 * Writeback of the eof page will do this, albeit clumsily.
1017 */
Darrick J. Wonga5791212018-11-27 11:01:43 -08001018 if (offset + len >= XFS_ISIZE(ip) && offset_in_page(offset + len) > 0) {
Darrick J. Wonge53c4b52018-06-21 23:26:58 -07001019 error = filemap_write_and_wait_range(VFS_I(ip)->i_mapping,
Darrick J. Wonga5791212018-11-27 11:01:43 -08001020 round_down(offset + len, PAGE_SIZE), LLONG_MAX);
Darrick J. Wonge53c4b52018-06-21 23:26:58 -07001021 }
1022
1023 return error;
Dave Chinnerc24b5df2013-08-12 20:49:45 +10001024}
1025
kbuild test robot72c1a732015-04-13 11:25:04 +10001026static int
Christoph Hellwig4ed36c62017-10-19 11:07:10 -07001027xfs_prepare_shift(
1028 struct xfs_inode *ip,
1029 loff_t offset)
Namjae Jeone1d8fb82014-02-24 10:58:19 +11001030{
Brian Fosterd0c22042019-12-11 13:18:38 -08001031 struct xfs_mount *mp = ip->i_mount;
Namjae Jeone1d8fb82014-02-24 10:58:19 +11001032 int error;
Namjae Jeone1d8fb82014-02-24 10:58:19 +11001033
Brian Fosterf71721d2014-09-23 15:39:05 +10001034 /*
1035 * Trim eofblocks to avoid shifting uninitialized post-eof preallocation
1036 * into the accessible region of the file.
1037 */
Brian Foster41b9d722014-09-02 12:12:53 +10001038 if (xfs_can_free_eofblocks(ip, true)) {
Brian Fostera36b9262017-01-27 23:22:55 -08001039 error = xfs_free_eofblocks(ip);
Brian Foster41b9d722014-09-02 12:12:53 +10001040 if (error)
1041 return error;
1042 }
Dave Chinner1669a8c2014-09-02 12:12:53 +10001043
Brian Fosterf71721d2014-09-23 15:39:05 +10001044 /*
Brian Fosterd0c22042019-12-11 13:18:38 -08001045 * Shift operations must stabilize the start block offset boundary along
1046 * with the full range of the operation. If we don't, a COW writeback
1047 * completion could race with an insert, front merge with the start
1048 * extent (after split) during the shift and corrupt the file. Start
1049 * with the block just prior to the start to stabilize the boundary.
1050 */
Darrick J. Wong20bd8e62021-05-31 11:31:56 -07001051 offset = round_down(offset, mp->m_sb.sb_blocksize);
Brian Fosterd0c22042019-12-11 13:18:38 -08001052 if (offset)
Darrick J. Wong20bd8e62021-05-31 11:31:56 -07001053 offset -= mp->m_sb.sb_blocksize;
Brian Fosterd0c22042019-12-11 13:18:38 -08001054
1055 /*
Brian Fosterf71721d2014-09-23 15:39:05 +10001056 * Writeback and invalidate cache for the remainder of the file as we're
Namjae Jeona904b1c2015-03-25 15:08:56 +11001057 * about to shift down every extent from offset to EOF.
Brian Fosterf71721d2014-09-23 15:39:05 +10001058 */
Dave Chinner7f9f71be2018-11-19 13:31:09 -08001059 error = xfs_flush_unmap_range(ip, offset, XFS_ISIZE(ip));
Brian Foster1749d1e2019-04-26 07:30:24 -07001060 if (error)
1061 return error;
Namjae Jeone1d8fb82014-02-24 10:58:19 +11001062
Namjae Jeona904b1c2015-03-25 15:08:56 +11001063 /*
Darrick J. Wong3af423b2017-09-18 09:41:17 -07001064 * Clean out anything hanging around in the cow fork now that
1065 * we've flushed all the dirty data out to disk to avoid having
1066 * CoW extents at the wrong offsets.
1067 */
Christoph Hellwig51d62692018-07-17 16:51:51 -07001068 if (xfs_inode_has_cow_data(ip)) {
Darrick J. Wong3af423b2017-09-18 09:41:17 -07001069 error = xfs_reflink_cancel_cow_range(ip, offset, NULLFILEOFF,
1070 true);
1071 if (error)
1072 return error;
1073 }
1074
Christoph Hellwig4ed36c62017-10-19 11:07:10 -07001075 return 0;
Namjae Jeone1d8fb82014-02-24 10:58:19 +11001076}
1077
1078/*
Namjae Jeona904b1c2015-03-25 15:08:56 +11001079 * xfs_collapse_file_space()
1080 * This routine frees disk space and shift extent for the given file.
1081 * The first thing we do is to free data blocks in the specified range
1082 * by calling xfs_free_file_space(). It would also sync dirty data
1083 * and invalidate page cache over the region on which collapse range
1084 * is working. And Shift extent records to the left to cover a hole.
1085 * RETURNS:
1086 * 0 on success
1087 * errno on error
1088 *
1089 */
1090int
1091xfs_collapse_file_space(
1092 struct xfs_inode *ip,
1093 xfs_off_t offset,
1094 xfs_off_t len)
1095{
Christoph Hellwig4ed36c62017-10-19 11:07:10 -07001096 struct xfs_mount *mp = ip->i_mount;
1097 struct xfs_trans *tp;
1098 int error;
Christoph Hellwig4ed36c62017-10-19 11:07:10 -07001099 xfs_fileoff_t next_fsb = XFS_B_TO_FSB(mp, offset + len);
1100 xfs_fileoff_t shift_fsb = XFS_B_TO_FSB(mp, len);
Christoph Hellwigecfea3f2017-10-19 11:07:11 -07001101 bool done = false;
Namjae Jeona904b1c2015-03-25 15:08:56 +11001102
1103 ASSERT(xfs_isilocked(ip, XFS_IOLOCK_EXCL));
Christoph Hellwig9ad1a23a2017-10-23 16:32:38 -07001104 ASSERT(xfs_isilocked(ip, XFS_MMAPLOCK_EXCL));
1105
Namjae Jeona904b1c2015-03-25 15:08:56 +11001106 trace_xfs_collapse_file_space(ip);
1107
1108 error = xfs_free_file_space(ip, offset, len);
1109 if (error)
1110 return error;
1111
Christoph Hellwig4ed36c62017-10-19 11:07:10 -07001112 error = xfs_prepare_shift(ip, offset);
1113 if (error)
1114 return error;
1115
Brian Foster211683b2020-02-26 09:43:16 -08001116 error = xfs_trans_alloc(mp, &M_RES(mp)->tr_write, 0, 0, 0, &tp);
1117 if (error)
1118 return error;
Christoph Hellwig4ed36c62017-10-19 11:07:10 -07001119
Brian Foster211683b2020-02-26 09:43:16 -08001120 xfs_ilock(ip, XFS_ILOCK_EXCL);
1121 xfs_trans_ijoin(tp, ip, 0);
Christoph Hellwig4ed36c62017-10-19 11:07:10 -07001122
Brian Foster211683b2020-02-26 09:43:16 -08001123 while (!done) {
Christoph Hellwigecfea3f2017-10-19 11:07:11 -07001124 error = xfs_bmap_collapse_extents(tp, ip, &next_fsb, shift_fsb,
Brian Foster333f9502018-07-11 22:26:27 -07001125 &done);
Christoph Hellwig4ed36c62017-10-19 11:07:10 -07001126 if (error)
Brian Fosterc8eac492018-07-24 13:43:13 -07001127 goto out_trans_cancel;
Brian Foster211683b2020-02-26 09:43:16 -08001128 if (done)
1129 break;
Christoph Hellwig4ed36c62017-10-19 11:07:10 -07001130
Brian Foster211683b2020-02-26 09:43:16 -08001131 /* finish any deferred frees and roll the transaction */
1132 error = xfs_defer_finish(&tp);
1133 if (error)
1134 goto out_trans_cancel;
Christoph Hellwig4ed36c62017-10-19 11:07:10 -07001135 }
1136
Brian Foster211683b2020-02-26 09:43:16 -08001137 error = xfs_trans_commit(tp);
1138 xfs_iunlock(ip, XFS_ILOCK_EXCL);
Christoph Hellwig4ed36c62017-10-19 11:07:10 -07001139 return error;
1140
Christoph Hellwig4ed36c62017-10-19 11:07:10 -07001141out_trans_cancel:
1142 xfs_trans_cancel(tp);
Brian Foster211683b2020-02-26 09:43:16 -08001143 xfs_iunlock(ip, XFS_ILOCK_EXCL);
Christoph Hellwig4ed36c62017-10-19 11:07:10 -07001144 return error;
Namjae Jeona904b1c2015-03-25 15:08:56 +11001145}
1146
1147/*
1148 * xfs_insert_file_space()
1149 * This routine create hole space by shifting extents for the given file.
1150 * The first thing we do is to sync dirty data and invalidate page cache
1151 * over the region on which insert range is working. And split an extent
1152 * to two extents at given offset by calling xfs_bmap_split_extent.
1153 * And shift all extent records which are laying between [offset,
1154 * last allocated extent] to the right to reserve hole range.
1155 * RETURNS:
1156 * 0 on success
1157 * errno on error
1158 */
1159int
1160xfs_insert_file_space(
1161 struct xfs_inode *ip,
1162 loff_t offset,
1163 loff_t len)
1164{
Christoph Hellwig4ed36c62017-10-19 11:07:10 -07001165 struct xfs_mount *mp = ip->i_mount;
1166 struct xfs_trans *tp;
1167 int error;
Christoph Hellwig4ed36c62017-10-19 11:07:10 -07001168 xfs_fileoff_t stop_fsb = XFS_B_TO_FSB(mp, offset);
1169 xfs_fileoff_t next_fsb = NULLFSBLOCK;
1170 xfs_fileoff_t shift_fsb = XFS_B_TO_FSB(mp, len);
Christoph Hellwigecfea3f2017-10-19 11:07:11 -07001171 bool done = false;
Christoph Hellwig4ed36c62017-10-19 11:07:10 -07001172
Namjae Jeona904b1c2015-03-25 15:08:56 +11001173 ASSERT(xfs_isilocked(ip, XFS_IOLOCK_EXCL));
Christoph Hellwig9ad1a23a2017-10-23 16:32:38 -07001174 ASSERT(xfs_isilocked(ip, XFS_MMAPLOCK_EXCL));
1175
Namjae Jeona904b1c2015-03-25 15:08:56 +11001176 trace_xfs_insert_file_space(ip);
1177
Darrick J. Wongf62cb482018-06-21 23:26:57 -07001178 error = xfs_bmap_can_insert_extents(ip, stop_fsb, shift_fsb);
1179 if (error)
1180 return error;
1181
Christoph Hellwig4ed36c62017-10-19 11:07:10 -07001182 error = xfs_prepare_shift(ip, offset);
1183 if (error)
1184 return error;
1185
Brian Fosterb73df172020-02-26 09:43:15 -08001186 error = xfs_trans_alloc(mp, &M_RES(mp)->tr_write,
1187 XFS_DIOSTRAT_SPACE_RES(mp, 0), 0, 0, &tp);
1188 if (error)
1189 return error;
1190
1191 xfs_ilock(ip, XFS_ILOCK_EXCL);
Brian Fosterdd87f872020-02-26 09:43:16 -08001192 xfs_trans_ijoin(tp, ip, 0);
Brian Fosterb73df172020-02-26 09:43:15 -08001193
Chandan Babu R85ef08b2021-01-22 16:48:11 -08001194 error = xfs_iext_count_may_overflow(ip, XFS_DATA_FORK,
1195 XFS_IEXT_PUNCH_HOLE_CNT);
1196 if (error)
1197 goto out_trans_cancel;
1198
Brian Fosterdd87f872020-02-26 09:43:16 -08001199 /*
1200 * The extent shifting code works on extent granularity. So, if stop_fsb
1201 * is not the starting block of extent, we need to split the extent at
1202 * stop_fsb.
1203 */
Brian Fosterb73df172020-02-26 09:43:15 -08001204 error = xfs_bmap_split_extent(tp, ip, stop_fsb);
1205 if (error)
1206 goto out_trans_cancel;
1207
Brian Fosterdd87f872020-02-26 09:43:16 -08001208 do {
Brian Foster9c516e02020-08-18 08:05:58 -07001209 error = xfs_defer_finish(&tp);
Christoph Hellwig4ed36c62017-10-19 11:07:10 -07001210 if (error)
Brian Fosterdd87f872020-02-26 09:43:16 -08001211 goto out_trans_cancel;
Christoph Hellwig4ed36c62017-10-19 11:07:10 -07001212
Christoph Hellwigecfea3f2017-10-19 11:07:11 -07001213 error = xfs_bmap_insert_extents(tp, ip, &next_fsb, shift_fsb,
Brian Foster333f9502018-07-11 22:26:27 -07001214 &done, stop_fsb);
Christoph Hellwig4ed36c62017-10-19 11:07:10 -07001215 if (error)
Brian Fosterc8eac492018-07-24 13:43:13 -07001216 goto out_trans_cancel;
Brian Fosterdd87f872020-02-26 09:43:16 -08001217 } while (!done);
Christoph Hellwig4ed36c62017-10-19 11:07:10 -07001218
Brian Fosterdd87f872020-02-26 09:43:16 -08001219 error = xfs_trans_commit(tp);
1220 xfs_iunlock(ip, XFS_ILOCK_EXCL);
Christoph Hellwig4ed36c62017-10-19 11:07:10 -07001221 return error;
1222
Brian Fosterc8eac492018-07-24 13:43:13 -07001223out_trans_cancel:
Christoph Hellwig4ed36c62017-10-19 11:07:10 -07001224 xfs_trans_cancel(tp);
Brian Fosterdd87f872020-02-26 09:43:16 -08001225 xfs_iunlock(ip, XFS_ILOCK_EXCL);
Christoph Hellwig4ed36c62017-10-19 11:07:10 -07001226 return error;
Namjae Jeona904b1c2015-03-25 15:08:56 +11001227}
1228
1229/*
Dave Chinnera133d952013-08-12 20:49:48 +10001230 * We need to check that the format of the data fork in the temporary inode is
1231 * valid for the target inode before doing the swap. This is not a problem with
1232 * attr1 because of the fixed fork offset, but attr2 has a dynamically sized
1233 * data fork depending on the space the attribute fork is taking so we can get
1234 * invalid formats on the target inode.
1235 *
1236 * E.g. target has space for 7 extents in extent format, temp inode only has
1237 * space for 6. If we defragment down to 7 extents, then the tmp format is a
1238 * btree, but when swapped it needs to be in extent format. Hence we can't just
1239 * blindly swap data forks on attr2 filesystems.
1240 *
1241 * Note that we check the swap in both directions so that we don't end up with
1242 * a corrupt temporary inode, either.
1243 *
1244 * Note that fixing the way xfs_fsr sets up the attribute fork in the source
1245 * inode will prevent this situation from occurring, so all we do here is
1246 * reject and log the attempt. basically we are putting the responsibility on
1247 * userspace to get this right.
1248 */
1249static int
1250xfs_swap_extents_check_format(
Darrick J. Wonge06259a2016-10-03 09:11:52 -07001251 struct xfs_inode *ip, /* target inode */
1252 struct xfs_inode *tip) /* tmp inode */
Dave Chinnera133d952013-08-12 20:49:48 +10001253{
Christoph Hellwigf7e67b22020-05-18 10:28:05 -07001254 struct xfs_ifork *ifp = &ip->i_df;
1255 struct xfs_ifork *tifp = &tip->i_df;
Dave Chinnera133d952013-08-12 20:49:48 +10001256
Darrick J. Wong765d3c32020-05-12 16:42:51 -07001257 /* User/group/project quota ids must match if quotas are enforced. */
1258 if (XFS_IS_QUOTA_ON(ip->i_mount) &&
1259 (!uid_eq(VFS_I(ip)->i_uid, VFS_I(tip)->i_uid) ||
1260 !gid_eq(VFS_I(ip)->i_gid, VFS_I(tip)->i_gid) ||
Christoph Hellwigceaf6032021-03-29 11:11:39 -07001261 ip->i_projid != tip->i_projid))
Darrick J. Wong765d3c32020-05-12 16:42:51 -07001262 return -EINVAL;
1263
Dave Chinnera133d952013-08-12 20:49:48 +10001264 /* Should never get a local format */
Christoph Hellwigf7e67b22020-05-18 10:28:05 -07001265 if (ifp->if_format == XFS_DINODE_FMT_LOCAL ||
1266 tifp->if_format == XFS_DINODE_FMT_LOCAL)
Dave Chinner24513372014-06-25 14:58:08 +10001267 return -EINVAL;
Dave Chinnera133d952013-08-12 20:49:48 +10001268
1269 /*
1270 * if the target inode has less extents that then temporary inode then
1271 * why did userspace call us?
1272 */
Christoph Hellwigf7e67b22020-05-18 10:28:05 -07001273 if (ifp->if_nextents < tifp->if_nextents)
Dave Chinner24513372014-06-25 14:58:08 +10001274 return -EINVAL;
Dave Chinnera133d952013-08-12 20:49:48 +10001275
1276 /*
Darrick J. Wong1f08af52016-10-03 09:11:53 -07001277 * If we have to use the (expensive) rmap swap method, we can
1278 * handle any number of extents and any format.
1279 */
Dave Chinner38c26bf2021-08-18 18:46:37 -07001280 if (xfs_has_rmapbt(ip->i_mount))
Darrick J. Wong1f08af52016-10-03 09:11:53 -07001281 return 0;
1282
1283 /*
Dave Chinnera133d952013-08-12 20:49:48 +10001284 * if the target inode is in extent form and the temp inode is in btree
1285 * form then we will end up with the target inode in the wrong format
1286 * as we already know there are less extents in the temp inode.
1287 */
Christoph Hellwigf7e67b22020-05-18 10:28:05 -07001288 if (ifp->if_format == XFS_DINODE_FMT_EXTENTS &&
1289 tifp->if_format == XFS_DINODE_FMT_BTREE)
Dave Chinner24513372014-06-25 14:58:08 +10001290 return -EINVAL;
Dave Chinnera133d952013-08-12 20:49:48 +10001291
1292 /* Check temp in extent form to max in target */
Christoph Hellwigf7e67b22020-05-18 10:28:05 -07001293 if (tifp->if_format == XFS_DINODE_FMT_EXTENTS &&
1294 tifp->if_nextents > XFS_IFORK_MAXEXT(ip, XFS_DATA_FORK))
Dave Chinner24513372014-06-25 14:58:08 +10001295 return -EINVAL;
Dave Chinnera133d952013-08-12 20:49:48 +10001296
1297 /* Check target in extent form to max in temp */
Christoph Hellwigf7e67b22020-05-18 10:28:05 -07001298 if (ifp->if_format == XFS_DINODE_FMT_EXTENTS &&
1299 ifp->if_nextents > XFS_IFORK_MAXEXT(tip, XFS_DATA_FORK))
Dave Chinner24513372014-06-25 14:58:08 +10001300 return -EINVAL;
Dave Chinnera133d952013-08-12 20:49:48 +10001301
1302 /*
1303 * If we are in a btree format, check that the temp root block will fit
1304 * in the target and that it has enough extents to be in btree format
1305 * in the target.
1306 *
1307 * Note that we have to be careful to allow btree->extent conversions
1308 * (a common defrag case) which will occur when the temp inode is in
1309 * extent format...
1310 */
Christoph Hellwigf7e67b22020-05-18 10:28:05 -07001311 if (tifp->if_format == XFS_DINODE_FMT_BTREE) {
Arnd Bergmann0cbe48c2017-06-14 21:35:34 -07001312 if (XFS_IFORK_Q(ip) &&
Christoph Hellwigf7e67b22020-05-18 10:28:05 -07001313 XFS_BMAP_BMDR_SPACE(tifp->if_broot) > XFS_IFORK_BOFF(ip))
Dave Chinner24513372014-06-25 14:58:08 +10001314 return -EINVAL;
Christoph Hellwigf7e67b22020-05-18 10:28:05 -07001315 if (tifp->if_nextents <= XFS_IFORK_MAXEXT(ip, XFS_DATA_FORK))
Dave Chinner24513372014-06-25 14:58:08 +10001316 return -EINVAL;
Dave Chinnera133d952013-08-12 20:49:48 +10001317 }
1318
1319 /* Reciprocal target->temp btree format checks */
Christoph Hellwigf7e67b22020-05-18 10:28:05 -07001320 if (ifp->if_format == XFS_DINODE_FMT_BTREE) {
Arnd Bergmann0cbe48c2017-06-14 21:35:34 -07001321 if (XFS_IFORK_Q(tip) &&
Dave Chinnera133d952013-08-12 20:49:48 +10001322 XFS_BMAP_BMDR_SPACE(ip->i_df.if_broot) > XFS_IFORK_BOFF(tip))
Dave Chinner24513372014-06-25 14:58:08 +10001323 return -EINVAL;
Christoph Hellwigf7e67b22020-05-18 10:28:05 -07001324 if (ifp->if_nextents <= XFS_IFORK_MAXEXT(tip, XFS_DATA_FORK))
Dave Chinner24513372014-06-25 14:58:08 +10001325 return -EINVAL;
Dave Chinnera133d952013-08-12 20:49:48 +10001326 }
1327
1328 return 0;
1329}
1330
Dave Chinner7abbb8f2014-09-23 16:20:11 +10001331static int
Dave Chinner4ef897a2014-08-04 13:44:08 +10001332xfs_swap_extent_flush(
1333 struct xfs_inode *ip)
1334{
1335 int error;
1336
1337 error = filemap_write_and_wait(VFS_I(ip)->i_mapping);
1338 if (error)
1339 return error;
1340 truncate_pagecache_range(VFS_I(ip), 0, -1);
1341
1342 /* Verify O_DIRECT for ftmp */
1343 if (VFS_I(ip)->i_mapping->nrpages)
1344 return -EINVAL;
Dave Chinner4ef897a2014-08-04 13:44:08 +10001345 return 0;
1346}
1347
Darrick J. Wong1f08af52016-10-03 09:11:53 -07001348/*
1349 * Move extents from one file to another, when rmap is enabled.
1350 */
1351STATIC int
1352xfs_swap_extent_rmap(
1353 struct xfs_trans **tpp,
1354 struct xfs_inode *ip,
1355 struct xfs_inode *tip)
1356{
Brian Foster7a7943c2018-07-11 22:26:17 -07001357 struct xfs_trans *tp = *tpp;
Darrick J. Wong1f08af52016-10-03 09:11:53 -07001358 struct xfs_bmbt_irec irec;
1359 struct xfs_bmbt_irec uirec;
1360 struct xfs_bmbt_irec tirec;
1361 xfs_fileoff_t offset_fsb;
1362 xfs_fileoff_t end_fsb;
1363 xfs_filblks_t count_fsb;
Darrick J. Wong1f08af52016-10-03 09:11:53 -07001364 int error;
1365 xfs_filblks_t ilen;
1366 xfs_filblks_t rlen;
1367 int nimaps;
Darrick J. Wongc8ce5402017-06-16 11:00:05 -07001368 uint64_t tip_flags2;
Darrick J. Wong1f08af52016-10-03 09:11:53 -07001369
1370 /*
1371 * If the source file has shared blocks, we must flag the donor
1372 * file as having shared blocks so that we get the shared-block
1373 * rmap functions when we go to fix up the rmaps. The flags
1374 * will be switch for reals later.
1375 */
Christoph Hellwig3e09ab82021-03-29 11:11:45 -07001376 tip_flags2 = tip->i_diflags2;
1377 if (ip->i_diflags2 & XFS_DIFLAG2_REFLINK)
1378 tip->i_diflags2 |= XFS_DIFLAG2_REFLINK;
Darrick J. Wong1f08af52016-10-03 09:11:53 -07001379
1380 offset_fsb = 0;
1381 end_fsb = XFS_B_TO_FSB(ip->i_mount, i_size_read(VFS_I(ip)));
1382 count_fsb = (xfs_filblks_t)(end_fsb - offset_fsb);
1383
1384 while (count_fsb) {
1385 /* Read extent from the donor file */
1386 nimaps = 1;
1387 error = xfs_bmapi_read(tip, offset_fsb, count_fsb, &tirec,
1388 &nimaps, 0);
1389 if (error)
1390 goto out;
1391 ASSERT(nimaps == 1);
1392 ASSERT(tirec.br_startblock != DELAYSTARTBLOCK);
1393
1394 trace_xfs_swap_extent_rmap_remap(tip, &tirec);
1395 ilen = tirec.br_blockcount;
1396
1397 /* Unmap the old blocks in the source file. */
1398 while (tirec.br_blockcount) {
Brian Fosterc8eac492018-07-24 13:43:13 -07001399 ASSERT(tp->t_firstblock == NULLFSBLOCK);
Darrick J. Wong1f08af52016-10-03 09:11:53 -07001400 trace_xfs_swap_extent_rmap_remap_piece(tip, &tirec);
1401
1402 /* Read extent from the source file */
1403 nimaps = 1;
1404 error = xfs_bmapi_read(ip, tirec.br_startoff,
1405 tirec.br_blockcount, &irec,
1406 &nimaps, 0);
1407 if (error)
Brian Fosterd5a2e282018-09-29 13:41:58 +10001408 goto out;
Darrick J. Wong1f08af52016-10-03 09:11:53 -07001409 ASSERT(nimaps == 1);
1410 ASSERT(tirec.br_startoff == irec.br_startoff);
1411 trace_xfs_swap_extent_rmap_remap_piece(ip, &irec);
1412
1413 /* Trim the extent. */
1414 uirec = tirec;
1415 uirec.br_blockcount = rlen = min_t(xfs_filblks_t,
1416 tirec.br_blockcount,
1417 irec.br_blockcount);
1418 trace_xfs_swap_extent_rmap_remap_piece(tip, &uirec);
1419
Chandan Babu Rbcc561f2021-01-22 16:48:15 -08001420 if (xfs_bmap_is_real_extent(&uirec)) {
1421 error = xfs_iext_count_may_overflow(ip,
1422 XFS_DATA_FORK,
1423 XFS_IEXT_SWAP_RMAP_CNT);
1424 if (error)
1425 goto out;
1426 }
1427
1428 if (xfs_bmap_is_real_extent(&irec)) {
1429 error = xfs_iext_count_may_overflow(tip,
1430 XFS_DATA_FORK,
1431 XFS_IEXT_SWAP_RMAP_CNT);
1432 if (error)
1433 goto out;
1434 }
1435
Darrick J. Wong1f08af52016-10-03 09:11:53 -07001436 /* Remove the mapping from the donor file. */
Darrick J. Wong3e08f422019-08-26 17:06:04 -07001437 xfs_bmap_unmap_extent(tp, tip, &uirec);
Darrick J. Wong1f08af52016-10-03 09:11:53 -07001438
1439 /* Remove the mapping from the source file. */
Darrick J. Wong3e08f422019-08-26 17:06:04 -07001440 xfs_bmap_unmap_extent(tp, ip, &irec);
Darrick J. Wong1f08af52016-10-03 09:11:53 -07001441
1442 /* Map the donor file's blocks into the source file. */
Darrick J. Wong3e08f422019-08-26 17:06:04 -07001443 xfs_bmap_map_extent(tp, ip, &uirec);
Darrick J. Wong1f08af52016-10-03 09:11:53 -07001444
1445 /* Map the source file's blocks into the donor file. */
Darrick J. Wong3e08f422019-08-26 17:06:04 -07001446 xfs_bmap_map_extent(tp, tip, &irec);
Darrick J. Wong1f08af52016-10-03 09:11:53 -07001447
Brian Foster9e28a242018-07-24 13:43:15 -07001448 error = xfs_defer_finish(tpp);
Brian Foster7a7943c2018-07-11 22:26:17 -07001449 tp = *tpp;
Darrick J. Wong1f08af52016-10-03 09:11:53 -07001450 if (error)
Brian Foster9b1f4e92018-08-01 07:20:33 -07001451 goto out;
Darrick J. Wong1f08af52016-10-03 09:11:53 -07001452
1453 tirec.br_startoff += rlen;
1454 if (tirec.br_startblock != HOLESTARTBLOCK &&
1455 tirec.br_startblock != DELAYSTARTBLOCK)
1456 tirec.br_startblock += rlen;
1457 tirec.br_blockcount -= rlen;
1458 }
1459
1460 /* Roll on... */
1461 count_fsb -= ilen;
1462 offset_fsb += ilen;
1463 }
1464
Christoph Hellwig3e09ab82021-03-29 11:11:45 -07001465 tip->i_diflags2 = tip_flags2;
Darrick J. Wong1f08af52016-10-03 09:11:53 -07001466 return 0;
1467
Darrick J. Wong1f08af52016-10-03 09:11:53 -07001468out:
1469 trace_xfs_swap_extent_rmap_error(ip, error, _RET_IP_);
Christoph Hellwig3e09ab82021-03-29 11:11:45 -07001470 tip->i_diflags2 = tip_flags2;
Darrick J. Wong1f08af52016-10-03 09:11:53 -07001471 return error;
1472}
1473
Darrick J. Wong39aff5f2016-10-03 09:11:53 -07001474/* Swap the extents of two files by swapping data forks. */
1475STATIC int
1476xfs_swap_extent_forks(
1477 struct xfs_trans *tp,
1478 struct xfs_inode *ip,
1479 struct xfs_inode *tip,
1480 int *src_log_flags,
1481 int *target_log_flags)
1482{
Darrick J. Wonge7f5d5c2017-06-16 11:00:12 -07001483 xfs_filblks_t aforkblks = 0;
1484 xfs_filblks_t taforkblks = 0;
1485 xfs_extnum_t junk;
Darrick J. Wongc8ce5402017-06-16 11:00:05 -07001486 uint64_t tmp;
Darrick J. Wong39aff5f2016-10-03 09:11:53 -07001487 int error;
1488
1489 /*
1490 * Count the number of extended attribute blocks
1491 */
Christoph Hellwigdaf83962020-05-18 10:27:22 -07001492 if (XFS_IFORK_Q(ip) && ip->i_afp->if_nextents > 0 &&
Christoph Hellwigf7e67b22020-05-18 10:28:05 -07001493 ip->i_afp->if_format != XFS_DINODE_FMT_LOCAL) {
Darrick J. Wonge7f5d5c2017-06-16 11:00:12 -07001494 error = xfs_bmap_count_blocks(tp, ip, XFS_ATTR_FORK, &junk,
Darrick J. Wong39aff5f2016-10-03 09:11:53 -07001495 &aforkblks);
1496 if (error)
1497 return error;
1498 }
Christoph Hellwigdaf83962020-05-18 10:27:22 -07001499 if (XFS_IFORK_Q(tip) && tip->i_afp->if_nextents > 0 &&
Christoph Hellwigf7e67b22020-05-18 10:28:05 -07001500 tip->i_afp->if_format != XFS_DINODE_FMT_LOCAL) {
Darrick J. Wonge7f5d5c2017-06-16 11:00:12 -07001501 error = xfs_bmap_count_blocks(tp, tip, XFS_ATTR_FORK, &junk,
Darrick J. Wong39aff5f2016-10-03 09:11:53 -07001502 &taforkblks);
1503 if (error)
1504 return error;
1505 }
1506
1507 /*
Brian Foster6fb10d62017-08-29 10:08:39 -07001508 * Btree format (v3) inodes have the inode number stamped in the bmbt
1509 * block headers. We can't start changing the bmbt blocks until the
1510 * inode owner change is logged so recovery does the right thing in the
1511 * event of a crash. Set the owner change log flags now and leave the
1512 * bmbt scan as the last step.
Darrick J. Wong39aff5f2016-10-03 09:11:53 -07001513 */
Dave Chinner38c26bf2021-08-18 18:46:37 -07001514 if (xfs_has_v3inodes(ip->i_mount)) {
Christoph Hellwigf7e67b22020-05-18 10:28:05 -07001515 if (ip->i_df.if_format == XFS_DINODE_FMT_BTREE)
Christoph Hellwig6471e9c2020-03-18 08:15:11 -07001516 (*target_log_flags) |= XFS_ILOG_DOWNER;
Christoph Hellwigf7e67b22020-05-18 10:28:05 -07001517 if (tip->i_df.if_format == XFS_DINODE_FMT_BTREE)
Christoph Hellwig6471e9c2020-03-18 08:15:11 -07001518 (*src_log_flags) |= XFS_ILOG_DOWNER;
1519 }
Darrick J. Wong39aff5f2016-10-03 09:11:53 -07001520
1521 /*
1522 * Swap the data forks of the inodes
1523 */
Gustavo A. R. Silva897992b2018-07-11 22:26:38 -07001524 swap(ip->i_df, tip->i_df);
Darrick J. Wong39aff5f2016-10-03 09:11:53 -07001525
1526 /*
1527 * Fix the on-disk inode values
1528 */
Christoph Hellwig6e73a542021-03-29 11:11:40 -07001529 tmp = (uint64_t)ip->i_nblocks;
1530 ip->i_nblocks = tip->i_nblocks - taforkblks + aforkblks;
1531 tip->i_nblocks = tmp + taforkblks - aforkblks;
Darrick J. Wong39aff5f2016-10-03 09:11:53 -07001532
Darrick J. Wong39aff5f2016-10-03 09:11:53 -07001533 /*
1534 * The extents in the source inode could still contain speculative
1535 * preallocation beyond EOF (e.g. the file is open but not modified
1536 * while defrag is in progress). In that case, we need to copy over the
1537 * number of delalloc blocks the data fork in the source inode is
1538 * tracking beyond EOF so that when the fork is truncated away when the
1539 * temporary inode is unlinked we don't underrun the i_delayed_blks
1540 * counter on that inode.
1541 */
1542 ASSERT(tip->i_delayed_blks == 0);
1543 tip->i_delayed_blks = ip->i_delayed_blks;
1544 ip->i_delayed_blks = 0;
1545
Christoph Hellwigf7e67b22020-05-18 10:28:05 -07001546 switch (ip->i_df.if_format) {
Darrick J. Wong39aff5f2016-10-03 09:11:53 -07001547 case XFS_DINODE_FMT_EXTENTS:
Darrick J. Wong39aff5f2016-10-03 09:11:53 -07001548 (*src_log_flags) |= XFS_ILOG_DEXT;
1549 break;
1550 case XFS_DINODE_FMT_BTREE:
Dave Chinner38c26bf2021-08-18 18:46:37 -07001551 ASSERT(!xfs_has_v3inodes(ip->i_mount) ||
Darrick J. Wong39aff5f2016-10-03 09:11:53 -07001552 (*src_log_flags & XFS_ILOG_DOWNER));
1553 (*src_log_flags) |= XFS_ILOG_DBROOT;
1554 break;
1555 }
1556
Christoph Hellwigf7e67b22020-05-18 10:28:05 -07001557 switch (tip->i_df.if_format) {
Darrick J. Wong39aff5f2016-10-03 09:11:53 -07001558 case XFS_DINODE_FMT_EXTENTS:
Darrick J. Wong39aff5f2016-10-03 09:11:53 -07001559 (*target_log_flags) |= XFS_ILOG_DEXT;
1560 break;
1561 case XFS_DINODE_FMT_BTREE:
1562 (*target_log_flags) |= XFS_ILOG_DBROOT;
Dave Chinner38c26bf2021-08-18 18:46:37 -07001563 ASSERT(!xfs_has_v3inodes(ip->i_mount) ||
Darrick J. Wong39aff5f2016-10-03 09:11:53 -07001564 (*target_log_flags & XFS_ILOG_DOWNER));
1565 break;
1566 }
1567
1568 return 0;
1569}
1570
Brian Foster2dd3d702017-08-29 10:08:40 -07001571/*
1572 * Fix up the owners of the bmbt blocks to refer to the current inode. The
1573 * change owner scan attempts to order all modified buffers in the current
1574 * transaction. In the event of ordered buffer failure, the offending buffer is
1575 * physically logged as a fallback and the scan returns -EAGAIN. We must roll
1576 * the transaction in this case to replenish the fallback log reservation and
1577 * restart the scan. This process repeats until the scan completes.
1578 */
1579static int
1580xfs_swap_change_owner(
1581 struct xfs_trans **tpp,
1582 struct xfs_inode *ip,
1583 struct xfs_inode *tmpip)
1584{
1585 int error;
1586 struct xfs_trans *tp = *tpp;
1587
1588 do {
1589 error = xfs_bmbt_change_owner(tp, ip, XFS_DATA_FORK, ip->i_ino,
1590 NULL);
1591 /* success or fatal error */
1592 if (error != -EAGAIN)
1593 break;
1594
1595 error = xfs_trans_roll(tpp);
1596 if (error)
1597 break;
1598 tp = *tpp;
1599
1600 /*
1601 * Redirty both inodes so they can relog and keep the log tail
1602 * moving forward.
1603 */
1604 xfs_trans_ijoin(tp, ip, 0);
1605 xfs_trans_ijoin(tp, tmpip, 0);
1606 xfs_trans_log_inode(tp, ip, XFS_ILOG_CORE);
1607 xfs_trans_log_inode(tp, tmpip, XFS_ILOG_CORE);
1608 } while (true);
1609
1610 return error;
1611}
1612
Dave Chinner4ef897a2014-08-04 13:44:08 +10001613int
Dave Chinnera133d952013-08-12 20:49:48 +10001614xfs_swap_extents(
Darrick J. Wonge06259a2016-10-03 09:11:52 -07001615 struct xfs_inode *ip, /* target inode */
1616 struct xfs_inode *tip, /* tmp inode */
1617 struct xfs_swapext *sxp)
Dave Chinnera133d952013-08-12 20:49:48 +10001618{
Darrick J. Wonge06259a2016-10-03 09:11:52 -07001619 struct xfs_mount *mp = ip->i_mount;
1620 struct xfs_trans *tp;
1621 struct xfs_bstat *sbp = &sxp->sx_stat;
Darrick J. Wonge06259a2016-10-03 09:11:52 -07001622 int src_log_flags, target_log_flags;
1623 int error = 0;
Darrick J. Wongc8ce5402017-06-16 11:00:05 -07001624 uint64_t f;
Brian Foster2dd3d702017-08-29 10:08:40 -07001625 int resblks = 0;
Brian Fosterf74681b2020-06-29 14:44:36 -07001626 unsigned int flags = 0;
Dave Chinnera133d952013-08-12 20:49:48 +10001627
Dave Chinnera133d952013-08-12 20:49:48 +10001628 /*
Dave Chinner723cac42015-02-23 21:47:29 +11001629 * Lock the inodes against other IO, page faults and truncate to
1630 * begin with. Then we can ensure the inodes are flushed and have no
1631 * page cache safely. Once we have done this we can take the ilocks and
1632 * do the rest of the checks.
Dave Chinnera133d952013-08-12 20:49:48 +10001633 */
Christoph Hellwig65523212016-11-30 14:33:25 +11001634 lock_two_nondirectories(VFS_I(ip), VFS_I(tip));
Jan Karad2c292d2021-05-24 13:17:49 +02001635 filemap_invalidate_lock_two(VFS_I(ip)->i_mapping,
1636 VFS_I(tip)->i_mapping);
Dave Chinnera133d952013-08-12 20:49:48 +10001637
1638 /* Verify that both files have the same format */
Dave Chinnerc19b3b052016-02-09 16:54:58 +11001639 if ((VFS_I(ip)->i_mode & S_IFMT) != (VFS_I(tip)->i_mode & S_IFMT)) {
Dave Chinner24513372014-06-25 14:58:08 +10001640 error = -EINVAL;
Dave Chinnera133d952013-08-12 20:49:48 +10001641 goto out_unlock;
1642 }
1643
1644 /* Verify both files are either real-time or non-realtime */
1645 if (XFS_IS_REALTIME_INODE(ip) != XFS_IS_REALTIME_INODE(tip)) {
Dave Chinner24513372014-06-25 14:58:08 +10001646 error = -EINVAL;
Dave Chinnera133d952013-08-12 20:49:48 +10001647 goto out_unlock;
1648 }
1649
Darrick J. Wong2713fef2019-11-09 12:04:30 -08001650 error = xfs_qm_dqattach(ip);
1651 if (error)
1652 goto out_unlock;
1653
1654 error = xfs_qm_dqattach(tip);
1655 if (error)
1656 goto out_unlock;
1657
Dave Chinner4ef897a2014-08-04 13:44:08 +10001658 error = xfs_swap_extent_flush(ip);
Dave Chinnera133d952013-08-12 20:49:48 +10001659 if (error)
1660 goto out_unlock;
Dave Chinner4ef897a2014-08-04 13:44:08 +10001661 error = xfs_swap_extent_flush(tip);
1662 if (error)
1663 goto out_unlock;
Dave Chinnera133d952013-08-12 20:49:48 +10001664
Christoph Hellwig96987ee2018-10-18 17:21:55 +11001665 if (xfs_inode_has_cow_data(tip)) {
1666 error = xfs_reflink_cancel_cow_range(tip, 0, NULLFILEOFF, true);
1667 if (error)
Darrick J. Wong8bc3b5e2020-05-04 14:06:27 -07001668 goto out_unlock;
Christoph Hellwig96987ee2018-10-18 17:21:55 +11001669 }
1670
Darrick J. Wong1f08af52016-10-03 09:11:53 -07001671 /*
1672 * Extent "swapping" with rmap requires a permanent reservation and
1673 * a block reservation because it's really just a remap operation
1674 * performed with log redo items!
1675 */
Dave Chinner38c26bf2021-08-18 18:46:37 -07001676 if (xfs_has_rmapbt(mp)) {
Christoph Hellwigdaf83962020-05-18 10:27:22 -07001677 int w = XFS_DATA_FORK;
1678 uint32_t ipnext = ip->i_df.if_nextents;
1679 uint32_t tipnext = tip->i_df.if_nextents;
Brian Fosterb3fed432018-03-09 14:01:58 -08001680
Darrick J. Wong1f08af52016-10-03 09:11:53 -07001681 /*
Brian Fosterb3fed432018-03-09 14:01:58 -08001682 * Conceptually this shouldn't affect the shape of either bmbt,
1683 * but since we atomically move extents one by one, we reserve
1684 * enough space to rebuild both trees.
Darrick J. Wong1f08af52016-10-03 09:11:53 -07001685 */
Brian Fosterb3fed432018-03-09 14:01:58 -08001686 resblks = XFS_SWAP_RMAP_SPACE_RES(mp, ipnext, w);
1687 resblks += XFS_SWAP_RMAP_SPACE_RES(mp, tipnext, w);
1688
1689 /*
Brian Fosterf74681b2020-06-29 14:44:36 -07001690 * If either inode straddles a bmapbt block allocation boundary,
1691 * the rmapbt algorithm triggers repeated allocs and frees as
1692 * extents are remapped. This can exhaust the block reservation
1693 * prematurely and cause shutdown. Return freed blocks to the
1694 * transaction reservation to counter this behavior.
Brian Fosterb3fed432018-03-09 14:01:58 -08001695 */
Brian Fosterf74681b2020-06-29 14:44:36 -07001696 flags |= XFS_TRANS_RES_FDBLKS;
Brian Foster2dd3d702017-08-29 10:08:40 -07001697 }
Brian Fosterf74681b2020-06-29 14:44:36 -07001698 error = xfs_trans_alloc(mp, &M_RES(mp)->tr_write, resblks, 0, flags,
1699 &tp);
Christoph Hellwig253f4912016-04-06 09:19:55 +10001700 if (error)
Dave Chinnera133d952013-08-12 20:49:48 +10001701 goto out_unlock;
Dave Chinner723cac42015-02-23 21:47:29 +11001702
1703 /*
1704 * Lock and join the inodes to the tansaction so that transaction commit
1705 * or cancel will unlock the inodes from this point onwards.
1706 */
Darrick J. Wong7c2d2382018-01-26 15:27:33 -08001707 xfs_lock_two_inodes(ip, XFS_ILOCK_EXCL, tip, XFS_ILOCK_EXCL);
Darrick J. Wong39aff5f2016-10-03 09:11:53 -07001708 xfs_trans_ijoin(tp, ip, 0);
1709 xfs_trans_ijoin(tp, tip, 0);
Dave Chinner723cac42015-02-23 21:47:29 +11001710
Dave Chinnera133d952013-08-12 20:49:48 +10001711
1712 /* Verify all data are being swapped */
1713 if (sxp->sx_offset != 0 ||
Christoph Hellwig13d2c102021-03-29 11:11:40 -07001714 sxp->sx_length != ip->i_disk_size ||
1715 sxp->sx_length != tip->i_disk_size) {
Dave Chinner24513372014-06-25 14:58:08 +10001716 error = -EFAULT;
Dave Chinner4ef897a2014-08-04 13:44:08 +10001717 goto out_trans_cancel;
Dave Chinnera133d952013-08-12 20:49:48 +10001718 }
1719
1720 trace_xfs_swap_extent_before(ip, 0);
1721 trace_xfs_swap_extent_before(tip, 1);
1722
1723 /* check inode formats now that data is flushed */
1724 error = xfs_swap_extents_check_format(ip, tip);
1725 if (error) {
1726 xfs_notice(mp,
1727 "%s: inode 0x%llx format is incompatible for exchanging.",
1728 __func__, ip->i_ino);
Dave Chinner4ef897a2014-08-04 13:44:08 +10001729 goto out_trans_cancel;
Dave Chinnera133d952013-08-12 20:49:48 +10001730 }
1731
1732 /*
1733 * Compare the current change & modify times with that
1734 * passed in. If they differ, we abort this swap.
1735 * This is the mechanism used to ensure the calling
1736 * process that the file was not changed out from
1737 * under it.
1738 */
1739 if ((sbp->bs_ctime.tv_sec != VFS_I(ip)->i_ctime.tv_sec) ||
1740 (sbp->bs_ctime.tv_nsec != VFS_I(ip)->i_ctime.tv_nsec) ||
1741 (sbp->bs_mtime.tv_sec != VFS_I(ip)->i_mtime.tv_sec) ||
1742 (sbp->bs_mtime.tv_nsec != VFS_I(ip)->i_mtime.tv_nsec)) {
Dave Chinner24513372014-06-25 14:58:08 +10001743 error = -EBUSY;
Dave Chinner81217682014-08-04 13:29:32 +10001744 goto out_trans_cancel;
Dave Chinnera133d952013-08-12 20:49:48 +10001745 }
Dave Chinnera133d952013-08-12 20:49:48 +10001746
Dave Chinner21b5c972013-08-30 10:23:44 +10001747 /*
Dave Chinner21b5c972013-08-30 10:23:44 +10001748 * Note the trickiness in setting the log flags - we set the owner log
1749 * flag on the opposite inode (i.e. the inode we are setting the new
1750 * owner to be) because once we swap the forks and log that, log
1751 * recovery is going to see the fork as owned by the swapped inode,
1752 * not the pre-swapped inodes.
1753 */
1754 src_log_flags = XFS_ILOG_CORE;
1755 target_log_flags = XFS_ILOG_CORE;
Dave Chinner21b5c972013-08-30 10:23:44 +10001756
Dave Chinner38c26bf2021-08-18 18:46:37 -07001757 if (xfs_has_rmapbt(mp))
Darrick J. Wong1f08af52016-10-03 09:11:53 -07001758 error = xfs_swap_extent_rmap(&tp, ip, tip);
1759 else
1760 error = xfs_swap_extent_forks(tp, ip, tip, &src_log_flags,
1761 &target_log_flags);
Darrick J. Wong39aff5f2016-10-03 09:11:53 -07001762 if (error)
1763 goto out_trans_cancel;
Dave Chinnera133d952013-08-12 20:49:48 +10001764
Darrick J. Wongf0bc4d12016-10-03 09:11:42 -07001765 /* Do we have to swap reflink flags? */
Christoph Hellwig3e09ab82021-03-29 11:11:45 -07001766 if ((ip->i_diflags2 & XFS_DIFLAG2_REFLINK) ^
1767 (tip->i_diflags2 & XFS_DIFLAG2_REFLINK)) {
1768 f = ip->i_diflags2 & XFS_DIFLAG2_REFLINK;
1769 ip->i_diflags2 &= ~XFS_DIFLAG2_REFLINK;
1770 ip->i_diflags2 |= tip->i_diflags2 & XFS_DIFLAG2_REFLINK;
1771 tip->i_diflags2 &= ~XFS_DIFLAG2_REFLINK;
1772 tip->i_diflags2 |= f & XFS_DIFLAG2_REFLINK;
Darrick J. Wong52bfcdd72017-09-18 09:41:18 -07001773 }
1774
1775 /* Swap the cow forks. */
Dave Chinner38c26bf2021-08-18 18:46:37 -07001776 if (xfs_has_reflink(mp)) {
Christoph Hellwigf7e67b22020-05-18 10:28:05 -07001777 ASSERT(!ip->i_cowfp ||
1778 ip->i_cowfp->if_format == XFS_DINODE_FMT_EXTENTS);
1779 ASSERT(!tip->i_cowfp ||
1780 tip->i_cowfp->if_format == XFS_DINODE_FMT_EXTENTS);
Darrick J. Wong52bfcdd72017-09-18 09:41:18 -07001781
Gustavo A. R. Silva897992b2018-07-11 22:26:38 -07001782 swap(ip->i_cowfp, tip->i_cowfp);
Darrick J. Wong52bfcdd72017-09-18 09:41:18 -07001783
Christoph Hellwig5bcffe32018-03-13 23:15:30 -07001784 if (ip->i_cowfp && ip->i_cowfp->if_bytes)
Darrick J. Wong52bfcdd72017-09-18 09:41:18 -07001785 xfs_inode_set_cowblocks_tag(ip);
1786 else
1787 xfs_inode_clear_cowblocks_tag(ip);
Christoph Hellwig5bcffe32018-03-13 23:15:30 -07001788 if (tip->i_cowfp && tip->i_cowfp->if_bytes)
Darrick J. Wong52bfcdd72017-09-18 09:41:18 -07001789 xfs_inode_set_cowblocks_tag(tip);
1790 else
1791 xfs_inode_clear_cowblocks_tag(tip);
Darrick J. Wongf0bc4d12016-10-03 09:11:42 -07001792 }
1793
Dave Chinnera133d952013-08-12 20:49:48 +10001794 xfs_trans_log_inode(tp, ip, src_log_flags);
1795 xfs_trans_log_inode(tp, tip, target_log_flags);
1796
1797 /*
Brian Foster6fb10d62017-08-29 10:08:39 -07001798 * The extent forks have been swapped, but crc=1,rmapbt=0 filesystems
1799 * have inode number owner values in the bmbt blocks that still refer to
1800 * the old inode. Scan each bmbt to fix up the owner values with the
1801 * inode number of the current inode.
1802 */
1803 if (src_log_flags & XFS_ILOG_DOWNER) {
Brian Foster2dd3d702017-08-29 10:08:40 -07001804 error = xfs_swap_change_owner(&tp, ip, tip);
Brian Foster6fb10d62017-08-29 10:08:39 -07001805 if (error)
1806 goto out_trans_cancel;
1807 }
1808 if (target_log_flags & XFS_ILOG_DOWNER) {
Brian Foster2dd3d702017-08-29 10:08:40 -07001809 error = xfs_swap_change_owner(&tp, tip, ip);
Brian Foster6fb10d62017-08-29 10:08:39 -07001810 if (error)
1811 goto out_trans_cancel;
1812 }
1813
1814 /*
Dave Chinnera133d952013-08-12 20:49:48 +10001815 * If this is a synchronous mount, make sure that the
1816 * transaction goes to disk before returning to the user.
1817 */
Dave Chinner0560f312021-08-18 18:46:52 -07001818 if (xfs_has_wsync(mp))
Dave Chinnera133d952013-08-12 20:49:48 +10001819 xfs_trans_set_sync(tp);
1820
Christoph Hellwig70393312015-06-04 13:48:08 +10001821 error = xfs_trans_commit(tp);
Dave Chinnera133d952013-08-12 20:49:48 +10001822
1823 trace_xfs_swap_extent_after(ip, 0);
1824 trace_xfs_swap_extent_after(tip, 1);
Darrick J. Wong39aff5f2016-10-03 09:11:53 -07001825
Jan Karad2c292d2021-05-24 13:17:49 +02001826out_unlock_ilock:
1827 xfs_iunlock(ip, XFS_ILOCK_EXCL);
1828 xfs_iunlock(tip, XFS_ILOCK_EXCL);
Christoph Hellwig65523212016-11-30 14:33:25 +11001829out_unlock:
Jan Karad2c292d2021-05-24 13:17:49 +02001830 filemap_invalidate_unlock_two(VFS_I(ip)->i_mapping,
1831 VFS_I(tip)->i_mapping);
Christoph Hellwig65523212016-11-30 14:33:25 +11001832 unlock_two_nondirectories(VFS_I(ip), VFS_I(tip));
Dave Chinnera133d952013-08-12 20:49:48 +10001833 return error;
1834
Darrick J. Wong39aff5f2016-10-03 09:11:53 -07001835out_trans_cancel:
1836 xfs_trans_cancel(tp);
Jan Karad2c292d2021-05-24 13:17:49 +02001837 goto out_unlock_ilock;
Dave Chinnera133d952013-08-12 20:49:48 +10001838}