blob: eae128ea0c12633bd98859e35e58c31c5f88b824 [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"
Darrick J. Wong3993bae2016-10-03 09:11:32 -070014#include "xfs_inode.h"
15#include "xfs_trans.h"
Darrick J. Wong3993bae2016-10-03 09:11:32 -070016#include "xfs_bmap.h"
17#include "xfs_bmap_util.h"
Darrick J. Wong3993bae2016-10-03 09:11:32 -070018#include "xfs_trace.h"
Darrick J. Wong3993bae2016-10-03 09:11:32 -070019#include "xfs_icache.h"
Darrick J. Wong174edb02016-10-03 09:11:39 -070020#include "xfs_btree.h"
Darrick J. Wong3993bae2016-10-03 09:11:32 -070021#include "xfs_refcount_btree.h"
22#include "xfs_refcount.h"
23#include "xfs_bmap_btree.h"
24#include "xfs_trans_space.h"
25#include "xfs_bit.h"
26#include "xfs_alloc.h"
Darrick J. Wong3993bae2016-10-03 09:11:32 -070027#include "xfs_quota.h"
Darrick J. Wong3993bae2016-10-03 09:11:32 -070028#include "xfs_reflink.h"
Darrick J. Wong2a067052016-10-03 09:11:33 -070029#include "xfs_iomap.h"
Darrick J. Wong6fa164b2016-10-03 09:11:45 -070030#include "xfs_sb.h"
31#include "xfs_ag_resv.h"
Darrick J. Wong3993bae2016-10-03 09:11:32 -070032
33/*
34 * Copy on Write of Shared Blocks
35 *
36 * XFS must preserve "the usual" file semantics even when two files share
37 * the same physical blocks. This means that a write to one file must not
38 * alter the blocks in a different file; the way that we'll do that is
39 * through the use of a copy-on-write mechanism. At a high level, that
40 * means that when we want to write to a shared block, we allocate a new
41 * block, write the data to the new block, and if that succeeds we map the
42 * new block into the file.
43 *
44 * XFS provides a "delayed allocation" mechanism that defers the allocation
45 * of disk blocks to dirty-but-not-yet-mapped file blocks as long as
46 * possible. This reduces fragmentation by enabling the filesystem to ask
47 * for bigger chunks less often, which is exactly what we want for CoW.
48 *
49 * The delalloc mechanism begins when the kernel wants to make a block
50 * writable (write_begin or page_mkwrite). If the offset is not mapped, we
51 * create a delalloc mapping, which is a regular in-core extent, but without
52 * a real startblock. (For delalloc mappings, the startblock encodes both
53 * a flag that this is a delalloc mapping, and a worst-case estimate of how
54 * many blocks might be required to put the mapping into the BMBT.) delalloc
55 * mappings are a reservation against the free space in the filesystem;
56 * adjacent mappings can also be combined into fewer larger mappings.
57 *
Darrick J. Wong5eda4302017-02-02 15:14:02 -080058 * As an optimization, the CoW extent size hint (cowextsz) creates
59 * outsized aligned delalloc reservations in the hope of landing out of
60 * order nearby CoW writes in a single extent on disk, thereby reducing
61 * fragmentation and improving future performance.
62 *
63 * D: --RRRRRRSSSRRRRRRRR--- (data fork)
64 * C: ------DDDDDDD--------- (CoW fork)
65 *
Darrick J. Wong3993bae2016-10-03 09:11:32 -070066 * When dirty pages are being written out (typically in writepage), the
Darrick J. Wong5eda4302017-02-02 15:14:02 -080067 * delalloc reservations are converted into unwritten mappings by
68 * allocating blocks and replacing the delalloc mapping with real ones.
69 * A delalloc mapping can be replaced by several unwritten ones if the
70 * free space is fragmented.
71 *
72 * D: --RRRRRRSSSRRRRRRRR---
73 * C: ------UUUUUUU---------
Darrick J. Wong3993bae2016-10-03 09:11:32 -070074 *
75 * We want to adapt the delalloc mechanism for copy-on-write, since the
76 * write paths are similar. The first two steps (creating the reservation
77 * and allocating the blocks) are exactly the same as delalloc except that
78 * the mappings must be stored in a separate CoW fork because we do not want
79 * to disturb the mapping in the data fork until we're sure that the write
80 * succeeded. IO completion in this case is the process of removing the old
81 * mapping from the data fork and moving the new mapping from the CoW fork to
82 * the data fork. This will be discussed shortly.
83 *
84 * For now, unaligned directio writes will be bounced back to the page cache.
85 * Block-aligned directio writes will use the same mechanism as buffered
86 * writes.
87 *
Darrick J. Wong5eda4302017-02-02 15:14:02 -080088 * Just prior to submitting the actual disk write requests, we convert
89 * the extents representing the range of the file actually being written
90 * (as opposed to extra pieces created for the cowextsize hint) to real
91 * extents. This will become important in the next step:
92 *
93 * D: --RRRRRRSSSRRRRRRRR---
94 * C: ------UUrrUUU---------
95 *
Darrick J. Wong3993bae2016-10-03 09:11:32 -070096 * CoW remapping must be done after the data block write completes,
97 * because we don't want to destroy the old data fork map until we're sure
98 * the new block has been written. Since the new mappings are kept in a
99 * separate fork, we can simply iterate these mappings to find the ones
100 * that cover the file blocks that we just CoW'd. For each extent, simply
101 * unmap the corresponding range in the data fork, map the new range into
Darrick J. Wong5eda4302017-02-02 15:14:02 -0800102 * the data fork, and remove the extent from the CoW fork. Because of
103 * the presence of the cowextsize hint, however, we must be careful
104 * only to remap the blocks that we've actually written out -- we must
105 * never remap delalloc reservations nor CoW staging blocks that have
106 * yet to be written. This corresponds exactly to the real extents in
107 * the CoW fork:
108 *
109 * D: --RRRRRRrrSRRRRRRRR---
110 * C: ------UU--UUU---------
Darrick J. Wong3993bae2016-10-03 09:11:32 -0700111 *
112 * Since the remapping operation can be applied to an arbitrary file
113 * range, we record the need for the remap step as a flag in the ioend
114 * instead of declaring a new IO type. This is required for direct io
115 * because we only have ioend for the whole dio, and we have to be able to
116 * remember the presence of unwritten blocks and CoW blocks with a single
117 * ioend structure. Better yet, the more ground we can cover with one
118 * ioend, the better.
119 */
Darrick J. Wong2a067052016-10-03 09:11:33 -0700120
121/*
122 * Given an AG extent, find the lowest-numbered run of shared blocks
123 * within that range and return the range in fbno/flen. If
124 * find_end_of_shared is true, return the longest contiguous extent of
125 * shared blocks. If there are no shared extents, fbno and flen will
126 * be set to NULLAGBLOCK and 0, respectively.
127 */
128int
129xfs_reflink_find_shared(
130 struct xfs_mount *mp,
Darrick J. Wong92ff7282017-06-16 11:00:10 -0700131 struct xfs_trans *tp,
Darrick J. Wong2a067052016-10-03 09:11:33 -0700132 xfs_agnumber_t agno,
133 xfs_agblock_t agbno,
134 xfs_extlen_t aglen,
135 xfs_agblock_t *fbno,
136 xfs_extlen_t *flen,
137 bool find_end_of_shared)
138{
139 struct xfs_buf *agbp;
140 struct xfs_btree_cur *cur;
141 int error;
142
Darrick J. Wong92ff7282017-06-16 11:00:10 -0700143 error = xfs_alloc_read_agf(mp, tp, agno, 0, &agbp);
Darrick J. Wong2a067052016-10-03 09:11:33 -0700144 if (error)
145 return error;
Darrick J. Wong10479e22017-07-17 14:30:57 -0700146 if (!agbp)
147 return -ENOMEM;
Darrick J. Wong2a067052016-10-03 09:11:33 -0700148
Brian Fostered7ef8e2018-07-11 22:26:17 -0700149 cur = xfs_refcountbt_init_cursor(mp, tp, agbp, agno);
Darrick J. Wong2a067052016-10-03 09:11:33 -0700150
151 error = xfs_refcount_find_shared(cur, agbno, aglen, fbno, flen,
152 find_end_of_shared);
153
Darrick J. Wong0b04b6b82018-07-19 12:26:31 -0700154 xfs_btree_del_cursor(cur, error);
Darrick J. Wong2a067052016-10-03 09:11:33 -0700155
Darrick J. Wong92ff7282017-06-16 11:00:10 -0700156 xfs_trans_brelse(tp, agbp);
Darrick J. Wong2a067052016-10-03 09:11:33 -0700157 return error;
158}
159
160/*
161 * Trim the mapping to the next block where there's a change in the
162 * shared/unshared status. More specifically, this means that we
163 * find the lowest-numbered extent of shared blocks that coincides with
164 * the given block mapping. If the shared extent overlaps the start of
165 * the mapping, trim the mapping to the end of the shared extent. If
166 * the shared region intersects the mapping, trim the mapping to the
167 * start of the shared extent. If there are no shared regions that
168 * overlap, just return the original extent.
169 */
170int
171xfs_reflink_trim_around_shared(
172 struct xfs_inode *ip,
173 struct xfs_bmbt_irec *irec,
Christoph Hellwigd392bc82018-10-18 17:19:48 +1100174 bool *shared)
Darrick J. Wong2a067052016-10-03 09:11:33 -0700175{
176 xfs_agnumber_t agno;
177 xfs_agblock_t agbno;
178 xfs_extlen_t aglen;
179 xfs_agblock_t fbno;
180 xfs_extlen_t flen;
181 int error = 0;
182
183 /* Holes, unwritten, and delalloc extents cannot be shared */
Christoph Hellwig66ae56a2019-02-18 09:38:49 -0800184 if (!xfs_is_cow_inode(ip) || !xfs_bmap_is_real_extent(irec)) {
Darrick J. Wong2a067052016-10-03 09:11:33 -0700185 *shared = false;
186 return 0;
187 }
188
189 trace_xfs_reflink_trim_around_shared(ip, irec);
190
191 agno = XFS_FSB_TO_AGNO(ip->i_mount, irec->br_startblock);
192 agbno = XFS_FSB_TO_AGBNO(ip->i_mount, irec->br_startblock);
193 aglen = irec->br_blockcount;
194
Darrick J. Wong92ff7282017-06-16 11:00:10 -0700195 error = xfs_reflink_find_shared(ip->i_mount, NULL, agno, agbno,
Darrick J. Wong2a067052016-10-03 09:11:33 -0700196 aglen, &fbno, &flen, true);
197 if (error)
198 return error;
199
Christoph Hellwigd392bc82018-10-18 17:19:48 +1100200 *shared = false;
Darrick J. Wong2a067052016-10-03 09:11:33 -0700201 if (fbno == NULLAGBLOCK) {
202 /* No shared blocks at all. */
203 return 0;
204 } else if (fbno == agbno) {
205 /*
206 * The start of this extent is shared. Truncate the
207 * mapping at the end of the shared region so that a
208 * subsequent iteration starts at the start of the
209 * unshared region.
210 */
211 irec->br_blockcount = flen;
212 *shared = true;
Darrick J. Wong2a067052016-10-03 09:11:33 -0700213 return 0;
214 } else {
215 /*
216 * There's a shared extent midway through this extent.
217 * Truncate the mapping at the start of the shared
218 * extent so that a subsequent iteration starts at the
219 * start of the shared region.
220 */
221 irec->br_blockcount = fbno - agbno;
Darrick J. Wong2a067052016-10-03 09:11:33 -0700222 return 0;
223 }
224}
225
Christoph Hellwig66ae56a2019-02-18 09:38:49 -0800226bool
227xfs_inode_need_cow(
228 struct xfs_inode *ip,
229 struct xfs_bmbt_irec *imap,
230 bool *shared)
231{
232 /* We can't update any real extents in always COW mode. */
233 if (xfs_is_always_cow_inode(ip) &&
234 !isnullstartblock(imap->br_startblock)) {
235 *shared = true;
236 return 0;
237 }
238
239 /* Trim the mapping to the nearest shared extent boundary. */
240 return xfs_reflink_trim_around_shared(ip, imap, shared);
241}
242
Christoph Hellwig26b91c72019-02-18 09:38:48 -0800243static int
244xfs_reflink_convert_cow_locked(
245 struct xfs_inode *ip,
246 xfs_fileoff_t offset_fsb,
247 xfs_filblks_t count_fsb)
Darrick J. Wong5eda4302017-02-02 15:14:02 -0800248{
Christoph Hellwig26b91c72019-02-18 09:38:48 -0800249 struct xfs_iext_cursor icur;
250 struct xfs_bmbt_irec got;
251 struct xfs_btree_cur *dummy_cur = NULL;
252 int dummy_logflags;
Darrick J. Wongc1a44472019-02-25 09:35:34 -0800253 int error = 0;
Darrick J. Wong5eda4302017-02-02 15:14:02 -0800254
Christoph Hellwig26b91c72019-02-18 09:38:48 -0800255 if (!xfs_iext_lookup_extent(ip, ip->i_cowfp, offset_fsb, &icur, &got))
Darrick J. Wong5eda4302017-02-02 15:14:02 -0800256 return 0;
257
Christoph Hellwig26b91c72019-02-18 09:38:48 -0800258 do {
259 if (got.br_startoff >= offset_fsb + count_fsb)
260 break;
261 if (got.br_state == XFS_EXT_NORM)
262 continue;
263 if (WARN_ON_ONCE(isnullstartblock(got.br_startblock)))
264 return -EIO;
265
266 xfs_trim_extent(&got, offset_fsb, count_fsb);
267 if (!got.br_blockcount)
268 continue;
269
270 got.br_state = XFS_EXT_NORM;
271 error = xfs_bmap_add_extent_unwritten_real(NULL, ip,
272 XFS_COW_FORK, &icur, &dummy_cur, &got,
273 &dummy_logflags);
274 if (error)
275 return error;
276 } while (xfs_iext_next_extent(ip->i_cowfp, &icur, &got));
277
278 return error;
Darrick J. Wong5eda4302017-02-02 15:14:02 -0800279}
280
281/* Convert all of the unwritten CoW extents in a file's range to real ones. */
282int
283xfs_reflink_convert_cow(
284 struct xfs_inode *ip,
285 xfs_off_t offset,
286 xfs_off_t count)
287{
Darrick J. Wong5eda4302017-02-02 15:14:02 -0800288 struct xfs_mount *mp = ip->i_mount;
Darrick J. Wong5eda4302017-02-02 15:14:02 -0800289 xfs_fileoff_t offset_fsb = XFS_B_TO_FSBT(mp, offset);
290 xfs_fileoff_t end_fsb = XFS_B_TO_FSB(mp, offset + count);
Christoph Hellwigb1214592017-11-03 10:34:44 -0700291 xfs_filblks_t count_fsb = end_fsb - offset_fsb;
Christoph Hellwig26b91c72019-02-18 09:38:48 -0800292 int error;
Christoph Hellwigb1214592017-11-03 10:34:44 -0700293
294 ASSERT(count != 0);
Darrick J. Wong5eda4302017-02-02 15:14:02 -0800295
296 xfs_ilock(ip, XFS_ILOCK_EXCL);
Christoph Hellwig26b91c72019-02-18 09:38:48 -0800297 error = xfs_reflink_convert_cow_locked(ip, offset_fsb, count_fsb);
Darrick J. Wong5eda4302017-02-02 15:14:02 -0800298 xfs_iunlock(ip, XFS_ILOCK_EXCL);
299 return error;
300}
301
Dave Chinnerdf307072018-09-29 13:47:15 +1000302/*
303 * Find the extent that maps the given range in the COW fork. Even if the extent
304 * is not shared we might have a preallocation for it in the COW fork. If so we
305 * use it that rather than trigger a new allocation.
306 */
307static int
308xfs_find_trim_cow_extent(
309 struct xfs_inode *ip,
310 struct xfs_bmbt_irec *imap,
311 bool *shared,
312 bool *found)
313{
314 xfs_fileoff_t offset_fsb = imap->br_startoff;
315 xfs_filblks_t count_fsb = imap->br_blockcount;
316 struct xfs_iext_cursor icur;
317 struct xfs_bmbt_irec got;
Dave Chinnerdf307072018-09-29 13:47:15 +1000318
319 *found = false;
320
321 /*
322 * If we don't find an overlapping extent, trim the range we need to
323 * allocate to fit the hole we found.
324 */
Christoph Hellwig032dc922018-10-18 17:19:58 +1100325 if (!xfs_iext_lookup_extent(ip, ip->i_cowfp, offset_fsb, &icur, &got))
326 got.br_startoff = offset_fsb + count_fsb;
327 if (got.br_startoff > offset_fsb) {
328 xfs_trim_extent(imap, imap->br_startoff,
329 got.br_startoff - imap->br_startoff);
Christoph Hellwig66ae56a2019-02-18 09:38:49 -0800330 return xfs_inode_need_cow(ip, imap, shared);
Christoph Hellwig032dc922018-10-18 17:19:58 +1100331 }
Dave Chinnerdf307072018-09-29 13:47:15 +1000332
333 *shared = true;
334 if (isnullstartblock(got.br_startblock)) {
335 xfs_trim_extent(imap, got.br_startoff, got.br_blockcount);
336 return 0;
337 }
338
339 /* real extent found - no need to allocate */
340 xfs_trim_extent(&got, offset_fsb, count_fsb);
341 *imap = got;
342 *found = true;
343 return 0;
344}
345
Darrick J. Wong0613f162016-10-03 09:11:37 -0700346/* Allocate all CoW reservations covering a range of blocks in a file. */
Christoph Hellwig3c68d442017-02-06 10:51:03 -0800347int
348xfs_reflink_allocate_cow(
Darrick J. Wong0613f162016-10-03 09:11:37 -0700349 struct xfs_inode *ip,
Christoph Hellwig3c68d442017-02-06 10:51:03 -0800350 struct xfs_bmbt_irec *imap,
351 bool *shared,
Christoph Hellwig78f0cc92019-02-18 09:38:46 -0800352 uint *lockmode,
Darrick J. Wongaffe2502019-02-21 16:26:35 -0800353 bool convert_now)
Darrick J. Wong0613f162016-10-03 09:11:37 -0700354{
355 struct xfs_mount *mp = ip->i_mount;
Christoph Hellwig3c68d442017-02-06 10:51:03 -0800356 xfs_fileoff_t offset_fsb = imap->br_startoff;
357 xfs_filblks_t count_fsb = imap->br_blockcount;
Dave Chinnerdf307072018-09-29 13:47:15 +1000358 struct xfs_trans *tp;
Christoph Hellwig3c68d442017-02-06 10:51:03 -0800359 int nimaps, error = 0;
Dave Chinnerdf307072018-09-29 13:47:15 +1000360 bool found;
Christoph Hellwiga14234c2017-02-06 10:50:49 -0800361 xfs_filblks_t resaligned;
Christoph Hellwig3c68d442017-02-06 10:51:03 -0800362 xfs_extlen_t resblks = 0;
Darrick J. Wong0613f162016-10-03 09:11:37 -0700363
Christoph Hellwigc7dbe3f2018-03-13 23:15:31 -0700364 ASSERT(xfs_isilocked(ip, XFS_ILOCK_EXCL));
Christoph Hellwig66ae56a2019-02-18 09:38:49 -0800365 if (!ip->i_cowfp) {
366 ASSERT(!xfs_is_reflink_inode(ip));
367 xfs_ifork_init_cow(ip);
368 }
Dave Chinnerdf307072018-09-29 13:47:15 +1000369
370 error = xfs_find_trim_cow_extent(ip, imap, shared, &found);
371 if (error || !*shared)
372 return error;
373 if (found)
374 goto convert;
375
376 resaligned = xfs_aligned_fsb_count(imap->br_startoff,
377 imap->br_blockcount, xfs_get_cowextsz_hint(ip));
378 resblks = XFS_DIOSTRAT_SPACE_RES(mp, resaligned);
379
380 xfs_iunlock(ip, *lockmode);
381 error = xfs_trans_alloc(mp, &M_RES(mp)->tr_write, resblks, 0, 0, &tp);
382 *lockmode = XFS_ILOCK_EXCL;
383 xfs_ilock(ip, *lockmode);
384
385 if (error)
386 return error;
387
388 error = xfs_qm_dqattach_locked(ip, false);
389 if (error)
390 goto out_trans_cancel;
Darrick J. Wong0613f162016-10-03 09:11:37 -0700391
Christoph Hellwiga14234c2017-02-06 10:50:49 -0800392 /*
Dave Chinnerdf307072018-09-29 13:47:15 +1000393 * Check for an overlapping extent again now that we dropped the ilock.
Christoph Hellwiga14234c2017-02-06 10:50:49 -0800394 */
Dave Chinnerdf307072018-09-29 13:47:15 +1000395 error = xfs_find_trim_cow_extent(ip, imap, shared, &found);
396 if (error || !*shared)
397 goto out_trans_cancel;
398 if (found) {
399 xfs_trans_cancel(tp);
400 goto convert;
Darrick J. Wong0613f162016-10-03 09:11:37 -0700401 }
402
Christoph Hellwiga14234c2017-02-06 10:50:49 -0800403 error = xfs_trans_reserve_quota_nblks(tp, ip, resblks, 0,
404 XFS_QMOPT_RES_REGBLKS);
Darrick J. Wong0613f162016-10-03 09:11:37 -0700405 if (error)
Dave Chinnerdf307072018-09-29 13:47:15 +1000406 goto out_trans_cancel;
Darrick J. Wong0613f162016-10-03 09:11:37 -0700407
Christoph Hellwiga14234c2017-02-06 10:50:49 -0800408 xfs_trans_ijoin(tp, ip, 0);
409
Christoph Hellwiga14234c2017-02-06 10:50:49 -0800410 /* Allocate the entire reservation as unwritten blocks. */
Dave Chinnerdf307072018-09-29 13:47:15 +1000411 nimaps = 1;
Christoph Hellwig3c68d442017-02-06 10:51:03 -0800412 error = xfs_bmapi_write(tp, ip, imap->br_startoff, imap->br_blockcount,
Brian Foster650919f2018-07-11 22:26:23 -0700413 XFS_BMAPI_COWFORK | XFS_BMAPI_PREALLOC,
Brian Fostera7beabe2018-07-11 22:26:25 -0700414 resblks, imap, &nimaps);
Christoph Hellwiga14234c2017-02-06 10:50:49 -0800415 if (error)
Dave Chinnerdf307072018-09-29 13:47:15 +1000416 goto out_unreserve;
Christoph Hellwiga14234c2017-02-06 10:50:49 -0800417
Darrick J. Wong86d692b2017-12-14 15:46:06 -0800418 xfs_inode_set_cowblocks_tag(ip);
Darrick J. Wong0613f162016-10-03 09:11:37 -0700419 error = xfs_trans_commit(tp);
Christoph Hellwiga14234c2017-02-06 10:50:49 -0800420 if (error)
Christoph Hellwig3c68d442017-02-06 10:51:03 -0800421 return error;
Darrick J. Wong9f37bd12018-01-26 11:37:44 -0800422
423 /*
424 * Allocation succeeded but the requested range was not even partially
425 * satisfied? Bail out!
426 */
427 if (nimaps == 0)
428 return -ENOSPC;
Christoph Hellwig3c68d442017-02-06 10:51:03 -0800429convert:
Christoph Hellwig26b91c72019-02-18 09:38:48 -0800430 xfs_trim_extent(imap, offset_fsb, count_fsb);
Christoph Hellwig78f0cc92019-02-18 09:38:46 -0800431 /*
432 * COW fork extents are supposed to remain unwritten until we're ready
433 * to initiate a disk write. For direct I/O we are going to write the
434 * data and need the conversion, but for buffered writes we're done.
435 */
Darrick J. Wongaffe2502019-02-21 16:26:35 -0800436 if (!convert_now || imap->br_state == XFS_EXT_NORM)
Christoph Hellwig78f0cc92019-02-18 09:38:46 -0800437 return 0;
Christoph Hellwig26b91c72019-02-18 09:38:48 -0800438 trace_xfs_reflink_convert_cow(ip, imap);
439 return xfs_reflink_convert_cow_locked(ip, offset_fsb, count_fsb);
Dave Chinnerdf307072018-09-29 13:47:15 +1000440
441out_unreserve:
Christoph Hellwiga14234c2017-02-06 10:50:49 -0800442 xfs_trans_unreserve_quota_nblks(tp, ip, (long)resblks, 0,
443 XFS_QMOPT_RES_REGBLKS);
Dave Chinnerdf307072018-09-29 13:47:15 +1000444out_trans_cancel:
445 xfs_trans_cancel(tp);
Christoph Hellwig3c68d442017-02-06 10:51:03 -0800446 return error;
Darrick J. Wong0613f162016-10-03 09:11:37 -0700447}
448
Darrick J. Wongef473662016-10-03 09:11:34 -0700449/*
Christoph Hellwig3802a342017-03-07 16:45:58 -0800450 * Cancel CoW reservations for some block range of an inode.
451 *
452 * If cancel_real is true this function cancels all COW fork extents for the
453 * inode; if cancel_real is false, real extents are not cleared.
Dave Chinnerc5295c62018-05-09 07:49:09 -0700454 *
455 * Caller must have already joined the inode to the current transaction. The
456 * inode will be joined to the transaction returned to the caller.
Darrick J. Wong43caeb12016-10-03 09:11:35 -0700457 */
458int
459xfs_reflink_cancel_cow_blocks(
460 struct xfs_inode *ip,
461 struct xfs_trans **tpp,
462 xfs_fileoff_t offset_fsb,
Christoph Hellwig3802a342017-03-07 16:45:58 -0800463 xfs_fileoff_t end_fsb,
464 bool cancel_real)
Darrick J. Wong43caeb12016-10-03 09:11:35 -0700465{
Christoph Hellwig3e0ee782016-10-20 15:54:31 +1100466 struct xfs_ifork *ifp = XFS_IFORK_PTR(ip, XFS_COW_FORK);
Christoph Hellwigdf5ab1b2016-11-24 11:39:50 +1100467 struct xfs_bmbt_irec got, del;
Christoph Hellwigb2b17122017-11-03 10:34:43 -0700468 struct xfs_iext_cursor icur;
Christoph Hellwigdf5ab1b2016-11-24 11:39:50 +1100469 int error = 0;
Darrick J. Wong43caeb12016-10-03 09:11:35 -0700470
Christoph Hellwig51d62692018-07-17 16:51:51 -0700471 if (!xfs_inode_has_cow_data(ip))
Darrick J. Wong43caeb12016-10-03 09:11:35 -0700472 return 0;
Christoph Hellwig41caabd2017-11-03 10:34:44 -0700473 if (!xfs_iext_lookup_extent_before(ip, ifp, &end_fsb, &icur, &got))
Christoph Hellwig3e0ee782016-10-20 15:54:31 +1100474 return 0;
Darrick J. Wong43caeb12016-10-03 09:11:35 -0700475
Christoph Hellwig41caabd2017-11-03 10:34:44 -0700476 /* Walk backwards until we're out of the I/O range... */
477 while (got.br_startoff + got.br_blockcount > offset_fsb) {
Christoph Hellwig3e0ee782016-10-20 15:54:31 +1100478 del = got;
479 xfs_trim_extent(&del, offset_fsb, end_fsb - offset_fsb);
Christoph Hellwig41caabd2017-11-03 10:34:44 -0700480
481 /* Extent delete may have bumped ext forward */
482 if (!del.br_blockcount) {
483 xfs_iext_prev(ifp, &icur);
484 goto next_extent;
485 }
486
Christoph Hellwig3e0ee782016-10-20 15:54:31 +1100487 trace_xfs_reflink_cancel_cow(ip, &del);
Darrick J. Wong43caeb12016-10-03 09:11:35 -0700488
Christoph Hellwig3e0ee782016-10-20 15:54:31 +1100489 if (isnullstartblock(del.br_startblock)) {
490 error = xfs_bmap_del_extent_delay(ip, XFS_COW_FORK,
Christoph Hellwigb2b17122017-11-03 10:34:43 -0700491 &icur, &got, &del);
Darrick J. Wong43caeb12016-10-03 09:11:35 -0700492 if (error)
493 break;
Christoph Hellwig3802a342017-03-07 16:45:58 -0800494 } else if (del.br_state == XFS_EXT_UNWRITTEN || cancel_real) {
Brian Foster1e5ae192018-07-24 13:43:12 -0700495 ASSERT((*tpp)->t_firstblock == NULLFSBLOCK);
Darrick J. Wong43caeb12016-10-03 09:11:35 -0700496
Darrick J. Wong174edb02016-10-03 09:11:39 -0700497 /* Free the CoW orphan record. */
Darrick J. Wong74b4c5d2019-08-26 17:06:04 -0700498 xfs_refcount_free_cow_extent(*tpp, del.br_startblock,
499 del.br_blockcount);
Darrick J. Wong174edb02016-10-03 09:11:39 -0700500
Brian Foster0f37d172018-08-01 07:20:34 -0700501 xfs_bmap_add_free(*tpp, del.br_startblock,
502 del.br_blockcount, NULL);
Darrick J. Wong43caeb12016-10-03 09:11:35 -0700503
Darrick J. Wong43caeb12016-10-03 09:11:35 -0700504 /* Roll the transaction */
Brian Foster9e28a242018-07-24 13:43:15 -0700505 error = xfs_defer_finish(tpp);
Brian Foster9b1f4e92018-08-01 07:20:33 -0700506 if (error)
Darrick J. Wong43caeb12016-10-03 09:11:35 -0700507 break;
Darrick J. Wong43caeb12016-10-03 09:11:35 -0700508
509 /* Remove the mapping from the CoW fork. */
Christoph Hellwigb2b17122017-11-03 10:34:43 -0700510 xfs_bmap_del_extent_cow(ip, &icur, &got, &del);
Darrick J. Wong4b4c1322018-01-19 09:05:48 -0800511
512 /* Remove the quota reservation */
513 error = xfs_trans_reserve_quota_nblks(NULL, ip,
514 -(long)del.br_blockcount, 0,
515 XFS_QMOPT_RES_REGBLKS);
516 if (error)
517 break;
Darrick J. Wong9d40fba2017-12-10 18:03:55 -0800518 } else {
519 /* Didn't do anything, push cursor back. */
520 xfs_iext_prev(ifp, &icur);
Darrick J. Wong43caeb12016-10-03 09:11:35 -0700521 }
Christoph Hellwig41caabd2017-11-03 10:34:44 -0700522next_extent:
523 if (!xfs_iext_get_extent(ifp, &icur, &got))
Brian Fosterc17a8ef2016-10-24 14:21:08 +1100524 break;
Darrick J. Wong43caeb12016-10-03 09:11:35 -0700525 }
526
Brian Fosterc17a8ef2016-10-24 14:21:08 +1100527 /* clear tag if cow fork is emptied */
528 if (!ifp->if_bytes)
529 xfs_inode_clear_cowblocks_tag(ip);
Darrick J. Wong43caeb12016-10-03 09:11:35 -0700530 return error;
531}
532
533/*
Christoph Hellwig3802a342017-03-07 16:45:58 -0800534 * Cancel CoW reservations for some byte range of an inode.
535 *
536 * If cancel_real is true this function cancels all COW fork extents for the
537 * inode; if cancel_real is false, real extents are not cleared.
Darrick J. Wong43caeb12016-10-03 09:11:35 -0700538 */
539int
540xfs_reflink_cancel_cow_range(
541 struct xfs_inode *ip,
542 xfs_off_t offset,
Christoph Hellwig3802a342017-03-07 16:45:58 -0800543 xfs_off_t count,
544 bool cancel_real)
Darrick J. Wong43caeb12016-10-03 09:11:35 -0700545{
546 struct xfs_trans *tp;
547 xfs_fileoff_t offset_fsb;
548 xfs_fileoff_t end_fsb;
549 int error;
550
551 trace_xfs_reflink_cancel_cow_range(ip, offset, count);
Christoph Hellwig66ae56a2019-02-18 09:38:49 -0800552 ASSERT(ip->i_cowfp);
Darrick J. Wong43caeb12016-10-03 09:11:35 -0700553
554 offset_fsb = XFS_B_TO_FSBT(ip->i_mount, offset);
555 if (count == NULLFILEOFF)
556 end_fsb = NULLFILEOFF;
557 else
558 end_fsb = XFS_B_TO_FSB(ip->i_mount, offset + count);
559
560 /* Start a rolling transaction to remove the mappings */
561 error = xfs_trans_alloc(ip->i_mount, &M_RES(ip->i_mount)->tr_write,
Christoph Hellwig73d30d42019-06-28 19:31:38 -0700562 0, 0, 0, &tp);
Darrick J. Wong43caeb12016-10-03 09:11:35 -0700563 if (error)
564 goto out;
565
566 xfs_ilock(ip, XFS_ILOCK_EXCL);
567 xfs_trans_ijoin(tp, ip, 0);
568
569 /* Scrape out the old CoW reservations */
Christoph Hellwig3802a342017-03-07 16:45:58 -0800570 error = xfs_reflink_cancel_cow_blocks(ip, &tp, offset_fsb, end_fsb,
571 cancel_real);
Darrick J. Wong43caeb12016-10-03 09:11:35 -0700572 if (error)
573 goto out_cancel;
574
575 error = xfs_trans_commit(tp);
576
577 xfs_iunlock(ip, XFS_ILOCK_EXCL);
578 return error;
579
580out_cancel:
581 xfs_trans_cancel(tp);
582 xfs_iunlock(ip, XFS_ILOCK_EXCL);
583out:
584 trace_xfs_reflink_cancel_cow_range_error(ip, error, _RET_IP_);
585 return error;
586}
587
588/*
Darrick J. Wongd6f215f2018-12-12 08:46:19 -0800589 * Remap part of the CoW fork into the data fork.
590 *
591 * We aim to remap the range starting at @offset_fsb and ending at @end_fsb
592 * into the data fork; this function will remap what it can (at the end of the
593 * range) and update @end_fsb appropriately. Each remap gets its own
594 * transaction because we can end up merging and splitting bmbt blocks for
595 * every remap operation and we'd like to keep the block reservation
596 * requirements as low as possible.
Darrick J. Wong43caeb12016-10-03 09:11:35 -0700597 */
Darrick J. Wongd6f215f2018-12-12 08:46:19 -0800598STATIC int
599xfs_reflink_end_cow_extent(
600 struct xfs_inode *ip,
601 xfs_fileoff_t offset_fsb,
602 xfs_fileoff_t *end_fsb)
Darrick J. Wong43caeb12016-10-03 09:11:35 -0700603{
Darrick J. Wongd6f215f2018-12-12 08:46:19 -0800604 struct xfs_bmbt_irec got, del;
605 struct xfs_iext_cursor icur;
606 struct xfs_mount *mp = ip->i_mount;
607 struct xfs_trans *tp;
608 struct xfs_ifork *ifp = XFS_IFORK_PTR(ip, XFS_COW_FORK);
609 xfs_filblks_t rlen;
610 unsigned int resblks;
611 int error;
Darrick J. Wong43caeb12016-10-03 09:11:35 -0700612
Christoph Hellwigc1112b62016-10-20 15:54:45 +1100613 /* No COW extents? That's easy! */
Darrick J. Wongd6f215f2018-12-12 08:46:19 -0800614 if (ifp->if_bytes == 0) {
615 *end_fsb = offset_fsb;
Christoph Hellwigc1112b62016-10-20 15:54:45 +1100616 return 0;
Darrick J. Wongd6f215f2018-12-12 08:46:19 -0800617 }
Christoph Hellwigc1112b62016-10-20 15:54:45 +1100618
Darrick J. Wongd6f215f2018-12-12 08:46:19 -0800619 resblks = XFS_EXTENTADD_SPACE_RES(mp, XFS_DATA_FORK);
620 error = xfs_trans_alloc(mp, &M_RES(mp)->tr_write, resblks, 0,
Christoph Hellwig73d30d42019-06-28 19:31:38 -0700621 XFS_TRANS_RESERVE, &tp);
Darrick J. Wongd6f215f2018-12-12 08:46:19 -0800622 if (error)
623 return error;
Darrick J. Wong43caeb12016-10-03 09:11:35 -0700624
Darrick J. Wongfe0be232017-04-12 12:26:07 -0700625 /*
Darrick J. Wongd6f215f2018-12-12 08:46:19 -0800626 * Lock the inode. We have to ijoin without automatic unlock because
627 * the lead transaction is the refcountbt record deletion; the data
628 * fork update follows as a deferred log item.
Darrick J. Wongfe0be232017-04-12 12:26:07 -0700629 */
Darrick J. Wong43caeb12016-10-03 09:11:35 -0700630 xfs_ilock(ip, XFS_ILOCK_EXCL);
631 xfs_trans_ijoin(tp, ip, 0);
632
Christoph Hellwigdc560152017-10-23 16:32:39 -0700633 /*
634 * In case of racing, overlapping AIO writes no COW extents might be
635 * left by the time I/O completes for the loser of the race. In that
636 * case we are done.
637 */
Darrick J. Wongd6f215f2018-12-12 08:46:19 -0800638 if (!xfs_iext_lookup_extent_before(ip, ifp, end_fsb, &icur, &got) ||
639 got.br_startoff + got.br_blockcount <= offset_fsb) {
640 *end_fsb = offset_fsb;
641 goto out_cancel;
642 }
643
644 /*
645 * Structure copy @got into @del, then trim @del to the range that we
646 * were asked to remap. We preserve @got for the eventual CoW fork
647 * deletion; from now on @del represents the mapping that we're
648 * actually remapping.
649 */
650 del = got;
651 xfs_trim_extent(&del, offset_fsb, *end_fsb - offset_fsb);
652
653 ASSERT(del.br_blockcount > 0);
654
655 /*
656 * Only remap real extents that contain data. With AIO, speculative
657 * preallocations can leak into the range we are called upon, and we
658 * need to skip them.
659 */
660 if (!xfs_bmap_is_real_extent(&got)) {
661 *end_fsb = del.br_startoff;
662 goto out_cancel;
663 }
664
665 /* Unmap the old blocks in the data fork. */
666 rlen = del.br_blockcount;
667 error = __xfs_bunmapi(tp, ip, del.br_startoff, &rlen, 0, 1);
668 if (error)
Christoph Hellwigdc560152017-10-23 16:32:39 -0700669 goto out_cancel;
Darrick J. Wong43caeb12016-10-03 09:11:35 -0700670
Darrick J. Wongd6f215f2018-12-12 08:46:19 -0800671 /* Trim the extent to whatever got unmapped. */
672 xfs_trim_extent(&del, del.br_startoff + rlen, del.br_blockcount - rlen);
673 trace_xfs_reflink_cow_remap(ip, &del);
Christoph Hellwigc1112b62016-10-20 15:54:45 +1100674
Darrick J. Wongd6f215f2018-12-12 08:46:19 -0800675 /* Free the CoW orphan record. */
Darrick J. Wong74b4c5d2019-08-26 17:06:04 -0700676 xfs_refcount_free_cow_extent(tp, del.br_startblock, del.br_blockcount);
Darrick J. Wong43caeb12016-10-03 09:11:35 -0700677
Darrick J. Wongd6f215f2018-12-12 08:46:19 -0800678 /* Map the new blocks into the data fork. */
679 error = xfs_bmap_map_extent(tp, ip, &del);
680 if (error)
681 goto out_cancel;
Darrick J. Wong5eda4302017-02-02 15:14:02 -0800682
Darrick J. Wongd6f215f2018-12-12 08:46:19 -0800683 /* Charge this new data fork mapping to the on-disk quota. */
684 xfs_trans_mod_dquot_byino(tp, ip, XFS_TRANS_DQ_DELBCOUNT,
685 (long)del.br_blockcount);
Christoph Hellwigc1112b62016-10-20 15:54:45 +1100686
Darrick J. Wongd6f215f2018-12-12 08:46:19 -0800687 /* Remove the mapping from the CoW fork. */
688 xfs_bmap_del_extent_cow(ip, &icur, &got, &del);
Darrick J. Wong43caeb12016-10-03 09:11:35 -0700689
690 error = xfs_trans_commit(tp);
691 xfs_iunlock(ip, XFS_ILOCK_EXCL);
692 if (error)
Darrick J. Wongd6f215f2018-12-12 08:46:19 -0800693 return error;
694
695 /* Update the caller about how much progress we made. */
696 *end_fsb = del.br_startoff;
Darrick J. Wong43caeb12016-10-03 09:11:35 -0700697 return 0;
698
Christoph Hellwige12199f2017-10-03 08:58:33 -0700699out_cancel:
Darrick J. Wong43caeb12016-10-03 09:11:35 -0700700 xfs_trans_cancel(tp);
701 xfs_iunlock(ip, XFS_ILOCK_EXCL);
Darrick J. Wongd6f215f2018-12-12 08:46:19 -0800702 return error;
703}
704
705/*
706 * Remap parts of a file's data fork after a successful CoW.
707 */
708int
709xfs_reflink_end_cow(
710 struct xfs_inode *ip,
711 xfs_off_t offset,
712 xfs_off_t count)
713{
714 xfs_fileoff_t offset_fsb;
715 xfs_fileoff_t end_fsb;
716 int error = 0;
717
718 trace_xfs_reflink_end_cow(ip, offset, count);
719
720 offset_fsb = XFS_B_TO_FSBT(ip->i_mount, offset);
721 end_fsb = XFS_B_TO_FSB(ip->i_mount, offset + count);
722
723 /*
724 * Walk backwards until we're out of the I/O range. The loop function
725 * repeatedly cycles the ILOCK to allocate one transaction per remapped
726 * extent.
727 *
728 * If we're being called by writeback then the the pages will still
729 * have PageWriteback set, which prevents races with reflink remapping
730 * and truncate. Reflink remapping prevents races with writeback by
731 * taking the iolock and mmaplock before flushing the pages and
732 * remapping, which means there won't be any further writeback or page
733 * cache dirtying until the reflink completes.
734 *
735 * We should never have two threads issuing writeback for the same file
736 * region. There are also have post-eof checks in the writeback
737 * preparation code so that we don't bother writing out pages that are
738 * about to be truncated.
739 *
740 * If we're being called as part of directio write completion, the dio
741 * count is still elevated, which reflink and truncate will wait for.
742 * Reflink remapping takes the iolock and mmaplock and waits for
743 * pending dio to finish, which should prevent any directio until the
744 * remap completes. Multiple concurrent directio writes to the same
745 * region are handled by end_cow processing only occurring for the
746 * threads which succeed; the outcome of multiple overlapping direct
747 * writes is not well defined anyway.
748 *
749 * It's possible that a buffered write and a direct write could collide
750 * here (the buffered write stumbles in after the dio flushes and
751 * invalidates the page cache and immediately queues writeback), but we
752 * have never supported this 100%. If either disk write succeeds the
753 * blocks will be remapped.
754 */
755 while (end_fsb > offset_fsb && !error)
756 error = xfs_reflink_end_cow_extent(ip, offset_fsb, &end_fsb);
757
758 if (error)
759 trace_xfs_reflink_end_cow_error(ip, error, _RET_IP_);
Darrick J. Wong43caeb12016-10-03 09:11:35 -0700760 return error;
761}
Darrick J. Wong174edb02016-10-03 09:11:39 -0700762
763/*
764 * Free leftover CoW reservations that didn't get cleaned out.
765 */
766int
767xfs_reflink_recover_cow(
768 struct xfs_mount *mp)
769{
770 xfs_agnumber_t agno;
771 int error = 0;
772
773 if (!xfs_sb_version_hasreflink(&mp->m_sb))
774 return 0;
775
776 for (agno = 0; agno < mp->m_sb.sb_agcount; agno++) {
777 error = xfs_refcount_recover_cow_leftovers(mp, agno);
778 if (error)
779 break;
780 }
781
782 return error;
783}
Darrick J. Wong862bb362016-10-03 09:11:40 -0700784
785/*
786 * Reflinking (Block) Ranges of Two Files Together
787 *
788 * First, ensure that the reflink flag is set on both inodes. The flag is an
789 * optimization to avoid unnecessary refcount btree lookups in the write path.
790 *
791 * Now we can iteratively remap the range of extents (and holes) in src to the
792 * corresponding ranges in dest. Let drange and srange denote the ranges of
793 * logical blocks in dest and src touched by the reflink operation.
794 *
795 * While the length of drange is greater than zero,
796 * - Read src's bmbt at the start of srange ("imap")
797 * - If imap doesn't exist, make imap appear to start at the end of srange
798 * with zero length.
799 * - If imap starts before srange, advance imap to start at srange.
800 * - If imap goes beyond srange, truncate imap to end at the end of srange.
801 * - Punch (imap start - srange start + imap len) blocks from dest at
802 * offset (drange start).
803 * - If imap points to a real range of pblks,
804 * > Increase the refcount of the imap's pblks
805 * > Map imap's pblks into dest at the offset
806 * (drange start + imap start - srange start)
807 * - Advance drange and srange by (imap start - srange start + imap len)
808 *
809 * Finally, if the reflink made dest longer, update both the in-core and
810 * on-disk file sizes.
811 *
812 * ASCII Art Demonstration:
813 *
814 * Let's say we want to reflink this source file:
815 *
816 * ----SSSSSSS-SSSSS----SSSSSS (src file)
817 * <-------------------->
818 *
819 * into this destination file:
820 *
821 * --DDDDDDDDDDDDDDDDDDD--DDD (dest file)
822 * <-------------------->
823 * '-' means a hole, and 'S' and 'D' are written blocks in the src and dest.
824 * Observe that the range has different logical offsets in either file.
825 *
826 * Consider that the first extent in the source file doesn't line up with our
827 * reflink range. Unmapping and remapping are separate operations, so we can
828 * unmap more blocks from the destination file than we remap.
829 *
830 * ----SSSSSSS-SSSSS----SSSSSS
831 * <------->
832 * --DDDDD---------DDDDD--DDD
833 * <------->
834 *
835 * Now remap the source extent into the destination file:
836 *
837 * ----SSSSSSS-SSSSS----SSSSSS
838 * <------->
839 * --DDDDD--SSSSSSSDDDDD--DDD
840 * <------->
841 *
842 * Do likewise with the second hole and extent in our range. Holes in the
843 * unmap range don't affect our operation.
844 *
845 * ----SSSSSSS-SSSSS----SSSSSS
846 * <---->
847 * --DDDDD--SSSSSSS-SSSSS-DDD
848 * <---->
849 *
850 * Finally, unmap and remap part of the third extent. This will increase the
851 * size of the destination file.
852 *
853 * ----SSSSSSS-SSSSS----SSSSSS
854 * <----->
855 * --DDDDD--SSSSSSS-SSSSS----SSS
856 * <----->
857 *
858 * Once we update the destination file's i_size, we're done.
859 */
860
861/*
862 * Ensure the reflink bit is set in both inodes.
863 */
864STATIC int
865xfs_reflink_set_inode_flag(
866 struct xfs_inode *src,
867 struct xfs_inode *dest)
868{
869 struct xfs_mount *mp = src->i_mount;
870 int error;
871 struct xfs_trans *tp;
872
873 if (xfs_is_reflink_inode(src) && xfs_is_reflink_inode(dest))
874 return 0;
875
876 error = xfs_trans_alloc(mp, &M_RES(mp)->tr_ichange, 0, 0, 0, &tp);
877 if (error)
878 goto out_error;
879
880 /* Lock both files against IO */
881 if (src->i_ino == dest->i_ino)
882 xfs_ilock(src, XFS_ILOCK_EXCL);
883 else
Darrick J. Wong7c2d2382018-01-26 15:27:33 -0800884 xfs_lock_two_inodes(src, XFS_ILOCK_EXCL, dest, XFS_ILOCK_EXCL);
Darrick J. Wong862bb362016-10-03 09:11:40 -0700885
886 if (!xfs_is_reflink_inode(src)) {
887 trace_xfs_reflink_set_inode_flag(src);
888 xfs_trans_ijoin(tp, src, XFS_ILOCK_EXCL);
889 src->i_d.di_flags2 |= XFS_DIFLAG2_REFLINK;
890 xfs_trans_log_inode(tp, src, XFS_ILOG_CORE);
891 xfs_ifork_init_cow(src);
892 } else
893 xfs_iunlock(src, XFS_ILOCK_EXCL);
894
895 if (src->i_ino == dest->i_ino)
896 goto commit_flags;
897
898 if (!xfs_is_reflink_inode(dest)) {
899 trace_xfs_reflink_set_inode_flag(dest);
900 xfs_trans_ijoin(tp, dest, XFS_ILOCK_EXCL);
901 dest->i_d.di_flags2 |= XFS_DIFLAG2_REFLINK;
902 xfs_trans_log_inode(tp, dest, XFS_ILOG_CORE);
903 xfs_ifork_init_cow(dest);
904 } else
905 xfs_iunlock(dest, XFS_ILOCK_EXCL);
906
907commit_flags:
908 error = xfs_trans_commit(tp);
909 if (error)
910 goto out_error;
911 return error;
912
913out_error:
914 trace_xfs_reflink_set_inode_flag_error(dest, error, _RET_IP_);
915 return error;
916}
917
918/*
Darrick J. Wongf7ca3522016-10-03 09:11:43 -0700919 * Update destination inode size & cowextsize hint, if necessary.
Darrick J. Wong862bb362016-10-03 09:11:40 -0700920 */
Darrick J. Wong3fc9f5e2018-10-30 10:47:26 +1100921int
Darrick J. Wong862bb362016-10-03 09:11:40 -0700922xfs_reflink_update_dest(
923 struct xfs_inode *dest,
Darrick J. Wongf7ca3522016-10-03 09:11:43 -0700924 xfs_off_t newlen,
Christoph Hellwigc5ecb422017-02-06 17:45:51 -0800925 xfs_extlen_t cowextsize,
Darrick J. Wonga91ae49b2018-10-30 10:41:28 +1100926 unsigned int remap_flags)
Darrick J. Wong862bb362016-10-03 09:11:40 -0700927{
928 struct xfs_mount *mp = dest->i_mount;
929 struct xfs_trans *tp;
930 int error;
931
Darrick J. Wongbf4a1fc2018-10-30 10:47:48 +1100932 if (newlen <= i_size_read(VFS_I(dest)) && cowextsize == 0)
Darrick J. Wong862bb362016-10-03 09:11:40 -0700933 return 0;
934
935 error = xfs_trans_alloc(mp, &M_RES(mp)->tr_ichange, 0, 0, 0, &tp);
936 if (error)
937 goto out_error;
938
939 xfs_ilock(dest, XFS_ILOCK_EXCL);
940 xfs_trans_ijoin(tp, dest, XFS_ILOCK_EXCL);
941
Darrick J. Wongf7ca3522016-10-03 09:11:43 -0700942 if (newlen > i_size_read(VFS_I(dest))) {
943 trace_xfs_reflink_update_inode_size(dest, newlen);
944 i_size_write(VFS_I(dest), newlen);
945 dest->i_d.di_size = newlen;
946 }
947
948 if (cowextsize) {
949 dest->i_d.di_cowextsize = cowextsize;
950 dest->i_d.di_flags2 |= XFS_DIFLAG2_COWEXTSIZE;
951 }
952
Darrick J. Wong862bb362016-10-03 09:11:40 -0700953 xfs_trans_log_inode(tp, dest, XFS_ILOG_CORE);
954
955 error = xfs_trans_commit(tp);
956 if (error)
957 goto out_error;
958 return error;
959
960out_error:
961 trace_xfs_reflink_update_inode_size_error(dest, error, _RET_IP_);
962 return error;
963}
964
965/*
Darrick J. Wong6fa164b2016-10-03 09:11:45 -0700966 * Do we have enough reserve in this AG to handle a reflink? The refcount
967 * btree already reserved all the space it needs, but the rmap btree can grow
968 * infinitely, so we won't allow more reflinks when the AG is down to the
969 * btree reserves.
970 */
971static int
972xfs_reflink_ag_has_free_space(
973 struct xfs_mount *mp,
974 xfs_agnumber_t agno)
975{
976 struct xfs_perag *pag;
977 int error = 0;
978
979 if (!xfs_sb_version_hasrmapbt(&mp->m_sb))
980 return 0;
981
982 pag = xfs_perag_get(mp, agno);
Brian Foster21592862018-03-09 14:01:59 -0800983 if (xfs_ag_resv_critical(pag, XFS_AG_RESV_RMAPBT) ||
Darrick J. Wong6fa164b2016-10-03 09:11:45 -0700984 xfs_ag_resv_critical(pag, XFS_AG_RESV_METADATA))
985 error = -ENOSPC;
986 xfs_perag_put(pag);
987 return error;
988}
989
990/*
Darrick J. Wong862bb362016-10-03 09:11:40 -0700991 * Unmap a range of blocks from a file, then map other blocks into the hole.
992 * The range to unmap is (destoff : destoff + srcioff + irec->br_blockcount).
993 * The extent irec is mapped into dest at irec->br_startoff.
994 */
995STATIC int
996xfs_reflink_remap_extent(
997 struct xfs_inode *ip,
998 struct xfs_bmbt_irec *irec,
999 xfs_fileoff_t destoff,
1000 xfs_off_t new_isize)
1001{
1002 struct xfs_mount *mp = ip->i_mount;
Christoph Hellwig9c4f29d2017-03-28 14:53:35 -07001003 bool real_extent = xfs_bmap_is_real_extent(irec);
Darrick J. Wong862bb362016-10-03 09:11:40 -07001004 struct xfs_trans *tp;
Darrick J. Wong862bb362016-10-03 09:11:40 -07001005 unsigned int resblks;
Darrick J. Wong862bb362016-10-03 09:11:40 -07001006 struct xfs_bmbt_irec uirec;
Darrick J. Wong862bb362016-10-03 09:11:40 -07001007 xfs_filblks_t rlen;
1008 xfs_filblks_t unmap_len;
1009 xfs_off_t newlen;
1010 int error;
1011
1012 unmap_len = irec->br_startoff + irec->br_blockcount - destoff;
1013 trace_xfs_reflink_punch_range(ip, destoff, unmap_len);
1014
Darrick J. Wong6fa164b2016-10-03 09:11:45 -07001015 /* No reflinking if we're low on space */
1016 if (real_extent) {
1017 error = xfs_reflink_ag_has_free_space(mp,
1018 XFS_FSB_TO_AGNO(mp, irec->br_startblock));
1019 if (error)
1020 goto out;
1021 }
1022
Darrick J. Wong862bb362016-10-03 09:11:40 -07001023 /* Start a rolling transaction to switch the mappings */
1024 resblks = XFS_EXTENTADD_SPACE_RES(ip->i_mount, XFS_DATA_FORK);
1025 error = xfs_trans_alloc(mp, &M_RES(mp)->tr_write, resblks, 0, 0, &tp);
1026 if (error)
1027 goto out;
1028
1029 xfs_ilock(ip, XFS_ILOCK_EXCL);
1030 xfs_trans_ijoin(tp, ip, 0);
1031
1032 /* If we're not just clearing space, then do we have enough quota? */
1033 if (real_extent) {
1034 error = xfs_trans_reserve_quota_nblks(tp, ip,
1035 irec->br_blockcount, 0, XFS_QMOPT_RES_REGBLKS);
1036 if (error)
1037 goto out_cancel;
1038 }
1039
1040 trace_xfs_reflink_remap(ip, irec->br_startoff,
1041 irec->br_blockcount, irec->br_startblock);
1042
1043 /* Unmap the old blocks in the data fork. */
1044 rlen = unmap_len;
1045 while (rlen) {
Brian Foster9d9e6232018-08-01 07:20:35 -07001046 ASSERT(tp->t_firstblock == NULLFSBLOCK);
Brian Foster2af52842018-07-11 22:26:25 -07001047 error = __xfs_bunmapi(tp, ip, destoff, &rlen, 0, 1);
Darrick J. Wong862bb362016-10-03 09:11:40 -07001048 if (error)
Brian Fosterc8eac492018-07-24 13:43:13 -07001049 goto out_cancel;
Darrick J. Wong862bb362016-10-03 09:11:40 -07001050
1051 /*
1052 * Trim the extent to whatever got unmapped.
1053 * Remember, bunmapi works backwards.
1054 */
1055 uirec.br_startblock = irec->br_startblock + rlen;
1056 uirec.br_startoff = irec->br_startoff + rlen;
1057 uirec.br_blockcount = unmap_len - rlen;
1058 unmap_len = rlen;
1059
1060 /* If this isn't a real mapping, we're done. */
1061 if (!real_extent || uirec.br_blockcount == 0)
1062 goto next_extent;
1063
1064 trace_xfs_reflink_remap(ip, uirec.br_startoff,
1065 uirec.br_blockcount, uirec.br_startblock);
1066
1067 /* Update the refcount tree */
Darrick J. Wong74b4c5d2019-08-26 17:06:04 -07001068 xfs_refcount_increase_extent(tp, &uirec);
Darrick J. Wong862bb362016-10-03 09:11:40 -07001069
1070 /* Map the new blocks into the data fork. */
Brian Foster0f37d172018-08-01 07:20:34 -07001071 error = xfs_bmap_map_extent(tp, ip, &uirec);
Darrick J. Wong862bb362016-10-03 09:11:40 -07001072 if (error)
Brian Fosterc8eac492018-07-24 13:43:13 -07001073 goto out_cancel;
Darrick J. Wong862bb362016-10-03 09:11:40 -07001074
1075 /* Update quota accounting. */
1076 xfs_trans_mod_dquot_byino(tp, ip, XFS_TRANS_DQ_BCOUNT,
1077 uirec.br_blockcount);
1078
1079 /* Update dest isize if needed. */
1080 newlen = XFS_FSB_TO_B(mp,
1081 uirec.br_startoff + uirec.br_blockcount);
1082 newlen = min_t(xfs_off_t, newlen, new_isize);
1083 if (newlen > i_size_read(VFS_I(ip))) {
1084 trace_xfs_reflink_update_inode_size(ip, newlen);
1085 i_size_write(VFS_I(ip), newlen);
1086 ip->i_d.di_size = newlen;
1087 xfs_trans_log_inode(tp, ip, XFS_ILOG_CORE);
1088 }
1089
1090next_extent:
1091 /* Process all the deferred stuff. */
Brian Foster9e28a242018-07-24 13:43:15 -07001092 error = xfs_defer_finish(&tp);
Darrick J. Wong862bb362016-10-03 09:11:40 -07001093 if (error)
Brian Fosterc8eac492018-07-24 13:43:13 -07001094 goto out_cancel;
Darrick J. Wong862bb362016-10-03 09:11:40 -07001095 }
1096
1097 error = xfs_trans_commit(tp);
1098 xfs_iunlock(ip, XFS_ILOCK_EXCL);
1099 if (error)
1100 goto out;
1101 return 0;
1102
Darrick J. Wong862bb362016-10-03 09:11:40 -07001103out_cancel:
1104 xfs_trans_cancel(tp);
1105 xfs_iunlock(ip, XFS_ILOCK_EXCL);
1106out:
1107 trace_xfs_reflink_remap_extent_error(ip, error, _RET_IP_);
1108 return error;
1109}
1110
1111/*
1112 * Iteratively remap one file's extents (and holes) to another's.
1113 */
Darrick J. Wong3fc9f5e2018-10-30 10:47:26 +11001114int
Darrick J. Wong862bb362016-10-03 09:11:40 -07001115xfs_reflink_remap_blocks(
1116 struct xfs_inode *src,
Darrick J. Wong9f04aaf2018-10-30 10:46:50 +11001117 loff_t pos_in,
Darrick J. Wong862bb362016-10-03 09:11:40 -07001118 struct xfs_inode *dest,
Darrick J. Wong9f04aaf2018-10-30 10:46:50 +11001119 loff_t pos_out,
Darrick J. Wong3f68c1f2018-10-30 10:47:06 +11001120 loff_t remap_len,
1121 loff_t *remapped)
Darrick J. Wong862bb362016-10-03 09:11:40 -07001122{
1123 struct xfs_bmbt_irec imap;
Darrick J. Wong9f04aaf2018-10-30 10:46:50 +11001124 xfs_fileoff_t srcoff;
1125 xfs_fileoff_t destoff;
1126 xfs_filblks_t len;
1127 xfs_filblks_t range_len;
Darrick J. Wong3f68c1f2018-10-30 10:47:06 +11001128 xfs_filblks_t remapped_len = 0;
Darrick J. Wong9f04aaf2018-10-30 10:46:50 +11001129 xfs_off_t new_isize = pos_out + remap_len;
Darrick J. Wong862bb362016-10-03 09:11:40 -07001130 int nimaps;
1131 int error = 0;
Darrick J. Wong9f04aaf2018-10-30 10:46:50 +11001132
1133 destoff = XFS_B_TO_FSBT(src->i_mount, pos_out);
1134 srcoff = XFS_B_TO_FSBT(src->i_mount, pos_in);
1135 len = XFS_B_TO_FSB(src->i_mount, remap_len);
Darrick J. Wong862bb362016-10-03 09:11:40 -07001136
1137 /* drange = (destoff, destoff + len); srange = (srcoff, srcoff + len) */
1138 while (len) {
Darrick J. Wong01c2e132018-01-18 14:07:53 -08001139 uint lock_mode;
1140
Darrick J. Wong862bb362016-10-03 09:11:40 -07001141 trace_xfs_reflink_remap_blocks_loop(src, srcoff, len,
1142 dest, destoff);
Darrick J. Wong01c2e132018-01-18 14:07:53 -08001143
Darrick J. Wong862bb362016-10-03 09:11:40 -07001144 /* Read extent from the source file */
1145 nimaps = 1;
Darrick J. Wong01c2e132018-01-18 14:07:53 -08001146 lock_mode = xfs_ilock_data_map_shared(src);
Darrick J. Wong862bb362016-10-03 09:11:40 -07001147 error = xfs_bmapi_read(src, srcoff, len, &imap, &nimaps, 0);
Darrick J. Wong01c2e132018-01-18 14:07:53 -08001148 xfs_iunlock(src, lock_mode);
Darrick J. Wong862bb362016-10-03 09:11:40 -07001149 if (error)
Darrick J. Wong9f04aaf2018-10-30 10:46:50 +11001150 break;
Darrick J. Wong862bb362016-10-03 09:11:40 -07001151 ASSERT(nimaps == 1);
1152
Christoph Hellwigbe225fe2019-02-15 08:02:46 -08001153 trace_xfs_reflink_remap_imap(src, srcoff, len, XFS_DATA_FORK,
Darrick J. Wong862bb362016-10-03 09:11:40 -07001154 &imap);
1155
1156 /* Translate imap into the destination file. */
1157 range_len = imap.br_startoff + imap.br_blockcount - srcoff;
1158 imap.br_startoff += destoff - srcoff;
1159
1160 /* Clear dest from destoff to the end of imap and map it in. */
1161 error = xfs_reflink_remap_extent(dest, &imap, destoff,
1162 new_isize);
1163 if (error)
Darrick J. Wong9f04aaf2018-10-30 10:46:50 +11001164 break;
Darrick J. Wong862bb362016-10-03 09:11:40 -07001165
1166 if (fatal_signal_pending(current)) {
1167 error = -EINTR;
Darrick J. Wong9f04aaf2018-10-30 10:46:50 +11001168 break;
Darrick J. Wong862bb362016-10-03 09:11:40 -07001169 }
1170
1171 /* Advance drange/srange */
1172 srcoff += range_len;
1173 destoff += range_len;
1174 len -= range_len;
Darrick J. Wong3f68c1f2018-10-30 10:47:06 +11001175 remapped_len += range_len;
Darrick J. Wong862bb362016-10-03 09:11:40 -07001176 }
1177
Darrick J. Wong9f04aaf2018-10-30 10:46:50 +11001178 if (error)
1179 trace_xfs_reflink_remap_blocks_error(dest, error, _RET_IP_);
Darrick J. Wong3f68c1f2018-10-30 10:47:06 +11001180 *remapped = min_t(loff_t, remap_len,
1181 XFS_FSB_TO_B(src->i_mount, remapped_len));
Darrick J. Wong862bb362016-10-03 09:11:40 -07001182 return error;
1183}
1184
1185/*
Darrick J. Wong5d888b42019-08-14 17:38:09 -07001186 * Grab the exclusive iolock for a data copy from src to dest, making sure to
1187 * abide vfs locking order (lowest pointer value goes first) and breaking the
1188 * layout leases before proceeding. The loop is needed because we cannot call
1189 * the blocking break_layout() with the iolocks held, and therefore have to
1190 * back out both locks.
Darrick J. Wong1364b1d42018-01-18 13:55:20 -08001191 */
1192static int
1193xfs_iolock_two_inodes_and_break_layout(
1194 struct inode *src,
1195 struct inode *dest)
1196{
1197 int error;
1198
Darrick J. Wong5d888b42019-08-14 17:38:09 -07001199 if (src > dest)
1200 swap(src, dest);
Darrick J. Wong1364b1d42018-01-18 13:55:20 -08001201
Darrick J. Wong5d888b42019-08-14 17:38:09 -07001202retry:
1203 /* Wait to break both inodes' layouts before we start locking. */
1204 error = break_layout(src, true);
1205 if (error)
1206 return error;
1207 if (src != dest) {
Darrick J. Wong1364b1d42018-01-18 13:55:20 -08001208 error = break_layout(dest, true);
1209 if (error)
1210 return error;
Darrick J. Wong1364b1d42018-01-18 13:55:20 -08001211 }
Darrick J. Wong5d888b42019-08-14 17:38:09 -07001212
1213 /* Lock one inode and make sure nobody got in and leased it. */
1214 inode_lock(src);
1215 error = break_layout(src, false);
Darrick J. Wong1364b1d42018-01-18 13:55:20 -08001216 if (error) {
Darrick J. Wong5d888b42019-08-14 17:38:09 -07001217 inode_unlock(src);
1218 if (error == -EWOULDBLOCK)
1219 goto retry;
Darrick J. Wong1364b1d42018-01-18 13:55:20 -08001220 return error;
1221 }
Darrick J. Wong5d888b42019-08-14 17:38:09 -07001222
1223 if (src == dest)
1224 return 0;
1225
1226 /* Lock the other inode and make sure nobody got in and leased it. */
1227 inode_lock_nested(dest, I_MUTEX_NONDIR2);
1228 error = break_layout(dest, false);
1229 if (error) {
1230 inode_unlock(src);
1231 inode_unlock(dest);
1232 if (error == -EWOULDBLOCK)
1233 goto retry;
1234 return error;
1235 }
1236
Darrick J. Wong1364b1d42018-01-18 13:55:20 -08001237 return 0;
1238}
1239
Darrick J. Wong0d41e1d2018-10-05 19:04:22 +10001240/* Unlock both inodes after they've been prepped for a range clone. */
Darrick J. Wong3fc9f5e2018-10-30 10:47:26 +11001241void
Darrick J. Wong0d41e1d2018-10-05 19:04:22 +10001242xfs_reflink_remap_unlock(
1243 struct file *file_in,
1244 struct file *file_out)
1245{
1246 struct inode *inode_in = file_inode(file_in);
1247 struct xfs_inode *src = XFS_I(inode_in);
1248 struct inode *inode_out = file_inode(file_out);
1249 struct xfs_inode *dest = XFS_I(inode_out);
1250 bool same_inode = (inode_in == inode_out);
1251
1252 xfs_iunlock(dest, XFS_MMAPLOCK_EXCL);
1253 if (!same_inode)
Darrick J. Wong5d888b42019-08-14 17:38:09 -07001254 xfs_iunlock(src, XFS_MMAPLOCK_EXCL);
Darrick J. Wong0d41e1d2018-10-05 19:04:22 +10001255 inode_unlock(inode_out);
1256 if (!same_inode)
Darrick J. Wong5d888b42019-08-14 17:38:09 -07001257 inode_unlock(inode_in);
Darrick J. Wong0d41e1d2018-10-05 19:04:22 +10001258}
1259
Darrick J. Wong1364b1d42018-01-18 13:55:20 -08001260/*
Darrick J. Wong410fdc72018-10-05 19:04:27 +10001261 * If we're reflinking to a point past the destination file's EOF, we must
1262 * zero any speculative post-EOF preallocations that sit between the old EOF
1263 * and the destination file offset.
1264 */
1265static int
1266xfs_reflink_zero_posteof(
1267 struct xfs_inode *ip,
1268 loff_t pos)
1269{
1270 loff_t isize = i_size_read(VFS_I(ip));
1271
1272 if (pos <= isize)
1273 return 0;
1274
1275 trace_xfs_zero_eof(ip, isize, pos - isize);
1276 return iomap_zero_range(VFS_I(ip), isize, pos - isize, NULL,
1277 &xfs_iomap_ops);
1278}
1279
1280/*
Darrick J. Wong0d41e1d2018-10-05 19:04:22 +10001281 * Prepare two files for range cloning. Upon a successful return both inodes
Dave Chinnerb3998902018-10-06 11:44:39 +10001282 * will have the iolock and mmaplock held, the page cache of the out file will
1283 * be truncated, and any leases on the out file will have been broken. This
1284 * function borrows heavily from xfs_file_aio_write_checks.
Dave Chinnerdceeb472018-10-06 11:44:19 +10001285 *
1286 * The VFS allows partial EOF blocks to "match" for dedupe even though it hasn't
1287 * checked that the bytes beyond EOF physically match. Hence we cannot use the
1288 * EOF block in the source dedupe range because it's not a complete block match,
Dave Chinnerb3998902018-10-06 11:44:39 +10001289 * hence can introduce a corruption into the file that has it's block replaced.
Dave Chinnerdceeb472018-10-06 11:44:19 +10001290 *
Dave Chinnerb3998902018-10-06 11:44:39 +10001291 * In similar fashion, the VFS file cloning also allows partial EOF blocks to be
1292 * "block aligned" for the purposes of cloning entire files. However, if the
1293 * source file range includes the EOF block and it lands within the existing EOF
1294 * of the destination file, then we can expose stale data from beyond the source
1295 * file EOF in the destination file.
1296 *
1297 * XFS doesn't support partial block sharing, so in both cases we have check
1298 * these cases ourselves. For dedupe, we can simply round the length to dedupe
1299 * down to the previous whole block and ignore the partial EOF block. While this
1300 * means we can't dedupe the last block of a file, this is an acceptible
1301 * tradeoff for simplicity on implementation.
1302 *
1303 * For cloning, we want to share the partial EOF block if it is also the new EOF
1304 * block of the destination file. If the partial EOF block lies inside the
1305 * existing destination EOF, then we have to abort the clone to avoid exposing
1306 * stale data in the destination file. Hence we reject these clone attempts with
1307 * -EINVAL in this case.
Darrick J. Wong862bb362016-10-03 09:11:40 -07001308 */
Darrick J. Wong3fc9f5e2018-10-30 10:47:26 +11001309int
Darrick J. Wong0d41e1d2018-10-05 19:04:22 +10001310xfs_reflink_remap_prep(
Christoph Hellwig5faaf4f2016-10-20 15:50:07 +11001311 struct file *file_in,
1312 loff_t pos_in,
1313 struct file *file_out,
1314 loff_t pos_out,
Darrick J. Wong42ec3d42018-10-30 10:41:49 +11001315 loff_t *len,
Darrick J. Wonga91ae49b2018-10-30 10:41:28 +11001316 unsigned int remap_flags)
Darrick J. Wong862bb362016-10-03 09:11:40 -07001317{
Christoph Hellwig5faaf4f2016-10-20 15:50:07 +11001318 struct inode *inode_in = file_inode(file_in);
1319 struct xfs_inode *src = XFS_I(inode_in);
1320 struct inode *inode_out = file_inode(file_out);
1321 struct xfs_inode *dest = XFS_I(inode_out);
Christoph Hellwig5faaf4f2016-10-20 15:50:07 +11001322 bool same_inode = (inode_in == inode_out);
Christoph Hellwig5faaf4f2016-10-20 15:50:07 +11001323 ssize_t ret;
Darrick J. Wong862bb362016-10-03 09:11:40 -07001324
Christoph Hellwig5faaf4f2016-10-20 15:50:07 +11001325 /* Lock both files against IO */
Darrick J. Wong1364b1d42018-01-18 13:55:20 -08001326 ret = xfs_iolock_two_inodes_and_break_layout(inode_in, inode_out);
1327 if (ret)
1328 return ret;
Christoph Hellwig65523212016-11-30 14:33:25 +11001329 if (same_inode)
Christoph Hellwig5faaf4f2016-10-20 15:50:07 +11001330 xfs_ilock(src, XFS_MMAPLOCK_EXCL);
Christoph Hellwig65523212016-11-30 14:33:25 +11001331 else
Darrick J. Wong5d888b42019-08-14 17:38:09 -07001332 xfs_lock_two_inodes(src, XFS_MMAPLOCK_EXCL, dest,
Darrick J. Wong7c2d2382018-01-26 15:27:33 -08001333 XFS_MMAPLOCK_EXCL);
Christoph Hellwig5faaf4f2016-10-20 15:50:07 +11001334
Darrick J. Wong876bec6f2016-12-09 16:18:30 -08001335 /* Check file eligibility and prepare for block sharing. */
Christoph Hellwig5faaf4f2016-10-20 15:50:07 +11001336 ret = -EINVAL;
Darrick J. Wong862bb362016-10-03 09:11:40 -07001337 /* Don't reflink realtime inodes */
1338 if (XFS_IS_REALTIME_INODE(src) || XFS_IS_REALTIME_INODE(dest))
Christoph Hellwig5faaf4f2016-10-20 15:50:07 +11001339 goto out_unlock;
Darrick J. Wong862bb362016-10-03 09:11:40 -07001340
Christoph Hellwig5faaf4f2016-10-20 15:50:07 +11001341 /* Don't share DAX file data for now. */
1342 if (IS_DAX(inode_in) || IS_DAX(inode_out))
1343 goto out_unlock;
Darrick J. Wongcc714662016-10-03 09:11:41 -07001344
Darrick J. Wonga83ab012018-10-30 10:41:08 +11001345 ret = generic_remap_file_range_prep(file_in, pos_in, file_out, pos_out,
Darrick J. Wonga91ae49b2018-10-30 10:41:28 +11001346 len, remap_flags);
Darrick J. Wong8c5c8362018-10-30 10:42:24 +11001347 if (ret < 0 || *len == 0)
Christoph Hellwig5faaf4f2016-10-20 15:50:07 +11001348 goto out_unlock;
1349
Darrick J. Wong09ac8622018-01-19 08:56:04 -08001350 /* Attach dquots to dest inode before changing block map */
Darrick J. Wongc14cfcc2018-05-04 15:30:21 -07001351 ret = xfs_qm_dqattach(dest);
Darrick J. Wong09ac8622018-01-19 08:56:04 -08001352 if (ret)
1353 goto out_unlock;
1354
Darrick J. Wong5c989a02017-12-10 18:03:54 -08001355 /*
Darrick J. Wong410fdc72018-10-05 19:04:27 +10001356 * Zero existing post-eof speculative preallocations in the destination
1357 * file.
Darrick J. Wong5c989a02017-12-10 18:03:54 -08001358 */
Darrick J. Wong410fdc72018-10-05 19:04:27 +10001359 ret = xfs_reflink_zero_posteof(dest, pos_out);
1360 if (ret)
1361 goto out_unlock;
Darrick J. Wong5c989a02017-12-10 18:03:54 -08001362
Darrick J. Wong876bec6f2016-12-09 16:18:30 -08001363 /* Set flags and remap blocks. */
Christoph Hellwig5faaf4f2016-10-20 15:50:07 +11001364 ret = xfs_reflink_set_inode_flag(src, dest);
1365 if (ret)
1366 goto out_unlock;
Darrick J. Wong862bb362016-10-03 09:11:40 -07001367
Dave Chinner2c307172018-11-19 13:31:10 -08001368 /*
1369 * If pos_out > EOF, we may have dirtied blocks between EOF and
1370 * pos_out. In that case, we need to extend the flush and unmap to cover
1371 * from EOF to the end of the copy length.
1372 */
1373 if (pos_out > XFS_ISIZE(dest)) {
1374 loff_t flen = *len + (pos_out - XFS_ISIZE(dest));
1375 ret = xfs_flush_unmap_range(dest, XFS_ISIZE(dest), flen);
1376 } else {
1377 ret = xfs_flush_unmap_range(dest, pos_out, *len);
1378 }
1379 if (ret)
1380 goto out_unlock;
Darrick J. Wong7debbf02018-10-05 19:05:41 +10001381
Darrick J. Wong0d41e1d2018-10-05 19:04:22 +10001382 return 1;
1383out_unlock:
1384 xfs_reflink_remap_unlock(file_in, file_out);
1385 return ret;
1386}
1387
1388/*
Darrick J. Wong98cc2db2016-10-03 09:11:43 -07001389 * The user wants to preemptively CoW all shared blocks in this file,
1390 * which enables us to turn off the reflink flag. Iterate all
1391 * extents which are not prealloc/delalloc to see which ranges are
1392 * mentioned in the refcount tree, then read those blocks into the
1393 * pagecache, dirty them, fsync them back out, and then we can update
1394 * the inode flag. What happens if we run out of memory? :)
1395 */
1396STATIC int
1397xfs_reflink_dirty_extents(
1398 struct xfs_inode *ip,
1399 xfs_fileoff_t fbno,
1400 xfs_filblks_t end,
1401 xfs_off_t isize)
1402{
1403 struct xfs_mount *mp = ip->i_mount;
1404 xfs_agnumber_t agno;
1405 xfs_agblock_t agbno;
1406 xfs_extlen_t aglen;
1407 xfs_agblock_t rbno;
1408 xfs_extlen_t rlen;
1409 xfs_off_t fpos;
1410 xfs_off_t flen;
1411 struct xfs_bmbt_irec map[2];
1412 int nmaps;
Darrick J. Wong9780643c2016-10-10 16:49:18 +11001413 int error = 0;
Darrick J. Wong98cc2db2016-10-03 09:11:43 -07001414
1415 while (end - fbno > 0) {
1416 nmaps = 1;
1417 /*
1418 * Look for extents in the file. Skip holes, delalloc, or
1419 * unwritten extents; they can't be reflinked.
1420 */
1421 error = xfs_bmapi_read(ip, fbno, end - fbno, map, &nmaps, 0);
1422 if (error)
1423 goto out;
1424 if (nmaps == 0)
1425 break;
Christoph Hellwig9c4f29d2017-03-28 14:53:35 -07001426 if (!xfs_bmap_is_real_extent(&map[0]))
Darrick J. Wong98cc2db2016-10-03 09:11:43 -07001427 goto next;
1428
1429 map[1] = map[0];
1430 while (map[1].br_blockcount) {
1431 agno = XFS_FSB_TO_AGNO(mp, map[1].br_startblock);
1432 agbno = XFS_FSB_TO_AGBNO(mp, map[1].br_startblock);
1433 aglen = map[1].br_blockcount;
1434
Darrick J. Wong92ff7282017-06-16 11:00:10 -07001435 error = xfs_reflink_find_shared(mp, NULL, agno, agbno,
1436 aglen, &rbno, &rlen, true);
Darrick J. Wong98cc2db2016-10-03 09:11:43 -07001437 if (error)
1438 goto out;
1439 if (rbno == NULLAGBLOCK)
1440 break;
1441
1442 /* Dirty the pages */
1443 xfs_iunlock(ip, XFS_ILOCK_EXCL);
1444 fpos = XFS_FSB_TO_B(mp, map[1].br_startoff +
1445 (rbno - agbno));
1446 flen = XFS_FSB_TO_B(mp, rlen);
1447 if (fpos + flen > isize)
1448 flen = isize - fpos;
1449 error = iomap_file_dirty(VFS_I(ip), fpos, flen,
1450 &xfs_iomap_ops);
1451 xfs_ilock(ip, XFS_ILOCK_EXCL);
1452 if (error)
1453 goto out;
1454
1455 map[1].br_blockcount -= (rbno - agbno + rlen);
1456 map[1].br_startoff += (rbno - agbno + rlen);
1457 map[1].br_startblock += (rbno - agbno + rlen);
1458 }
1459
1460next:
1461 fbno = map[0].br_startoff + map[0].br_blockcount;
1462 }
1463out:
1464 return error;
1465}
1466
Darrick J. Wongea7cdd72017-06-16 11:00:11 -07001467/* Does this inode need the reflink flag? */
1468int
1469xfs_reflink_inode_has_shared_extents(
1470 struct xfs_trans *tp,
1471 struct xfs_inode *ip,
1472 bool *has_shared)
1473{
1474 struct xfs_bmbt_irec got;
1475 struct xfs_mount *mp = ip->i_mount;
1476 struct xfs_ifork *ifp;
1477 xfs_agnumber_t agno;
1478 xfs_agblock_t agbno;
1479 xfs_extlen_t aglen;
1480 xfs_agblock_t rbno;
1481 xfs_extlen_t rlen;
Christoph Hellwigb2b17122017-11-03 10:34:43 -07001482 struct xfs_iext_cursor icur;
Darrick J. Wongea7cdd72017-06-16 11:00:11 -07001483 bool found;
1484 int error;
1485
1486 ifp = XFS_IFORK_PTR(ip, XFS_DATA_FORK);
1487 if (!(ifp->if_flags & XFS_IFEXTENTS)) {
1488 error = xfs_iread_extents(tp, ip, XFS_DATA_FORK);
1489 if (error)
1490 return error;
1491 }
1492
1493 *has_shared = false;
Christoph Hellwigb2b17122017-11-03 10:34:43 -07001494 found = xfs_iext_lookup_extent(ip, ifp, 0, &icur, &got);
Darrick J. Wongea7cdd72017-06-16 11:00:11 -07001495 while (found) {
1496 if (isnullstartblock(got.br_startblock) ||
1497 got.br_state != XFS_EXT_NORM)
1498 goto next;
1499 agno = XFS_FSB_TO_AGNO(mp, got.br_startblock);
1500 agbno = XFS_FSB_TO_AGBNO(mp, got.br_startblock);
1501 aglen = got.br_blockcount;
1502
1503 error = xfs_reflink_find_shared(mp, tp, agno, agbno, aglen,
1504 &rbno, &rlen, false);
1505 if (error)
1506 return error;
1507 /* Is there still a shared block here? */
1508 if (rbno != NULLAGBLOCK) {
1509 *has_shared = true;
1510 return 0;
1511 }
1512next:
Christoph Hellwigb2b17122017-11-03 10:34:43 -07001513 found = xfs_iext_next_extent(ifp, &icur, &got);
Darrick J. Wongea7cdd72017-06-16 11:00:11 -07001514 }
1515
1516 return 0;
1517}
1518
Dave Chinner844e5e72018-05-09 07:49:10 -07001519/*
1520 * Clear the inode reflink flag if there are no shared extents.
1521 *
1522 * The caller is responsible for joining the inode to the transaction passed in.
1523 * The inode will be joined to the transaction that is returned to the caller.
1524 */
Darrick J. Wong98cc2db2016-10-03 09:11:43 -07001525int
1526xfs_reflink_clear_inode_flag(
1527 struct xfs_inode *ip,
1528 struct xfs_trans **tpp)
1529{
Darrick J. Wongea7cdd72017-06-16 11:00:11 -07001530 bool needs_flag;
Darrick J. Wong98cc2db2016-10-03 09:11:43 -07001531 int error = 0;
1532
Darrick J. Wong63646fc2016-10-10 16:47:32 +11001533 ASSERT(xfs_is_reflink_inode(ip));
Darrick J. Wong98cc2db2016-10-03 09:11:43 -07001534
Darrick J. Wongea7cdd72017-06-16 11:00:11 -07001535 error = xfs_reflink_inode_has_shared_extents(*tpp, ip, &needs_flag);
1536 if (error || needs_flag)
1537 return error;
Darrick J. Wong98cc2db2016-10-03 09:11:43 -07001538
1539 /*
1540 * We didn't find any shared blocks so turn off the reflink flag.
1541 * First, get rid of any leftover CoW mappings.
1542 */
Christoph Hellwig3802a342017-03-07 16:45:58 -08001543 error = xfs_reflink_cancel_cow_blocks(ip, tpp, 0, NULLFILEOFF, true);
Darrick J. Wong98cc2db2016-10-03 09:11:43 -07001544 if (error)
1545 return error;
1546
1547 /* Clear the inode flag. */
1548 trace_xfs_reflink_unset_inode_flag(ip);
1549 ip->i_d.di_flags2 &= ~XFS_DIFLAG2_REFLINK;
Darrick J. Wong83104d42016-10-03 09:11:46 -07001550 xfs_inode_clear_cowblocks_tag(ip);
Darrick J. Wong98cc2db2016-10-03 09:11:43 -07001551 xfs_trans_log_inode(*tpp, ip, XFS_ILOG_CORE);
1552
1553 return error;
1554}
1555
1556/*
1557 * Clear the inode reflink flag if there are no shared extents and the size
1558 * hasn't changed.
1559 */
1560STATIC int
1561xfs_reflink_try_clear_inode_flag(
Darrick J. Wong97a1b872016-10-10 16:49:01 +11001562 struct xfs_inode *ip)
Darrick J. Wong98cc2db2016-10-03 09:11:43 -07001563{
1564 struct xfs_mount *mp = ip->i_mount;
1565 struct xfs_trans *tp;
1566 int error = 0;
1567
1568 /* Start a rolling transaction to remove the mappings */
1569 error = xfs_trans_alloc(mp, &M_RES(mp)->tr_write, 0, 0, 0, &tp);
1570 if (error)
1571 return error;
1572
1573 xfs_ilock(ip, XFS_ILOCK_EXCL);
1574 xfs_trans_ijoin(tp, ip, 0);
1575
Darrick J. Wong98cc2db2016-10-03 09:11:43 -07001576 error = xfs_reflink_clear_inode_flag(ip, &tp);
1577 if (error)
1578 goto cancel;
1579
1580 error = xfs_trans_commit(tp);
1581 if (error)
1582 goto out;
1583
1584 xfs_iunlock(ip, XFS_ILOCK_EXCL);
1585 return 0;
1586cancel:
1587 xfs_trans_cancel(tp);
1588out:
1589 xfs_iunlock(ip, XFS_ILOCK_EXCL);
1590 return error;
1591}
1592
1593/*
1594 * Pre-COW all shared blocks within a given byte range of a file and turn off
1595 * the reflink flag if we unshare all of the file's blocks.
1596 */
1597int
1598xfs_reflink_unshare(
1599 struct xfs_inode *ip,
1600 xfs_off_t offset,
1601 xfs_off_t len)
1602{
1603 struct xfs_mount *mp = ip->i_mount;
1604 xfs_fileoff_t fbno;
1605 xfs_filblks_t end;
1606 xfs_off_t isize;
1607 int error;
1608
1609 if (!xfs_is_reflink_inode(ip))
1610 return 0;
1611
1612 trace_xfs_reflink_unshare(ip, offset, len);
1613
1614 inode_dio_wait(VFS_I(ip));
1615
1616 /* Try to CoW the selected ranges */
1617 xfs_ilock(ip, XFS_ILOCK_EXCL);
Darrick J. Wong97a1b872016-10-10 16:49:01 +11001618 fbno = XFS_B_TO_FSBT(mp, offset);
Darrick J. Wong98cc2db2016-10-03 09:11:43 -07001619 isize = i_size_read(VFS_I(ip));
1620 end = XFS_B_TO_FSB(mp, offset + len);
1621 error = xfs_reflink_dirty_extents(ip, fbno, end, isize);
1622 if (error)
1623 goto out_unlock;
1624 xfs_iunlock(ip, XFS_ILOCK_EXCL);
1625
1626 /* Wait for the IO to finish */
1627 error = filemap_write_and_wait(VFS_I(ip)->i_mapping);
1628 if (error)
1629 goto out;
1630
Darrick J. Wong97a1b872016-10-10 16:49:01 +11001631 /* Turn off the reflink flag if possible. */
1632 error = xfs_reflink_try_clear_inode_flag(ip);
1633 if (error)
1634 goto out;
Darrick J. Wong98cc2db2016-10-03 09:11:43 -07001635
1636 return 0;
1637
1638out_unlock:
1639 xfs_iunlock(ip, XFS_ILOCK_EXCL);
1640out:
1641 trace_xfs_reflink_unshare_error(ip, error, _RET_IP_);
1642 return error;
1643}