btrfs: add a test for fsync of file with prealloc extents crossing eof
[xfstests-dev.git] / tests / btrfs / 211
1 #! /bin/bash
2 # SPDX-License-Identifier: GPL-2.0
3 # Copyright (C) 2020 SUSE Linux Products GmbH. All Rights Reserved.
4 #
5 # FSQA Test No. 211
6 #
7 # Test that if we fsync a file with prealloc extents that start before and
8 # after the file's size, we don't end up with missing parts of the extents
9 # and implicit file holes after a power failure. Test both without and with
10 # the NO_HOLES feature.
11 #
12 seq=`basename $0`
13 seqres=$RESULT_DIR/$seq
14 echo "QA output created by $seq"
15 tmp=/tmp/$$
16 status=1        # failure is the default!
17 trap "_cleanup; exit \$status" 0 1 2 3 15
18
19 _cleanup()
20 {
21         _cleanup_flakey
22         cd /
23         rm -f $tmp.*
24 }
25
26 # get standard environment, filters and checks
27 . ./common/rc
28 . ./common/filter
29 . ./common/dmflakey
30
31 # real QA test starts here
32 _supported_fs btrfs
33 _supported_os Linux
34 _require_scratch
35 _require_xfs_io_command "falloc" "-k"
36 # fiemap needed by _count_extents()
37 _require_xfs_io_command "fiemap"
38 _require_btrfs_fs_feature "no_holes"
39 _require_btrfs_mkfs_feature "no-holes"
40 _require_dm_target flakey
41
42 rm -f $seqres.full
43
44 run_test()
45 {
46     # Create our test file with 2 consecutive prealloc extents, each with a size
47     # of 128Kb, and covering the range from 0 to 256Kb, with a file size of 0.
48     # Then fsync the file to record both extents in a log tree.
49     $XFS_IO_PROG -f -c "falloc -k 0 128K" $SCRATCH_MNT/foo
50     $XFS_IO_PROG -c "falloc -k 128K 128K" $SCRATCH_MNT/foo
51     $XFS_IO_PROG -c "fsync" $SCRATCH_MNT/foo
52
53     # Now do a redudant extent allocation for the range from 0 to 64Kb. This will
54     # merely increase the file size from 0 to 64Kb. Instead we could also do a
55     # truncate to set the file size to 64Kb.
56     $XFS_IO_PROG -c "falloc 0 64K" $SCRATCH_MNT/foo
57
58     # Fsync the file, so we update the log with the new file size. Here btrfs
59     # used to incorrectly set the number of bytes to 64Kb for the prealloc extent
60     # that covers the file range from 0 to 128Kb.
61     $XFS_IO_PROG -c "fsync" $SCRATCH_MNT/foo
62
63     # Now set the file size to 256K with a truncate and then fsync the file. We
64     # want to verify the log tree doesn't end up with an implicit hole for the
65     # file range from 64Kb to 128Kb. That would lead to an implicit hole after
66     # replaying the log and losing part of the prealloc extent, so a future write
67     # to anywhere in the file range from 64Kb to 128Kb would result in allocating
68     # a new extent and not use the extent previously allocated with fallocate().
69     $XFS_IO_PROG -c "truncate 256K" -c "fsync" $SCRATCH_MNT/foo
70
71     # Simulate a power failure and then mount again the filesystem to replay the
72     # log tree.
73     _flakey_drop_and_remount
74
75     # Unmount the filesystem and run 'btrfs check'/fsck to verify that we don't
76     # have a missing hole for the file range from 64K to 128K.
77     _unmount_flakey
78     _check_scratch_fs $FLAKEY_DEV
79
80     _mount_flakey
81
82     # Now write to the file range from 0 to 128K. After this we should still have
83     # rwo extents in our file, corresponding to the 2 extents we allocated before
84     # using fallocate(). In particular writing to the file range from 64Kb to
85     # 128Kb should not have allocated a new extent.
86     $XFS_IO_PROG -c "pwrite -S 0xab 0 128K" $SCRATCH_MNT/foo | _filter_xfs_io
87     echo "File extent count after write: $(_count_extents $SCRATCH_MNT/foo)"
88 }
89
90 _scratch_mkfs -O ^no-holes >>$seqres.full 2>&1
91 _require_metadata_journaling $SCRATCH_DEV
92 _init_flakey
93 _mount_flakey
94
95 echo "Testing without NO_HOLES feature"
96 run_test
97
98 _unmount_flakey
99 _cleanup_flakey
100
101 _scratch_mkfs -O no-holes >>$seqres.full 2>&1
102 _require_metadata_journaling $SCRATCH_DEV
103 _init_flakey
104 _mount_flakey
105
106 echo
107 echo "Testing with the NO_HOLES feature"
108 run_test
109
110 _unmount_flakey
111 status=0
112 exit