Commit 92e9dff9 authored by Brian Foster's avatar Brian Foster Committed by Carlos Maiolino
Browse files

xfs: fix iomap hole map reporting for zoned zero range 



The hole mapping logic for zero range in zoned mode is not quite
correct. It currently reports a hole whenever one exists in the data
fork. If the first write to a sparse range has completed and not yet
written back, the blocks exist in the COW fork as delalloc until
writeback completes, at which point they are allocated and mapped
into the data fork. If a zero range occurs on a range that has not
yet populated the data fork, we will incorrectly report it as a
hole.

Note that this currently functions correctly because we are bailed
out by the pagecache flush in iomap_zero_range(). If a hole or
unwritten mapping is reported with dirty pagecache, it assumes there
is pending data, flushes to induce any pending block
allocations/remaps, and retries the lookup. We want to remove this
hack from iomap, however, so update iomap_begin() to only report a
hole for zeroing when one exists in both forks.

Signed-off-by: default avatarBrian Foster <bfoster@redhat.com>
Reviewed-by: default avatarChristoph Hellwig <hch@lst.de>
Reviewed-by: default avatarDarrick J. Wong <djwong@kernel.org>
Signed-off-by: default avatarCarlos Maiolino <cem@kernel.org>
parent 8da6fd08

fs/xfs/xfs_iomap.c

+10 −8
Original line number Diff line number Diff line
@@ -1651,14 +1651,6 @@ xfs_zoned_buffered_write_iomap_begin( 
				&smap))

			smap.br_startoff = end_fsb; /* fake hole until EOF */

		if (smap.br_startoff > offset_fsb) {

			/*

			 * We never need to allocate blocks for zeroing a hole.

			 */

			if (flags & IOMAP_ZERO) {

				xfs_hole_to_iomap(ip, iomap, offset_fsb,

						smap.br_startoff);

				goto out_unlock;

			}

			end_fsb = min(end_fsb, smap.br_startoff);

		} else {

			end_fsb = min(end_fsb,
@@ -1690,6 +1682,16 @@ xfs_zoned_buffered_write_iomap_begin( 
	count_fsb = min3(end_fsb - offset_fsb, XFS_MAX_BMBT_EXTLEN,

			 XFS_B_TO_FSB(mp, 1024 * PAGE_SIZE));



	/*

	 * When zeroing, don't allocate blocks for holes as they are already

	 * zeroes, but we need to ensure that no extents exist in both the data

	 * and COW fork to ensure this really is a hole.

	 */

	if ((flags & IOMAP_ZERO) && srcmap->type == IOMAP_HOLE) {

		xfs_hole_to_iomap(ip, iomap, offset_fsb, end_fsb);

		goto out_unlock;

	}



	/*

	 * The block reservation is supposed to cover all blocks that the

	 * operation could possible write, but there is a nasty corner case