blob: 8eaeec9d58ed6799898753f49f0ad895b5db4cb5 [file] [log] [blame]
Dave Chinner0b61f8a2018-06-05 19:42:14 -07001// SPDX-License-Identifier: GPL-2.0+
Darrick J. Wong3993bae2016-10-03 09:11:32 -07002/*
3 * Copyright (C) 2016 Oracle. All Rights Reserved.
Darrick J. Wong3993bae2016-10-03 09:11:32 -07004 * Author: Darrick J. Wong <darrick.wong@oracle.com>
Darrick J. Wong3993bae2016-10-03 09:11:32 -07005 */
6#include "xfs.h"
7#include "xfs_fs.h"
8#include "xfs_shared.h"
9#include "xfs_format.h"
10#include "xfs_log_format.h"
11#include "xfs_trans_resv.h"
12#include "xfs_mount.h"
13#include "xfs_defer.h"
14#include "xfs_da_format.h"
15#include "xfs_da_btree.h"
16#include "xfs_inode.h"
17#include "xfs_trans.h"
18#include "xfs_inode_item.h"
19#include "xfs_bmap.h"
20#include "xfs_bmap_util.h"
21#include "xfs_error.h"
22#include "xfs_dir2.h"
23#include "xfs_dir2_priv.h"
24#include "xfs_ioctl.h"
25#include "xfs_trace.h"
26#include "xfs_log.h"
27#include "xfs_icache.h"
28#include "xfs_pnfs.h"
Darrick J. Wong174edb02016-10-03 09:11:39 -070029#include "xfs_btree.h"
Darrick J. Wong3993bae2016-10-03 09:11:32 -070030#include "xfs_refcount_btree.h"
31#include "xfs_refcount.h"
32#include "xfs_bmap_btree.h"
33#include "xfs_trans_space.h"
34#include "xfs_bit.h"
35#include "xfs_alloc.h"
36#include "xfs_quota_defs.h"
37#include "xfs_quota.h"
Darrick J. Wong3993bae2016-10-03 09:11:32 -070038#include "xfs_reflink.h"
Darrick J. Wong2a067052016-10-03 09:11:33 -070039#include "xfs_iomap.h"
Darrick J. Wong43caeb12016-10-03 09:11:35 -070040#include "xfs_rmap_btree.h"
Darrick J. Wong6fa164b2016-10-03 09:11:45 -070041#include "xfs_sb.h"
42#include "xfs_ag_resv.h"
Darrick J. Wong3993bae2016-10-03 09:11:32 -070043
44/*
45 * Copy on Write of Shared Blocks
46 *
47 * XFS must preserve "the usual" file semantics even when two files share
48 * the same physical blocks. This means that a write to one file must not
49 * alter the blocks in a different file; the way that we'll do that is
50 * through the use of a copy-on-write mechanism. At a high level, that
51 * means that when we want to write to a shared block, we allocate a new
52 * block, write the data to the new block, and if that succeeds we map the
53 * new block into the file.
54 *
55 * XFS provides a "delayed allocation" mechanism that defers the allocation
56 * of disk blocks to dirty-but-not-yet-mapped file blocks as long as
57 * possible. This reduces fragmentation by enabling the filesystem to ask
58 * for bigger chunks less often, which is exactly what we want for CoW.
59 *
60 * The delalloc mechanism begins when the kernel wants to make a block
61 * writable (write_begin or page_mkwrite). If the offset is not mapped, we
62 * create a delalloc mapping, which is a regular in-core extent, but without
63 * a real startblock. (For delalloc mappings, the startblock encodes both
64 * a flag that this is a delalloc mapping, and a worst-case estimate of how
65 * many blocks might be required to put the mapping into the BMBT.) delalloc
66 * mappings are a reservation against the free space in the filesystem;
67 * adjacent mappings can also be combined into fewer larger mappings.
68 *
Darrick J. Wong5eda4302017-02-02 15:14:02 -080069 * As an optimization, the CoW extent size hint (cowextsz) creates
70 * outsized aligned delalloc reservations in the hope of landing out of
71 * order nearby CoW writes in a single extent on disk, thereby reducing
72 * fragmentation and improving future performance.
73 *
74 * D: --RRRRRRSSSRRRRRRRR--- (data fork)
75 * C: ------DDDDDDD--------- (CoW fork)
76 *
Darrick J. Wong3993bae2016-10-03 09:11:32 -070077 * When dirty pages are being written out (typically in writepage), the
Darrick J. Wong5eda4302017-02-02 15:14:02 -080078 * delalloc reservations are converted into unwritten mappings by
79 * allocating blocks and replacing the delalloc mapping with real ones.
80 * A delalloc mapping can be replaced by several unwritten ones if the
81 * free space is fragmented.
82 *
83 * D: --RRRRRRSSSRRRRRRRR---
84 * C: ------UUUUUUU---------
Darrick J. Wong3993bae2016-10-03 09:11:32 -070085 *
86 * We want to adapt the delalloc mechanism for copy-on-write, since the
87 * write paths are similar. The first two steps (creating the reservation
88 * and allocating the blocks) are exactly the same as delalloc except that
89 * the mappings must be stored in a separate CoW fork because we do not want
90 * to disturb the mapping in the data fork until we're sure that the write
91 * succeeded. IO completion in this case is the process of removing the old
92 * mapping from the data fork and moving the new mapping from the CoW fork to
93 * the data fork. This will be discussed shortly.
94 *
95 * For now, unaligned directio writes will be bounced back to the page cache.
96 * Block-aligned directio writes will use the same mechanism as buffered
97 * writes.
98 *
Darrick J. Wong5eda4302017-02-02 15:14:02 -080099 * Just prior to submitting the actual disk write requests, we convert
100 * the extents representing the range of the file actually being written
101 * (as opposed to extra pieces created for the cowextsize hint) to real
102 * extents. This will become important in the next step:
103 *
104 * D: --RRRRRRSSSRRRRRRRR---
105 * C: ------UUrrUUU---------
106 *
Darrick J. Wong3993bae2016-10-03 09:11:32 -0700107 * CoW remapping must be done after the data block write completes,
108 * because we don't want to destroy the old data fork map until we're sure
109 * the new block has been written. Since the new mappings are kept in a
110 * separate fork, we can simply iterate these mappings to find the ones
111 * that cover the file blocks that we just CoW'd. For each extent, simply
112 * unmap the corresponding range in the data fork, map the new range into
Darrick J. Wong5eda4302017-02-02 15:14:02 -0800113 * the data fork, and remove the extent from the CoW fork. Because of
114 * the presence of the cowextsize hint, however, we must be careful
115 * only to remap the blocks that we've actually written out -- we must
116 * never remap delalloc reservations nor CoW staging blocks that have
117 * yet to be written. This corresponds exactly to the real extents in
118 * the CoW fork:
119 *
120 * D: --RRRRRRrrSRRRRRRRR---
121 * C: ------UU--UUU---------
Darrick J. Wong3993bae2016-10-03 09:11:32 -0700122 *
123 * Since the remapping operation can be applied to an arbitrary file
124 * range, we record the need for the remap step as a flag in the ioend
125 * instead of declaring a new IO type. This is required for direct io
126 * because we only have ioend for the whole dio, and we have to be able to
127 * remember the presence of unwritten blocks and CoW blocks with a single
128 * ioend structure. Better yet, the more ground we can cover with one
129 * ioend, the better.
130 */
Darrick J. Wong2a067052016-10-03 09:11:33 -0700131
132/*
133 * Given an AG extent, find the lowest-numbered run of shared blocks
134 * within that range and return the range in fbno/flen. If
135 * find_end_of_shared is true, return the longest contiguous extent of
136 * shared blocks. If there are no shared extents, fbno and flen will
137 * be set to NULLAGBLOCK and 0, respectively.
138 */
139int
140xfs_reflink_find_shared(
141 struct xfs_mount *mp,
Darrick J. Wong92ff7282017-06-16 11:00:10 -0700142 struct xfs_trans *tp,
Darrick J. Wong2a067052016-10-03 09:11:33 -0700143 xfs_agnumber_t agno,
144 xfs_agblock_t agbno,
145 xfs_extlen_t aglen,
146 xfs_agblock_t *fbno,
147 xfs_extlen_t *flen,
148 bool find_end_of_shared)
149{
150 struct xfs_buf *agbp;
151 struct xfs_btree_cur *cur;
152 int error;
153
Darrick J. Wong92ff7282017-06-16 11:00:10 -0700154 error = xfs_alloc_read_agf(mp, tp, agno, 0, &agbp);
Darrick J. Wong2a067052016-10-03 09:11:33 -0700155 if (error)
156 return error;
Darrick J. Wong10479e22017-07-17 14:30:57 -0700157 if (!agbp)
158 return -ENOMEM;
Darrick J. Wong2a067052016-10-03 09:11:33 -0700159
Brian Fostered7ef8e2018-07-11 22:26:17 -0700160 cur = xfs_refcountbt_init_cursor(mp, tp, agbp, agno);
Darrick J. Wong2a067052016-10-03 09:11:33 -0700161
162 error = xfs_refcount_find_shared(cur, agbno, aglen, fbno, flen,
163 find_end_of_shared);
164
Darrick J. Wong0b04b6b82018-07-19 12:26:31 -0700165 xfs_btree_del_cursor(cur, error);
Darrick J. Wong2a067052016-10-03 09:11:33 -0700166
Darrick J. Wong92ff7282017-06-16 11:00:10 -0700167 xfs_trans_brelse(tp, agbp);
Darrick J. Wong2a067052016-10-03 09:11:33 -0700168 return error;
169}
170
171/*
172 * Trim the mapping to the next block where there's a change in the
173 * shared/unshared status. More specifically, this means that we
174 * find the lowest-numbered extent of shared blocks that coincides with
175 * the given block mapping. If the shared extent overlaps the start of
176 * the mapping, trim the mapping to the end of the shared extent. If
177 * the shared region intersects the mapping, trim the mapping to the
178 * start of the shared extent. If there are no shared regions that
179 * overlap, just return the original extent.
180 */
181int
182xfs_reflink_trim_around_shared(
183 struct xfs_inode *ip,
184 struct xfs_bmbt_irec *irec,
Christoph Hellwigd392bc82018-10-18 17:19:48 +1100185 bool *shared)
Darrick J. Wong2a067052016-10-03 09:11:33 -0700186{
187 xfs_agnumber_t agno;
188 xfs_agblock_t agbno;
189 xfs_extlen_t aglen;
190 xfs_agblock_t fbno;
191 xfs_extlen_t flen;
192 int error = 0;
193
194 /* Holes, unwritten, and delalloc extents cannot be shared */
Christoph Hellwig9c4f29d2017-03-28 14:53:35 -0700195 if (!xfs_is_reflink_inode(ip) || !xfs_bmap_is_real_extent(irec)) {
Darrick J. Wong2a067052016-10-03 09:11:33 -0700196 *shared = false;
197 return 0;
198 }
199
200 trace_xfs_reflink_trim_around_shared(ip, irec);
201
202 agno = XFS_FSB_TO_AGNO(ip->i_mount, irec->br_startblock);
203 agbno = XFS_FSB_TO_AGBNO(ip->i_mount, irec->br_startblock);
204 aglen = irec->br_blockcount;
205
Darrick J. Wong92ff7282017-06-16 11:00:10 -0700206 error = xfs_reflink_find_shared(ip->i_mount, NULL, agno, agbno,
Darrick J. Wong2a067052016-10-03 09:11:33 -0700207 aglen, &fbno, &flen, true);
208 if (error)
209 return error;
210
Christoph Hellwigd392bc82018-10-18 17:19:48 +1100211 *shared = false;
Darrick J. Wong2a067052016-10-03 09:11:33 -0700212 if (fbno == NULLAGBLOCK) {
213 /* No shared blocks at all. */
214 return 0;
215 } else if (fbno == agbno) {
216 /*
217 * The start of this extent is shared. Truncate the
218 * mapping at the end of the shared region so that a
219 * subsequent iteration starts at the start of the
220 * unshared region.
221 */
222 irec->br_blockcount = flen;
223 *shared = true;
Darrick J. Wong2a067052016-10-03 09:11:33 -0700224 return 0;
225 } else {
226 /*
227 * There's a shared extent midway through this extent.
228 * Truncate the mapping at the start of the shared
229 * extent so that a subsequent iteration starts at the
230 * start of the shared region.
231 */
232 irec->br_blockcount = fbno - agbno;
Darrick J. Wong2a067052016-10-03 09:11:33 -0700233 return 0;
234 }
235}
236
Christoph Hellwig3ba020b2016-10-20 15:53:50 +1100237/*
238 * Trim the passed in imap to the next shared/unshared extent boundary, and
239 * if imap->br_startoff points to a shared extent reserve space for it in the
Christoph Hellwigfc439462018-10-18 17:19:37 +1100240 * COW fork.
Christoph Hellwig3ba020b2016-10-20 15:53:50 +1100241 *
242 * Note that imap will always contain the block numbers for the existing blocks
243 * in the data fork, as the upper layers need them for read-modify-write
244 * operations.
245 */
246int
247xfs_reflink_reserve_cow(
Darrick J. Wong2a067052016-10-03 09:11:33 -0700248 struct xfs_inode *ip,
Christoph Hellwigfc439462018-10-18 17:19:37 +1100249 struct xfs_bmbt_irec *imap)
Darrick J. Wong2a067052016-10-03 09:11:33 -0700250{
Christoph Hellwig2755fc442016-11-24 11:39:49 +1100251 struct xfs_ifork *ifp = XFS_IFORK_PTR(ip, XFS_COW_FORK);
252 struct xfs_bmbt_irec got;
Christoph Hellwig2755fc442016-11-24 11:39:49 +1100253 int error = 0;
Christoph Hellwigd392bc82018-10-18 17:19:48 +1100254 bool eof = false;
Christoph Hellwigb2b17122017-11-03 10:34:43 -0700255 struct xfs_iext_cursor icur;
Christoph Hellwigfc439462018-10-18 17:19:37 +1100256 bool shared;
Darrick J. Wong2a067052016-10-03 09:11:33 -0700257
Christoph Hellwig3ba020b2016-10-20 15:53:50 +1100258 /*
259 * Search the COW fork extent list first. This serves two purposes:
260 * first this implement the speculative preallocation using cowextisze,
261 * so that we also unshared block adjacent to shared blocks instead
262 * of just the shared blocks themselves. Second the lookup in the
263 * extent list is generally faster than going out to the shared extent
264 * tree.
265 */
Christoph Hellwig2755fc442016-11-24 11:39:49 +1100266
Christoph Hellwigb2b17122017-11-03 10:34:43 -0700267 if (!xfs_iext_lookup_extent(ip, ifp, imap->br_startoff, &icur, &got))
Christoph Hellwig2755fc442016-11-24 11:39:49 +1100268 eof = true;
Christoph Hellwig3ba020b2016-10-20 15:53:50 +1100269 if (!eof && got.br_startoff <= imap->br_startoff) {
270 trace_xfs_reflink_cow_found(ip, imap);
271 xfs_trim_extent(imap, got.br_startoff, got.br_blockcount);
Christoph Hellwig3ba020b2016-10-20 15:53:50 +1100272 return 0;
273 }
Darrick J. Wong2a067052016-10-03 09:11:33 -0700274
275 /* Trim the mapping to the nearest shared extent boundary. */
Christoph Hellwigd392bc82018-10-18 17:19:48 +1100276 error = xfs_reflink_trim_around_shared(ip, imap, &shared);
Darrick J. Wong2a067052016-10-03 09:11:33 -0700277 if (error)
Christoph Hellwig3ba020b2016-10-20 15:53:50 +1100278 return error;
Darrick J. Wong2a067052016-10-03 09:11:33 -0700279
280 /* Not shared? Just report the (potentially capped) extent. */
Christoph Hellwigfc439462018-10-18 17:19:37 +1100281 if (!shared)
Christoph Hellwig3ba020b2016-10-20 15:53:50 +1100282 return 0;
Darrick J. Wong2a067052016-10-03 09:11:33 -0700283
284 /*
285 * Fork all the shared blocks from our write offset until the end of
286 * the extent.
287 */
Darrick J. Wong4882c192018-05-04 15:30:22 -0700288 error = xfs_qm_dqattach_locked(ip, false);
Darrick J. Wong2a067052016-10-03 09:11:33 -0700289 if (error)
Christoph Hellwig3ba020b2016-10-20 15:53:50 +1100290 return error;
291
Christoph Hellwig3ba020b2016-10-20 15:53:50 +1100292 error = xfs_bmapi_reserve_delalloc(ip, XFS_COW_FORK, imap->br_startoff,
Christoph Hellwigb2b17122017-11-03 10:34:43 -0700293 imap->br_blockcount, 0, &got, &icur, eof);
Brian Foster0260d8f2016-11-28 14:57:42 +1100294 if (error == -ENOSPC || error == -EDQUOT)
Christoph Hellwig3ba020b2016-10-20 15:53:50 +1100295 trace_xfs_reflink_cow_enospc(ip, imap);
Brian Foster0260d8f2016-11-28 14:57:42 +1100296 if (error)
Christoph Hellwig3ba020b2016-10-20 15:53:50 +1100297 return error;
Darrick J. Wong83104d42016-10-03 09:11:46 -0700298
Darrick J. Wong2a067052016-10-03 09:11:33 -0700299 trace_xfs_reflink_cow_alloc(ip, &got);
Christoph Hellwig3ba020b2016-10-20 15:53:50 +1100300 return 0;
Darrick J. Wong2a067052016-10-03 09:11:33 -0700301}
Darrick J. Wongef473662016-10-03 09:11:34 -0700302
Darrick J. Wong5eda4302017-02-02 15:14:02 -0800303/* Convert part of an unwritten CoW extent to a real one. */
304STATIC int
305xfs_reflink_convert_cow_extent(
306 struct xfs_inode *ip,
307 struct xfs_bmbt_irec *imap,
308 xfs_fileoff_t offset_fsb,
Brian Foster8a749382018-07-11 22:26:06 -0700309 xfs_filblks_t count_fsb)
Darrick J. Wong5eda4302017-02-02 15:14:02 -0800310{
Darrick J. Wong5eda4302017-02-02 15:14:02 -0800311 int nimaps = 1;
312
313 if (imap->br_state == XFS_EXT_NORM)
314 return 0;
315
Christoph Hellwigdcf95852017-02-06 10:46:01 -0800316 xfs_trim_extent(imap, offset_fsb, count_fsb);
317 trace_xfs_reflink_convert_cow(ip, imap);
318 if (imap->br_blockcount == 0)
Darrick J. Wong5eda4302017-02-02 15:14:02 -0800319 return 0;
Christoph Hellwigdcf95852017-02-06 10:46:01 -0800320 return xfs_bmapi_write(NULL, ip, imap->br_startoff, imap->br_blockcount,
Brian Fostera7beabe2018-07-11 22:26:25 -0700321 XFS_BMAPI_COWFORK | XFS_BMAPI_CONVERT, 0, imap,
Brian Foster3ae2d892018-07-11 22:26:19 -0700322 &nimaps);
Darrick J. Wong5eda4302017-02-02 15:14:02 -0800323}
324
325/* Convert all of the unwritten CoW extents in a file's range to real ones. */
326int
327xfs_reflink_convert_cow(
328 struct xfs_inode *ip,
329 xfs_off_t offset,
330 xfs_off_t count)
331{
Darrick J. Wong5eda4302017-02-02 15:14:02 -0800332 struct xfs_mount *mp = ip->i_mount;
Darrick J. Wong5eda4302017-02-02 15:14:02 -0800333 xfs_fileoff_t offset_fsb = XFS_B_TO_FSBT(mp, offset);
334 xfs_fileoff_t end_fsb = XFS_B_TO_FSB(mp, offset + count);
Christoph Hellwigb1214592017-11-03 10:34:44 -0700335 xfs_filblks_t count_fsb = end_fsb - offset_fsb;
336 struct xfs_bmbt_irec imap;
Christoph Hellwigb1214592017-11-03 10:34:44 -0700337 int nimaps = 1, error = 0;
338
339 ASSERT(count != 0);
Darrick J. Wong5eda4302017-02-02 15:14:02 -0800340
341 xfs_ilock(ip, XFS_ILOCK_EXCL);
Christoph Hellwigb1214592017-11-03 10:34:44 -0700342 error = xfs_bmapi_write(NULL, ip, offset_fsb, count_fsb,
343 XFS_BMAPI_COWFORK | XFS_BMAPI_CONVERT |
Brian Fostera7beabe2018-07-11 22:26:25 -0700344 XFS_BMAPI_CONVERT_ONLY, 0, &imap, &nimaps);
Darrick J. Wong5eda4302017-02-02 15:14:02 -0800345 xfs_iunlock(ip, XFS_ILOCK_EXCL);
346 return error;
347}
348
Dave Chinnerdf307072018-09-29 13:47:15 +1000349/*
350 * Find the extent that maps the given range in the COW fork. Even if the extent
351 * is not shared we might have a preallocation for it in the COW fork. If so we
352 * use it that rather than trigger a new allocation.
353 */
354static int
355xfs_find_trim_cow_extent(
356 struct xfs_inode *ip,
357 struct xfs_bmbt_irec *imap,
358 bool *shared,
359 bool *found)
360{
361 xfs_fileoff_t offset_fsb = imap->br_startoff;
362 xfs_filblks_t count_fsb = imap->br_blockcount;
363 struct xfs_iext_cursor icur;
364 struct xfs_bmbt_irec got;
Dave Chinnerdf307072018-09-29 13:47:15 +1000365
366 *found = false;
367
368 /*
369 * If we don't find an overlapping extent, trim the range we need to
370 * allocate to fit the hole we found.
371 */
Christoph Hellwig032dc922018-10-18 17:19:58 +1100372 if (!xfs_iext_lookup_extent(ip, ip->i_cowfp, offset_fsb, &icur, &got))
373 got.br_startoff = offset_fsb + count_fsb;
374 if (got.br_startoff > offset_fsb) {
375 xfs_trim_extent(imap, imap->br_startoff,
376 got.br_startoff - imap->br_startoff);
Christoph Hellwigd392bc82018-10-18 17:19:48 +1100377 return xfs_reflink_trim_around_shared(ip, imap, shared);
Christoph Hellwig032dc922018-10-18 17:19:58 +1100378 }
Dave Chinnerdf307072018-09-29 13:47:15 +1000379
380 *shared = true;
381 if (isnullstartblock(got.br_startblock)) {
382 xfs_trim_extent(imap, got.br_startoff, got.br_blockcount);
383 return 0;
384 }
385
386 /* real extent found - no need to allocate */
387 xfs_trim_extent(&got, offset_fsb, count_fsb);
388 *imap = got;
389 *found = true;
390 return 0;
391}
392
Darrick J. Wong0613f162016-10-03 09:11:37 -0700393/* Allocate all CoW reservations covering a range of blocks in a file. */
Christoph Hellwig3c68d442017-02-06 10:51:03 -0800394int
395xfs_reflink_allocate_cow(
Darrick J. Wong0613f162016-10-03 09:11:37 -0700396 struct xfs_inode *ip,
Christoph Hellwig3c68d442017-02-06 10:51:03 -0800397 struct xfs_bmbt_irec *imap,
398 bool *shared,
399 uint *lockmode)
Darrick J. Wong0613f162016-10-03 09:11:37 -0700400{
401 struct xfs_mount *mp = ip->i_mount;
Christoph Hellwig3c68d442017-02-06 10:51:03 -0800402 xfs_fileoff_t offset_fsb = imap->br_startoff;
403 xfs_filblks_t count_fsb = imap->br_blockcount;
Dave Chinnerdf307072018-09-29 13:47:15 +1000404 struct xfs_trans *tp;
Christoph Hellwig3c68d442017-02-06 10:51:03 -0800405 int nimaps, error = 0;
Dave Chinnerdf307072018-09-29 13:47:15 +1000406 bool found;
Christoph Hellwiga14234c2017-02-06 10:50:49 -0800407 xfs_filblks_t resaligned;
Christoph Hellwig3c68d442017-02-06 10:51:03 -0800408 xfs_extlen_t resblks = 0;
Darrick J. Wong0613f162016-10-03 09:11:37 -0700409
Christoph Hellwigc7dbe3f2018-03-13 23:15:31 -0700410 ASSERT(xfs_isilocked(ip, XFS_ILOCK_EXCL));
Dave Chinnerdf307072018-09-29 13:47:15 +1000411 ASSERT(xfs_is_reflink_inode(ip));
412
413 error = xfs_find_trim_cow_extent(ip, imap, shared, &found);
414 if (error || !*shared)
415 return error;
416 if (found)
417 goto convert;
418
419 resaligned = xfs_aligned_fsb_count(imap->br_startoff,
420 imap->br_blockcount, xfs_get_cowextsz_hint(ip));
421 resblks = XFS_DIOSTRAT_SPACE_RES(mp, resaligned);
422
423 xfs_iunlock(ip, *lockmode);
424 error = xfs_trans_alloc(mp, &M_RES(mp)->tr_write, resblks, 0, 0, &tp);
425 *lockmode = XFS_ILOCK_EXCL;
426 xfs_ilock(ip, *lockmode);
427
428 if (error)
429 return error;
430
431 error = xfs_qm_dqattach_locked(ip, false);
432 if (error)
433 goto out_trans_cancel;
Darrick J. Wong0613f162016-10-03 09:11:37 -0700434
Christoph Hellwiga14234c2017-02-06 10:50:49 -0800435 /*
Dave Chinnerdf307072018-09-29 13:47:15 +1000436 * Check for an overlapping extent again now that we dropped the ilock.
Christoph Hellwiga14234c2017-02-06 10:50:49 -0800437 */
Dave Chinnerdf307072018-09-29 13:47:15 +1000438 error = xfs_find_trim_cow_extent(ip, imap, shared, &found);
439 if (error || !*shared)
440 goto out_trans_cancel;
441 if (found) {
442 xfs_trans_cancel(tp);
443 goto convert;
Darrick J. Wong0613f162016-10-03 09:11:37 -0700444 }
445
Christoph Hellwiga14234c2017-02-06 10:50:49 -0800446 error = xfs_trans_reserve_quota_nblks(tp, ip, resblks, 0,
447 XFS_QMOPT_RES_REGBLKS);
Darrick J. Wong0613f162016-10-03 09:11:37 -0700448 if (error)
Dave Chinnerdf307072018-09-29 13:47:15 +1000449 goto out_trans_cancel;
Darrick J. Wong0613f162016-10-03 09:11:37 -0700450
Christoph Hellwiga14234c2017-02-06 10:50:49 -0800451 xfs_trans_ijoin(tp, ip, 0);
452
Christoph Hellwiga14234c2017-02-06 10:50:49 -0800453 /* Allocate the entire reservation as unwritten blocks. */
Dave Chinnerdf307072018-09-29 13:47:15 +1000454 nimaps = 1;
Christoph Hellwig3c68d442017-02-06 10:51:03 -0800455 error = xfs_bmapi_write(tp, ip, imap->br_startoff, imap->br_blockcount,
Brian Foster650919f2018-07-11 22:26:23 -0700456 XFS_BMAPI_COWFORK | XFS_BMAPI_PREALLOC,
Brian Fostera7beabe2018-07-11 22:26:25 -0700457 resblks, imap, &nimaps);
Christoph Hellwiga14234c2017-02-06 10:50:49 -0800458 if (error)
Dave Chinnerdf307072018-09-29 13:47:15 +1000459 goto out_unreserve;
Christoph Hellwiga14234c2017-02-06 10:50:49 -0800460
Darrick J. Wong86d692b2017-12-14 15:46:06 -0800461 xfs_inode_set_cowblocks_tag(ip);
Darrick J. Wong0613f162016-10-03 09:11:37 -0700462 error = xfs_trans_commit(tp);
Christoph Hellwiga14234c2017-02-06 10:50:49 -0800463 if (error)
Christoph Hellwig3c68d442017-02-06 10:51:03 -0800464 return error;
Darrick J. Wong9f37bd12018-01-26 11:37:44 -0800465
466 /*
467 * Allocation succeeded but the requested range was not even partially
468 * satisfied? Bail out!
469 */
470 if (nimaps == 0)
471 return -ENOSPC;
Christoph Hellwig3c68d442017-02-06 10:51:03 -0800472convert:
Brian Foster8a749382018-07-11 22:26:06 -0700473 return xfs_reflink_convert_cow_extent(ip, imap, offset_fsb, count_fsb);
Dave Chinnerdf307072018-09-29 13:47:15 +1000474
475out_unreserve:
Christoph Hellwiga14234c2017-02-06 10:50:49 -0800476 xfs_trans_unreserve_quota_nblks(tp, ip, (long)resblks, 0,
477 XFS_QMOPT_RES_REGBLKS);
Dave Chinnerdf307072018-09-29 13:47:15 +1000478out_trans_cancel:
479 xfs_trans_cancel(tp);
Christoph Hellwig3c68d442017-02-06 10:51:03 -0800480 return error;
Darrick J. Wong0613f162016-10-03 09:11:37 -0700481}
482
Darrick J. Wongef473662016-10-03 09:11:34 -0700483/*
Christoph Hellwig3802a342017-03-07 16:45:58 -0800484 * Cancel CoW reservations for some block range of an inode.
485 *
486 * If cancel_real is true this function cancels all COW fork extents for the
487 * inode; if cancel_real is false, real extents are not cleared.
Dave Chinnerc5295c62018-05-09 07:49:09 -0700488 *
489 * Caller must have already joined the inode to the current transaction. The
490 * inode will be joined to the transaction returned to the caller.
Darrick J. Wong43caeb12016-10-03 09:11:35 -0700491 */
492int
493xfs_reflink_cancel_cow_blocks(
494 struct xfs_inode *ip,
495 struct xfs_trans **tpp,
496 xfs_fileoff_t offset_fsb,
Christoph Hellwig3802a342017-03-07 16:45:58 -0800497 xfs_fileoff_t end_fsb,
498 bool cancel_real)
Darrick J. Wong43caeb12016-10-03 09:11:35 -0700499{
Christoph Hellwig3e0ee782016-10-20 15:54:31 +1100500 struct xfs_ifork *ifp = XFS_IFORK_PTR(ip, XFS_COW_FORK);
Christoph Hellwigdf5ab1b2016-11-24 11:39:50 +1100501 struct xfs_bmbt_irec got, del;
Christoph Hellwigb2b17122017-11-03 10:34:43 -0700502 struct xfs_iext_cursor icur;
Christoph Hellwigdf5ab1b2016-11-24 11:39:50 +1100503 int error = 0;
Darrick J. Wong43caeb12016-10-03 09:11:35 -0700504
Christoph Hellwig51d62692018-07-17 16:51:51 -0700505 if (!xfs_inode_has_cow_data(ip))
Darrick J. Wong43caeb12016-10-03 09:11:35 -0700506 return 0;
Christoph Hellwig41caabd2017-11-03 10:34:44 -0700507 if (!xfs_iext_lookup_extent_before(ip, ifp, &end_fsb, &icur, &got))
Christoph Hellwig3e0ee782016-10-20 15:54:31 +1100508 return 0;
Darrick J. Wong43caeb12016-10-03 09:11:35 -0700509
Christoph Hellwig41caabd2017-11-03 10:34:44 -0700510 /* Walk backwards until we're out of the I/O range... */
511 while (got.br_startoff + got.br_blockcount > offset_fsb) {
Christoph Hellwig3e0ee782016-10-20 15:54:31 +1100512 del = got;
513 xfs_trim_extent(&del, offset_fsb, end_fsb - offset_fsb);
Christoph Hellwig41caabd2017-11-03 10:34:44 -0700514
515 /* Extent delete may have bumped ext forward */
516 if (!del.br_blockcount) {
517 xfs_iext_prev(ifp, &icur);
518 goto next_extent;
519 }
520
Christoph Hellwig3e0ee782016-10-20 15:54:31 +1100521 trace_xfs_reflink_cancel_cow(ip, &del);
Darrick J. Wong43caeb12016-10-03 09:11:35 -0700522
Christoph Hellwig3e0ee782016-10-20 15:54:31 +1100523 if (isnullstartblock(del.br_startblock)) {
524 error = xfs_bmap_del_extent_delay(ip, XFS_COW_FORK,
Christoph Hellwigb2b17122017-11-03 10:34:43 -0700525 &icur, &got, &del);
Darrick J. Wong43caeb12016-10-03 09:11:35 -0700526 if (error)
527 break;
Christoph Hellwig3802a342017-03-07 16:45:58 -0800528 } else if (del.br_state == XFS_EXT_UNWRITTEN || cancel_real) {
Brian Foster1e5ae192018-07-24 13:43:12 -0700529 ASSERT((*tpp)->t_firstblock == NULLFSBLOCK);
Darrick J. Wong43caeb12016-10-03 09:11:35 -0700530
Darrick J. Wong174edb02016-10-03 09:11:39 -0700531 /* Free the CoW orphan record. */
Brian Foster0f37d172018-08-01 07:20:34 -0700532 error = xfs_refcount_free_cow_extent(*tpp,
533 del.br_startblock, del.br_blockcount);
Darrick J. Wong174edb02016-10-03 09:11:39 -0700534 if (error)
535 break;
536
Brian Foster0f37d172018-08-01 07:20:34 -0700537 xfs_bmap_add_free(*tpp, del.br_startblock,
538 del.br_blockcount, NULL);
Darrick J. Wong43caeb12016-10-03 09:11:35 -0700539
Darrick J. Wong43caeb12016-10-03 09:11:35 -0700540 /* Roll the transaction */
Brian Foster9e28a242018-07-24 13:43:15 -0700541 error = xfs_defer_finish(tpp);
Brian Foster9b1f4e92018-08-01 07:20:33 -0700542 if (error)
Darrick J. Wong43caeb12016-10-03 09:11:35 -0700543 break;
Darrick J. Wong43caeb12016-10-03 09:11:35 -0700544
545 /* Remove the mapping from the CoW fork. */
Christoph Hellwigb2b17122017-11-03 10:34:43 -0700546 xfs_bmap_del_extent_cow(ip, &icur, &got, &del);
Darrick J. Wong4b4c1322018-01-19 09:05:48 -0800547
548 /* Remove the quota reservation */
549 error = xfs_trans_reserve_quota_nblks(NULL, ip,
550 -(long)del.br_blockcount, 0,
551 XFS_QMOPT_RES_REGBLKS);
552 if (error)
553 break;
Darrick J. Wong9d40fba2017-12-10 18:03:55 -0800554 } else {
555 /* Didn't do anything, push cursor back. */
556 xfs_iext_prev(ifp, &icur);
Darrick J. Wong43caeb12016-10-03 09:11:35 -0700557 }
Christoph Hellwig41caabd2017-11-03 10:34:44 -0700558next_extent:
559 if (!xfs_iext_get_extent(ifp, &icur, &got))
Brian Fosterc17a8ef2016-10-24 14:21:08 +1100560 break;
Darrick J. Wong43caeb12016-10-03 09:11:35 -0700561 }
562
Brian Fosterc17a8ef2016-10-24 14:21:08 +1100563 /* clear tag if cow fork is emptied */
564 if (!ifp->if_bytes)
565 xfs_inode_clear_cowblocks_tag(ip);
Darrick J. Wong43caeb12016-10-03 09:11:35 -0700566 return error;
567}
568
569/*
Christoph Hellwig3802a342017-03-07 16:45:58 -0800570 * Cancel CoW reservations for some byte range of an inode.
571 *
572 * If cancel_real is true this function cancels all COW fork extents for the
573 * inode; if cancel_real is false, real extents are not cleared.
Darrick J. Wong43caeb12016-10-03 09:11:35 -0700574 */
575int
576xfs_reflink_cancel_cow_range(
577 struct xfs_inode *ip,
578 xfs_off_t offset,
Christoph Hellwig3802a342017-03-07 16:45:58 -0800579 xfs_off_t count,
580 bool cancel_real)
Darrick J. Wong43caeb12016-10-03 09:11:35 -0700581{
582 struct xfs_trans *tp;
583 xfs_fileoff_t offset_fsb;
584 xfs_fileoff_t end_fsb;
585 int error;
586
587 trace_xfs_reflink_cancel_cow_range(ip, offset, count);
Darrick J. Wong63646fc2016-10-10 16:47:32 +1100588 ASSERT(xfs_is_reflink_inode(ip));
Darrick J. Wong43caeb12016-10-03 09:11:35 -0700589
590 offset_fsb = XFS_B_TO_FSBT(ip->i_mount, offset);
591 if (count == NULLFILEOFF)
592 end_fsb = NULLFILEOFF;
593 else
594 end_fsb = XFS_B_TO_FSB(ip->i_mount, offset + count);
595
596 /* Start a rolling transaction to remove the mappings */
597 error = xfs_trans_alloc(ip->i_mount, &M_RES(ip->i_mount)->tr_write,
Dave Chinner4df0f7f2018-03-06 17:07:22 -0800598 0, 0, XFS_TRANS_NOFS, &tp);
Darrick J. Wong43caeb12016-10-03 09:11:35 -0700599 if (error)
600 goto out;
601
602 xfs_ilock(ip, XFS_ILOCK_EXCL);
603 xfs_trans_ijoin(tp, ip, 0);
604
605 /* Scrape out the old CoW reservations */
Christoph Hellwig3802a342017-03-07 16:45:58 -0800606 error = xfs_reflink_cancel_cow_blocks(ip, &tp, offset_fsb, end_fsb,
607 cancel_real);
Darrick J. Wong43caeb12016-10-03 09:11:35 -0700608 if (error)
609 goto out_cancel;
610
611 error = xfs_trans_commit(tp);
612
613 xfs_iunlock(ip, XFS_ILOCK_EXCL);
614 return error;
615
616out_cancel:
617 xfs_trans_cancel(tp);
618 xfs_iunlock(ip, XFS_ILOCK_EXCL);
619out:
620 trace_xfs_reflink_cancel_cow_range_error(ip, error, _RET_IP_);
621 return error;
622}
623
624/*
625 * Remap parts of a file's data fork after a successful CoW.
626 */
627int
628xfs_reflink_end_cow(
629 struct xfs_inode *ip,
630 xfs_off_t offset,
631 xfs_off_t count)
632{
Christoph Hellwigc1112b62016-10-20 15:54:45 +1100633 struct xfs_ifork *ifp = XFS_IFORK_PTR(ip, XFS_COW_FORK);
Christoph Hellwig4ab86712016-11-24 11:39:50 +1100634 struct xfs_bmbt_irec got, del;
Darrick J. Wong43caeb12016-10-03 09:11:35 -0700635 struct xfs_trans *tp;
636 xfs_fileoff_t offset_fsb;
637 xfs_fileoff_t end_fsb;
Christoph Hellwig4ab86712016-11-24 11:39:50 +1100638 int error;
Darrick J. Wong43caeb12016-10-03 09:11:35 -0700639 unsigned int resblks;
Darrick J. Wong43caeb12016-10-03 09:11:35 -0700640 xfs_filblks_t rlen;
Christoph Hellwigb2b17122017-11-03 10:34:43 -0700641 struct xfs_iext_cursor icur;
Darrick J. Wong43caeb12016-10-03 09:11:35 -0700642
643 trace_xfs_reflink_end_cow(ip, offset, count);
644
Christoph Hellwigc1112b62016-10-20 15:54:45 +1100645 /* No COW extents? That's easy! */
646 if (ifp->if_bytes == 0)
647 return 0;
648
Darrick J. Wong43caeb12016-10-03 09:11:35 -0700649 offset_fsb = XFS_B_TO_FSBT(ip->i_mount, offset);
650 end_fsb = XFS_B_TO_FSB(ip->i_mount, offset + count);
Darrick J. Wong43caeb12016-10-03 09:11:35 -0700651
Darrick J. Wongfe0be232017-04-12 12:26:07 -0700652 /*
653 * Start a rolling transaction to switch the mappings. We're
654 * unlikely ever to have to remap 16T worth of single-block
655 * extents, so just cap the worst case extent count to 2^32-1.
656 * Stick a warning in just in case, and avoid 64-bit division.
657 */
658 BUILD_BUG_ON(MAX_RW_COUNT > UINT_MAX);
659 if (end_fsb - offset_fsb > UINT_MAX) {
660 error = -EFSCORRUPTED;
661 xfs_force_shutdown(ip->i_mount, SHUTDOWN_CORRUPT_INCORE);
662 ASSERT(0);
663 goto out;
664 }
665 resblks = XFS_NEXTENTADD_SPACE_RES(ip->i_mount,
666 (unsigned int)(end_fsb - offset_fsb),
667 XFS_DATA_FORK);
Darrick J. Wong43caeb12016-10-03 09:11:35 -0700668 error = xfs_trans_alloc(ip->i_mount, &M_RES(ip->i_mount)->tr_write,
Dave Chinner4df0f7f2018-03-06 17:07:22 -0800669 resblks, 0, XFS_TRANS_RESERVE | XFS_TRANS_NOFS, &tp);
Darrick J. Wong43caeb12016-10-03 09:11:35 -0700670 if (error)
671 goto out;
672
673 xfs_ilock(ip, XFS_ILOCK_EXCL);
674 xfs_trans_ijoin(tp, ip, 0);
675
Christoph Hellwigdc560152017-10-23 16:32:39 -0700676 /*
677 * In case of racing, overlapping AIO writes no COW extents might be
678 * left by the time I/O completes for the loser of the race. In that
679 * case we are done.
680 */
Christoph Hellwigb2b17122017-11-03 10:34:43 -0700681 if (!xfs_iext_lookup_extent_before(ip, ifp, &end_fsb, &icur, &got))
Christoph Hellwigdc560152017-10-23 16:32:39 -0700682 goto out_cancel;
Darrick J. Wong43caeb12016-10-03 09:11:35 -0700683
Christoph Hellwigc1112b62016-10-20 15:54:45 +1100684 /* Walk backwards until we're out of the I/O range... */
685 while (got.br_startoff + got.br_blockcount > offset_fsb) {
686 del = got;
687 xfs_trim_extent(&del, offset_fsb, end_fsb - offset_fsb);
688
Christoph Hellwigb2b17122017-11-03 10:34:43 -0700689 /* Extent delete may have bumped ext forward */
Christoph Hellwigdf79b812018-03-13 23:15:33 -0700690 if (!del.br_blockcount)
691 goto prev_extent;
Darrick J. Wong43caeb12016-10-03 09:11:35 -0700692
Darrick J. Wong5eda4302017-02-02 15:14:02 -0800693 /*
Christoph Hellwigf5f3f952018-09-29 13:49:58 +1000694 * Only remap real extent that contain data. With AIO
695 * speculatively preallocations can leak into the range we
696 * are called upon, and we need to skip them.
Darrick J. Wong5eda4302017-02-02 15:14:02 -0800697 */
Christoph Hellwigf5f3f952018-09-29 13:49:58 +1000698 if (!xfs_bmap_is_real_extent(&got))
Christoph Hellwigdf79b812018-03-13 23:15:33 -0700699 goto prev_extent;
Darrick J. Wong5eda4302017-02-02 15:14:02 -0800700
Christoph Hellwigc1112b62016-10-20 15:54:45 +1100701 /* Unmap the old blocks in the data fork. */
Brian Foster9d9e6232018-08-01 07:20:35 -0700702 ASSERT(tp->t_firstblock == NULLFSBLOCK);
Christoph Hellwigc1112b62016-10-20 15:54:45 +1100703 rlen = del.br_blockcount;
Brian Foster2af52842018-07-11 22:26:25 -0700704 error = __xfs_bunmapi(tp, ip, del.br_startoff, &rlen, 0, 1);
Christoph Hellwigc1112b62016-10-20 15:54:45 +1100705 if (error)
Brian Fosterc8eac492018-07-24 13:43:13 -0700706 goto out_cancel;
Christoph Hellwigc1112b62016-10-20 15:54:45 +1100707
708 /* Trim the extent to whatever got unmapped. */
709 if (rlen) {
710 xfs_trim_extent(&del, del.br_startoff + rlen,
711 del.br_blockcount - rlen);
712 }
713 trace_xfs_reflink_cow_remap(ip, &del);
714
715 /* Free the CoW orphan record. */
Brian Foster0f37d172018-08-01 07:20:34 -0700716 error = xfs_refcount_free_cow_extent(tp, del.br_startblock,
717 del.br_blockcount);
Christoph Hellwigc1112b62016-10-20 15:54:45 +1100718 if (error)
Brian Fosterc8eac492018-07-24 13:43:13 -0700719 goto out_cancel;
Christoph Hellwigc1112b62016-10-20 15:54:45 +1100720
721 /* Map the new blocks into the data fork. */
Brian Foster0f37d172018-08-01 07:20:34 -0700722 error = xfs_bmap_map_extent(tp, ip, &del);
Christoph Hellwigc1112b62016-10-20 15:54:45 +1100723 if (error)
Brian Fosterc8eac492018-07-24 13:43:13 -0700724 goto out_cancel;
Christoph Hellwigc1112b62016-10-20 15:54:45 +1100725
Darrick J. Wong4b4c1322018-01-19 09:05:48 -0800726 /* Charge this new data fork mapping to the on-disk quota. */
727 xfs_trans_mod_dquot_byino(tp, ip, XFS_TRANS_DQ_DELBCOUNT,
728 (long)del.br_blockcount);
729
Christoph Hellwigc1112b62016-10-20 15:54:45 +1100730 /* Remove the mapping from the CoW fork. */
Christoph Hellwigb2b17122017-11-03 10:34:43 -0700731 xfs_bmap_del_extent_cow(ip, &icur, &got, &del);
Christoph Hellwigc1112b62016-10-20 15:54:45 +1100732
Brian Foster9e28a242018-07-24 13:43:15 -0700733 error = xfs_defer_finish(&tp);
Christoph Hellwigc1112b62016-10-20 15:54:45 +1100734 if (error)
Brian Fosterc8eac492018-07-24 13:43:13 -0700735 goto out_cancel;
Christoph Hellwigb2b17122017-11-03 10:34:43 -0700736 if (!xfs_iext_get_extent(ifp, &icur, &got))
Christoph Hellwigc1112b62016-10-20 15:54:45 +1100737 break;
Christoph Hellwigdf79b812018-03-13 23:15:33 -0700738 continue;
739prev_extent:
740 if (!xfs_iext_prev_extent(ifp, &icur, &got))
741 break;
Darrick J. Wong43caeb12016-10-03 09:11:35 -0700742 }
743
744 error = xfs_trans_commit(tp);
745 xfs_iunlock(ip, XFS_ILOCK_EXCL);
746 if (error)
747 goto out;
748 return 0;
749
Christoph Hellwige12199f2017-10-03 08:58:33 -0700750out_cancel:
Darrick J. Wong43caeb12016-10-03 09:11:35 -0700751 xfs_trans_cancel(tp);
752 xfs_iunlock(ip, XFS_ILOCK_EXCL);
753out:
754 trace_xfs_reflink_end_cow_error(ip, error, _RET_IP_);
755 return error;
756}
Darrick J. Wong174edb02016-10-03 09:11:39 -0700757
758/*
759 * Free leftover CoW reservations that didn't get cleaned out.
760 */
761int
762xfs_reflink_recover_cow(
763 struct xfs_mount *mp)
764{
765 xfs_agnumber_t agno;
766 int error = 0;
767
768 if (!xfs_sb_version_hasreflink(&mp->m_sb))
769 return 0;
770
771 for (agno = 0; agno < mp->m_sb.sb_agcount; agno++) {
772 error = xfs_refcount_recover_cow_leftovers(mp, agno);
773 if (error)
774 break;
775 }
776
777 return error;
778}
Darrick J. Wong862bb362016-10-03 09:11:40 -0700779
780/*
781 * Reflinking (Block) Ranges of Two Files Together
782 *
783 * First, ensure that the reflink flag is set on both inodes. The flag is an
784 * optimization to avoid unnecessary refcount btree lookups in the write path.
785 *
786 * Now we can iteratively remap the range of extents (and holes) in src to the
787 * corresponding ranges in dest. Let drange and srange denote the ranges of
788 * logical blocks in dest and src touched by the reflink operation.
789 *
790 * While the length of drange is greater than zero,
791 * - Read src's bmbt at the start of srange ("imap")
792 * - If imap doesn't exist, make imap appear to start at the end of srange
793 * with zero length.
794 * - If imap starts before srange, advance imap to start at srange.
795 * - If imap goes beyond srange, truncate imap to end at the end of srange.
796 * - Punch (imap start - srange start + imap len) blocks from dest at
797 * offset (drange start).
798 * - If imap points to a real range of pblks,
799 * > Increase the refcount of the imap's pblks
800 * > Map imap's pblks into dest at the offset
801 * (drange start + imap start - srange start)
802 * - Advance drange and srange by (imap start - srange start + imap len)
803 *
804 * Finally, if the reflink made dest longer, update both the in-core and
805 * on-disk file sizes.
806 *
807 * ASCII Art Demonstration:
808 *
809 * Let's say we want to reflink this source file:
810 *
811 * ----SSSSSSS-SSSSS----SSSSSS (src file)
812 * <-------------------->
813 *
814 * into this destination file:
815 *
816 * --DDDDDDDDDDDDDDDDDDD--DDD (dest file)
817 * <-------------------->
818 * '-' means a hole, and 'S' and 'D' are written blocks in the src and dest.
819 * Observe that the range has different logical offsets in either file.
820 *
821 * Consider that the first extent in the source file doesn't line up with our
822 * reflink range. Unmapping and remapping are separate operations, so we can
823 * unmap more blocks from the destination file than we remap.
824 *
825 * ----SSSSSSS-SSSSS----SSSSSS
826 * <------->
827 * --DDDDD---------DDDDD--DDD
828 * <------->
829 *
830 * Now remap the source extent into the destination file:
831 *
832 * ----SSSSSSS-SSSSS----SSSSSS
833 * <------->
834 * --DDDDD--SSSSSSSDDDDD--DDD
835 * <------->
836 *
837 * Do likewise with the second hole and extent in our range. Holes in the
838 * unmap range don't affect our operation.
839 *
840 * ----SSSSSSS-SSSSS----SSSSSS
841 * <---->
842 * --DDDDD--SSSSSSS-SSSSS-DDD
843 * <---->
844 *
845 * Finally, unmap and remap part of the third extent. This will increase the
846 * size of the destination file.
847 *
848 * ----SSSSSSS-SSSSS----SSSSSS
849 * <----->
850 * --DDDDD--SSSSSSS-SSSSS----SSS
851 * <----->
852 *
853 * Once we update the destination file's i_size, we're done.
854 */
855
856/*
857 * Ensure the reflink bit is set in both inodes.
858 */
859STATIC int
860xfs_reflink_set_inode_flag(
861 struct xfs_inode *src,
862 struct xfs_inode *dest)
863{
864 struct xfs_mount *mp = src->i_mount;
865 int error;
866 struct xfs_trans *tp;
867
868 if (xfs_is_reflink_inode(src) && xfs_is_reflink_inode(dest))
869 return 0;
870
871 error = xfs_trans_alloc(mp, &M_RES(mp)->tr_ichange, 0, 0, 0, &tp);
872 if (error)
873 goto out_error;
874
875 /* Lock both files against IO */
876 if (src->i_ino == dest->i_ino)
877 xfs_ilock(src, XFS_ILOCK_EXCL);
878 else
Darrick J. Wong7c2d2382018-01-26 15:27:33 -0800879 xfs_lock_two_inodes(src, XFS_ILOCK_EXCL, dest, XFS_ILOCK_EXCL);
Darrick J. Wong862bb362016-10-03 09:11:40 -0700880
881 if (!xfs_is_reflink_inode(src)) {
882 trace_xfs_reflink_set_inode_flag(src);
883 xfs_trans_ijoin(tp, src, XFS_ILOCK_EXCL);
884 src->i_d.di_flags2 |= XFS_DIFLAG2_REFLINK;
885 xfs_trans_log_inode(tp, src, XFS_ILOG_CORE);
886 xfs_ifork_init_cow(src);
887 } else
888 xfs_iunlock(src, XFS_ILOCK_EXCL);
889
890 if (src->i_ino == dest->i_ino)
891 goto commit_flags;
892
893 if (!xfs_is_reflink_inode(dest)) {
894 trace_xfs_reflink_set_inode_flag(dest);
895 xfs_trans_ijoin(tp, dest, XFS_ILOCK_EXCL);
896 dest->i_d.di_flags2 |= XFS_DIFLAG2_REFLINK;
897 xfs_trans_log_inode(tp, dest, XFS_ILOG_CORE);
898 xfs_ifork_init_cow(dest);
899 } else
900 xfs_iunlock(dest, XFS_ILOCK_EXCL);
901
902commit_flags:
903 error = xfs_trans_commit(tp);
904 if (error)
905 goto out_error;
906 return error;
907
908out_error:
909 trace_xfs_reflink_set_inode_flag_error(dest, error, _RET_IP_);
910 return error;
911}
912
913/*
Darrick J. Wongf7ca3522016-10-03 09:11:43 -0700914 * Update destination inode size & cowextsize hint, if necessary.
Darrick J. Wong862bb362016-10-03 09:11:40 -0700915 */
916STATIC int
917xfs_reflink_update_dest(
918 struct xfs_inode *dest,
Darrick J. Wongf7ca3522016-10-03 09:11:43 -0700919 xfs_off_t newlen,
Christoph Hellwigc5ecb422017-02-06 17:45:51 -0800920 xfs_extlen_t cowextsize,
921 bool is_dedupe)
Darrick J. Wong862bb362016-10-03 09:11:40 -0700922{
923 struct xfs_mount *mp = dest->i_mount;
924 struct xfs_trans *tp;
925 int error;
926
Christoph Hellwigc5ecb422017-02-06 17:45:51 -0800927 if (is_dedupe && newlen <= i_size_read(VFS_I(dest)) && cowextsize == 0)
Darrick J. Wong862bb362016-10-03 09:11:40 -0700928 return 0;
929
930 error = xfs_trans_alloc(mp, &M_RES(mp)->tr_ichange, 0, 0, 0, &tp);
931 if (error)
932 goto out_error;
933
934 xfs_ilock(dest, XFS_ILOCK_EXCL);
935 xfs_trans_ijoin(tp, dest, XFS_ILOCK_EXCL);
936
Darrick J. Wongf7ca3522016-10-03 09:11:43 -0700937 if (newlen > i_size_read(VFS_I(dest))) {
938 trace_xfs_reflink_update_inode_size(dest, newlen);
939 i_size_write(VFS_I(dest), newlen);
940 dest->i_d.di_size = newlen;
941 }
942
943 if (cowextsize) {
944 dest->i_d.di_cowextsize = cowextsize;
945 dest->i_d.di_flags2 |= XFS_DIFLAG2_COWEXTSIZE;
946 }
947
Christoph Hellwigc5ecb422017-02-06 17:45:51 -0800948 if (!is_dedupe) {
949 xfs_trans_ichgtime(tp, dest,
950 XFS_ICHGTIME_MOD | XFS_ICHGTIME_CHG);
951 }
Darrick J. Wong862bb362016-10-03 09:11:40 -0700952 xfs_trans_log_inode(tp, dest, XFS_ILOG_CORE);
953
954 error = xfs_trans_commit(tp);
955 if (error)
956 goto out_error;
957 return error;
958
959out_error:
960 trace_xfs_reflink_update_inode_size_error(dest, error, _RET_IP_);
961 return error;
962}
963
964/*
Darrick J. Wong6fa164b2016-10-03 09:11:45 -0700965 * Do we have enough reserve in this AG to handle a reflink? The refcount
966 * btree already reserved all the space it needs, but the rmap btree can grow
967 * infinitely, so we won't allow more reflinks when the AG is down to the
968 * btree reserves.
969 */
970static int
971xfs_reflink_ag_has_free_space(
972 struct xfs_mount *mp,
973 xfs_agnumber_t agno)
974{
975 struct xfs_perag *pag;
976 int error = 0;
977
978 if (!xfs_sb_version_hasrmapbt(&mp->m_sb))
979 return 0;
980
981 pag = xfs_perag_get(mp, agno);
Brian Foster21592862018-03-09 14:01:59 -0800982 if (xfs_ag_resv_critical(pag, XFS_AG_RESV_RMAPBT) ||
Darrick J. Wong6fa164b2016-10-03 09:11:45 -0700983 xfs_ag_resv_critical(pag, XFS_AG_RESV_METADATA))
984 error = -ENOSPC;
985 xfs_perag_put(pag);
986 return error;
987}
988
989/*
Darrick J. Wong862bb362016-10-03 09:11:40 -0700990 * Unmap a range of blocks from a file, then map other blocks into the hole.
991 * The range to unmap is (destoff : destoff + srcioff + irec->br_blockcount).
992 * The extent irec is mapped into dest at irec->br_startoff.
993 */
994STATIC int
995xfs_reflink_remap_extent(
996 struct xfs_inode *ip,
997 struct xfs_bmbt_irec *irec,
998 xfs_fileoff_t destoff,
999 xfs_off_t new_isize)
1000{
1001 struct xfs_mount *mp = ip->i_mount;
Christoph Hellwig9c4f29d2017-03-28 14:53:35 -07001002 bool real_extent = xfs_bmap_is_real_extent(irec);
Darrick J. Wong862bb362016-10-03 09:11:40 -07001003 struct xfs_trans *tp;
Darrick J. Wong862bb362016-10-03 09:11:40 -07001004 unsigned int resblks;
Darrick J. Wong862bb362016-10-03 09:11:40 -07001005 struct xfs_bmbt_irec uirec;
Darrick J. Wong862bb362016-10-03 09:11:40 -07001006 xfs_filblks_t rlen;
1007 xfs_filblks_t unmap_len;
1008 xfs_off_t newlen;
1009 int error;
1010
1011 unmap_len = irec->br_startoff + irec->br_blockcount - destoff;
1012 trace_xfs_reflink_punch_range(ip, destoff, unmap_len);
1013
Darrick J. Wong6fa164b2016-10-03 09:11:45 -07001014 /* No reflinking if we're low on space */
1015 if (real_extent) {
1016 error = xfs_reflink_ag_has_free_space(mp,
1017 XFS_FSB_TO_AGNO(mp, irec->br_startblock));
1018 if (error)
1019 goto out;
1020 }
1021
Darrick J. Wong862bb362016-10-03 09:11:40 -07001022 /* Start a rolling transaction to switch the mappings */
1023 resblks = XFS_EXTENTADD_SPACE_RES(ip->i_mount, XFS_DATA_FORK);
1024 error = xfs_trans_alloc(mp, &M_RES(mp)->tr_write, resblks, 0, 0, &tp);
1025 if (error)
1026 goto out;
1027
1028 xfs_ilock(ip, XFS_ILOCK_EXCL);
1029 xfs_trans_ijoin(tp, ip, 0);
1030
1031 /* If we're not just clearing space, then do we have enough quota? */
1032 if (real_extent) {
1033 error = xfs_trans_reserve_quota_nblks(tp, ip,
1034 irec->br_blockcount, 0, XFS_QMOPT_RES_REGBLKS);
1035 if (error)
1036 goto out_cancel;
1037 }
1038
1039 trace_xfs_reflink_remap(ip, irec->br_startoff,
1040 irec->br_blockcount, irec->br_startblock);
1041
1042 /* Unmap the old blocks in the data fork. */
1043 rlen = unmap_len;
1044 while (rlen) {
Brian Foster9d9e6232018-08-01 07:20:35 -07001045 ASSERT(tp->t_firstblock == NULLFSBLOCK);
Brian Foster2af52842018-07-11 22:26:25 -07001046 error = __xfs_bunmapi(tp, ip, destoff, &rlen, 0, 1);
Darrick J. Wong862bb362016-10-03 09:11:40 -07001047 if (error)
Brian Fosterc8eac492018-07-24 13:43:13 -07001048 goto out_cancel;
Darrick J. Wong862bb362016-10-03 09:11:40 -07001049
1050 /*
1051 * Trim the extent to whatever got unmapped.
1052 * Remember, bunmapi works backwards.
1053 */
1054 uirec.br_startblock = irec->br_startblock + rlen;
1055 uirec.br_startoff = irec->br_startoff + rlen;
1056 uirec.br_blockcount = unmap_len - rlen;
1057 unmap_len = rlen;
1058
1059 /* If this isn't a real mapping, we're done. */
1060 if (!real_extent || uirec.br_blockcount == 0)
1061 goto next_extent;
1062
1063 trace_xfs_reflink_remap(ip, uirec.br_startoff,
1064 uirec.br_blockcount, uirec.br_startblock);
1065
1066 /* Update the refcount tree */
Brian Foster0f37d172018-08-01 07:20:34 -07001067 error = xfs_refcount_increase_extent(tp, &uirec);
Darrick J. Wong862bb362016-10-03 09:11:40 -07001068 if (error)
Brian Fosterc8eac492018-07-24 13:43:13 -07001069 goto out_cancel;
Darrick J. Wong862bb362016-10-03 09:11:40 -07001070
1071 /* Map the new blocks into the data fork. */
Brian Foster0f37d172018-08-01 07:20:34 -07001072 error = xfs_bmap_map_extent(tp, ip, &uirec);
Darrick J. Wong862bb362016-10-03 09:11:40 -07001073 if (error)
Brian Fosterc8eac492018-07-24 13:43:13 -07001074 goto out_cancel;
Darrick J. Wong862bb362016-10-03 09:11:40 -07001075
1076 /* Update quota accounting. */
1077 xfs_trans_mod_dquot_byino(tp, ip, XFS_TRANS_DQ_BCOUNT,
1078 uirec.br_blockcount);
1079
1080 /* Update dest isize if needed. */
1081 newlen = XFS_FSB_TO_B(mp,
1082 uirec.br_startoff + uirec.br_blockcount);
1083 newlen = min_t(xfs_off_t, newlen, new_isize);
1084 if (newlen > i_size_read(VFS_I(ip))) {
1085 trace_xfs_reflink_update_inode_size(ip, newlen);
1086 i_size_write(VFS_I(ip), newlen);
1087 ip->i_d.di_size = newlen;
1088 xfs_trans_log_inode(tp, ip, XFS_ILOG_CORE);
1089 }
1090
1091next_extent:
1092 /* Process all the deferred stuff. */
Brian Foster9e28a242018-07-24 13:43:15 -07001093 error = xfs_defer_finish(&tp);
Darrick J. Wong862bb362016-10-03 09:11:40 -07001094 if (error)
Brian Fosterc8eac492018-07-24 13:43:13 -07001095 goto out_cancel;
Darrick J. Wong862bb362016-10-03 09:11:40 -07001096 }
1097
1098 error = xfs_trans_commit(tp);
1099 xfs_iunlock(ip, XFS_ILOCK_EXCL);
1100 if (error)
1101 goto out;
1102 return 0;
1103
Darrick J. Wong862bb362016-10-03 09:11:40 -07001104out_cancel:
1105 xfs_trans_cancel(tp);
1106 xfs_iunlock(ip, XFS_ILOCK_EXCL);
1107out:
1108 trace_xfs_reflink_remap_extent_error(ip, error, _RET_IP_);
1109 return error;
1110}
1111
1112/*
1113 * Iteratively remap one file's extents (and holes) to another's.
1114 */
1115STATIC int
1116xfs_reflink_remap_blocks(
1117 struct xfs_inode *src,
1118 xfs_fileoff_t srcoff,
1119 struct xfs_inode *dest,
1120 xfs_fileoff_t destoff,
1121 xfs_filblks_t len,
1122 xfs_off_t new_isize)
1123{
1124 struct xfs_bmbt_irec imap;
1125 int nimaps;
1126 int error = 0;
1127 xfs_filblks_t range_len;
1128
1129 /* drange = (destoff, destoff + len); srange = (srcoff, srcoff + len) */
1130 while (len) {
Darrick J. Wong01c2e132018-01-18 14:07:53 -08001131 uint lock_mode;
1132
Darrick J. Wong862bb362016-10-03 09:11:40 -07001133 trace_xfs_reflink_remap_blocks_loop(src, srcoff, len,
1134 dest, destoff);
Darrick J. Wong01c2e132018-01-18 14:07:53 -08001135
Darrick J. Wong862bb362016-10-03 09:11:40 -07001136 /* Read extent from the source file */
1137 nimaps = 1;
Darrick J. Wong01c2e132018-01-18 14:07:53 -08001138 lock_mode = xfs_ilock_data_map_shared(src);
Darrick J. Wong862bb362016-10-03 09:11:40 -07001139 error = xfs_bmapi_read(src, srcoff, len, &imap, &nimaps, 0);
Darrick J. Wong01c2e132018-01-18 14:07:53 -08001140 xfs_iunlock(src, lock_mode);
Darrick J. Wong862bb362016-10-03 09:11:40 -07001141 if (error)
1142 goto err;
1143 ASSERT(nimaps == 1);
1144
1145 trace_xfs_reflink_remap_imap(src, srcoff, len, XFS_IO_OVERWRITE,
1146 &imap);
1147
1148 /* Translate imap into the destination file. */
1149 range_len = imap.br_startoff + imap.br_blockcount - srcoff;
1150 imap.br_startoff += destoff - srcoff;
1151
1152 /* Clear dest from destoff to the end of imap and map it in. */
1153 error = xfs_reflink_remap_extent(dest, &imap, destoff,
1154 new_isize);
1155 if (error)
1156 goto err;
1157
1158 if (fatal_signal_pending(current)) {
1159 error = -EINTR;
1160 goto err;
1161 }
1162
1163 /* Advance drange/srange */
1164 srcoff += range_len;
1165 destoff += range_len;
1166 len -= range_len;
1167 }
1168
1169 return 0;
1170
1171err:
1172 trace_xfs_reflink_remap_blocks_error(dest, error, _RET_IP_);
1173 return error;
1174}
1175
1176/*
Darrick J. Wong1364b1d42018-01-18 13:55:20 -08001177 * Grab the exclusive iolock for a data copy from src to dest, making
1178 * sure to abide vfs locking order (lowest pointer value goes first) and
1179 * breaking the pnfs layout leases on dest before proceeding. The loop
1180 * is needed because we cannot call the blocking break_layout() with the
1181 * src iolock held, and therefore have to back out both locks.
1182 */
1183static int
1184xfs_iolock_two_inodes_and_break_layout(
1185 struct inode *src,
1186 struct inode *dest)
1187{
1188 int error;
1189
1190retry:
1191 if (src < dest) {
Darrick J. Wong01c2e132018-01-18 14:07:53 -08001192 inode_lock_shared(src);
Darrick J. Wong1364b1d42018-01-18 13:55:20 -08001193 inode_lock_nested(dest, I_MUTEX_NONDIR2);
1194 } else {
1195 /* src >= dest */
1196 inode_lock(dest);
1197 }
1198
1199 error = break_layout(dest, false);
1200 if (error == -EWOULDBLOCK) {
1201 inode_unlock(dest);
1202 if (src < dest)
Darrick J. Wong01c2e132018-01-18 14:07:53 -08001203 inode_unlock_shared(src);
Darrick J. Wong1364b1d42018-01-18 13:55:20 -08001204 error = break_layout(dest, true);
1205 if (error)
1206 return error;
1207 goto retry;
1208 }
1209 if (error) {
1210 inode_unlock(dest);
1211 if (src < dest)
Darrick J. Wong01c2e132018-01-18 14:07:53 -08001212 inode_unlock_shared(src);
Darrick J. Wong1364b1d42018-01-18 13:55:20 -08001213 return error;
1214 }
1215 if (src > dest)
Darrick J. Wong01c2e132018-01-18 14:07:53 -08001216 inode_lock_shared_nested(src, I_MUTEX_NONDIR2);
Darrick J. Wong1364b1d42018-01-18 13:55:20 -08001217 return 0;
1218}
1219
Darrick J. Wong0d41e1d2018-10-05 19:04:22 +10001220/* Unlock both inodes after they've been prepped for a range clone. */
1221STATIC void
1222xfs_reflink_remap_unlock(
1223 struct file *file_in,
1224 struct file *file_out)
1225{
1226 struct inode *inode_in = file_inode(file_in);
1227 struct xfs_inode *src = XFS_I(inode_in);
1228 struct inode *inode_out = file_inode(file_out);
1229 struct xfs_inode *dest = XFS_I(inode_out);
1230 bool same_inode = (inode_in == inode_out);
1231
1232 xfs_iunlock(dest, XFS_MMAPLOCK_EXCL);
1233 if (!same_inode)
1234 xfs_iunlock(src, XFS_MMAPLOCK_SHARED);
1235 inode_unlock(inode_out);
1236 if (!same_inode)
1237 inode_unlock_shared(inode_in);
1238}
1239
Darrick J. Wong1364b1d42018-01-18 13:55:20 -08001240/*
Darrick J. Wong410fdc72018-10-05 19:04:27 +10001241 * If we're reflinking to a point past the destination file's EOF, we must
1242 * zero any speculative post-EOF preallocations that sit between the old EOF
1243 * and the destination file offset.
1244 */
1245static int
1246xfs_reflink_zero_posteof(
1247 struct xfs_inode *ip,
1248 loff_t pos)
1249{
1250 loff_t isize = i_size_read(VFS_I(ip));
1251
1252 if (pos <= isize)
1253 return 0;
1254
1255 trace_xfs_zero_eof(ip, isize, pos - isize);
1256 return iomap_zero_range(VFS_I(ip), isize, pos - isize, NULL,
1257 &xfs_iomap_ops);
1258}
1259
1260/*
Darrick J. Wong0d41e1d2018-10-05 19:04:22 +10001261 * Prepare two files for range cloning. Upon a successful return both inodes
Dave Chinnerb3998902018-10-06 11:44:39 +10001262 * will have the iolock and mmaplock held, the page cache of the out file will
1263 * be truncated, and any leases on the out file will have been broken. This
1264 * function borrows heavily from xfs_file_aio_write_checks.
Dave Chinnerdceeb472018-10-06 11:44:19 +10001265 *
1266 * The VFS allows partial EOF blocks to "match" for dedupe even though it hasn't
1267 * checked that the bytes beyond EOF physically match. Hence we cannot use the
1268 * EOF block in the source dedupe range because it's not a complete block match,
Dave Chinnerb3998902018-10-06 11:44:39 +10001269 * hence can introduce a corruption into the file that has it's block replaced.
Dave Chinnerdceeb472018-10-06 11:44:19 +10001270 *
Dave Chinnerb3998902018-10-06 11:44:39 +10001271 * In similar fashion, the VFS file cloning also allows partial EOF blocks to be
1272 * "block aligned" for the purposes of cloning entire files. However, if the
1273 * source file range includes the EOF block and it lands within the existing EOF
1274 * of the destination file, then we can expose stale data from beyond the source
1275 * file EOF in the destination file.
1276 *
1277 * XFS doesn't support partial block sharing, so in both cases we have check
1278 * these cases ourselves. For dedupe, we can simply round the length to dedupe
1279 * down to the previous whole block and ignore the partial EOF block. While this
1280 * means we can't dedupe the last block of a file, this is an acceptible
1281 * tradeoff for simplicity on implementation.
1282 *
1283 * For cloning, we want to share the partial EOF block if it is also the new EOF
1284 * block of the destination file. If the partial EOF block lies inside the
1285 * existing destination EOF, then we have to abort the clone to avoid exposing
1286 * stale data in the destination file. Hence we reject these clone attempts with
1287 * -EINVAL in this case.
Darrick J. Wong862bb362016-10-03 09:11:40 -07001288 */
Darrick J. Wong0d41e1d2018-10-05 19:04:22 +10001289STATIC int
1290xfs_reflink_remap_prep(
Christoph Hellwig5faaf4f2016-10-20 15:50:07 +11001291 struct file *file_in,
1292 loff_t pos_in,
1293 struct file *file_out,
1294 loff_t pos_out,
Darrick J. Wong0d41e1d2018-10-05 19:04:22 +10001295 u64 *len,
Christoph Hellwig5faaf4f2016-10-20 15:50:07 +11001296 bool is_dedupe)
Darrick J. Wong862bb362016-10-03 09:11:40 -07001297{
Christoph Hellwig5faaf4f2016-10-20 15:50:07 +11001298 struct inode *inode_in = file_inode(file_in);
1299 struct xfs_inode *src = XFS_I(inode_in);
1300 struct inode *inode_out = file_inode(file_out);
1301 struct xfs_inode *dest = XFS_I(inode_out);
Christoph Hellwig5faaf4f2016-10-20 15:50:07 +11001302 bool same_inode = (inode_in == inode_out);
Dave Chinnerb3998902018-10-06 11:44:39 +10001303 u64 blkmask = i_blocksize(inode_in) - 1;
Christoph Hellwig5faaf4f2016-10-20 15:50:07 +11001304 ssize_t ret;
Darrick J. Wong862bb362016-10-03 09:11:40 -07001305
Christoph Hellwig5faaf4f2016-10-20 15:50:07 +11001306 /* Lock both files against IO */
Darrick J. Wong1364b1d42018-01-18 13:55:20 -08001307 ret = xfs_iolock_two_inodes_and_break_layout(inode_in, inode_out);
1308 if (ret)
1309 return ret;
Christoph Hellwig65523212016-11-30 14:33:25 +11001310 if (same_inode)
Christoph Hellwig5faaf4f2016-10-20 15:50:07 +11001311 xfs_ilock(src, XFS_MMAPLOCK_EXCL);
Christoph Hellwig65523212016-11-30 14:33:25 +11001312 else
Darrick J. Wong01c2e132018-01-18 14:07:53 -08001313 xfs_lock_two_inodes(src, XFS_MMAPLOCK_SHARED, dest,
Darrick J. Wong7c2d2382018-01-26 15:27:33 -08001314 XFS_MMAPLOCK_EXCL);
Christoph Hellwig5faaf4f2016-10-20 15:50:07 +11001315
Darrick J. Wong876bec6f2016-12-09 16:18:30 -08001316 /* Check file eligibility and prepare for block sharing. */
Christoph Hellwig5faaf4f2016-10-20 15:50:07 +11001317 ret = -EINVAL;
Darrick J. Wong862bb362016-10-03 09:11:40 -07001318 /* Don't reflink realtime inodes */
1319 if (XFS_IS_REALTIME_INODE(src) || XFS_IS_REALTIME_INODE(dest))
Christoph Hellwig5faaf4f2016-10-20 15:50:07 +11001320 goto out_unlock;
Darrick J. Wong862bb362016-10-03 09:11:40 -07001321
Christoph Hellwig5faaf4f2016-10-20 15:50:07 +11001322 /* Don't share DAX file data for now. */
1323 if (IS_DAX(inode_in) || IS_DAX(inode_out))
1324 goto out_unlock;
Darrick J. Wongcc714662016-10-03 09:11:41 -07001325
Darrick J. Wong876bec6f2016-12-09 16:18:30 -08001326 ret = vfs_clone_file_prep_inodes(inode_in, pos_in, inode_out, pos_out,
Darrick J. Wong0d41e1d2018-10-05 19:04:22 +10001327 len, is_dedupe);
Darrick J. Wong22725ce2016-12-19 15:13:26 -08001328 if (ret <= 0)
Christoph Hellwig5faaf4f2016-10-20 15:50:07 +11001329 goto out_unlock;
1330
Dave Chinnerdceeb472018-10-06 11:44:19 +10001331 /*
1332 * If the dedupe data matches, chop off the partial EOF block
1333 * from the source file so we don't try to dedupe the partial
1334 * EOF block.
1335 */
Dave Chinnerb3998902018-10-06 11:44:39 +10001336 if (is_dedupe) {
1337 *len &= ~blkmask;
1338 } else if (*len & blkmask) {
1339 /*
1340 * The user is attempting to share a partial EOF block,
1341 * if it's inside the destination EOF then reject it.
1342 */
1343 if (pos_out + *len < i_size_read(inode_out)) {
1344 ret = -EINVAL;
1345 goto out_unlock;
1346 }
1347 }
Dave Chinnerdceeb472018-10-06 11:44:19 +10001348
Darrick J. Wong09ac8622018-01-19 08:56:04 -08001349 /* Attach dquots to dest inode before changing block map */
Darrick J. Wongc14cfcc2018-05-04 15:30:21 -07001350 ret = xfs_qm_dqattach(dest);
Darrick J. Wong09ac8622018-01-19 08:56:04 -08001351 if (ret)
1352 goto out_unlock;
1353
Darrick J. Wong5c989a02017-12-10 18:03:54 -08001354 /*
Darrick J. Wong410fdc72018-10-05 19:04:27 +10001355 * Zero existing post-eof speculative preallocations in the destination
1356 * file.
Darrick J. Wong5c989a02017-12-10 18:03:54 -08001357 */
Darrick J. Wong410fdc72018-10-05 19:04:27 +10001358 ret = xfs_reflink_zero_posteof(dest, pos_out);
1359 if (ret)
1360 goto out_unlock;
Darrick J. Wong5c989a02017-12-10 18:03:54 -08001361
Darrick J. Wong876bec6f2016-12-09 16:18:30 -08001362 /* Set flags and remap blocks. */
Christoph Hellwig5faaf4f2016-10-20 15:50:07 +11001363 ret = xfs_reflink_set_inode_flag(src, dest);
1364 if (ret)
1365 goto out_unlock;
Darrick J. Wong862bb362016-10-03 09:11:40 -07001366
Darrick J. Wong0d41e1d2018-10-05 19:04:22 +10001367 /* Zap any page cache for the destination file's range. */
1368 truncate_inode_pages_range(&inode_out->i_data, pos_out,
1369 PAGE_ALIGN(pos_out + *len) - 1);
Darrick J. Wong7debbf02018-10-05 19:05:41 +10001370
1371 /* If we're altering the file contents... */
1372 if (!is_dedupe) {
1373 /*
1374 * ...update the timestamps (which will grab the ilock again
1375 * from xfs_fs_dirty_inode, so we have to call it before we
1376 * take the ilock).
1377 */
1378 if (!(file_out->f_mode & FMODE_NOCMTIME)) {
1379 ret = file_update_time(file_out);
1380 if (ret)
1381 goto out_unlock;
1382 }
1383
1384 /*
1385 * ...clear the security bits if the process is not being run
1386 * by root. This keeps people from modifying setuid and setgid
1387 * binaries.
1388 */
1389 ret = file_remove_privs(file_out);
1390 if (ret)
1391 goto out_unlock;
1392 }
1393
Darrick J. Wong0d41e1d2018-10-05 19:04:22 +10001394 return 1;
1395out_unlock:
1396 xfs_reflink_remap_unlock(file_in, file_out);
1397 return ret;
1398}
1399
1400/*
1401 * Link a range of blocks from one file to another.
1402 */
1403int
1404xfs_reflink_remap_range(
1405 struct file *file_in,
1406 loff_t pos_in,
1407 struct file *file_out,
1408 loff_t pos_out,
1409 u64 len,
1410 bool is_dedupe)
1411{
1412 struct inode *inode_in = file_inode(file_in);
1413 struct xfs_inode *src = XFS_I(inode_in);
1414 struct inode *inode_out = file_inode(file_out);
1415 struct xfs_inode *dest = XFS_I(inode_out);
1416 struct xfs_mount *mp = src->i_mount;
1417 xfs_fileoff_t sfsbno, dfsbno;
1418 xfs_filblks_t fsblen;
1419 xfs_extlen_t cowextsize;
1420 ssize_t ret;
1421
1422 if (!xfs_sb_version_hasreflink(&mp->m_sb))
1423 return -EOPNOTSUPP;
1424
1425 if (XFS_FORCED_SHUTDOWN(mp))
1426 return -EIO;
1427
1428 /* Prepare and then clone file data. */
1429 ret = xfs_reflink_remap_prep(file_in, pos_in, file_out, pos_out,
1430 &len, is_dedupe);
1431 if (ret <= 0)
1432 return ret;
1433
1434 trace_xfs_reflink_remap_range(src, pos_in, len, dest, pos_out);
1435
Christoph Hellwig5faaf4f2016-10-20 15:50:07 +11001436 dfsbno = XFS_B_TO_FSBT(mp, pos_out);
1437 sfsbno = XFS_B_TO_FSBT(mp, pos_in);
Darrick J. Wong862bb362016-10-03 09:11:40 -07001438 fsblen = XFS_B_TO_FSB(mp, len);
Christoph Hellwig5faaf4f2016-10-20 15:50:07 +11001439 ret = xfs_reflink_remap_blocks(src, sfsbno, dest, dfsbno, fsblen,
1440 pos_out + len);
1441 if (ret)
1442 goto out_unlock;
Darrick J. Wong862bb362016-10-03 09:11:40 -07001443
Darrick J. Wongf7ca3522016-10-03 09:11:43 -07001444 /*
1445 * Carry the cowextsize hint from src to dest if we're sharing the
1446 * entire source file to the entire destination file, the source file
1447 * has a cowextsize hint, and the destination file does not.
1448 */
1449 cowextsize = 0;
Christoph Hellwig5faaf4f2016-10-20 15:50:07 +11001450 if (pos_in == 0 && len == i_size_read(inode_in) &&
Darrick J. Wongf7ca3522016-10-03 09:11:43 -07001451 (src->i_d.di_flags2 & XFS_DIFLAG2_COWEXTSIZE) &&
Christoph Hellwig5faaf4f2016-10-20 15:50:07 +11001452 pos_out == 0 && len >= i_size_read(inode_out) &&
Darrick J. Wongf7ca3522016-10-03 09:11:43 -07001453 !(dest->i_d.di_flags2 & XFS_DIFLAG2_COWEXTSIZE))
1454 cowextsize = src->i_d.di_cowextsize;
1455
Christoph Hellwigc5ecb422017-02-06 17:45:51 -08001456 ret = xfs_reflink_update_dest(dest, pos_out + len, cowextsize,
1457 is_dedupe);
Darrick J. Wong862bb362016-10-03 09:11:40 -07001458
Christoph Hellwig5faaf4f2016-10-20 15:50:07 +11001459out_unlock:
Darrick J. Wong0d41e1d2018-10-05 19:04:22 +10001460 xfs_reflink_remap_unlock(file_in, file_out);
Christoph Hellwig5faaf4f2016-10-20 15:50:07 +11001461 if (ret)
1462 trace_xfs_reflink_remap_range_error(dest, ret, _RET_IP_);
1463 return ret;
Darrick J. Wong862bb362016-10-03 09:11:40 -07001464}
Darrick J. Wong98cc2db2016-10-03 09:11:43 -07001465
1466/*
1467 * The user wants to preemptively CoW all shared blocks in this file,
1468 * which enables us to turn off the reflink flag. Iterate all
1469 * extents which are not prealloc/delalloc to see which ranges are
1470 * mentioned in the refcount tree, then read those blocks into the
1471 * pagecache, dirty them, fsync them back out, and then we can update
1472 * the inode flag. What happens if we run out of memory? :)
1473 */
1474STATIC int
1475xfs_reflink_dirty_extents(
1476 struct xfs_inode *ip,
1477 xfs_fileoff_t fbno,
1478 xfs_filblks_t end,
1479 xfs_off_t isize)
1480{
1481 struct xfs_mount *mp = ip->i_mount;
1482 xfs_agnumber_t agno;
1483 xfs_agblock_t agbno;
1484 xfs_extlen_t aglen;
1485 xfs_agblock_t rbno;
1486 xfs_extlen_t rlen;
1487 xfs_off_t fpos;
1488 xfs_off_t flen;
1489 struct xfs_bmbt_irec map[2];
1490 int nmaps;
Darrick J. Wong9780643c2016-10-10 16:49:18 +11001491 int error = 0;
Darrick J. Wong98cc2db2016-10-03 09:11:43 -07001492
1493 while (end - fbno > 0) {
1494 nmaps = 1;
1495 /*
1496 * Look for extents in the file. Skip holes, delalloc, or
1497 * unwritten extents; they can't be reflinked.
1498 */
1499 error = xfs_bmapi_read(ip, fbno, end - fbno, map, &nmaps, 0);
1500 if (error)
1501 goto out;
1502 if (nmaps == 0)
1503 break;
Christoph Hellwig9c4f29d2017-03-28 14:53:35 -07001504 if (!xfs_bmap_is_real_extent(&map[0]))
Darrick J. Wong98cc2db2016-10-03 09:11:43 -07001505 goto next;
1506
1507 map[1] = map[0];
1508 while (map[1].br_blockcount) {
1509 agno = XFS_FSB_TO_AGNO(mp, map[1].br_startblock);
1510 agbno = XFS_FSB_TO_AGBNO(mp, map[1].br_startblock);
1511 aglen = map[1].br_blockcount;
1512
Darrick J. Wong92ff7282017-06-16 11:00:10 -07001513 error = xfs_reflink_find_shared(mp, NULL, agno, agbno,
1514 aglen, &rbno, &rlen, true);
Darrick J. Wong98cc2db2016-10-03 09:11:43 -07001515 if (error)
1516 goto out;
1517 if (rbno == NULLAGBLOCK)
1518 break;
1519
1520 /* Dirty the pages */
1521 xfs_iunlock(ip, XFS_ILOCK_EXCL);
1522 fpos = XFS_FSB_TO_B(mp, map[1].br_startoff +
1523 (rbno - agbno));
1524 flen = XFS_FSB_TO_B(mp, rlen);
1525 if (fpos + flen > isize)
1526 flen = isize - fpos;
1527 error = iomap_file_dirty(VFS_I(ip), fpos, flen,
1528 &xfs_iomap_ops);
1529 xfs_ilock(ip, XFS_ILOCK_EXCL);
1530 if (error)
1531 goto out;
1532
1533 map[1].br_blockcount -= (rbno - agbno + rlen);
1534 map[1].br_startoff += (rbno - agbno + rlen);
1535 map[1].br_startblock += (rbno - agbno + rlen);
1536 }
1537
1538next:
1539 fbno = map[0].br_startoff + map[0].br_blockcount;
1540 }
1541out:
1542 return error;
1543}
1544
Darrick J. Wongea7cdd72017-06-16 11:00:11 -07001545/* Does this inode need the reflink flag? */
1546int
1547xfs_reflink_inode_has_shared_extents(
1548 struct xfs_trans *tp,
1549 struct xfs_inode *ip,
1550 bool *has_shared)
1551{
1552 struct xfs_bmbt_irec got;
1553 struct xfs_mount *mp = ip->i_mount;
1554 struct xfs_ifork *ifp;
1555 xfs_agnumber_t agno;
1556 xfs_agblock_t agbno;
1557 xfs_extlen_t aglen;
1558 xfs_agblock_t rbno;
1559 xfs_extlen_t rlen;
Christoph Hellwigb2b17122017-11-03 10:34:43 -07001560 struct xfs_iext_cursor icur;
Darrick J. Wongea7cdd72017-06-16 11:00:11 -07001561 bool found;
1562 int error;
1563
1564 ifp = XFS_IFORK_PTR(ip, XFS_DATA_FORK);
1565 if (!(ifp->if_flags & XFS_IFEXTENTS)) {
1566 error = xfs_iread_extents(tp, ip, XFS_DATA_FORK);
1567 if (error)
1568 return error;
1569 }
1570
1571 *has_shared = false;
Christoph Hellwigb2b17122017-11-03 10:34:43 -07001572 found = xfs_iext_lookup_extent(ip, ifp, 0, &icur, &got);
Darrick J. Wongea7cdd72017-06-16 11:00:11 -07001573 while (found) {
1574 if (isnullstartblock(got.br_startblock) ||
1575 got.br_state != XFS_EXT_NORM)
1576 goto next;
1577 agno = XFS_FSB_TO_AGNO(mp, got.br_startblock);
1578 agbno = XFS_FSB_TO_AGBNO(mp, got.br_startblock);
1579 aglen = got.br_blockcount;
1580
1581 error = xfs_reflink_find_shared(mp, tp, agno, agbno, aglen,
1582 &rbno, &rlen, false);
1583 if (error)
1584 return error;
1585 /* Is there still a shared block here? */
1586 if (rbno != NULLAGBLOCK) {
1587 *has_shared = true;
1588 return 0;
1589 }
1590next:
Christoph Hellwigb2b17122017-11-03 10:34:43 -07001591 found = xfs_iext_next_extent(ifp, &icur, &got);
Darrick J. Wongea7cdd72017-06-16 11:00:11 -07001592 }
1593
1594 return 0;
1595}
1596
Dave Chinner844e5e72018-05-09 07:49:10 -07001597/*
1598 * Clear the inode reflink flag if there are no shared extents.
1599 *
1600 * The caller is responsible for joining the inode to the transaction passed in.
1601 * The inode will be joined to the transaction that is returned to the caller.
1602 */
Darrick J. Wong98cc2db2016-10-03 09:11:43 -07001603int
1604xfs_reflink_clear_inode_flag(
1605 struct xfs_inode *ip,
1606 struct xfs_trans **tpp)
1607{
Darrick J. Wongea7cdd72017-06-16 11:00:11 -07001608 bool needs_flag;
Darrick J. Wong98cc2db2016-10-03 09:11:43 -07001609 int error = 0;
1610
Darrick J. Wong63646fc2016-10-10 16:47:32 +11001611 ASSERT(xfs_is_reflink_inode(ip));
Darrick J. Wong98cc2db2016-10-03 09:11:43 -07001612
Darrick J. Wongea7cdd72017-06-16 11:00:11 -07001613 error = xfs_reflink_inode_has_shared_extents(*tpp, ip, &needs_flag);
1614 if (error || needs_flag)
1615 return error;
Darrick J. Wong98cc2db2016-10-03 09:11:43 -07001616
1617 /*
1618 * We didn't find any shared blocks so turn off the reflink flag.
1619 * First, get rid of any leftover CoW mappings.
1620 */
Christoph Hellwig3802a342017-03-07 16:45:58 -08001621 error = xfs_reflink_cancel_cow_blocks(ip, tpp, 0, NULLFILEOFF, true);
Darrick J. Wong98cc2db2016-10-03 09:11:43 -07001622 if (error)
1623 return error;
1624
1625 /* Clear the inode flag. */
1626 trace_xfs_reflink_unset_inode_flag(ip);
1627 ip->i_d.di_flags2 &= ~XFS_DIFLAG2_REFLINK;
Darrick J. Wong83104d42016-10-03 09:11:46 -07001628 xfs_inode_clear_cowblocks_tag(ip);
Darrick J. Wong98cc2db2016-10-03 09:11:43 -07001629 xfs_trans_log_inode(*tpp, ip, XFS_ILOG_CORE);
1630
1631 return error;
1632}
1633
1634/*
1635 * Clear the inode reflink flag if there are no shared extents and the size
1636 * hasn't changed.
1637 */
1638STATIC int
1639xfs_reflink_try_clear_inode_flag(
Darrick J. Wong97a1b872016-10-10 16:49:01 +11001640 struct xfs_inode *ip)
Darrick J. Wong98cc2db2016-10-03 09:11:43 -07001641{
1642 struct xfs_mount *mp = ip->i_mount;
1643 struct xfs_trans *tp;
1644 int error = 0;
1645
1646 /* Start a rolling transaction to remove the mappings */
1647 error = xfs_trans_alloc(mp, &M_RES(mp)->tr_write, 0, 0, 0, &tp);
1648 if (error)
1649 return error;
1650
1651 xfs_ilock(ip, XFS_ILOCK_EXCL);
1652 xfs_trans_ijoin(tp, ip, 0);
1653
Darrick J. Wong98cc2db2016-10-03 09:11:43 -07001654 error = xfs_reflink_clear_inode_flag(ip, &tp);
1655 if (error)
1656 goto cancel;
1657
1658 error = xfs_trans_commit(tp);
1659 if (error)
1660 goto out;
1661
1662 xfs_iunlock(ip, XFS_ILOCK_EXCL);
1663 return 0;
1664cancel:
1665 xfs_trans_cancel(tp);
1666out:
1667 xfs_iunlock(ip, XFS_ILOCK_EXCL);
1668 return error;
1669}
1670
1671/*
1672 * Pre-COW all shared blocks within a given byte range of a file and turn off
1673 * the reflink flag if we unshare all of the file's blocks.
1674 */
1675int
1676xfs_reflink_unshare(
1677 struct xfs_inode *ip,
1678 xfs_off_t offset,
1679 xfs_off_t len)
1680{
1681 struct xfs_mount *mp = ip->i_mount;
1682 xfs_fileoff_t fbno;
1683 xfs_filblks_t end;
1684 xfs_off_t isize;
1685 int error;
1686
1687 if (!xfs_is_reflink_inode(ip))
1688 return 0;
1689
1690 trace_xfs_reflink_unshare(ip, offset, len);
1691
1692 inode_dio_wait(VFS_I(ip));
1693
1694 /* Try to CoW the selected ranges */
1695 xfs_ilock(ip, XFS_ILOCK_EXCL);
Darrick J. Wong97a1b872016-10-10 16:49:01 +11001696 fbno = XFS_B_TO_FSBT(mp, offset);
Darrick J. Wong98cc2db2016-10-03 09:11:43 -07001697 isize = i_size_read(VFS_I(ip));
1698 end = XFS_B_TO_FSB(mp, offset + len);
1699 error = xfs_reflink_dirty_extents(ip, fbno, end, isize);
1700 if (error)
1701 goto out_unlock;
1702 xfs_iunlock(ip, XFS_ILOCK_EXCL);
1703
1704 /* Wait for the IO to finish */
1705 error = filemap_write_and_wait(VFS_I(ip)->i_mapping);
1706 if (error)
1707 goto out;
1708
Darrick J. Wong97a1b872016-10-10 16:49:01 +11001709 /* Turn off the reflink flag if possible. */
1710 error = xfs_reflink_try_clear_inode_flag(ip);
1711 if (error)
1712 goto out;
Darrick J. Wong98cc2db2016-10-03 09:11:43 -07001713
1714 return 0;
1715
1716out_unlock:
1717 xfs_iunlock(ip, XFS_ILOCK_EXCL);
1718out:
1719 trace_xfs_reflink_unshare_error(ip, error, _RET_IP_);
1720 return error;
1721}