Commit 66ae56a5 authored by Christoph Hellwig's avatar Christoph Hellwig Committed by Darrick J. Wong

xfs: introduce an always_cow mode

Add a mode where XFS never overwrites existing blocks in place.  This
is to aid debugging our COW code, and also put infatructure in place
for things like possible future support for zoned block devices, which
can't support overwrites.

This mode is enabled globally by doing a:

    echo 1 > /sys/fs/xfs/debug/always_cow

Note that the parameter is global to allow running all tests in xfstests
easily in this mode, which would not easily be possible with a per-fs
sysfs file.

In always_cow mode persistent preallocations are disabled, and fallocate
will fail when called with a 0 mode (with our without
FALLOC_FL_KEEP_SIZE), and not create unwritten extent for zeroed space
when called with FALLOC_FL_ZERO_RANGE or FALLOC_FL_UNSHARE_RANGE.

There are a few interesting xfstests failures when run in always_cow
mode:

 - generic/392 fails because the bytes used in the file used to test
   hole punch recovery are less after the log replay.  This is
   because the blocks written and then punched out are only freed
   with a delay due to the logging mechanism.
 - xfs/170 will fail as the already fragile file streams mechanism
   doesn't seem to interact well with the COW allocator
 - xfs/180 xfs/182 xfs/192 xfs/198 xfs/204 and xfs/208 will claim
   the file system is badly fragmented, but there is not much we
   can do to avoid that when always writing out of place
 - xfs/205 fails because overwriting a file in always_cow mode
   will require new space allocation and the assumption in the
   test thus don't work anymore.
 - xfs/326 fails to modify the file at all in always_cow mode after
   injecting the refcount error, leading to an unexpected md5sum
   after the remount, but that again is expected
Signed-off-by: default avatarChristoph Hellwig <hch@lst.de>
Reviewed-by: default avatarDarrick J. Wong <darrick.wong@oracle.com>
Signed-off-by: default avatarDarrick J. Wong <darrick.wong@oracle.com>
parent c4feb0b1
...@@ -1023,7 +1023,7 @@ xfs_vm_bmap( ...@@ -1023,7 +1023,7 @@ xfs_vm_bmap(
* Since we don't pass back blockdev info, we can't return bmap * Since we don't pass back blockdev info, we can't return bmap
* information for rt files either. * information for rt files either.
*/ */
if (xfs_is_reflink_inode(ip) || XFS_IS_REALTIME_INODE(ip)) if (xfs_is_cow_inode(ip) || XFS_IS_REALTIME_INODE(ip))
return 0; return 0;
return iomap_bmap(mapping, block, &xfs_iomap_ops); return iomap_bmap(mapping, block, &xfs_iomap_ops);
} }
......
...@@ -1162,16 +1162,13 @@ xfs_zero_file_space( ...@@ -1162,16 +1162,13 @@ xfs_zero_file_space(
* by virtue of the hole punch. * by virtue of the hole punch.
*/ */
error = xfs_free_file_space(ip, offset, len); error = xfs_free_file_space(ip, offset, len);
if (error) if (error || xfs_is_always_cow_inode(ip))
goto out; return error;
error = xfs_alloc_file_space(ip, round_down(offset, blksize), return xfs_alloc_file_space(ip, round_down(offset, blksize),
round_up(offset + len, blksize) - round_up(offset + len, blksize) -
round_down(offset, blksize), round_down(offset, blksize),
XFS_BMAPI_PREALLOC); XFS_BMAPI_PREALLOC);
out:
return error;
} }
static int static int
......
...@@ -507,7 +507,7 @@ xfs_file_dio_aio_write( ...@@ -507,7 +507,7 @@ xfs_file_dio_aio_write(
* We can't properly handle unaligned direct I/O to reflink * We can't properly handle unaligned direct I/O to reflink
* files yet, as we can't unshare a partial block. * files yet, as we can't unshare a partial block.
*/ */
if (xfs_is_reflink_inode(ip)) { if (xfs_is_cow_inode(ip)) {
trace_xfs_reflink_bounce_dio_write(ip, iocb->ki_pos, count); trace_xfs_reflink_bounce_dio_write(ip, iocb->ki_pos, count);
return -EREMCHG; return -EREMCHG;
} }
...@@ -872,14 +872,27 @@ xfs_file_fallocate( ...@@ -872,14 +872,27 @@ xfs_file_fallocate(
goto out_unlock; goto out_unlock;
} }
if (mode & FALLOC_FL_ZERO_RANGE) if (mode & FALLOC_FL_ZERO_RANGE) {
error = xfs_zero_file_space(ip, offset, len); error = xfs_zero_file_space(ip, offset, len);
else { } else if (mode & FALLOC_FL_UNSHARE_RANGE) {
if (mode & FALLOC_FL_UNSHARE_RANGE) { error = xfs_reflink_unshare(ip, offset, len);
error = xfs_reflink_unshare(ip, offset, len); if (error)
if (error) goto out_unlock;
goto out_unlock;
if (!xfs_is_always_cow_inode(ip)) {
error = xfs_alloc_file_space(ip, offset, len,
XFS_BMAPI_PREALLOC);
} }
} else {
/*
* If always_cow mode we can't use preallocations and
* thus should not create them.
*/
if (xfs_is_always_cow_inode(ip)) {
error = -EOPNOTSUPP;
goto out_unlock;
}
error = xfs_alloc_file_space(ip, offset, len, error = xfs_alloc_file_space(ip, offset, len,
XFS_BMAPI_PREALLOC); XFS_BMAPI_PREALLOC);
} }
......
...@@ -395,12 +395,13 @@ xfs_quota_calc_throttle( ...@@ -395,12 +395,13 @@ xfs_quota_calc_throttle(
STATIC xfs_fsblock_t STATIC xfs_fsblock_t
xfs_iomap_prealloc_size( xfs_iomap_prealloc_size(
struct xfs_inode *ip, struct xfs_inode *ip,
int whichfork,
loff_t offset, loff_t offset,
loff_t count, loff_t count,
struct xfs_iext_cursor *icur) struct xfs_iext_cursor *icur)
{ {
struct xfs_mount *mp = ip->i_mount; struct xfs_mount *mp = ip->i_mount;
struct xfs_ifork *ifp = XFS_IFORK_PTR(ip, XFS_DATA_FORK); struct xfs_ifork *ifp = XFS_IFORK_PTR(ip, whichfork);
xfs_fileoff_t offset_fsb = XFS_B_TO_FSBT(mp, offset); xfs_fileoff_t offset_fsb = XFS_B_TO_FSBT(mp, offset);
struct xfs_bmbt_irec prev; struct xfs_bmbt_irec prev;
int shift = 0; int shift = 0;
...@@ -593,7 +594,11 @@ xfs_file_iomap_begin_delay( ...@@ -593,7 +594,11 @@ xfs_file_iomap_begin_delay(
* themselves. Second the lookup in the extent list is generally faster * themselves. Second the lookup in the extent list is generally faster
* than going out to the shared extent tree. * than going out to the shared extent tree.
*/ */
if (xfs_is_reflink_inode(ip)) { if (xfs_is_cow_inode(ip)) {
if (!ip->i_cowfp) {
ASSERT(!xfs_is_reflink_inode(ip));
xfs_ifork_init_cow(ip);
}
cow_eof = !xfs_iext_lookup_extent(ip, ip->i_cowfp, offset_fsb, cow_eof = !xfs_iext_lookup_extent(ip, ip->i_cowfp, offset_fsb,
&ccur, &cmap); &ccur, &cmap);
if (!cow_eof && cmap.br_startoff <= offset_fsb) { if (!cow_eof && cmap.br_startoff <= offset_fsb) {
...@@ -609,7 +614,7 @@ xfs_file_iomap_begin_delay( ...@@ -609,7 +614,7 @@ xfs_file_iomap_begin_delay(
* overwriting shared extents. This includes zeroing of * overwriting shared extents. This includes zeroing of
* existing extents that contain data. * existing extents that contain data.
*/ */
if (!xfs_is_reflink_inode(ip) || if (!xfs_is_cow_inode(ip) ||
((flags & IOMAP_ZERO) && imap.br_state != XFS_EXT_NORM)) { ((flags & IOMAP_ZERO) && imap.br_state != XFS_EXT_NORM)) {
trace_xfs_iomap_found(ip, offset, count, XFS_DATA_FORK, trace_xfs_iomap_found(ip, offset, count, XFS_DATA_FORK,
&imap); &imap);
...@@ -619,7 +624,7 @@ xfs_file_iomap_begin_delay( ...@@ -619,7 +624,7 @@ xfs_file_iomap_begin_delay(
xfs_trim_extent(&imap, offset_fsb, end_fsb - offset_fsb); xfs_trim_extent(&imap, offset_fsb, end_fsb - offset_fsb);
/* Trim the mapping to the nearest shared extent boundary. */ /* Trim the mapping to the nearest shared extent boundary. */
error = xfs_reflink_trim_around_shared(ip, &imap, &shared); error = xfs_inode_need_cow(ip, &imap, &shared);
if (error) if (error)
goto out_unlock; goto out_unlock;
...@@ -648,15 +653,18 @@ xfs_file_iomap_begin_delay( ...@@ -648,15 +653,18 @@ xfs_file_iomap_begin_delay(
*/ */
count = min_t(loff_t, count, 1024 * PAGE_SIZE); count = min_t(loff_t, count, 1024 * PAGE_SIZE);
end_fsb = min(XFS_B_TO_FSB(mp, offset + count), maxbytes_fsb); end_fsb = min(XFS_B_TO_FSB(mp, offset + count), maxbytes_fsb);
if (xfs_is_always_cow_inode(ip))
whichfork = XFS_COW_FORK;
} }
error = xfs_qm_dqattach_locked(ip, false); error = xfs_qm_dqattach_locked(ip, false);
if (error) if (error)
goto out_unlock; goto out_unlock;
if (eof && whichfork == XFS_DATA_FORK) { if (eof) {
prealloc_blocks = xfs_iomap_prealloc_size(ip, offset, count, prealloc_blocks = xfs_iomap_prealloc_size(ip, whichfork, offset,
&icur); count, &icur);
if (prealloc_blocks) { if (prealloc_blocks) {
xfs_extlen_t align; xfs_extlen_t align;
xfs_off_t end_offset; xfs_off_t end_offset;
...@@ -867,7 +875,7 @@ xfs_ilock_for_iomap( ...@@ -867,7 +875,7 @@ xfs_ilock_for_iomap(
* COW writes may allocate delalloc space or convert unwritten COW * COW writes may allocate delalloc space or convert unwritten COW
* extents, so we need to make sure to take the lock exclusively here. * extents, so we need to make sure to take the lock exclusively here.
*/ */
if (xfs_is_reflink_inode(ip) && is_write) { if (xfs_is_cow_inode(ip) && is_write) {
/* /*
* FIXME: It could still overwrite on unshared extents and not * FIXME: It could still overwrite on unshared extents and not
* need allocation. * need allocation.
...@@ -901,7 +909,7 @@ xfs_ilock_for_iomap( ...@@ -901,7 +909,7 @@ xfs_ilock_for_iomap(
* check, so if we got ILOCK_SHARED for a write and but we're now a * check, so if we got ILOCK_SHARED for a write and but we're now a
* reflink inode we have to switch to ILOCK_EXCL and relock. * reflink inode we have to switch to ILOCK_EXCL and relock.
*/ */
if (mode == XFS_ILOCK_SHARED && is_write && xfs_is_reflink_inode(ip)) { if (mode == XFS_ILOCK_SHARED && is_write && xfs_is_cow_inode(ip)) {
xfs_iunlock(ip, mode); xfs_iunlock(ip, mode);
mode = XFS_ILOCK_EXCL; mode = XFS_ILOCK_EXCL;
goto relock; goto relock;
...@@ -973,7 +981,7 @@ xfs_file_iomap_begin( ...@@ -973,7 +981,7 @@ xfs_file_iomap_begin(
* Break shared extents if necessary. Checks for non-blocking IO have * Break shared extents if necessary. Checks for non-blocking IO have
* been done up front, so we don't need to do them here. * been done up front, so we don't need to do them here.
*/ */
if (xfs_is_reflink_inode(ip)) { if (xfs_is_cow_inode(ip)) {
struct xfs_bmbt_irec orig = imap; struct xfs_bmbt_irec orig = imap;
/* if zeroing doesn't need COW allocation, then we are done. */ /* if zeroing doesn't need COW allocation, then we are done. */
......
...@@ -194,6 +194,7 @@ typedef struct xfs_mount { ...@@ -194,6 +194,7 @@ typedef struct xfs_mount {
*/ */
uint32_t m_generation; uint32_t m_generation;
bool m_always_cow;
bool m_fail_unmount; bool m_fail_unmount;
#ifdef DEBUG #ifdef DEBUG
/* /*
......
...@@ -192,7 +192,7 @@ xfs_reflink_trim_around_shared( ...@@ -192,7 +192,7 @@ xfs_reflink_trim_around_shared(
int error = 0; int error = 0;
/* Holes, unwritten, and delalloc extents cannot be shared */ /* Holes, unwritten, and delalloc extents cannot be shared */
if (!xfs_is_reflink_inode(ip) || !xfs_bmap_is_real_extent(irec)) { if (!xfs_is_cow_inode(ip) || !xfs_bmap_is_real_extent(irec)) {
*shared = false; *shared = false;
return 0; return 0;
} }
...@@ -234,6 +234,23 @@ xfs_reflink_trim_around_shared( ...@@ -234,6 +234,23 @@ xfs_reflink_trim_around_shared(
} }
} }
bool
xfs_inode_need_cow(
struct xfs_inode *ip,
struct xfs_bmbt_irec *imap,
bool *shared)
{
/* We can't update any real extents in always COW mode. */
if (xfs_is_always_cow_inode(ip) &&
!isnullstartblock(imap->br_startblock)) {
*shared = true;
return 0;
}
/* Trim the mapping to the nearest shared extent boundary. */
return xfs_reflink_trim_around_shared(ip, imap, shared);
}
static int static int
xfs_reflink_convert_cow_locked( xfs_reflink_convert_cow_locked(
struct xfs_inode *ip, struct xfs_inode *ip,
...@@ -321,7 +338,7 @@ xfs_find_trim_cow_extent( ...@@ -321,7 +338,7 @@ xfs_find_trim_cow_extent(
if (got.br_startoff > offset_fsb) { if (got.br_startoff > offset_fsb) {
xfs_trim_extent(imap, imap->br_startoff, xfs_trim_extent(imap, imap->br_startoff,
got.br_startoff - imap->br_startoff); got.br_startoff - imap->br_startoff);
return xfs_reflink_trim_around_shared(ip, imap, shared); return xfs_inode_need_cow(ip, imap, shared);
} }
*shared = true; *shared = true;
...@@ -356,7 +373,10 @@ xfs_reflink_allocate_cow( ...@@ -356,7 +373,10 @@ xfs_reflink_allocate_cow(
xfs_extlen_t resblks = 0; xfs_extlen_t resblks = 0;
ASSERT(xfs_isilocked(ip, XFS_ILOCK_EXCL)); ASSERT(xfs_isilocked(ip, XFS_ILOCK_EXCL));
ASSERT(xfs_is_reflink_inode(ip)); if (!ip->i_cowfp) {
ASSERT(!xfs_is_reflink_inode(ip));
xfs_ifork_init_cow(ip);
}
error = xfs_find_trim_cow_extent(ip, imap, shared, &found); error = xfs_find_trim_cow_extent(ip, imap, shared, &found);
if (error || !*shared) if (error || !*shared)
...@@ -542,7 +562,7 @@ xfs_reflink_cancel_cow_range( ...@@ -542,7 +562,7 @@ xfs_reflink_cancel_cow_range(
int error; int error;
trace_xfs_reflink_cancel_cow_range(ip, offset, count); trace_xfs_reflink_cancel_cow_range(ip, offset, count);
ASSERT(xfs_is_reflink_inode(ip)); ASSERT(ip->i_cowfp);
offset_fsb = XFS_B_TO_FSBT(ip->i_mount, offset); offset_fsb = XFS_B_TO_FSBT(ip->i_mount, offset);
if (count == NULLFILEOFF) if (count == NULLFILEOFF)
......
...@@ -6,11 +6,24 @@ ...@@ -6,11 +6,24 @@
#ifndef __XFS_REFLINK_H #ifndef __XFS_REFLINK_H
#define __XFS_REFLINK_H 1 #define __XFS_REFLINK_H 1
static inline bool xfs_is_always_cow_inode(struct xfs_inode *ip)
{
return ip->i_mount->m_always_cow &&
xfs_sb_version_hasreflink(&ip->i_mount->m_sb);
}
static inline bool xfs_is_cow_inode(struct xfs_inode *ip)
{
return xfs_is_reflink_inode(ip) || xfs_is_always_cow_inode(ip);
}
extern int xfs_reflink_find_shared(struct xfs_mount *mp, struct xfs_trans *tp, extern int xfs_reflink_find_shared(struct xfs_mount *mp, struct xfs_trans *tp,
xfs_agnumber_t agno, xfs_agblock_t agbno, xfs_extlen_t aglen, xfs_agnumber_t agno, xfs_agblock_t agbno, xfs_extlen_t aglen,
xfs_agblock_t *fbno, xfs_extlen_t *flen, bool find_maximal); xfs_agblock_t *fbno, xfs_extlen_t *flen, bool find_maximal);
extern int xfs_reflink_trim_around_shared(struct xfs_inode *ip, extern int xfs_reflink_trim_around_shared(struct xfs_inode *ip,
struct xfs_bmbt_irec *irec, bool *shared); struct xfs_bmbt_irec *irec, bool *shared);
bool xfs_inode_need_cow(struct xfs_inode *ip, struct xfs_bmbt_irec *imap,
bool *shared);
extern int xfs_reflink_allocate_cow(struct xfs_inode *ip, extern int xfs_reflink_allocate_cow(struct xfs_inode *ip,
struct xfs_bmbt_irec *imap, bool *shared, uint *lockmode, struct xfs_bmbt_irec *imap, bool *shared, uint *lockmode,
......
...@@ -1736,11 +1736,18 @@ xfs_fs_fill_super( ...@@ -1736,11 +1736,18 @@ xfs_fs_fill_super(
} }
} }
if (xfs_sb_version_hasreflink(&mp->m_sb) && mp->m_sb.sb_rblocks) { if (xfs_sb_version_hasreflink(&mp->m_sb)) {
xfs_alert(mp, if (mp->m_sb.sb_rblocks) {
xfs_alert(mp,
"reflink not compatible with realtime device!"); "reflink not compatible with realtime device!");
error = -EINVAL; error = -EINVAL;
goto out_filestream_unmount; goto out_filestream_unmount;
}
if (xfs_globals.always_cow) {
xfs_info(mp, "using DEBUG-only always_cow mode.");
mp->m_always_cow = true;
}
} }
if (xfs_sb_version_hasrmapbt(&mp->m_sb) && mp->m_sb.sb_rblocks) { if (xfs_sb_version_hasrmapbt(&mp->m_sb) && mp->m_sb.sb_rblocks) {
......
...@@ -85,6 +85,7 @@ struct xfs_globals { ...@@ -85,6 +85,7 @@ struct xfs_globals {
int log_recovery_delay; /* log recovery delay (secs) */ int log_recovery_delay; /* log recovery delay (secs) */
int mount_delay; /* mount setup delay (secs) */ int mount_delay; /* mount setup delay (secs) */
bool bug_on_assert; /* BUG() the kernel on assert failure */ bool bug_on_assert; /* BUG() the kernel on assert failure */
bool always_cow; /* use COW fork for all overwrites */
}; };
extern struct xfs_globals xfs_globals; extern struct xfs_globals xfs_globals;
......
...@@ -183,10 +183,34 @@ mount_delay_show( ...@@ -183,10 +183,34 @@ mount_delay_show(
} }
XFS_SYSFS_ATTR_RW(mount_delay); XFS_SYSFS_ATTR_RW(mount_delay);
static ssize_t
always_cow_store(
struct kobject *kobject,
const char *buf,
size_t count)
{
ssize_t ret;
ret = kstrtobool(buf, &xfs_globals.always_cow);
if (ret < 0)
return ret;
return count;
}
static ssize_t
always_cow_show(
struct kobject *kobject,
char *buf)
{
return snprintf(buf, PAGE_SIZE, "%d\n", xfs_globals.always_cow);
}
XFS_SYSFS_ATTR_RW(always_cow);
static struct attribute *xfs_dbg_attrs[] = { static struct attribute *xfs_dbg_attrs[] = {
ATTR_LIST(bug_on_assert), ATTR_LIST(bug_on_assert),
ATTR_LIST(log_recovery_delay), ATTR_LIST(log_recovery_delay),
ATTR_LIST(mount_delay), ATTR_LIST(mount_delay),
ATTR_LIST(always_cow),
NULL, NULL,
}; };
......
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment