1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
|
#! /bin/bash
# SPDX-License-Identifier: GPL-2.0
# Copyright (C) 2015 SUSE Linux Products GmbH. All Rights Reserved.
#
# FSQA Test No. 095
#
# Regression test for adding and dropping an equal number of references for
# file extents. Verify that if we drop N references for a file extent and we
# add too N new references for that same file extent in the same transaction,
# running the delayed references (always happens at transaction commit time)
# does not fail.
#
# The regression was introduced in the 4.2-rc1 Linux kernel.
#
. ./common/preamble
_begin_fstest auto quick metadata log preallocrw
# Override the default cleanup function.
_cleanup()
{
_cleanup_flakey
rm -f $tmp.*
}
. ./common/filter
. ./common/dmflakey
_supported_fs btrfs
_require_scratch
_require_dm_target flakey
_require_cloner
_require_xfs_io_command "falloc"
_scratch_mkfs >>$seqres.full 2>&1
_require_metadata_journaling $SCRATCH_DEV
_init_flakey
_mount_flakey
BLOCK_SIZE=$(_get_block_size $SCRATCH_MNT)
# Create prealloc extent covering file block range [40, 155[
$XFS_IO_PROG -f -c "falloc $((40 * $BLOCK_SIZE)) $((115 * $BLOCK_SIZE))" \
$SCRATCH_MNT/foo
# Now write to the last 20 blocks of the prealloc extent plus 10 blocks to the
# unallocated space that immediately follows it. This creates a new extent of 10
# blocks that spans the block range [155, 165[.
$XFS_IO_PROG -c "pwrite -S 0xaa $((135 * $BLOCK_SIZE)) $((30 * $BLOCK_SIZE))" \
$SCRATCH_MNT/foo | _filter_xfs_io_blocks_modified
# At this point, there are now 2 back references to the prealloc extent in our
# extent tree. Both are for our file offset mapped by the 40th block of the file
# and one relates to a file extent item with a data offset of 0 and a length of
# 95 blocks, while the other relates to a file extent item with a data offset of
# 95 blocks and a length of 20 blocks.
# Make sure everything done so far is durably persisted (all back references are
# in the extent tree, etc).
sync
# Now clone all extents of our file that cover the file range spanned by 40th
# block up to its eof (165th block at this point) into itself at 512th
# block. This leaves a hole in the file covering the block range [165, 512[. The
# prealloc extent will now be referenced by the file twice, once for offset
# mapped by the 40th block and once for offset mapped by 512th block. The 10
# blocks extent that follows the prealloc extent will also be referenced twice
# by our file, once for offset mapped by the 155th block and once for offset
# (512 block + 115 blocks)
$CLONER_PROG -s $((40 * $BLOCK_SIZE)) -d $((512 * $BLOCK_SIZE)) -l 0 \
$SCRATCH_MNT/foo $SCRATCH_MNT/foo
# Now create one new extent in our file with a size of 25 blocks. It will span
# the block range [768, 768 + 25[. It also will cause creation of a hole
# spanning the block range [512 + 115, 768[. Our new file size is the file
# offset mapped by (768 + 25)th block.
$XFS_IO_PROG -c "pwrite -S 0xbb $((768 * $BLOCK_SIZE)) $((25 * $BLOCK_SIZE))" \
$SCRATCH_MNT/foo | _filter_xfs_io_blocks_modified
# At this point, there are now (in memory) 4 back references to the prealloc
# extent.
#
# Two of them are for file offset mapped by the 40th block, related to file
# extent items matching the file offsets mapped by 40th and 135th block
# respectively, with data offsets of 0 and 95 blocks respectively, and with
# lengths of 95 and 20 blocks respectively.
#
# The other two references are for file offset mapped by 512th block, related to
# file extent items matching the file offsets mapped by 512th and (512 + 95)th
# block respectively, with data offsets mapped by 0th and 95th block
# respectively, and with lengths of 95 and 20 blocks respectively.
#
# The 10 block extent has 2 back references, one for file offset mapped by 155th
# block and the other for file offset mapped by (512 + 115)th block.
#
# The 25 blocks extent has a single back reference and it relates to file offset
# mapped by 768th block.
# Now clone our 25 block extent into offset mapped by 150th block. That offset
# covers the last 5 blocks of the prealloc extent, the whole 10 block extent and
# 10 blocks of the hole starting at offset mapped by 165th block.
$CLONER_PROG -s $((768 * $BLOCK_SIZE)) -d $((150 * $BLOCK_SIZE)) -l $((25 * $BLOCK_SIZE)) \
$SCRATCH_MNT/foo $SCRATCH_MNT/foo
# At this point there's only one reference to the 10 block extent, at file
# offset mapped by (512 + 115) block, we have 4 references for the prealloc
# extent (2 for file offset mapped by 40th block and 2 for file offset mapped by
# 512th block) and 2 references for the 25 block extent (1 for file offset
# mapped by 768th block and a new one for file offset mapped by 150th block).
# Now fsync our file to make all its new data and metadata updates are durably
# persisted and present if a power failure/crash happens after a successful
# fsync and before the next transaction commit.
$XFS_IO_PROG -c "fsync" $SCRATCH_MNT/foo
echo "File contents before power failure:"
od -t x1 $SCRATCH_MNT/foo | _filter_od
# During log replay, the btrfs delayed references implementation used to run the
# deletion of back references before the addition of new back references, which
# made the addition fail as it didn't find the key in the extent tree that it
# was looking for. The failure triggered by this test was related to the 10
# block extent, which got 1 reference dropped and 1 reference added during the
# fsync log replay - when running the delayed references at transaction commit
# time, btrfs was applying the deletion before the insertion, resulting in a
# failure of the insertion that ended up turning the fs into read-only mode.
_flakey_drop_and_remount
echo "File contents after log replay:"
od -t x1 $SCRATCH_MNT/foo | _filter_od
_unmount_flakey
status=0
exit
|
