Commit 7bd75230 authored by Eric Whitney's avatar Eric Whitney Committed by Theodore Ts'o

ext4: fix bigalloc cluster freeing when hole punching under load

Ext4 may not free clusters correctly when punching holes in bigalloc
file systems under high load conditions.  If it's not possible to
extend and restart the journal in ext4_ext_rm_leaf() when preparing to
remove blocks from a punched region, a retry of the entire punch
operation is triggered in ext4_ext_remove_space().  This causes a
partial cluster to be set to the first cluster in the extent found to
the right of the punched region.  However, if the punch operation
prior to the retry had made enough progress to delete one or more
extents and a partial cluster candidate for freeing had already been
recorded, the retry would overwrite the partial cluster.  The loss of
this information makes it impossible to correctly free the original
partial cluster in all cases.

This bug can cause generic/476 to fail when run as part of
xfstests-bld's bigalloc and bigalloc_1k test cases.  The failure is
reported when e2fsck detects bad iblocks counts greater than expected
in units of whole clusters and also detects a number of negative block
bitmap differences equal to the iblocks discrepancy in cluster units.
Signed-off-by: default avatarEric Whitney <enwlinux@gmail.com>
Signed-off-by: default avatarTheodore Ts'o <tytso@mit.edu>
parent bc1d69d6
...@@ -2956,14 +2956,17 @@ int ext4_ext_remove_space(struct inode *inode, ext4_lblk_t start, ...@@ -2956,14 +2956,17 @@ int ext4_ext_remove_space(struct inode *inode, ext4_lblk_t start,
if (err < 0) if (err < 0)
goto out; goto out;
} else if (sbi->s_cluster_ratio > 1 && end >= ex_end) { } else if (sbi->s_cluster_ratio > 1 && end >= ex_end &&
partial.state == initial) {
/* /*
* If there's an extent to the right its first cluster * If we're punching, there's an extent to the right.
* contains the immediate right boundary of the * If the partial cluster hasn't been set, set it to
* truncated/punched region. Set partial_cluster to * that extent's first cluster and its state to nofree
* its negative value so it won't be freed if shared * so it won't be freed should it contain blocks to be
* with the current extent. The end < ee_block case * removed. If it's already set (tofree/nofree), we're
* is handled in ext4_ext_rm_leaf(). * retrying and keep the original partial cluster info
* so a cluster marked tofree as a result of earlier
* extent removal is not lost.
*/ */
lblk = ex_end + 1; lblk = ex_end + 1;
err = ext4_ext_search_right(inode, path, &lblk, &pblk, err = ext4_ext_search_right(inode, path, &lblk, &pblk,
......
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