• Brian Foster's avatar
    iomap: fix handling of dirty folios over unwritten extents · c5c810b9
    Brian Foster authored
    The iomap zero range implementation doesn't properly handle dirty
    pagecache over unwritten mappings. It skips such mappings as if they
    were pre-zeroed. If some part of an unwritten mapping is dirty in
    pagecache from a previous write, the data in cache should be zeroed
    as well. Instead, the data is left in cache and creates a stale data
    exposure problem if writeback occurs sometime after the zero range.
    
    Most callers are unaffected by this because the higher level
    filesystem contexts that call zero range typically perform a filemap
    flush of the target range for other reasons. A couple contexts that
    don't otherwise need to flush are write file size extension and
    truncate in XFS. The former path is currently susceptible to the
    stale data exposure problem and the latter performs a flush
    specifically to work around it.
    
    This is clearly inconsistent and incomplete. As a first step toward
    correcting behavior, lift the XFS workaround to iomap_zero_range()
    and unconditionally flush the range before the zero range operation
    proceeds. While this appears to be a bit of a big hammer, most all
    users already do this from calling context save for the couple of
    exceptions noted above. Future patches will optimize or elide this
    flush while maintaining functional correctness.
    
    Fixes: ae259a9c ("fs: introduce iomap infrastructure")
    Signed-off-by: default avatarBrian Foster <bfoster@redhat.com>
    Link: https://lore.kernel.org/r/20240830145634.138439-2-bfoster@redhat.comReviewed-by: default avatarDarrick J. Wong <djwong@kernel.org>
    Reviewed-by: default avatarJosef Bacik <josef@toxicpanda.com>
    Signed-off-by: default avatarChristian Brauner <brauner@kernel.org>
    c5c810b9
xfs_iops.c 34.7 KB