blob: 5d8632b7f5493c691c857f8b0905b40be3c0e800 [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(
56 struct xfs_inode *ip,
57 xfs_fsblock_t start_fsb,
58 xfs_off_t count_fsb)
59{
60 struct xfs_mount *mp = ip->i_mount;
61 xfs_daddr_t sector = xfs_fsb_to_db(ip, start_fsb);
62 sector_t block = XFS_BB_TO_FSBT(mp, sector);
Dave Chinner3fbbbea2015-11-03 12:27:22 +110063
Matthew Wilcox3dc29162016-03-15 11:20:41 -060064 return blkdev_issue_zeroout(xfs_find_bdev_for_inode(VFS_I(ip)),
65 block << (mp->m_super->s_blocksize_bits - 9),
66 count_fsb << (mp->m_super->s_blocksize_bits - 9),
Christoph Hellwigee472d82017-04-05 19:21:08 +020067 GFP_NOFS, 0);
Dave Chinner3fbbbea2015-11-03 12:27:22 +110068}
69
Dave Chinnerbb9c2e52017-10-09 11:37:22 -070070#ifdef CONFIG_XFS_RT
Dave Chinner68988112013-08-12 20:49:42 +100071int
72xfs_bmap_rtalloc(
73 struct xfs_bmalloca *ap) /* bmap alloc argument struct */
74{
Dave Chinner68988112013-08-12 20:49:42 +100075 int error; /* error return value */
76 xfs_mount_t *mp; /* mount point structure */
77 xfs_extlen_t prod = 0; /* product factor for allocators */
Dave Chinner0703a8e2018-06-08 09:54:22 -070078 xfs_extlen_t mod = 0; /* product factor for allocators */
Dave Chinner68988112013-08-12 20:49:42 +100079 xfs_extlen_t ralen = 0; /* realtime allocation length */
80 xfs_extlen_t align; /* minimum allocation alignment */
81 xfs_rtblock_t rtb;
82
83 mp = ap->ip->i_mount;
84 align = xfs_get_extsz_hint(ap->ip);
85 prod = align / mp->m_sb.sb_rextsize;
86 error = xfs_bmap_extsize_align(mp, &ap->got, &ap->prev,
87 align, 1, ap->eof, 0,
88 ap->conv, &ap->offset, &ap->length);
89 if (error)
90 return error;
91 ASSERT(ap->length);
92 ASSERT(ap->length % mp->m_sb.sb_rextsize == 0);
93
94 /*
95 * If the offset & length are not perfectly aligned
96 * then kill prod, it will just get us in trouble.
97 */
Dave Chinner0703a8e2018-06-08 09:54:22 -070098 div_u64_rem(ap->offset, align, &mod);
99 if (mod || ap->length % align)
Dave Chinner68988112013-08-12 20:49:42 +1000100 prod = 1;
101 /*
102 * Set ralen to be the actual requested length in rtextents.
103 */
104 ralen = ap->length / mp->m_sb.sb_rextsize;
105 /*
106 * If the old value was close enough to MAXEXTLEN that
107 * we rounded up to it, cut it back so it's valid again.
108 * Note that if it's a really large request (bigger than
109 * MAXEXTLEN), we don't hear about that number, and can't
110 * adjust the starting point to match it.
111 */
112 if (ralen * mp->m_sb.sb_rextsize >= MAXEXTLEN)
113 ralen = MAXEXTLEN / mp->m_sb.sb_rextsize;
114
115 /*
Dave Chinner4b680af2016-02-08 10:46:51 +1100116 * Lock out modifications to both the RT bitmap and summary inodes
Dave Chinner68988112013-08-12 20:49:42 +1000117 */
Darrick J. Wongf4a06602016-08-03 11:00:42 +1000118 xfs_ilock(mp->m_rbmip, XFS_ILOCK_EXCL|XFS_ILOCK_RTBITMAP);
Dave Chinner68988112013-08-12 20:49:42 +1000119 xfs_trans_ijoin(ap->tp, mp->m_rbmip, XFS_ILOCK_EXCL);
Darrick J. Wongf4a06602016-08-03 11:00:42 +1000120 xfs_ilock(mp->m_rsumip, XFS_ILOCK_EXCL|XFS_ILOCK_RTSUM);
Dave Chinner4b680af2016-02-08 10:46:51 +1100121 xfs_trans_ijoin(ap->tp, mp->m_rsumip, XFS_ILOCK_EXCL);
Dave Chinner68988112013-08-12 20:49:42 +1000122
123 /*
124 * If it's an allocation to an empty file at offset 0,
125 * pick an extent that will space things out in the rt area.
126 */
127 if (ap->eof && ap->offset == 0) {
128 xfs_rtblock_t uninitialized_var(rtx); /* realtime extent no */
129
130 error = xfs_rtpick_extent(mp, ap->tp, ralen, &rtx);
131 if (error)
132 return error;
133 ap->blkno = rtx * mp->m_sb.sb_rextsize;
134 } else {
135 ap->blkno = 0;
136 }
137
138 xfs_bmap_adjacent(ap);
139
140 /*
141 * Realtime allocation, done through xfs_rtallocate_extent.
142 */
Dave Chinner68988112013-08-12 20:49:42 +1000143 do_div(ap->blkno, mp->m_sb.sb_rextsize);
144 rtb = ap->blkno;
145 ap->length = ralen;
Christoph Hellwig089ec2f2017-02-17 08:21:06 -0800146 error = xfs_rtallocate_extent(ap->tp, ap->blkno, 1, ap->length,
147 &ralen, ap->wasdel, prod, &rtb);
148 if (error)
Dave Chinner68988112013-08-12 20:49:42 +1000149 return error;
Christoph Hellwig089ec2f2017-02-17 08:21:06 -0800150
Dave Chinner68988112013-08-12 20:49:42 +1000151 ap->blkno = rtb;
152 if (ap->blkno != NULLFSBLOCK) {
153 ap->blkno *= mp->m_sb.sb_rextsize;
154 ralen *= mp->m_sb.sb_rextsize;
155 ap->length = ralen;
156 ap->ip->i_d.di_nblocks += ralen;
157 xfs_trans_log_inode(ap->tp, ap->ip, XFS_ILOG_CORE);
158 if (ap->wasdel)
159 ap->ip->i_delayed_blks -= ralen;
160 /*
161 * Adjust the disk quota also. This was reserved
162 * earlier.
163 */
164 xfs_trans_mod_dquot_byino(ap->tp, ap->ip,
165 ap->wasdel ? XFS_TRANS_DQ_DELRTBCOUNT :
166 XFS_TRANS_DQ_RTBCOUNT, (long) ralen);
Dave Chinner3fbbbea2015-11-03 12:27:22 +1100167
168 /* Zero the extent if we were asked to do so */
Dave Chinner292378e2016-09-26 08:21:28 +1000169 if (ap->datatype & XFS_ALLOC_USERDATA_ZERO) {
Dave Chinner3fbbbea2015-11-03 12:27:22 +1100170 error = xfs_zero_extent(ap->ip, ap->blkno, ap->length);
171 if (error)
172 return error;
173 }
Dave Chinner68988112013-08-12 20:49:42 +1000174 } else {
175 ap->length = 0;
176 }
177 return 0;
178}
Dave Chinnerbb9c2e52017-10-09 11:37:22 -0700179#endif /* CONFIG_XFS_RT */
Dave Chinner68988112013-08-12 20:49:42 +1000180
181/*
Dave Chinner68988112013-08-12 20:49:42 +1000182 * Check if the endoff is outside the last extent. If so the caller will grow
183 * the allocation to a stripe unit boundary. All offsets are considered outside
184 * the end of file for an empty fork, so 1 is returned in *eof in that case.
185 */
186int
187xfs_bmap_eof(
188 struct xfs_inode *ip,
189 xfs_fileoff_t endoff,
190 int whichfork,
191 int *eof)
192{
193 struct xfs_bmbt_irec rec;
194 int error;
195
196 error = xfs_bmap_last_extent(NULL, ip, whichfork, &rec, eof);
197 if (error || *eof)
198 return error;
199
200 *eof = endoff >= rec.br_startoff + rec.br_blockcount;
201 return 0;
202}
203
204/*
205 * Extent tree block counting routines.
206 */
207
208/*
Darrick J. Wongd29cb3e2017-06-16 11:00:12 -0700209 * Count leaf blocks given a range of extent records. Delayed allocation
210 * extents are not counted towards the totals.
Dave Chinner68988112013-08-12 20:49:42 +1000211 */
Christoph Hellwige17a5c62017-08-29 15:44:14 -0700212xfs_extnum_t
Dave Chinner68988112013-08-12 20:49:42 +1000213xfs_bmap_count_leaves(
Darrick J. Wongd29cb3e2017-06-16 11:00:12 -0700214 struct xfs_ifork *ifp,
Darrick J. Wonge7f5d5c2017-06-16 11:00:12 -0700215 xfs_filblks_t *count)
Dave Chinner68988112013-08-12 20:49:42 +1000216{
Christoph Hellwigb2b17122017-11-03 10:34:43 -0700217 struct xfs_iext_cursor icur;
Christoph Hellwige17a5c62017-08-29 15:44:14 -0700218 struct xfs_bmbt_irec got;
Christoph Hellwigb2b17122017-11-03 10:34:43 -0700219 xfs_extnum_t numrecs = 0;
Dave Chinner68988112013-08-12 20:49:42 +1000220
Christoph Hellwigb2b17122017-11-03 10:34:43 -0700221 for_each_xfs_iext(ifp, &icur, &got) {
Christoph Hellwige17a5c62017-08-29 15:44:14 -0700222 if (!isnullstartblock(got.br_startblock)) {
223 *count += got.br_blockcount;
224 numrecs++;
Darrick J. Wongd29cb3e2017-06-16 11:00:12 -0700225 }
Dave Chinner68988112013-08-12 20:49:42 +1000226 }
Christoph Hellwigb2b17122017-11-03 10:34:43 -0700227
Christoph Hellwige17a5c62017-08-29 15:44:14 -0700228 return numrecs;
Dave Chinner68988112013-08-12 20:49:42 +1000229}
230
231/*
232 * Count leaf blocks given a range of extent records originally
233 * in btree format.
234 */
235STATIC void
236xfs_bmap_disk_count_leaves(
237 struct xfs_mount *mp,
238 struct xfs_btree_block *block,
239 int numrecs,
Darrick J. Wonge7f5d5c2017-06-16 11:00:12 -0700240 xfs_filblks_t *count)
Dave Chinner68988112013-08-12 20:49:42 +1000241{
242 int b;
243 xfs_bmbt_rec_t *frp;
244
245 for (b = 1; b <= numrecs; b++) {
246 frp = XFS_BMBT_REC_ADDR(mp, block, b);
247 *count += xfs_bmbt_disk_get_blockcount(frp);
248 }
249}
250
251/*
252 * Recursively walks each level of a btree
Zhi Yong Wu8be11e92013-08-12 03:14:52 +0000253 * to count total fsblocks in use.
Dave Chinner68988112013-08-12 20:49:42 +1000254 */
Darrick J. Wonge7f5d5c2017-06-16 11:00:12 -0700255STATIC int
Dave Chinner68988112013-08-12 20:49:42 +1000256xfs_bmap_count_tree(
Darrick J. Wonge7f5d5c2017-06-16 11:00:12 -0700257 struct xfs_mount *mp,
258 struct xfs_trans *tp,
259 struct xfs_ifork *ifp,
260 xfs_fsblock_t blockno,
261 int levelin,
262 xfs_extnum_t *nextents,
263 xfs_filblks_t *count)
Dave Chinner68988112013-08-12 20:49:42 +1000264{
265 int error;
Darrick J. Wonge7f5d5c2017-06-16 11:00:12 -0700266 struct xfs_buf *bp, *nbp;
Dave Chinner68988112013-08-12 20:49:42 +1000267 int level = levelin;
268 __be64 *pp;
269 xfs_fsblock_t bno = blockno;
270 xfs_fsblock_t nextbno;
271 struct xfs_btree_block *block, *nextblock;
272 int numrecs;
273
Eric Sandeenf5b999c2019-06-12 09:00:00 -0700274 error = xfs_btree_read_bufl(mp, tp, bno, &bp, XFS_BMAP_BTREE_REF,
Dave Chinner68988112013-08-12 20:49:42 +1000275 &xfs_bmbt_buf_ops);
276 if (error)
277 return error;
278 *count += 1;
279 block = XFS_BUF_TO_BLOCK(bp);
280
281 if (--level) {
282 /* Not at node above leaves, count this level of nodes */
283 nextbno = be64_to_cpu(block->bb_u.l.bb_rightsib);
284 while (nextbno != NULLFSBLOCK) {
Eric Sandeenf5b999c2019-06-12 09:00:00 -0700285 error = xfs_btree_read_bufl(mp, tp, nextbno, &nbp,
Dave Chinner68988112013-08-12 20:49:42 +1000286 XFS_BMAP_BTREE_REF,
287 &xfs_bmbt_buf_ops);
288 if (error)
289 return error;
290 *count += 1;
291 nextblock = XFS_BUF_TO_BLOCK(nbp);
292 nextbno = be64_to_cpu(nextblock->bb_u.l.bb_rightsib);
293 xfs_trans_brelse(tp, nbp);
294 }
295
296 /* Dive to the next level */
297 pp = XFS_BMBT_PTR_ADDR(mp, block, 1, mp->m_bmap_dmxr[1]);
298 bno = be64_to_cpu(*pp);
Darrick J. Wonge7f5d5c2017-06-16 11:00:12 -0700299 error = xfs_bmap_count_tree(mp, tp, ifp, bno, level, nextents,
300 count);
301 if (error) {
Dave Chinner68988112013-08-12 20:49:42 +1000302 xfs_trans_brelse(tp, bp);
303 XFS_ERROR_REPORT("xfs_bmap_count_tree(1)",
304 XFS_ERRLEVEL_LOW, mp);
Dave Chinner24513372014-06-25 14:58:08 +1000305 return -EFSCORRUPTED;
Dave Chinner68988112013-08-12 20:49:42 +1000306 }
307 xfs_trans_brelse(tp, bp);
308 } else {
309 /* count all level 1 nodes and their leaves */
310 for (;;) {
311 nextbno = be64_to_cpu(block->bb_u.l.bb_rightsib);
312 numrecs = be16_to_cpu(block->bb_numrecs);
Darrick J. Wonge7f5d5c2017-06-16 11:00:12 -0700313 (*nextents) += numrecs;
Dave Chinner68988112013-08-12 20:49:42 +1000314 xfs_bmap_disk_count_leaves(mp, block, numrecs, count);
315 xfs_trans_brelse(tp, bp);
316 if (nextbno == NULLFSBLOCK)
317 break;
318 bno = nextbno;
Eric Sandeenf5b999c2019-06-12 09:00:00 -0700319 error = xfs_btree_read_bufl(mp, tp, bno, &bp,
Dave Chinner68988112013-08-12 20:49:42 +1000320 XFS_BMAP_BTREE_REF,
321 &xfs_bmbt_buf_ops);
322 if (error)
323 return error;
324 *count += 1;
325 block = XFS_BUF_TO_BLOCK(bp);
326 }
327 }
328 return 0;
329}
330
331/*
Darrick J. Wongd29cb3e2017-06-16 11:00:12 -0700332 * Count fsblocks of the given fork. Delayed allocation extents are
333 * not counted towards the totals.
Dave Chinner68988112013-08-12 20:49:42 +1000334 */
Darrick J. Wonge7f5d5c2017-06-16 11:00:12 -0700335int
Dave Chinner68988112013-08-12 20:49:42 +1000336xfs_bmap_count_blocks(
Darrick J. Wonge7f5d5c2017-06-16 11:00:12 -0700337 struct xfs_trans *tp,
338 struct xfs_inode *ip,
339 int whichfork,
340 xfs_extnum_t *nextents,
341 xfs_filblks_t *count)
Dave Chinner68988112013-08-12 20:49:42 +1000342{
Darrick J. Wonge7f5d5c2017-06-16 11:00:12 -0700343 struct xfs_mount *mp; /* file system mount structure */
Dave Chinner68988112013-08-12 20:49:42 +1000344 __be64 *pp; /* pointer to block address */
Darrick J. Wonge7f5d5c2017-06-16 11:00:12 -0700345 struct xfs_btree_block *block; /* current btree block */
346 struct xfs_ifork *ifp; /* fork structure */
347 xfs_fsblock_t bno; /* block # of "block" */
348 int level; /* btree level, for checking */
349 int error;
Dave Chinner68988112013-08-12 20:49:42 +1000350
351 bno = NULLFSBLOCK;
352 mp = ip->i_mount;
Darrick J. Wonge7f5d5c2017-06-16 11:00:12 -0700353 *nextents = 0;
354 *count = 0;
Dave Chinner68988112013-08-12 20:49:42 +1000355 ifp = XFS_IFORK_PTR(ip, whichfork);
Darrick J. Wonge7f5d5c2017-06-16 11:00:12 -0700356 if (!ifp)
Dave Chinner68988112013-08-12 20:49:42 +1000357 return 0;
Dave Chinner68988112013-08-12 20:49:42 +1000358
Darrick J. Wonge7f5d5c2017-06-16 11:00:12 -0700359 switch (XFS_IFORK_FORMAT(ip, whichfork)) {
360 case XFS_DINODE_FMT_EXTENTS:
Christoph Hellwige17a5c62017-08-29 15:44:14 -0700361 *nextents = xfs_bmap_count_leaves(ifp, count);
Darrick J. Wonge7f5d5c2017-06-16 11:00:12 -0700362 return 0;
363 case XFS_DINODE_FMT_BTREE:
364 if (!(ifp->if_flags & XFS_IFEXTENTS)) {
365 error = xfs_iread_extents(tp, ip, whichfork);
366 if (error)
367 return error;
368 }
Dave Chinner68988112013-08-12 20:49:42 +1000369
Darrick J. Wonge7f5d5c2017-06-16 11:00:12 -0700370 /*
371 * Root level must use BMAP_BROOT_PTR_ADDR macro to get ptr out.
372 */
373 block = ifp->if_broot;
374 level = be16_to_cpu(block->bb_level);
375 ASSERT(level > 0);
376 pp = XFS_BMAP_BROOT_PTR_ADDR(mp, block, 1, ifp->if_broot_bytes);
377 bno = be64_to_cpu(*pp);
378 ASSERT(bno != NULLFSBLOCK);
379 ASSERT(XFS_FSB_TO_AGNO(mp, bno) < mp->m_sb.sb_agcount);
380 ASSERT(XFS_FSB_TO_AGBNO(mp, bno) < mp->m_sb.sb_agblocks);
381
382 error = xfs_bmap_count_tree(mp, tp, ifp, bno, level,
383 nextents, count);
384 if (error) {
385 XFS_ERROR_REPORT("xfs_bmap_count_blocks(2)",
386 XFS_ERRLEVEL_LOW, mp);
387 return -EFSCORRUPTED;
388 }
389 return 0;
Dave Chinner68988112013-08-12 20:49:42 +1000390 }
391
392 return 0;
393}
394
Christoph Hellwigabbf9e82017-10-17 14:16:18 -0700395static int
396xfs_getbmap_report_one(
397 struct xfs_inode *ip,
398 struct getbmapx *bmv,
Christoph Hellwig232b51942017-10-17 14:16:19 -0700399 struct kgetbmap *out,
Christoph Hellwigabbf9e82017-10-17 14:16:18 -0700400 int64_t bmv_end,
401 struct xfs_bmbt_irec *got)
Dave Chinner68988112013-08-12 20:49:42 +1000402{
Christoph Hellwig232b51942017-10-17 14:16:19 -0700403 struct kgetbmap *p = out + bmv->bmv_entries;
Christoph Hellwigd392bc82018-10-18 17:19:48 +1100404 bool shared = false;
Christoph Hellwigabbf9e82017-10-17 14:16:18 -0700405 int error;
Dave Chinner68988112013-08-12 20:49:42 +1000406
Christoph Hellwigd392bc82018-10-18 17:19:48 +1100407 error = xfs_reflink_trim_around_shared(ip, got, &shared);
Darrick J. Wongf86f4032016-10-03 09:11:41 -0700408 if (error)
409 return error;
410
Christoph Hellwigabbf9e82017-10-17 14:16:18 -0700411 if (isnullstartblock(got->br_startblock) ||
412 got->br_startblock == DELAYSTARTBLOCK) {
Darrick J. Wongf86f4032016-10-03 09:11:41 -0700413 /*
Christoph Hellwigabbf9e82017-10-17 14:16:18 -0700414 * Delalloc extents that start beyond EOF can occur due to
415 * speculative EOF allocation when the delalloc extent is larger
416 * than the largest freespace extent at conversion time. These
417 * extents cannot be converted by data writeback, so can exist
418 * here even if we are not supposed to be finding delalloc
419 * extents.
Darrick J. Wongf86f4032016-10-03 09:11:41 -0700420 */
Christoph Hellwigabbf9e82017-10-17 14:16:18 -0700421 if (got->br_startoff < XFS_B_TO_FSB(ip->i_mount, XFS_ISIZE(ip)))
422 ASSERT((bmv->bmv_iflags & BMV_IF_DELALLOC) != 0);
423
424 p->bmv_oflags |= BMV_OF_DELALLOC;
425 p->bmv_block = -2;
Darrick J. Wongf86f4032016-10-03 09:11:41 -0700426 } else {
Christoph Hellwigabbf9e82017-10-17 14:16:18 -0700427 p->bmv_block = xfs_fsb_to_db(ip, got->br_startblock);
Darrick J. Wongf86f4032016-10-03 09:11:41 -0700428 }
429
Christoph Hellwigabbf9e82017-10-17 14:16:18 -0700430 if (got->br_state == XFS_EXT_UNWRITTEN &&
431 (bmv->bmv_iflags & BMV_IF_PREALLOC))
432 p->bmv_oflags |= BMV_OF_PREALLOC;
433
434 if (shared)
435 p->bmv_oflags |= BMV_OF_SHARED;
436
437 p->bmv_offset = XFS_FSB_TO_BB(ip->i_mount, got->br_startoff);
438 p->bmv_length = XFS_FSB_TO_BB(ip->i_mount, got->br_blockcount);
439
440 bmv->bmv_offset = p->bmv_offset + p->bmv_length;
441 bmv->bmv_length = max(0LL, bmv_end - bmv->bmv_offset);
442 bmv->bmv_entries++;
Darrick J. Wongf86f4032016-10-03 09:11:41 -0700443 return 0;
444}
445
Christoph Hellwigabbf9e82017-10-17 14:16:18 -0700446static void
447xfs_getbmap_report_hole(
448 struct xfs_inode *ip,
449 struct getbmapx *bmv,
Christoph Hellwig232b51942017-10-17 14:16:19 -0700450 struct kgetbmap *out,
Christoph Hellwigabbf9e82017-10-17 14:16:18 -0700451 int64_t bmv_end,
452 xfs_fileoff_t bno,
453 xfs_fileoff_t end)
454{
Christoph Hellwig232b51942017-10-17 14:16:19 -0700455 struct kgetbmap *p = out + bmv->bmv_entries;
Christoph Hellwigabbf9e82017-10-17 14:16:18 -0700456
457 if (bmv->bmv_iflags & BMV_IF_NO_HOLES)
458 return;
459
460 p->bmv_block = -1;
461 p->bmv_offset = XFS_FSB_TO_BB(ip->i_mount, bno);
462 p->bmv_length = XFS_FSB_TO_BB(ip->i_mount, end - bno);
463
464 bmv->bmv_offset = p->bmv_offset + p->bmv_length;
465 bmv->bmv_length = max(0LL, bmv_end - bmv->bmv_offset);
466 bmv->bmv_entries++;
467}
468
469static inline bool
470xfs_getbmap_full(
471 struct getbmapx *bmv)
472{
473 return bmv->bmv_length == 0 || bmv->bmv_entries >= bmv->bmv_count - 1;
474}
475
476static bool
477xfs_getbmap_next_rec(
478 struct xfs_bmbt_irec *rec,
479 xfs_fileoff_t total_end)
480{
481 xfs_fileoff_t end = rec->br_startoff + rec->br_blockcount;
482
483 if (end == total_end)
484 return false;
485
486 rec->br_startoff += rec->br_blockcount;
487 if (!isnullstartblock(rec->br_startblock) &&
488 rec->br_startblock != DELAYSTARTBLOCK)
489 rec->br_startblock += rec->br_blockcount;
490 rec->br_blockcount = total_end - end;
491 return true;
492}
493
Dave Chinner68988112013-08-12 20:49:42 +1000494/*
495 * Get inode's extents as described in bmv, and format for output.
496 * Calls formatter to fill the user's buffer until all extents
497 * are mapped, until the passed-in bmv->bmv_count slots have
498 * been filled, or until the formatter short-circuits the loop,
499 * if it is tracking filled-in extents on its own.
500 */
501int /* error code */
502xfs_getbmap(
Christoph Hellwig232b51942017-10-17 14:16:19 -0700503 struct xfs_inode *ip,
Dave Chinner68988112013-08-12 20:49:42 +1000504 struct getbmapx *bmv, /* user bmap structure */
Christoph Hellwig232b51942017-10-17 14:16:19 -0700505 struct kgetbmap *out)
Dave Chinner68988112013-08-12 20:49:42 +1000506{
Christoph Hellwigabbf9e82017-10-17 14:16:18 -0700507 struct xfs_mount *mp = ip->i_mount;
508 int iflags = bmv->bmv_iflags;
Christoph Hellwig232b51942017-10-17 14:16:19 -0700509 int whichfork, lock, error = 0;
Christoph Hellwigabbf9e82017-10-17 14:16:18 -0700510 int64_t bmv_end, max_len;
511 xfs_fileoff_t bno, first_bno;
512 struct xfs_ifork *ifp;
Christoph Hellwigabbf9e82017-10-17 14:16:18 -0700513 struct xfs_bmbt_irec got, rec;
514 xfs_filblks_t len;
Christoph Hellwigb2b17122017-11-03 10:34:43 -0700515 struct xfs_iext_cursor icur;
Dave Chinner68988112013-08-12 20:49:42 +1000516
Christoph Hellwig232b51942017-10-17 14:16:19 -0700517 if (bmv->bmv_iflags & ~BMV_IF_VALID)
518 return -EINVAL;
Darrick J. Wongf86f4032016-10-03 09:11:41 -0700519#ifndef DEBUG
520 /* Only allow CoW fork queries if we're debugging. */
521 if (iflags & BMV_IF_COWFORK)
522 return -EINVAL;
523#endif
524 if ((iflags & BMV_IF_ATTRFORK) && (iflags & BMV_IF_COWFORK))
525 return -EINVAL;
526
Christoph Hellwigabbf9e82017-10-17 14:16:18 -0700527 if (bmv->bmv_length < -1)
528 return -EINVAL;
Christoph Hellwigabbf9e82017-10-17 14:16:18 -0700529 bmv->bmv_entries = 0;
530 if (bmv->bmv_length == 0)
531 return 0;
532
Darrick J. Wongf86f4032016-10-03 09:11:41 -0700533 if (iflags & BMV_IF_ATTRFORK)
534 whichfork = XFS_ATTR_FORK;
535 else if (iflags & BMV_IF_COWFORK)
536 whichfork = XFS_COW_FORK;
537 else
538 whichfork = XFS_DATA_FORK;
Christoph Hellwigabbf9e82017-10-17 14:16:18 -0700539 ifp = XFS_IFORK_PTR(ip, whichfork);
Dave Chinner68988112013-08-12 20:49:42 +1000540
541 xfs_ilock(ip, XFS_IOLOCK_SHARED);
Darrick J. Wongf86f4032016-10-03 09:11:41 -0700542 switch (whichfork) {
Christoph Hellwigabbf9e82017-10-17 14:16:18 -0700543 case XFS_ATTR_FORK:
544 if (!XFS_IFORK_Q(ip))
545 goto out_unlock_iolock;
546
547 max_len = 1LL << 32;
548 lock = xfs_ilock_attr_map_shared(ip);
549 break;
550 case XFS_COW_FORK:
551 /* No CoW fork? Just return */
552 if (!ifp)
553 goto out_unlock_iolock;
554
555 if (xfs_get_cowextsz_hint(ip))
556 max_len = mp->m_super->s_maxbytes;
557 else
558 max_len = XFS_ISIZE(ip);
559
560 lock = XFS_ILOCK_SHARED;
561 xfs_ilock(ip, lock);
562 break;
Darrick J. Wongf86f4032016-10-03 09:11:41 -0700563 case XFS_DATA_FORK:
Christoph Hellwigefa70be2013-12-18 02:14:39 -0800564 if (!(iflags & BMV_IF_DELALLOC) &&
565 (ip->i_delayed_blks || XFS_ISIZE(ip) > ip->i_d.di_size)) {
Dave Chinner24513372014-06-25 14:58:08 +1000566 error = filemap_write_and_wait(VFS_I(ip)->i_mapping);
Dave Chinner68988112013-08-12 20:49:42 +1000567 if (error)
568 goto out_unlock_iolock;
Dave Chinner68988112013-08-12 20:49:42 +1000569
Christoph Hellwigefa70be2013-12-18 02:14:39 -0800570 /*
571 * Even after flushing the inode, there can still be
572 * delalloc blocks on the inode beyond EOF due to
573 * speculative preallocation. These are not removed
574 * until the release function is called or the inode
575 * is inactivated. Hence we cannot assert here that
576 * ip->i_delayed_blks == 0.
577 */
578 }
579
Christoph Hellwigabbf9e82017-10-17 14:16:18 -0700580 if (xfs_get_extsz_hint(ip) ||
581 (ip->i_d.di_flags &
582 (XFS_DIFLAG_PREALLOC | XFS_DIFLAG_APPEND)))
583 max_len = mp->m_super->s_maxbytes;
584 else
585 max_len = XFS_ISIZE(ip);
586
Christoph Hellwigefa70be2013-12-18 02:14:39 -0800587 lock = xfs_ilock_data_map_shared(ip);
Darrick J. Wongf86f4032016-10-03 09:11:41 -0700588 break;
Christoph Hellwigefa70be2013-12-18 02:14:39 -0800589 }
Dave Chinner68988112013-08-12 20:49:42 +1000590
Christoph Hellwigabbf9e82017-10-17 14:16:18 -0700591 switch (XFS_IFORK_FORMAT(ip, whichfork)) {
592 case XFS_DINODE_FMT_EXTENTS:
593 case XFS_DINODE_FMT_BTREE:
594 break;
595 case XFS_DINODE_FMT_LOCAL:
596 /* Local format inode forks report no extents. */
Dave Chinner68988112013-08-12 20:49:42 +1000597 goto out_unlock_ilock;
Christoph Hellwigabbf9e82017-10-17 14:16:18 -0700598 default:
599 error = -EINVAL;
600 goto out_unlock_ilock;
Dave Chinner68988112013-08-12 20:49:42 +1000601 }
602
Christoph Hellwigabbf9e82017-10-17 14:16:18 -0700603 if (bmv->bmv_length == -1) {
604 max_len = XFS_FSB_TO_BB(mp, XFS_B_TO_FSB(mp, max_len));
605 bmv->bmv_length = max(0LL, max_len - bmv->bmv_offset);
606 }
607
608 bmv_end = bmv->bmv_offset + bmv->bmv_length;
609
610 first_bno = bno = XFS_BB_TO_FSBT(mp, bmv->bmv_offset);
611 len = XFS_BB_TO_FSB(mp, bmv->bmv_length);
612
613 if (!(ifp->if_flags & XFS_IFEXTENTS)) {
614 error = xfs_iread_extents(NULL, ip, whichfork);
Dave Chinner68988112013-08-12 20:49:42 +1000615 if (error)
Christoph Hellwigabbf9e82017-10-17 14:16:18 -0700616 goto out_unlock_ilock;
617 }
Dave Chinner68988112013-08-12 20:49:42 +1000618
Christoph Hellwigb2b17122017-11-03 10:34:43 -0700619 if (!xfs_iext_lookup_extent(ip, ifp, bno, &icur, &got)) {
Christoph Hellwigabbf9e82017-10-17 14:16:18 -0700620 /*
621 * Report a whole-file hole if the delalloc flag is set to
622 * stay compatible with the old implementation.
623 */
624 if (iflags & BMV_IF_DELALLOC)
625 xfs_getbmap_report_hole(ip, bmv, out, bmv_end, bno,
626 XFS_B_TO_FSB(mp, XFS_ISIZE(ip)));
627 goto out_unlock_ilock;
628 }
Dave Chinner68988112013-08-12 20:49:42 +1000629
Christoph Hellwigabbf9e82017-10-17 14:16:18 -0700630 while (!xfs_getbmap_full(bmv)) {
631 xfs_trim_extent(&got, first_bno, len);
Dave Chinner68988112013-08-12 20:49:42 +1000632
Christoph Hellwigabbf9e82017-10-17 14:16:18 -0700633 /*
634 * Report an entry for a hole if this extent doesn't directly
635 * follow the previous one.
636 */
637 if (got.br_startoff > bno) {
638 xfs_getbmap_report_hole(ip, bmv, out, bmv_end, bno,
639 got.br_startoff);
640 if (xfs_getbmap_full(bmv))
641 break;
Dave Chinner68988112013-08-12 20:49:42 +1000642 }
Dave Chinner68988112013-08-12 20:49:42 +1000643
Christoph Hellwigabbf9e82017-10-17 14:16:18 -0700644 /*
645 * In order to report shared extents accurately, we report each
646 * distinct shared / unshared part of a single bmbt record with
647 * an individual getbmapx record.
648 */
649 bno = got.br_startoff + got.br_blockcount;
650 rec = got;
651 do {
652 error = xfs_getbmap_report_one(ip, bmv, out, bmv_end,
653 &rec);
654 if (error || xfs_getbmap_full(bmv))
655 goto out_unlock_ilock;
656 } while (xfs_getbmap_next_rec(&rec, bno));
657
Christoph Hellwigb2b17122017-11-03 10:34:43 -0700658 if (!xfs_iext_next_extent(ifp, &icur, &got)) {
Christoph Hellwigabbf9e82017-10-17 14:16:18 -0700659 xfs_fileoff_t end = XFS_B_TO_FSB(mp, XFS_ISIZE(ip));
660
661 out[bmv->bmv_entries - 1].bmv_oflags |= BMV_OF_LAST;
662
663 if (whichfork != XFS_ATTR_FORK && bno < end &&
664 !xfs_getbmap_full(bmv)) {
665 xfs_getbmap_report_hole(ip, bmv, out, bmv_end,
666 bno, end);
667 }
668 break;
669 }
670
671 if (bno >= first_bno + len)
672 break;
673 }
674
675out_unlock_ilock:
Christoph Hellwig01f4f322013-12-06 12:30:08 -0800676 xfs_iunlock(ip, lock);
Christoph Hellwigabbf9e82017-10-17 14:16:18 -0700677out_unlock_iolock:
Dave Chinner68988112013-08-12 20:49:42 +1000678 xfs_iunlock(ip, XFS_IOLOCK_SHARED);
Dave Chinner68988112013-08-12 20:49:42 +1000679 return error;
680}
681
682/*
Christoph Hellwige2ac8362018-06-21 23:24:38 -0700683 * Dead simple method of punching delalyed allocation blocks from a range in
684 * the inode. This will always punch out both the start and end blocks, even
685 * if the ranges only partially overlap them, so it is up to the caller to
686 * ensure that partial blocks are not passed in.
Dave Chinner68988112013-08-12 20:49:42 +1000687 */
688int
689xfs_bmap_punch_delalloc_range(
690 struct xfs_inode *ip,
691 xfs_fileoff_t start_fsb,
692 xfs_fileoff_t length)
693{
Christoph Hellwige2ac8362018-06-21 23:24:38 -0700694 struct xfs_ifork *ifp = &ip->i_df;
695 xfs_fileoff_t end_fsb = start_fsb + length;
696 struct xfs_bmbt_irec got, del;
697 struct xfs_iext_cursor icur;
Dave Chinner68988112013-08-12 20:49:42 +1000698 int error = 0;
699
Christoph Hellwig0065b542018-09-29 13:47:46 +1000700 ASSERT(ifp->if_flags & XFS_IFEXTENTS);
Dave Chinner68988112013-08-12 20:49:42 +1000701
Christoph Hellwig0065b542018-09-29 13:47:46 +1000702 xfs_ilock(ip, XFS_ILOCK_EXCL);
Christoph Hellwige2ac8362018-06-21 23:24:38 -0700703 if (!xfs_iext_lookup_extent_before(ip, ifp, &end_fsb, &icur, &got))
Christoph Hellwigd4380172018-07-11 22:25:57 -0700704 goto out_unlock;
Christoph Hellwige2ac8362018-06-21 23:24:38 -0700705
706 while (got.br_startoff + got.br_blockcount > start_fsb) {
707 del = got;
708 xfs_trim_extent(&del, start_fsb, length);
709
710 /*
711 * A delete can push the cursor forward. Step back to the
712 * previous extent on non-delalloc or extents outside the
713 * target range.
714 */
715 if (!del.br_blockcount ||
716 !isnullstartblock(del.br_startblock)) {
717 if (!xfs_iext_prev_extent(ifp, &icur, &got))
718 break;
719 continue;
720 }
721
722 error = xfs_bmap_del_extent_delay(ip, XFS_DATA_FORK, &icur,
723 &got, &del);
724 if (error || !xfs_iext_get_extent(ifp, &icur, &got))
725 break;
726 }
Dave Chinner68988112013-08-12 20:49:42 +1000727
Christoph Hellwigd4380172018-07-11 22:25:57 -0700728out_unlock:
729 xfs_iunlock(ip, XFS_ILOCK_EXCL);
Dave Chinner68988112013-08-12 20:49:42 +1000730 return error;
731}
Dave Chinnerc24b5df2013-08-12 20:49:45 +1000732
733/*
734 * Test whether it is appropriate to check an inode for and free post EOF
735 * blocks. The 'force' parameter determines whether we should also consider
736 * regular files that are marked preallocated or append-only.
737 */
738bool
739xfs_can_free_eofblocks(struct xfs_inode *ip, bool force)
740{
741 /* prealloc/delalloc exists only on regular files */
Dave Chinnerc19b3b052016-02-09 16:54:58 +1100742 if (!S_ISREG(VFS_I(ip)->i_mode))
Dave Chinnerc24b5df2013-08-12 20:49:45 +1000743 return false;
744
745 /*
746 * Zero sized files with no cached pages and delalloc blocks will not
747 * have speculative prealloc/delalloc blocks to remove.
748 */
749 if (VFS_I(ip)->i_size == 0 &&
Dave Chinner2667c6f2014-08-04 13:23:15 +1000750 VFS_I(ip)->i_mapping->nrpages == 0 &&
Dave Chinnerc24b5df2013-08-12 20:49:45 +1000751 ip->i_delayed_blks == 0)
752 return false;
753
754 /* If we haven't read in the extent list, then don't do it now. */
755 if (!(ip->i_df.if_flags & XFS_IFEXTENTS))
756 return false;
757
758 /*
759 * Do not free real preallocated or append-only files unless the file
760 * has delalloc blocks and we are forced to remove them.
761 */
762 if (ip->i_d.di_flags & (XFS_DIFLAG_PREALLOC | XFS_DIFLAG_APPEND))
763 if (!force || ip->i_delayed_blks == 0)
764 return false;
765
766 return true;
767}
768
769/*
Brian Foster3b4683c2017-04-11 10:50:05 -0700770 * This is called to free any blocks beyond eof. The caller must hold
771 * IOLOCK_EXCL unless we are in the inode reclaim path and have the only
772 * reference to the inode.
Dave Chinnerc24b5df2013-08-12 20:49:45 +1000773 */
774int
775xfs_free_eofblocks(
Brian Fostera36b9262017-01-27 23:22:55 -0800776 struct xfs_inode *ip)
Dave Chinnerc24b5df2013-08-12 20:49:45 +1000777{
Brian Fostera36b9262017-01-27 23:22:55 -0800778 struct xfs_trans *tp;
779 int error;
780 xfs_fileoff_t end_fsb;
781 xfs_fileoff_t last_fsb;
782 xfs_filblks_t map_len;
783 int nimaps;
784 struct xfs_bmbt_irec imap;
785 struct xfs_mount *mp = ip->i_mount;
786
Dave Chinnerc24b5df2013-08-12 20:49:45 +1000787 /*
788 * Figure out if there are any blocks beyond the end
789 * of the file. If not, then there is nothing to do.
790 */
791 end_fsb = XFS_B_TO_FSB(mp, (xfs_ufsize_t)XFS_ISIZE(ip));
792 last_fsb = XFS_B_TO_FSB(mp, mp->m_super->s_maxbytes);
793 if (last_fsb <= end_fsb)
794 return 0;
795 map_len = last_fsb - end_fsb;
796
797 nimaps = 1;
798 xfs_ilock(ip, XFS_ILOCK_SHARED);
799 error = xfs_bmapi_read(ip, end_fsb, map_len, &imap, &nimaps, 0);
800 xfs_iunlock(ip, XFS_ILOCK_SHARED);
801
Brian Fostera36b9262017-01-27 23:22:55 -0800802 /*
803 * If there are blocks after the end of file, truncate the file to its
804 * current size to free them up.
805 */
Dave Chinnerc24b5df2013-08-12 20:49:45 +1000806 if (!error && (nimaps != 0) &&
807 (imap.br_startblock != HOLESTARTBLOCK ||
808 ip->i_delayed_blks)) {
809 /*
810 * Attach the dquots to the inode up front.
811 */
Darrick J. Wongc14cfcc2018-05-04 15:30:21 -0700812 error = xfs_qm_dqattach(ip);
Dave Chinnerc24b5df2013-08-12 20:49:45 +1000813 if (error)
814 return error;
815
Brian Fostere4229d6b2017-01-27 23:22:57 -0800816 /* wait on dio to ensure i_size has settled */
817 inode_dio_wait(VFS_I(ip));
818
Christoph Hellwig253f4912016-04-06 09:19:55 +1000819 error = xfs_trans_alloc(mp, &M_RES(mp)->tr_itruncate, 0, 0, 0,
820 &tp);
Dave Chinnerc24b5df2013-08-12 20:49:45 +1000821 if (error) {
822 ASSERT(XFS_FORCED_SHUTDOWN(mp));
Dave Chinnerc24b5df2013-08-12 20:49:45 +1000823 return error;
824 }
825
826 xfs_ilock(ip, XFS_ILOCK_EXCL);
827 xfs_trans_ijoin(tp, ip, 0);
828
829 /*
830 * Do not update the on-disk file size. If we update the
831 * on-disk file size and then the system crashes before the
832 * contents of the file are flushed to disk then the files
833 * may be full of holes (ie NULL files bug).
834 */
Brian Foster4e529332018-05-10 09:35:42 -0700835 error = xfs_itruncate_extents_flags(&tp, ip, XFS_DATA_FORK,
836 XFS_ISIZE(ip), XFS_BMAPI_NODISCARD);
Dave Chinnerc24b5df2013-08-12 20:49:45 +1000837 if (error) {
838 /*
839 * If we get an error at this point we simply don't
840 * bother truncating the file.
841 */
Christoph Hellwig4906e212015-06-04 13:47:56 +1000842 xfs_trans_cancel(tp);
Dave Chinnerc24b5df2013-08-12 20:49:45 +1000843 } else {
Christoph Hellwig70393312015-06-04 13:48:08 +1000844 error = xfs_trans_commit(tp);
Dave Chinnerc24b5df2013-08-12 20:49:45 +1000845 if (!error)
846 xfs_inode_clear_eofblocks_tag(ip);
847 }
848
849 xfs_iunlock(ip, XFS_ILOCK_EXCL);
Dave Chinnerc24b5df2013-08-12 20:49:45 +1000850 }
851 return error;
852}
853
Christoph Hellwig83aee9e2013-10-12 00:55:07 -0700854int
Dave Chinnerc24b5df2013-08-12 20:49:45 +1000855xfs_alloc_file_space(
Christoph Hellwig83aee9e2013-10-12 00:55:07 -0700856 struct xfs_inode *ip,
Dave Chinnerc24b5df2013-08-12 20:49:45 +1000857 xfs_off_t offset,
858 xfs_off_t len,
Christoph Hellwig5f8aca82013-10-12 00:55:06 -0700859 int alloc_type)
Dave Chinnerc24b5df2013-08-12 20:49:45 +1000860{
861 xfs_mount_t *mp = ip->i_mount;
862 xfs_off_t count;
863 xfs_filblks_t allocated_fsb;
864 xfs_filblks_t allocatesize_fsb;
865 xfs_extlen_t extsz, temp;
866 xfs_fileoff_t startoffset_fsb;
Max Reitze093c4b2019-09-30 11:29:44 -0700867 xfs_fileoff_t endoffset_fsb;
Dave Chinnerc24b5df2013-08-12 20:49:45 +1000868 int nimaps;
869 int quota_flag;
870 int rt;
871 xfs_trans_t *tp;
872 xfs_bmbt_irec_t imaps[1], *imapp;
Dave Chinnerc24b5df2013-08-12 20:49:45 +1000873 uint qblocks, resblks, resrtextents;
Dave Chinnerc24b5df2013-08-12 20:49:45 +1000874 int error;
875
876 trace_xfs_alloc_file_space(ip);
877
878 if (XFS_FORCED_SHUTDOWN(mp))
Dave Chinner24513372014-06-25 14:58:08 +1000879 return -EIO;
Dave Chinnerc24b5df2013-08-12 20:49:45 +1000880
Darrick J. Wongc14cfcc2018-05-04 15:30:21 -0700881 error = xfs_qm_dqattach(ip);
Dave Chinnerc24b5df2013-08-12 20:49:45 +1000882 if (error)
883 return error;
884
885 if (len <= 0)
Dave Chinner24513372014-06-25 14:58:08 +1000886 return -EINVAL;
Dave Chinnerc24b5df2013-08-12 20:49:45 +1000887
888 rt = XFS_IS_REALTIME_INODE(ip);
889 extsz = xfs_get_extsz_hint(ip);
890
891 count = len;
892 imapp = &imaps[0];
893 nimaps = 1;
894 startoffset_fsb = XFS_B_TO_FSBT(mp, offset);
Max Reitze093c4b2019-09-30 11:29:44 -0700895 endoffset_fsb = XFS_B_TO_FSB(mp, offset + count);
896 allocatesize_fsb = endoffset_fsb - startoffset_fsb;
Dave Chinnerc24b5df2013-08-12 20:49:45 +1000897
898 /*
899 * Allocate file space until done or until there is an error
900 */
901 while (allocatesize_fsb && !error) {
902 xfs_fileoff_t s, e;
903
904 /*
905 * Determine space reservations for data/realtime.
906 */
907 if (unlikely(extsz)) {
908 s = startoffset_fsb;
909 do_div(s, extsz);
910 s *= extsz;
911 e = startoffset_fsb + allocatesize_fsb;
Dave Chinner0703a8e2018-06-08 09:54:22 -0700912 div_u64_rem(startoffset_fsb, extsz, &temp);
913 if (temp)
Dave Chinnerc24b5df2013-08-12 20:49:45 +1000914 e += temp;
Dave Chinner0703a8e2018-06-08 09:54:22 -0700915 div_u64_rem(e, extsz, &temp);
916 if (temp)
Dave Chinnerc24b5df2013-08-12 20:49:45 +1000917 e += extsz - temp;
918 } else {
919 s = 0;
920 e = allocatesize_fsb;
921 }
922
923 /*
924 * The transaction reservation is limited to a 32-bit block
925 * count, hence we need to limit the number of blocks we are
926 * trying to reserve to avoid an overflow. We can't allocate
927 * more than @nimaps extents, and an extent is limited on disk
928 * to MAXEXTLEN (21 bits), so use that to enforce the limit.
929 */
930 resblks = min_t(xfs_fileoff_t, (e - s), (MAXEXTLEN * nimaps));
931 if (unlikely(rt)) {
932 resrtextents = qblocks = resblks;
933 resrtextents /= mp->m_sb.sb_rextsize;
934 resblks = XFS_DIOSTRAT_SPACE_RES(mp, 0);
935 quota_flag = XFS_QMOPT_RES_RTBLKS;
936 } else {
937 resrtextents = 0;
938 resblks = qblocks = XFS_DIOSTRAT_SPACE_RES(mp, resblks);
939 quota_flag = XFS_QMOPT_RES_REGBLKS;
940 }
941
942 /*
943 * Allocate and setup the transaction.
944 */
Christoph Hellwig253f4912016-04-06 09:19:55 +1000945 error = xfs_trans_alloc(mp, &M_RES(mp)->tr_write, resblks,
946 resrtextents, 0, &tp);
947
Dave Chinnerc24b5df2013-08-12 20:49:45 +1000948 /*
949 * Check for running out of space
950 */
951 if (error) {
952 /*
953 * Free the transaction structure.
954 */
Dave Chinner24513372014-06-25 14:58:08 +1000955 ASSERT(error == -ENOSPC || XFS_FORCED_SHUTDOWN(mp));
Dave Chinnerc24b5df2013-08-12 20:49:45 +1000956 break;
957 }
958 xfs_ilock(ip, XFS_ILOCK_EXCL);
959 error = xfs_trans_reserve_quota_nblks(tp, ip, qblocks,
960 0, quota_flag);
961 if (error)
962 goto error1;
963
964 xfs_trans_ijoin(tp, ip, 0);
965
Dave Chinnerc24b5df2013-08-12 20:49:45 +1000966 error = xfs_bmapi_write(tp, ip, startoffset_fsb,
Brian Fostera7beabe2018-07-11 22:26:25 -0700967 allocatesize_fsb, alloc_type, resblks,
968 imapp, &nimaps);
Eric Sandeenf6106ef2016-01-11 11:34:01 +1100969 if (error)
Dave Chinnerc24b5df2013-08-12 20:49:45 +1000970 goto error0;
Dave Chinnerc24b5df2013-08-12 20:49:45 +1000971
972 /*
973 * Complete the transaction
974 */
Christoph Hellwig70393312015-06-04 13:48:08 +1000975 error = xfs_trans_commit(tp);
Dave Chinnerc24b5df2013-08-12 20:49:45 +1000976 xfs_iunlock(ip, XFS_ILOCK_EXCL);
Eric Sandeenf6106ef2016-01-11 11:34:01 +1100977 if (error)
Dave Chinnerc24b5df2013-08-12 20:49:45 +1000978 break;
Dave Chinnerc24b5df2013-08-12 20:49:45 +1000979
980 allocated_fsb = imapp->br_blockcount;
981
982 if (nimaps == 0) {
Dave Chinner24513372014-06-25 14:58:08 +1000983 error = -ENOSPC;
Dave Chinnerc24b5df2013-08-12 20:49:45 +1000984 break;
985 }
986
987 startoffset_fsb += allocated_fsb;
988 allocatesize_fsb -= allocated_fsb;
989 }
990
991 return error;
992
Brian Fosterc8eac492018-07-24 13:43:13 -0700993error0: /* unlock inode, unreserve quota blocks, cancel trans */
Dave Chinnerc24b5df2013-08-12 20:49:45 +1000994 xfs_trans_unreserve_quota_nblks(tp, ip, (long)qblocks, 0, quota_flag);
995
996error1: /* Just cancel transaction */
Christoph Hellwig4906e212015-06-04 13:47:56 +1000997 xfs_trans_cancel(tp);
Dave Chinnerc24b5df2013-08-12 20:49:45 +1000998 xfs_iunlock(ip, XFS_ILOCK_EXCL);
999 return error;
1000}
1001
Christoph Hellwigbdb0d042016-06-21 10:00:55 +10001002static int
1003xfs_unmap_extent(
1004 struct xfs_inode *ip,
1005 xfs_fileoff_t startoffset_fsb,
1006 xfs_filblks_t len_fsb,
1007 int *done)
Dave Chinnerc24b5df2013-08-12 20:49:45 +10001008{
Christoph Hellwigbdb0d042016-06-21 10:00:55 +10001009 struct xfs_mount *mp = ip->i_mount;
1010 struct xfs_trans *tp;
Christoph Hellwigbdb0d042016-06-21 10:00:55 +10001011 uint resblks = XFS_DIOSTRAT_SPACE_RES(mp, 0);
1012 int error;
Dave Chinnerc24b5df2013-08-12 20:49:45 +10001013
Christoph Hellwigbdb0d042016-06-21 10:00:55 +10001014 error = xfs_trans_alloc(mp, &M_RES(mp)->tr_write, resblks, 0, 0, &tp);
1015 if (error) {
1016 ASSERT(error == -ENOSPC || XFS_FORCED_SHUTDOWN(mp));
1017 return error;
Dave Chinnerc24b5df2013-08-12 20:49:45 +10001018 }
Christoph Hellwigbdb0d042016-06-21 10:00:55 +10001019
1020 xfs_ilock(ip, XFS_ILOCK_EXCL);
1021 error = xfs_trans_reserve_quota(tp, mp, ip->i_udquot, ip->i_gdquot,
1022 ip->i_pdquot, resblks, 0, XFS_QMOPT_RES_REGBLKS);
1023 if (error)
1024 goto out_trans_cancel;
1025
1026 xfs_trans_ijoin(tp, ip, 0);
1027
Brian Foster2af52842018-07-11 22:26:25 -07001028 error = xfs_bunmapi(tp, ip, startoffset_fsb, len_fsb, 0, 2, done);
Christoph Hellwigbdb0d042016-06-21 10:00:55 +10001029 if (error)
Brian Fosterc8eac492018-07-24 13:43:13 -07001030 goto out_trans_cancel;
Christoph Hellwigbdb0d042016-06-21 10:00:55 +10001031
Christoph Hellwigbdb0d042016-06-21 10:00:55 +10001032 error = xfs_trans_commit(tp);
1033out_unlock:
1034 xfs_iunlock(ip, XFS_ILOCK_EXCL);
Dave Chinnerc24b5df2013-08-12 20:49:45 +10001035 return error;
Christoph Hellwigbdb0d042016-06-21 10:00:55 +10001036
Christoph Hellwigbdb0d042016-06-21 10:00:55 +10001037out_trans_cancel:
1038 xfs_trans_cancel(tp);
1039 goto out_unlock;
1040}
1041
Dave Chinner2c307172018-11-19 13:31:10 -08001042int
Christoph Hellwigbdb0d042016-06-21 10:00:55 +10001043xfs_flush_unmap_range(
1044 struct xfs_inode *ip,
1045 xfs_off_t offset,
1046 xfs_off_t len)
1047{
1048 struct xfs_mount *mp = ip->i_mount;
1049 struct inode *inode = VFS_I(ip);
1050 xfs_off_t rounding, start, end;
1051 int error;
1052
1053 /* wait for the completion of any pending DIOs */
1054 inode_dio_wait(inode);
1055
1056 rounding = max_t(xfs_off_t, 1 << mp->m_sb.sb_blocklog, PAGE_SIZE);
1057 start = round_down(offset, rounding);
1058 end = round_up(offset + len, rounding) - 1;
1059
1060 error = filemap_write_and_wait_range(inode->i_mapping, start, end);
1061 if (error)
1062 return error;
1063 truncate_pagecache_range(inode, start, end);
1064 return 0;
Dave Chinnerc24b5df2013-08-12 20:49:45 +10001065}
1066
Christoph Hellwig83aee9e2013-10-12 00:55:07 -07001067int
Dave Chinnerc24b5df2013-08-12 20:49:45 +10001068xfs_free_file_space(
Christoph Hellwig83aee9e2013-10-12 00:55:07 -07001069 struct xfs_inode *ip,
Dave Chinnerc24b5df2013-08-12 20:49:45 +10001070 xfs_off_t offset,
Christoph Hellwig5f8aca82013-10-12 00:55:06 -07001071 xfs_off_t len)
Dave Chinnerc24b5df2013-08-12 20:49:45 +10001072{
Christoph Hellwigbdb0d042016-06-21 10:00:55 +10001073 struct xfs_mount *mp = ip->i_mount;
Dave Chinnerc24b5df2013-08-12 20:49:45 +10001074 xfs_fileoff_t startoffset_fsb;
Christoph Hellwigbdb0d042016-06-21 10:00:55 +10001075 xfs_fileoff_t endoffset_fsb;
Christoph Hellwig3c2bdc92016-06-21 10:02:23 +10001076 int done = 0, error;
Dave Chinnerc24b5df2013-08-12 20:49:45 +10001077
1078 trace_xfs_free_file_space(ip);
1079
Darrick J. Wongc14cfcc2018-05-04 15:30:21 -07001080 error = xfs_qm_dqattach(ip);
Dave Chinnerc24b5df2013-08-12 20:49:45 +10001081 if (error)
1082 return error;
1083
Dave Chinnerc24b5df2013-08-12 20:49:45 +10001084 if (len <= 0) /* if nothing being freed */
Christoph Hellwigbdb0d042016-06-21 10:00:55 +10001085 return 0;
1086
1087 error = xfs_flush_unmap_range(ip, offset, len);
1088 if (error)
Dave Chinnerc24b5df2013-08-12 20:49:45 +10001089 return error;
Christoph Hellwigbdb0d042016-06-21 10:00:55 +10001090
1091 startoffset_fsb = XFS_B_TO_FSB(mp, offset);
Dave Chinnerc24b5df2013-08-12 20:49:45 +10001092 endoffset_fsb = XFS_B_TO_FSBT(mp, offset + len);
1093
Dave Chinnerc24b5df2013-08-12 20:49:45 +10001094 /*
Christoph Hellwigdaa79ba2018-10-18 17:18:58 +11001095 * Need to zero the stuff we're not freeing, on disk.
Dave Chinnerc24b5df2013-08-12 20:49:45 +10001096 */
Christoph Hellwig3c2bdc92016-06-21 10:02:23 +10001097 if (endoffset_fsb > startoffset_fsb) {
1098 while (!done) {
1099 error = xfs_unmap_extent(ip, startoffset_fsb,
1100 endoffset_fsb - startoffset_fsb, &done);
1101 if (error)
1102 return error;
1103 }
Dave Chinnerc24b5df2013-08-12 20:49:45 +10001104 }
1105
1106 /*
Christoph Hellwig3c2bdc92016-06-21 10:02:23 +10001107 * Now that we've unmap all full blocks we'll have to zero out any
Christoph Hellwigf5c547172018-03-13 23:15:32 -07001108 * partial block at the beginning and/or end. iomap_zero_range is smart
1109 * enough to skip any holes, including those we just created, but we
1110 * must take care not to zero beyond EOF and enlarge i_size.
Dave Chinnerc24b5df2013-08-12 20:49:45 +10001111 */
Calvin Owens3dd09d52017-04-03 12:22:29 -07001112 if (offset >= XFS_ISIZE(ip))
1113 return 0;
Calvin Owens3dd09d52017-04-03 12:22:29 -07001114 if (offset + len > XFS_ISIZE(ip))
1115 len = XFS_ISIZE(ip) - offset;
Christoph Hellwigf150b422019-10-19 09:09:46 -07001116 error = iomap_zero_range(VFS_I(ip), offset, len, NULL,
1117 &xfs_buffered_write_iomap_ops);
Darrick J. Wonge53c4b52018-06-21 23:26:58 -07001118 if (error)
1119 return error;
1120
1121 /*
1122 * If we zeroed right up to EOF and EOF straddles a page boundary we
1123 * must make sure that the post-EOF area is also zeroed because the
1124 * page could be mmap'd and iomap_zero_range doesn't do that for us.
1125 * Writeback of the eof page will do this, albeit clumsily.
1126 */
Darrick J. Wonga5791212018-11-27 11:01:43 -08001127 if (offset + len >= XFS_ISIZE(ip) && offset_in_page(offset + len) > 0) {
Darrick J. Wonge53c4b52018-06-21 23:26:58 -07001128 error = filemap_write_and_wait_range(VFS_I(ip)->i_mapping,
Darrick J. Wonga5791212018-11-27 11:01:43 -08001129 round_down(offset + len, PAGE_SIZE), LLONG_MAX);
Darrick J. Wonge53c4b52018-06-21 23:26:58 -07001130 }
1131
1132 return error;
Dave Chinnerc24b5df2013-08-12 20:49:45 +10001133}
1134
Brian Foster5d11fb42014-10-30 10:35:11 +11001135/*
1136 * Preallocate and zero a range of a file. This mechanism has the allocation
1137 * semantics of fallocate and in addition converts data in the range to zeroes.
1138 */
Christoph Hellwig865e9442013-10-12 00:55:08 -07001139int
Dave Chinnerc24b5df2013-08-12 20:49:45 +10001140xfs_zero_file_space(
1141 struct xfs_inode *ip,
1142 xfs_off_t offset,
Christoph Hellwig5f8aca82013-10-12 00:55:06 -07001143 xfs_off_t len)
Dave Chinnerc24b5df2013-08-12 20:49:45 +10001144{
1145 struct xfs_mount *mp = ip->i_mount;
Brian Foster5d11fb42014-10-30 10:35:11 +11001146 uint blksize;
Dave Chinnerc24b5df2013-08-12 20:49:45 +10001147 int error;
1148
Dave Chinner897b73b2014-04-14 18:15:11 +10001149 trace_xfs_zero_file_space(ip);
1150
Brian Foster5d11fb42014-10-30 10:35:11 +11001151 blksize = 1 << mp->m_sb.sb_blocklog;
Dave Chinnerc24b5df2013-08-12 20:49:45 +10001152
1153 /*
Brian Foster5d11fb42014-10-30 10:35:11 +11001154 * Punch a hole and prealloc the range. We use hole punch rather than
1155 * unwritten extent conversion for two reasons:
1156 *
1157 * 1.) Hole punch handles partial block zeroing for us.
1158 *
1159 * 2.) If prealloc returns ENOSPC, the file range is still zero-valued
1160 * by virtue of the hole punch.
Dave Chinnerc24b5df2013-08-12 20:49:45 +10001161 */
Brian Foster5d11fb42014-10-30 10:35:11 +11001162 error = xfs_free_file_space(ip, offset, len);
Christoph Hellwig66ae56a2019-02-18 09:38:49 -08001163 if (error || xfs_is_always_cow_inode(ip))
1164 return error;
Dave Chinnerc24b5df2013-08-12 20:49:45 +10001165
Christoph Hellwig66ae56a2019-02-18 09:38:49 -08001166 return xfs_alloc_file_space(ip, round_down(offset, blksize),
Brian Foster5d11fb42014-10-30 10:35:11 +11001167 round_up(offset + len, blksize) -
1168 round_down(offset, blksize),
1169 XFS_BMAPI_PREALLOC);
Dave Chinnerc24b5df2013-08-12 20:49:45 +10001170}
1171
kbuild test robot72c1a732015-04-13 11:25:04 +10001172static int
Christoph Hellwig4ed36c62017-10-19 11:07:10 -07001173xfs_prepare_shift(
1174 struct xfs_inode *ip,
1175 loff_t offset)
Namjae Jeone1d8fb82014-02-24 10:58:19 +11001176{
Namjae Jeone1d8fb82014-02-24 10:58:19 +11001177 int error;
Namjae Jeone1d8fb82014-02-24 10:58:19 +11001178
Brian Fosterf71721d2014-09-23 15:39:05 +10001179 /*
1180 * Trim eofblocks to avoid shifting uninitialized post-eof preallocation
1181 * into the accessible region of the file.
1182 */
Brian Foster41b9d722014-09-02 12:12:53 +10001183 if (xfs_can_free_eofblocks(ip, true)) {
Brian Fostera36b9262017-01-27 23:22:55 -08001184 error = xfs_free_eofblocks(ip);
Brian Foster41b9d722014-09-02 12:12:53 +10001185 if (error)
1186 return error;
1187 }
Dave Chinner1669a8c2014-09-02 12:12:53 +10001188
Brian Fosterf71721d2014-09-23 15:39:05 +10001189 /*
1190 * Writeback and invalidate cache for the remainder of the file as we're
Namjae Jeona904b1c2015-03-25 15:08:56 +11001191 * about to shift down every extent from offset to EOF.
Brian Fosterf71721d2014-09-23 15:39:05 +10001192 */
Dave Chinner7f9f71be2018-11-19 13:31:09 -08001193 error = xfs_flush_unmap_range(ip, offset, XFS_ISIZE(ip));
Brian Foster1749d1e2019-04-26 07:30:24 -07001194 if (error)
1195 return error;
Namjae Jeone1d8fb82014-02-24 10:58:19 +11001196
Namjae Jeona904b1c2015-03-25 15:08:56 +11001197 /*
Darrick J. Wong3af423b2017-09-18 09:41:17 -07001198 * Clean out anything hanging around in the cow fork now that
1199 * we've flushed all the dirty data out to disk to avoid having
1200 * CoW extents at the wrong offsets.
1201 */
Christoph Hellwig51d62692018-07-17 16:51:51 -07001202 if (xfs_inode_has_cow_data(ip)) {
Darrick J. Wong3af423b2017-09-18 09:41:17 -07001203 error = xfs_reflink_cancel_cow_range(ip, offset, NULLFILEOFF,
1204 true);
1205 if (error)
1206 return error;
1207 }
1208
Christoph Hellwig4ed36c62017-10-19 11:07:10 -07001209 return 0;
Namjae Jeone1d8fb82014-02-24 10:58:19 +11001210}
1211
1212/*
Namjae Jeona904b1c2015-03-25 15:08:56 +11001213 * xfs_collapse_file_space()
1214 * This routine frees disk space and shift extent for the given file.
1215 * The first thing we do is to free data blocks in the specified range
1216 * by calling xfs_free_file_space(). It would also sync dirty data
1217 * and invalidate page cache over the region on which collapse range
1218 * is working. And Shift extent records to the left to cover a hole.
1219 * RETURNS:
1220 * 0 on success
1221 * errno on error
1222 *
1223 */
1224int
1225xfs_collapse_file_space(
1226 struct xfs_inode *ip,
1227 xfs_off_t offset,
1228 xfs_off_t len)
1229{
Christoph Hellwig4ed36c62017-10-19 11:07:10 -07001230 struct xfs_mount *mp = ip->i_mount;
1231 struct xfs_trans *tp;
1232 int error;
Christoph Hellwig4ed36c62017-10-19 11:07:10 -07001233 xfs_fileoff_t next_fsb = XFS_B_TO_FSB(mp, offset + len);
1234 xfs_fileoff_t shift_fsb = XFS_B_TO_FSB(mp, len);
1235 uint resblks = XFS_DIOSTRAT_SPACE_RES(mp, 0);
Christoph Hellwigecfea3f2017-10-19 11:07:11 -07001236 bool done = false;
Namjae Jeona904b1c2015-03-25 15:08:56 +11001237
1238 ASSERT(xfs_isilocked(ip, XFS_IOLOCK_EXCL));
Christoph Hellwig9ad1a23a2017-10-23 16:32:38 -07001239 ASSERT(xfs_isilocked(ip, XFS_MMAPLOCK_EXCL));
1240
Namjae Jeona904b1c2015-03-25 15:08:56 +11001241 trace_xfs_collapse_file_space(ip);
1242
1243 error = xfs_free_file_space(ip, offset, len);
1244 if (error)
1245 return error;
1246
Christoph Hellwig4ed36c62017-10-19 11:07:10 -07001247 error = xfs_prepare_shift(ip, offset);
1248 if (error)
1249 return error;
1250
1251 while (!error && !done) {
1252 error = xfs_trans_alloc(mp, &M_RES(mp)->tr_write, resblks, 0, 0,
1253 &tp);
1254 if (error)
1255 break;
1256
1257 xfs_ilock(ip, XFS_ILOCK_EXCL);
1258 error = xfs_trans_reserve_quota(tp, mp, ip->i_udquot,
1259 ip->i_gdquot, ip->i_pdquot, resblks, 0,
1260 XFS_QMOPT_RES_REGBLKS);
1261 if (error)
1262 goto out_trans_cancel;
1263 xfs_trans_ijoin(tp, ip, XFS_ILOCK_EXCL);
1264
Christoph Hellwigecfea3f2017-10-19 11:07:11 -07001265 error = xfs_bmap_collapse_extents(tp, ip, &next_fsb, shift_fsb,
Brian Foster333f9502018-07-11 22:26:27 -07001266 &done);
Christoph Hellwig4ed36c62017-10-19 11:07:10 -07001267 if (error)
Brian Fosterc8eac492018-07-24 13:43:13 -07001268 goto out_trans_cancel;
Christoph Hellwig4ed36c62017-10-19 11:07:10 -07001269
Christoph Hellwig4ed36c62017-10-19 11:07:10 -07001270 error = xfs_trans_commit(tp);
1271 }
1272
1273 return error;
1274
Christoph Hellwig4ed36c62017-10-19 11:07:10 -07001275out_trans_cancel:
1276 xfs_trans_cancel(tp);
1277 return error;
Namjae Jeona904b1c2015-03-25 15:08:56 +11001278}
1279
1280/*
1281 * xfs_insert_file_space()
1282 * This routine create hole space by shifting extents for the given file.
1283 * The first thing we do is to sync dirty data and invalidate page cache
1284 * over the region on which insert range is working. And split an extent
1285 * to two extents at given offset by calling xfs_bmap_split_extent.
1286 * And shift all extent records which are laying between [offset,
1287 * last allocated extent] to the right to reserve hole range.
1288 * RETURNS:
1289 * 0 on success
1290 * errno on error
1291 */
1292int
1293xfs_insert_file_space(
1294 struct xfs_inode *ip,
1295 loff_t offset,
1296 loff_t len)
1297{
Christoph Hellwig4ed36c62017-10-19 11:07:10 -07001298 struct xfs_mount *mp = ip->i_mount;
1299 struct xfs_trans *tp;
1300 int error;
Christoph Hellwig4ed36c62017-10-19 11:07:10 -07001301 xfs_fileoff_t stop_fsb = XFS_B_TO_FSB(mp, offset);
1302 xfs_fileoff_t next_fsb = NULLFSBLOCK;
1303 xfs_fileoff_t shift_fsb = XFS_B_TO_FSB(mp, len);
Christoph Hellwigecfea3f2017-10-19 11:07:11 -07001304 bool done = false;
Christoph Hellwig4ed36c62017-10-19 11:07:10 -07001305
Namjae Jeona904b1c2015-03-25 15:08:56 +11001306 ASSERT(xfs_isilocked(ip, XFS_IOLOCK_EXCL));
Christoph Hellwig9ad1a23a2017-10-23 16:32:38 -07001307 ASSERT(xfs_isilocked(ip, XFS_MMAPLOCK_EXCL));
1308
Namjae Jeona904b1c2015-03-25 15:08:56 +11001309 trace_xfs_insert_file_space(ip);
1310
Darrick J. Wongf62cb482018-06-21 23:26:57 -07001311 error = xfs_bmap_can_insert_extents(ip, stop_fsb, shift_fsb);
1312 if (error)
1313 return error;
1314
Christoph Hellwig4ed36c62017-10-19 11:07:10 -07001315 error = xfs_prepare_shift(ip, offset);
1316 if (error)
1317 return error;
1318
1319 /*
1320 * The extent shifting code works on extent granularity. So, if stop_fsb
1321 * is not the starting block of extent, we need to split the extent at
1322 * stop_fsb.
1323 */
1324 error = xfs_bmap_split_extent(ip, stop_fsb);
1325 if (error)
1326 return error;
1327
1328 while (!error && !done) {
1329 error = xfs_trans_alloc(mp, &M_RES(mp)->tr_write, 0, 0, 0,
1330 &tp);
1331 if (error)
1332 break;
1333
1334 xfs_ilock(ip, XFS_ILOCK_EXCL);
1335 xfs_trans_ijoin(tp, ip, XFS_ILOCK_EXCL);
Christoph Hellwigecfea3f2017-10-19 11:07:11 -07001336 error = xfs_bmap_insert_extents(tp, ip, &next_fsb, shift_fsb,
Brian Foster333f9502018-07-11 22:26:27 -07001337 &done, stop_fsb);
Christoph Hellwig4ed36c62017-10-19 11:07:10 -07001338 if (error)
Brian Fosterc8eac492018-07-24 13:43:13 -07001339 goto out_trans_cancel;
Christoph Hellwig4ed36c62017-10-19 11:07:10 -07001340
Christoph Hellwig4ed36c62017-10-19 11:07:10 -07001341 error = xfs_trans_commit(tp);
1342 }
1343
1344 return error;
1345
Brian Fosterc8eac492018-07-24 13:43:13 -07001346out_trans_cancel:
Christoph Hellwig4ed36c62017-10-19 11:07:10 -07001347 xfs_trans_cancel(tp);
1348 return error;
Namjae Jeona904b1c2015-03-25 15:08:56 +11001349}
1350
1351/*
Dave Chinnera133d952013-08-12 20:49:48 +10001352 * We need to check that the format of the data fork in the temporary inode is
1353 * valid for the target inode before doing the swap. This is not a problem with
1354 * attr1 because of the fixed fork offset, but attr2 has a dynamically sized
1355 * data fork depending on the space the attribute fork is taking so we can get
1356 * invalid formats on the target inode.
1357 *
1358 * E.g. target has space for 7 extents in extent format, temp inode only has
1359 * space for 6. If we defragment down to 7 extents, then the tmp format is a
1360 * btree, but when swapped it needs to be in extent format. Hence we can't just
1361 * blindly swap data forks on attr2 filesystems.
1362 *
1363 * Note that we check the swap in both directions so that we don't end up with
1364 * a corrupt temporary inode, either.
1365 *
1366 * Note that fixing the way xfs_fsr sets up the attribute fork in the source
1367 * inode will prevent this situation from occurring, so all we do here is
1368 * reject and log the attempt. basically we are putting the responsibility on
1369 * userspace to get this right.
1370 */
1371static int
1372xfs_swap_extents_check_format(
Darrick J. Wonge06259a2016-10-03 09:11:52 -07001373 struct xfs_inode *ip, /* target inode */
1374 struct xfs_inode *tip) /* tmp inode */
Dave Chinnera133d952013-08-12 20:49:48 +10001375{
1376
1377 /* Should never get a local format */
1378 if (ip->i_d.di_format == XFS_DINODE_FMT_LOCAL ||
1379 tip->i_d.di_format == XFS_DINODE_FMT_LOCAL)
Dave Chinner24513372014-06-25 14:58:08 +10001380 return -EINVAL;
Dave Chinnera133d952013-08-12 20:49:48 +10001381
1382 /*
1383 * if the target inode has less extents that then temporary inode then
1384 * why did userspace call us?
1385 */
1386 if (ip->i_d.di_nextents < tip->i_d.di_nextents)
Dave Chinner24513372014-06-25 14:58:08 +10001387 return -EINVAL;
Dave Chinnera133d952013-08-12 20:49:48 +10001388
1389 /*
Darrick J. Wong1f08af52016-10-03 09:11:53 -07001390 * If we have to use the (expensive) rmap swap method, we can
1391 * handle any number of extents and any format.
1392 */
1393 if (xfs_sb_version_hasrmapbt(&ip->i_mount->m_sb))
1394 return 0;
1395
1396 /*
Dave Chinnera133d952013-08-12 20:49:48 +10001397 * if the target inode is in extent form and the temp inode is in btree
1398 * form then we will end up with the target inode in the wrong format
1399 * as we already know there are less extents in the temp inode.
1400 */
1401 if (ip->i_d.di_format == XFS_DINODE_FMT_EXTENTS &&
1402 tip->i_d.di_format == XFS_DINODE_FMT_BTREE)
Dave Chinner24513372014-06-25 14:58:08 +10001403 return -EINVAL;
Dave Chinnera133d952013-08-12 20:49:48 +10001404
1405 /* Check temp in extent form to max in target */
1406 if (tip->i_d.di_format == XFS_DINODE_FMT_EXTENTS &&
1407 XFS_IFORK_NEXTENTS(tip, XFS_DATA_FORK) >
1408 XFS_IFORK_MAXEXT(ip, XFS_DATA_FORK))
Dave Chinner24513372014-06-25 14:58:08 +10001409 return -EINVAL;
Dave Chinnera133d952013-08-12 20:49:48 +10001410
1411 /* Check target in extent form to max in temp */
1412 if (ip->i_d.di_format == XFS_DINODE_FMT_EXTENTS &&
1413 XFS_IFORK_NEXTENTS(ip, XFS_DATA_FORK) >
1414 XFS_IFORK_MAXEXT(tip, XFS_DATA_FORK))
Dave Chinner24513372014-06-25 14:58:08 +10001415 return -EINVAL;
Dave Chinnera133d952013-08-12 20:49:48 +10001416
1417 /*
1418 * If we are in a btree format, check that the temp root block will fit
1419 * in the target and that it has enough extents to be in btree format
1420 * in the target.
1421 *
1422 * Note that we have to be careful to allow btree->extent conversions
1423 * (a common defrag case) which will occur when the temp inode is in
1424 * extent format...
1425 */
1426 if (tip->i_d.di_format == XFS_DINODE_FMT_BTREE) {
Arnd Bergmann0cbe48c2017-06-14 21:35:34 -07001427 if (XFS_IFORK_Q(ip) &&
Dave Chinnera133d952013-08-12 20:49:48 +10001428 XFS_BMAP_BMDR_SPACE(tip->i_df.if_broot) > XFS_IFORK_BOFF(ip))
Dave Chinner24513372014-06-25 14:58:08 +10001429 return -EINVAL;
Dave Chinnera133d952013-08-12 20:49:48 +10001430 if (XFS_IFORK_NEXTENTS(tip, XFS_DATA_FORK) <=
1431 XFS_IFORK_MAXEXT(ip, XFS_DATA_FORK))
Dave Chinner24513372014-06-25 14:58:08 +10001432 return -EINVAL;
Dave Chinnera133d952013-08-12 20:49:48 +10001433 }
1434
1435 /* Reciprocal target->temp btree format checks */
1436 if (ip->i_d.di_format == XFS_DINODE_FMT_BTREE) {
Arnd Bergmann0cbe48c2017-06-14 21:35:34 -07001437 if (XFS_IFORK_Q(tip) &&
Dave Chinnera133d952013-08-12 20:49:48 +10001438 XFS_BMAP_BMDR_SPACE(ip->i_df.if_broot) > XFS_IFORK_BOFF(tip))
Dave Chinner24513372014-06-25 14:58:08 +10001439 return -EINVAL;
Dave Chinnera133d952013-08-12 20:49:48 +10001440 if (XFS_IFORK_NEXTENTS(ip, XFS_DATA_FORK) <=
1441 XFS_IFORK_MAXEXT(tip, XFS_DATA_FORK))
Dave Chinner24513372014-06-25 14:58:08 +10001442 return -EINVAL;
Dave Chinnera133d952013-08-12 20:49:48 +10001443 }
1444
1445 return 0;
1446}
1447
Dave Chinner7abbb8f2014-09-23 16:20:11 +10001448static int
Dave Chinner4ef897a2014-08-04 13:44:08 +10001449xfs_swap_extent_flush(
1450 struct xfs_inode *ip)
1451{
1452 int error;
1453
1454 error = filemap_write_and_wait(VFS_I(ip)->i_mapping);
1455 if (error)
1456 return error;
1457 truncate_pagecache_range(VFS_I(ip), 0, -1);
1458
1459 /* Verify O_DIRECT for ftmp */
1460 if (VFS_I(ip)->i_mapping->nrpages)
1461 return -EINVAL;
Dave Chinner4ef897a2014-08-04 13:44:08 +10001462 return 0;
1463}
1464
Darrick J. Wong1f08af52016-10-03 09:11:53 -07001465/*
1466 * Move extents from one file to another, when rmap is enabled.
1467 */
1468STATIC int
1469xfs_swap_extent_rmap(
1470 struct xfs_trans **tpp,
1471 struct xfs_inode *ip,
1472 struct xfs_inode *tip)
1473{
Brian Foster7a7943c2018-07-11 22:26:17 -07001474 struct xfs_trans *tp = *tpp;
Darrick J. Wong1f08af52016-10-03 09:11:53 -07001475 struct xfs_bmbt_irec irec;
1476 struct xfs_bmbt_irec uirec;
1477 struct xfs_bmbt_irec tirec;
1478 xfs_fileoff_t offset_fsb;
1479 xfs_fileoff_t end_fsb;
1480 xfs_filblks_t count_fsb;
Darrick J. Wong1f08af52016-10-03 09:11:53 -07001481 int error;
1482 xfs_filblks_t ilen;
1483 xfs_filblks_t rlen;
1484 int nimaps;
Darrick J. Wongc8ce5402017-06-16 11:00:05 -07001485 uint64_t tip_flags2;
Darrick J. Wong1f08af52016-10-03 09:11:53 -07001486
1487 /*
1488 * If the source file has shared blocks, we must flag the donor
1489 * file as having shared blocks so that we get the shared-block
1490 * rmap functions when we go to fix up the rmaps. The flags
1491 * will be switch for reals later.
1492 */
1493 tip_flags2 = tip->i_d.di_flags2;
1494 if (ip->i_d.di_flags2 & XFS_DIFLAG2_REFLINK)
1495 tip->i_d.di_flags2 |= XFS_DIFLAG2_REFLINK;
1496
1497 offset_fsb = 0;
1498 end_fsb = XFS_B_TO_FSB(ip->i_mount, i_size_read(VFS_I(ip)));
1499 count_fsb = (xfs_filblks_t)(end_fsb - offset_fsb);
1500
1501 while (count_fsb) {
1502 /* Read extent from the donor file */
1503 nimaps = 1;
1504 error = xfs_bmapi_read(tip, offset_fsb, count_fsb, &tirec,
1505 &nimaps, 0);
1506 if (error)
1507 goto out;
1508 ASSERT(nimaps == 1);
1509 ASSERT(tirec.br_startblock != DELAYSTARTBLOCK);
1510
1511 trace_xfs_swap_extent_rmap_remap(tip, &tirec);
1512 ilen = tirec.br_blockcount;
1513
1514 /* Unmap the old blocks in the source file. */
1515 while (tirec.br_blockcount) {
Brian Fosterc8eac492018-07-24 13:43:13 -07001516 ASSERT(tp->t_firstblock == NULLFSBLOCK);
Darrick J. Wong1f08af52016-10-03 09:11:53 -07001517 trace_xfs_swap_extent_rmap_remap_piece(tip, &tirec);
1518
1519 /* Read extent from the source file */
1520 nimaps = 1;
1521 error = xfs_bmapi_read(ip, tirec.br_startoff,
1522 tirec.br_blockcount, &irec,
1523 &nimaps, 0);
1524 if (error)
Brian Fosterd5a2e282018-09-29 13:41:58 +10001525 goto out;
Darrick J. Wong1f08af52016-10-03 09:11:53 -07001526 ASSERT(nimaps == 1);
1527 ASSERT(tirec.br_startoff == irec.br_startoff);
1528 trace_xfs_swap_extent_rmap_remap_piece(ip, &irec);
1529
1530 /* Trim the extent. */
1531 uirec = tirec;
1532 uirec.br_blockcount = rlen = min_t(xfs_filblks_t,
1533 tirec.br_blockcount,
1534 irec.br_blockcount);
1535 trace_xfs_swap_extent_rmap_remap_piece(tip, &uirec);
1536
1537 /* Remove the mapping from the donor file. */
Darrick J. Wong3e08f422019-08-26 17:06:04 -07001538 xfs_bmap_unmap_extent(tp, tip, &uirec);
Darrick J. Wong1f08af52016-10-03 09:11:53 -07001539
1540 /* Remove the mapping from the source file. */
Darrick J. Wong3e08f422019-08-26 17:06:04 -07001541 xfs_bmap_unmap_extent(tp, ip, &irec);
Darrick J. Wong1f08af52016-10-03 09:11:53 -07001542
1543 /* Map the donor file's blocks into the source file. */
Darrick J. Wong3e08f422019-08-26 17:06:04 -07001544 xfs_bmap_map_extent(tp, ip, &uirec);
Darrick J. Wong1f08af52016-10-03 09:11:53 -07001545
1546 /* Map the source file's blocks into the donor file. */
Darrick J. Wong3e08f422019-08-26 17:06:04 -07001547 xfs_bmap_map_extent(tp, tip, &irec);
Darrick J. Wong1f08af52016-10-03 09:11:53 -07001548
Brian Foster9e28a242018-07-24 13:43:15 -07001549 error = xfs_defer_finish(tpp);
Brian Foster7a7943c2018-07-11 22:26:17 -07001550 tp = *tpp;
Darrick J. Wong1f08af52016-10-03 09:11:53 -07001551 if (error)
Brian Foster9b1f4e92018-08-01 07:20:33 -07001552 goto out;
Darrick J. Wong1f08af52016-10-03 09:11:53 -07001553
1554 tirec.br_startoff += rlen;
1555 if (tirec.br_startblock != HOLESTARTBLOCK &&
1556 tirec.br_startblock != DELAYSTARTBLOCK)
1557 tirec.br_startblock += rlen;
1558 tirec.br_blockcount -= rlen;
1559 }
1560
1561 /* Roll on... */
1562 count_fsb -= ilen;
1563 offset_fsb += ilen;
1564 }
1565
1566 tip->i_d.di_flags2 = tip_flags2;
1567 return 0;
1568
Darrick J. Wong1f08af52016-10-03 09:11:53 -07001569out:
1570 trace_xfs_swap_extent_rmap_error(ip, error, _RET_IP_);
1571 tip->i_d.di_flags2 = tip_flags2;
1572 return error;
1573}
1574
Darrick J. Wong39aff5f2016-10-03 09:11:53 -07001575/* Swap the extents of two files by swapping data forks. */
1576STATIC int
1577xfs_swap_extent_forks(
1578 struct xfs_trans *tp,
1579 struct xfs_inode *ip,
1580 struct xfs_inode *tip,
1581 int *src_log_flags,
1582 int *target_log_flags)
1583{
Darrick J. Wonge7f5d5c2017-06-16 11:00:12 -07001584 xfs_filblks_t aforkblks = 0;
1585 xfs_filblks_t taforkblks = 0;
1586 xfs_extnum_t junk;
Darrick J. Wongc8ce5402017-06-16 11:00:05 -07001587 uint64_t tmp;
Darrick J. Wong39aff5f2016-10-03 09:11:53 -07001588 int error;
1589
1590 /*
1591 * Count the number of extended attribute blocks
1592 */
1593 if ( ((XFS_IFORK_Q(ip) != 0) && (ip->i_d.di_anextents > 0)) &&
1594 (ip->i_d.di_aformat != XFS_DINODE_FMT_LOCAL)) {
Darrick J. Wonge7f5d5c2017-06-16 11:00:12 -07001595 error = xfs_bmap_count_blocks(tp, ip, XFS_ATTR_FORK, &junk,
Darrick J. Wong39aff5f2016-10-03 09:11:53 -07001596 &aforkblks);
1597 if (error)
1598 return error;
1599 }
1600 if ( ((XFS_IFORK_Q(tip) != 0) && (tip->i_d.di_anextents > 0)) &&
1601 (tip->i_d.di_aformat != XFS_DINODE_FMT_LOCAL)) {
Darrick J. Wonge7f5d5c2017-06-16 11:00:12 -07001602 error = xfs_bmap_count_blocks(tp, tip, XFS_ATTR_FORK, &junk,
Darrick J. Wong39aff5f2016-10-03 09:11:53 -07001603 &taforkblks);
1604 if (error)
1605 return error;
1606 }
1607
1608 /*
Brian Foster6fb10d62017-08-29 10:08:39 -07001609 * Btree format (v3) inodes have the inode number stamped in the bmbt
1610 * block headers. We can't start changing the bmbt blocks until the
1611 * inode owner change is logged so recovery does the right thing in the
1612 * event of a crash. Set the owner change log flags now and leave the
1613 * bmbt scan as the last step.
Darrick J. Wong39aff5f2016-10-03 09:11:53 -07001614 */
1615 if (ip->i_d.di_version == 3 &&
Brian Foster6fb10d62017-08-29 10:08:39 -07001616 ip->i_d.di_format == XFS_DINODE_FMT_BTREE)
Darrick J. Wong39aff5f2016-10-03 09:11:53 -07001617 (*target_log_flags) |= XFS_ILOG_DOWNER;
Darrick J. Wong39aff5f2016-10-03 09:11:53 -07001618 if (tip->i_d.di_version == 3 &&
Brian Foster6fb10d62017-08-29 10:08:39 -07001619 tip->i_d.di_format == XFS_DINODE_FMT_BTREE)
Darrick J. Wong39aff5f2016-10-03 09:11:53 -07001620 (*src_log_flags) |= XFS_ILOG_DOWNER;
Darrick J. Wong39aff5f2016-10-03 09:11:53 -07001621
1622 /*
1623 * Swap the data forks of the inodes
1624 */
Gustavo A. R. Silva897992b2018-07-11 22:26:38 -07001625 swap(ip->i_df, tip->i_df);
Darrick J. Wong39aff5f2016-10-03 09:11:53 -07001626
1627 /*
1628 * Fix the on-disk inode values
1629 */
Darrick J. Wongc8ce5402017-06-16 11:00:05 -07001630 tmp = (uint64_t)ip->i_d.di_nblocks;
Darrick J. Wong39aff5f2016-10-03 09:11:53 -07001631 ip->i_d.di_nblocks = tip->i_d.di_nblocks - taforkblks + aforkblks;
1632 tip->i_d.di_nblocks = tmp + taforkblks - aforkblks;
1633
Gustavo A. R. Silva897992b2018-07-11 22:26:38 -07001634 swap(ip->i_d.di_nextents, tip->i_d.di_nextents);
1635 swap(ip->i_d.di_format, tip->i_d.di_format);
Darrick J. Wong39aff5f2016-10-03 09:11:53 -07001636
1637 /*
1638 * The extents in the source inode could still contain speculative
1639 * preallocation beyond EOF (e.g. the file is open but not modified
1640 * while defrag is in progress). In that case, we need to copy over the
1641 * number of delalloc blocks the data fork in the source inode is
1642 * tracking beyond EOF so that when the fork is truncated away when the
1643 * temporary inode is unlinked we don't underrun the i_delayed_blks
1644 * counter on that inode.
1645 */
1646 ASSERT(tip->i_delayed_blks == 0);
1647 tip->i_delayed_blks = ip->i_delayed_blks;
1648 ip->i_delayed_blks = 0;
1649
1650 switch (ip->i_d.di_format) {
1651 case XFS_DINODE_FMT_EXTENTS:
Darrick J. Wong39aff5f2016-10-03 09:11:53 -07001652 (*src_log_flags) |= XFS_ILOG_DEXT;
1653 break;
1654 case XFS_DINODE_FMT_BTREE:
1655 ASSERT(ip->i_d.di_version < 3 ||
1656 (*src_log_flags & XFS_ILOG_DOWNER));
1657 (*src_log_flags) |= XFS_ILOG_DBROOT;
1658 break;
1659 }
1660
1661 switch (tip->i_d.di_format) {
1662 case XFS_DINODE_FMT_EXTENTS:
Darrick J. Wong39aff5f2016-10-03 09:11:53 -07001663 (*target_log_flags) |= XFS_ILOG_DEXT;
1664 break;
1665 case XFS_DINODE_FMT_BTREE:
1666 (*target_log_flags) |= XFS_ILOG_DBROOT;
1667 ASSERT(tip->i_d.di_version < 3 ||
1668 (*target_log_flags & XFS_ILOG_DOWNER));
1669 break;
1670 }
1671
1672 return 0;
1673}
1674
Brian Foster2dd3d702017-08-29 10:08:40 -07001675/*
1676 * Fix up the owners of the bmbt blocks to refer to the current inode. The
1677 * change owner scan attempts to order all modified buffers in the current
1678 * transaction. In the event of ordered buffer failure, the offending buffer is
1679 * physically logged as a fallback and the scan returns -EAGAIN. We must roll
1680 * the transaction in this case to replenish the fallback log reservation and
1681 * restart the scan. This process repeats until the scan completes.
1682 */
1683static int
1684xfs_swap_change_owner(
1685 struct xfs_trans **tpp,
1686 struct xfs_inode *ip,
1687 struct xfs_inode *tmpip)
1688{
1689 int error;
1690 struct xfs_trans *tp = *tpp;
1691
1692 do {
1693 error = xfs_bmbt_change_owner(tp, ip, XFS_DATA_FORK, ip->i_ino,
1694 NULL);
1695 /* success or fatal error */
1696 if (error != -EAGAIN)
1697 break;
1698
1699 error = xfs_trans_roll(tpp);
1700 if (error)
1701 break;
1702 tp = *tpp;
1703
1704 /*
1705 * Redirty both inodes so they can relog and keep the log tail
1706 * moving forward.
1707 */
1708 xfs_trans_ijoin(tp, ip, 0);
1709 xfs_trans_ijoin(tp, tmpip, 0);
1710 xfs_trans_log_inode(tp, ip, XFS_ILOG_CORE);
1711 xfs_trans_log_inode(tp, tmpip, XFS_ILOG_CORE);
1712 } while (true);
1713
1714 return error;
1715}
1716
Dave Chinner4ef897a2014-08-04 13:44:08 +10001717int
Dave Chinnera133d952013-08-12 20:49:48 +10001718xfs_swap_extents(
Darrick J. Wonge06259a2016-10-03 09:11:52 -07001719 struct xfs_inode *ip, /* target inode */
1720 struct xfs_inode *tip, /* tmp inode */
1721 struct xfs_swapext *sxp)
Dave Chinnera133d952013-08-12 20:49:48 +10001722{
Darrick J. Wonge06259a2016-10-03 09:11:52 -07001723 struct xfs_mount *mp = ip->i_mount;
1724 struct xfs_trans *tp;
1725 struct xfs_bstat *sbp = &sxp->sx_stat;
Darrick J. Wonge06259a2016-10-03 09:11:52 -07001726 int src_log_flags, target_log_flags;
1727 int error = 0;
Darrick J. Wonge06259a2016-10-03 09:11:52 -07001728 int lock_flags;
Darrick J. Wongc8ce5402017-06-16 11:00:05 -07001729 uint64_t f;
Brian Foster2dd3d702017-08-29 10:08:40 -07001730 int resblks = 0;
Dave Chinnera133d952013-08-12 20:49:48 +10001731
Dave Chinnera133d952013-08-12 20:49:48 +10001732 /*
Dave Chinner723cac42015-02-23 21:47:29 +11001733 * Lock the inodes against other IO, page faults and truncate to
1734 * begin with. Then we can ensure the inodes are flushed and have no
1735 * page cache safely. Once we have done this we can take the ilocks and
1736 * do the rest of the checks.
Dave Chinnera133d952013-08-12 20:49:48 +10001737 */
Christoph Hellwig65523212016-11-30 14:33:25 +11001738 lock_two_nondirectories(VFS_I(ip), VFS_I(tip));
1739 lock_flags = XFS_MMAPLOCK_EXCL;
Darrick J. Wong7c2d2382018-01-26 15:27:33 -08001740 xfs_lock_two_inodes(ip, XFS_MMAPLOCK_EXCL, tip, XFS_MMAPLOCK_EXCL);
Dave Chinnera133d952013-08-12 20:49:48 +10001741
1742 /* Verify that both files have the same format */
Dave Chinnerc19b3b052016-02-09 16:54:58 +11001743 if ((VFS_I(ip)->i_mode & S_IFMT) != (VFS_I(tip)->i_mode & S_IFMT)) {
Dave Chinner24513372014-06-25 14:58:08 +10001744 error = -EINVAL;
Dave Chinnera133d952013-08-12 20:49:48 +10001745 goto out_unlock;
1746 }
1747
1748 /* Verify both files are either real-time or non-realtime */
1749 if (XFS_IS_REALTIME_INODE(ip) != XFS_IS_REALTIME_INODE(tip)) {
Dave Chinner24513372014-06-25 14:58:08 +10001750 error = -EINVAL;
Dave Chinnera133d952013-08-12 20:49:48 +10001751 goto out_unlock;
1752 }
1753
Dave Chinner4ef897a2014-08-04 13:44:08 +10001754 error = xfs_swap_extent_flush(ip);
Dave Chinnera133d952013-08-12 20:49:48 +10001755 if (error)
1756 goto out_unlock;
Dave Chinner4ef897a2014-08-04 13:44:08 +10001757 error = xfs_swap_extent_flush(tip);
1758 if (error)
1759 goto out_unlock;
Dave Chinnera133d952013-08-12 20:49:48 +10001760
Christoph Hellwig96987ee2018-10-18 17:21:55 +11001761 if (xfs_inode_has_cow_data(tip)) {
1762 error = xfs_reflink_cancel_cow_range(tip, 0, NULLFILEOFF, true);
1763 if (error)
1764 return error;
1765 }
1766
Darrick J. Wong1f08af52016-10-03 09:11:53 -07001767 /*
1768 * Extent "swapping" with rmap requires a permanent reservation and
1769 * a block reservation because it's really just a remap operation
1770 * performed with log redo items!
1771 */
1772 if (xfs_sb_version_hasrmapbt(&mp->m_sb)) {
Brian Fosterb3fed432018-03-09 14:01:58 -08001773 int w = XFS_DATA_FORK;
1774 uint32_t ipnext = XFS_IFORK_NEXTENTS(ip, w);
1775 uint32_t tipnext = XFS_IFORK_NEXTENTS(tip, w);
1776
Darrick J. Wong1f08af52016-10-03 09:11:53 -07001777 /*
Brian Fosterb3fed432018-03-09 14:01:58 -08001778 * Conceptually this shouldn't affect the shape of either bmbt,
1779 * but since we atomically move extents one by one, we reserve
1780 * enough space to rebuild both trees.
Darrick J. Wong1f08af52016-10-03 09:11:53 -07001781 */
Brian Fosterb3fed432018-03-09 14:01:58 -08001782 resblks = XFS_SWAP_RMAP_SPACE_RES(mp, ipnext, w);
1783 resblks += XFS_SWAP_RMAP_SPACE_RES(mp, tipnext, w);
1784
1785 /*
1786 * Handle the corner case where either inode might straddle the
1787 * btree format boundary. If so, the inode could bounce between
1788 * btree <-> extent format on unmap -> remap cycles, freeing and
1789 * allocating a bmapbt block each time.
1790 */
1791 if (ipnext == (XFS_IFORK_MAXEXT(ip, w) + 1))
1792 resblks += XFS_IFORK_MAXEXT(ip, w);
1793 if (tipnext == (XFS_IFORK_MAXEXT(tip, w) + 1))
1794 resblks += XFS_IFORK_MAXEXT(tip, w);
Brian Foster2dd3d702017-08-29 10:08:40 -07001795 }
1796 error = xfs_trans_alloc(mp, &M_RES(mp)->tr_write, resblks, 0, 0, &tp);
Christoph Hellwig253f4912016-04-06 09:19:55 +10001797 if (error)
Dave Chinnera133d952013-08-12 20:49:48 +10001798 goto out_unlock;
Dave Chinner723cac42015-02-23 21:47:29 +11001799
1800 /*
1801 * Lock and join the inodes to the tansaction so that transaction commit
1802 * or cancel will unlock the inodes from this point onwards.
1803 */
Darrick J. Wong7c2d2382018-01-26 15:27:33 -08001804 xfs_lock_two_inodes(ip, XFS_ILOCK_EXCL, tip, XFS_ILOCK_EXCL);
Dave Chinner4ef897a2014-08-04 13:44:08 +10001805 lock_flags |= XFS_ILOCK_EXCL;
Darrick J. Wong39aff5f2016-10-03 09:11:53 -07001806 xfs_trans_ijoin(tp, ip, 0);
1807 xfs_trans_ijoin(tp, tip, 0);
Dave Chinner723cac42015-02-23 21:47:29 +11001808
Dave Chinnera133d952013-08-12 20:49:48 +10001809
1810 /* Verify all data are being swapped */
1811 if (sxp->sx_offset != 0 ||
1812 sxp->sx_length != ip->i_d.di_size ||
1813 sxp->sx_length != tip->i_d.di_size) {
Dave Chinner24513372014-06-25 14:58:08 +10001814 error = -EFAULT;
Dave Chinner4ef897a2014-08-04 13:44:08 +10001815 goto out_trans_cancel;
Dave Chinnera133d952013-08-12 20:49:48 +10001816 }
1817
1818 trace_xfs_swap_extent_before(ip, 0);
1819 trace_xfs_swap_extent_before(tip, 1);
1820
1821 /* check inode formats now that data is flushed */
1822 error = xfs_swap_extents_check_format(ip, tip);
1823 if (error) {
1824 xfs_notice(mp,
1825 "%s: inode 0x%llx format is incompatible for exchanging.",
1826 __func__, ip->i_ino);
Dave Chinner4ef897a2014-08-04 13:44:08 +10001827 goto out_trans_cancel;
Dave Chinnera133d952013-08-12 20:49:48 +10001828 }
1829
1830 /*
1831 * Compare the current change & modify times with that
1832 * passed in. If they differ, we abort this swap.
1833 * This is the mechanism used to ensure the calling
1834 * process that the file was not changed out from
1835 * under it.
1836 */
1837 if ((sbp->bs_ctime.tv_sec != VFS_I(ip)->i_ctime.tv_sec) ||
1838 (sbp->bs_ctime.tv_nsec != VFS_I(ip)->i_ctime.tv_nsec) ||
1839 (sbp->bs_mtime.tv_sec != VFS_I(ip)->i_mtime.tv_sec) ||
1840 (sbp->bs_mtime.tv_nsec != VFS_I(ip)->i_mtime.tv_nsec)) {
Dave Chinner24513372014-06-25 14:58:08 +10001841 error = -EBUSY;
Dave Chinner81217682014-08-04 13:29:32 +10001842 goto out_trans_cancel;
Dave Chinnera133d952013-08-12 20:49:48 +10001843 }
Dave Chinnera133d952013-08-12 20:49:48 +10001844
Dave Chinner21b5c972013-08-30 10:23:44 +10001845 /*
Dave Chinner21b5c972013-08-30 10:23:44 +10001846 * Note the trickiness in setting the log flags - we set the owner log
1847 * flag on the opposite inode (i.e. the inode we are setting the new
1848 * owner to be) because once we swap the forks and log that, log
1849 * recovery is going to see the fork as owned by the swapped inode,
1850 * not the pre-swapped inodes.
1851 */
1852 src_log_flags = XFS_ILOG_CORE;
1853 target_log_flags = XFS_ILOG_CORE;
Dave Chinner21b5c972013-08-30 10:23:44 +10001854
Darrick J. Wong1f08af52016-10-03 09:11:53 -07001855 if (xfs_sb_version_hasrmapbt(&mp->m_sb))
1856 error = xfs_swap_extent_rmap(&tp, ip, tip);
1857 else
1858 error = xfs_swap_extent_forks(tp, ip, tip, &src_log_flags,
1859 &target_log_flags);
Darrick J. Wong39aff5f2016-10-03 09:11:53 -07001860 if (error)
1861 goto out_trans_cancel;
Dave Chinnera133d952013-08-12 20:49:48 +10001862
Darrick J. Wongf0bc4d12016-10-03 09:11:42 -07001863 /* Do we have to swap reflink flags? */
1864 if ((ip->i_d.di_flags2 & XFS_DIFLAG2_REFLINK) ^
1865 (tip->i_d.di_flags2 & XFS_DIFLAG2_REFLINK)) {
1866 f = ip->i_d.di_flags2 & XFS_DIFLAG2_REFLINK;
1867 ip->i_d.di_flags2 &= ~XFS_DIFLAG2_REFLINK;
1868 ip->i_d.di_flags2 |= tip->i_d.di_flags2 & XFS_DIFLAG2_REFLINK;
1869 tip->i_d.di_flags2 &= ~XFS_DIFLAG2_REFLINK;
1870 tip->i_d.di_flags2 |= f & XFS_DIFLAG2_REFLINK;
Darrick J. Wong52bfcdd72017-09-18 09:41:18 -07001871 }
1872
1873 /* Swap the cow forks. */
1874 if (xfs_sb_version_hasreflink(&mp->m_sb)) {
Darrick J. Wong52bfcdd72017-09-18 09:41:18 -07001875 ASSERT(ip->i_cformat == XFS_DINODE_FMT_EXTENTS);
1876 ASSERT(tip->i_cformat == XFS_DINODE_FMT_EXTENTS);
1877
Gustavo A. R. Silva897992b2018-07-11 22:26:38 -07001878 swap(ip->i_cnextents, tip->i_cnextents);
1879 swap(ip->i_cowfp, tip->i_cowfp);
Darrick J. Wong52bfcdd72017-09-18 09:41:18 -07001880
Christoph Hellwig5bcffe32018-03-13 23:15:30 -07001881 if (ip->i_cowfp && ip->i_cowfp->if_bytes)
Darrick J. Wong52bfcdd72017-09-18 09:41:18 -07001882 xfs_inode_set_cowblocks_tag(ip);
1883 else
1884 xfs_inode_clear_cowblocks_tag(ip);
Christoph Hellwig5bcffe32018-03-13 23:15:30 -07001885 if (tip->i_cowfp && tip->i_cowfp->if_bytes)
Darrick J. Wong52bfcdd72017-09-18 09:41:18 -07001886 xfs_inode_set_cowblocks_tag(tip);
1887 else
1888 xfs_inode_clear_cowblocks_tag(tip);
Darrick J. Wongf0bc4d12016-10-03 09:11:42 -07001889 }
1890
Dave Chinnera133d952013-08-12 20:49:48 +10001891 xfs_trans_log_inode(tp, ip, src_log_flags);
1892 xfs_trans_log_inode(tp, tip, target_log_flags);
1893
1894 /*
Brian Foster6fb10d62017-08-29 10:08:39 -07001895 * The extent forks have been swapped, but crc=1,rmapbt=0 filesystems
1896 * have inode number owner values in the bmbt blocks that still refer to
1897 * the old inode. Scan each bmbt to fix up the owner values with the
1898 * inode number of the current inode.
1899 */
1900 if (src_log_flags & XFS_ILOG_DOWNER) {
Brian Foster2dd3d702017-08-29 10:08:40 -07001901 error = xfs_swap_change_owner(&tp, ip, tip);
Brian Foster6fb10d62017-08-29 10:08:39 -07001902 if (error)
1903 goto out_trans_cancel;
1904 }
1905 if (target_log_flags & XFS_ILOG_DOWNER) {
Brian Foster2dd3d702017-08-29 10:08:40 -07001906 error = xfs_swap_change_owner(&tp, tip, ip);
Brian Foster6fb10d62017-08-29 10:08:39 -07001907 if (error)
1908 goto out_trans_cancel;
1909 }
1910
1911 /*
Dave Chinnera133d952013-08-12 20:49:48 +10001912 * If this is a synchronous mount, make sure that the
1913 * transaction goes to disk before returning to the user.
1914 */
1915 if (mp->m_flags & XFS_MOUNT_WSYNC)
1916 xfs_trans_set_sync(tp);
1917
Christoph Hellwig70393312015-06-04 13:48:08 +10001918 error = xfs_trans_commit(tp);
Dave Chinnera133d952013-08-12 20:49:48 +10001919
1920 trace_xfs_swap_extent_after(ip, 0);
1921 trace_xfs_swap_extent_after(tip, 1);
Darrick J. Wong39aff5f2016-10-03 09:11:53 -07001922
Christoph Hellwig65523212016-11-30 14:33:25 +11001923out_unlock:
Darrick J. Wong39aff5f2016-10-03 09:11:53 -07001924 xfs_iunlock(ip, lock_flags);
1925 xfs_iunlock(tip, lock_flags);
Christoph Hellwig65523212016-11-30 14:33:25 +11001926 unlock_two_nondirectories(VFS_I(ip), VFS_I(tip));
Dave Chinnera133d952013-08-12 20:49:48 +10001927 return error;
1928
Darrick J. Wong39aff5f2016-10-03 09:11:53 -07001929out_trans_cancel:
1930 xfs_trans_cancel(tp);
Christoph Hellwig65523212016-11-30 14:33:25 +11001931 goto out_unlock;
Dave Chinnera133d952013-08-12 20:49:48 +10001932}