Hi all, This series attempts to fix the stale writepage mapping problem in XFS. The problem is essentially that ->writepages() caches the current extent across multiple writepage instances and in certain circumstances the cached mapping can be made invalid by concurrent filesystem operations. For example, even with the current EOF trim band-aid for dealing with post-eof speculative preallocation, a truncate+append sequence that happens to race with background writeback can lead to a writepage to an incorrect location. Since we already have an xfs_ifork change/sequence number mechanism in place, we reuse that to invalidate cached writeback mappings any time the associated data fork has changed. Note that while certain workloads might lead to a high frequency of spurious invalidations (i.e., with allocsize=4k mounts, files with a predetermined size such as vdisk images, etc.), I've not been able to reproduce any noticeable effects at a user level. See the patch 3 commit log description for further discussion. If we do run into use cases and workloads for which this is a problem, I think there are options to further restrict seqno changing events (or use multiple counters for subsets of change events) for less frequent invalidations. For example, a sequence count that only tracks block removals may still be sufficient to preserve coherency of cached writeback mappings. Since this is all handwavy and theoretical, I opted to keep the code simple and only deal with this should the need arise. Patch 1 is a stable fix for the initial EOF trim patch. Patches 2-4 tweak the fork seqno mechanism to work for data forks, use it to invalidate the cached writeback map and remove the EOF trim mechanism. This has been tested via xfstests on multiple FSB sizes and fsx without any explosions. Thoughts, reviews, flames appreciated. Brian Brian Foster (4): xfs: eof trim writeback mapping as soon as it is cached xfs: update fork seq counter on data fork changes xfs: validate writeback mapping using data fork seq counter xfs: remove superfluous writeback mapping eof trimming fs/xfs/libxfs/xfs_bmap.c | 11 ----------- fs/xfs/libxfs/xfs_bmap.h | 1 - fs/xfs/libxfs/xfs_iext_tree.c | 13 ++++++------- fs/xfs/libxfs/xfs_inode_fork.h | 2 +- fs/xfs/xfs_aops.c | 21 ++++++--------------- fs/xfs/xfs_iomap.c | 4 ++-- 6 files changed, 15 insertions(+), 37 deletions(-) -- 2.17.2
