]> git.ipfire.org Git - thirdparty/kernel/linux.git/commitdiff
smb/client: flush dirty data before punching a hole
authorHuiwen He <hehuiwen@kylinos.cn>
Tue, 14 Jul 2026 22:38:34 +0000 (17:38 -0500)
committerSteve French <stfrench@microsoft.com>
Wed, 15 Jul 2026 02:51:52 +0000 (21:51 -0500)
Punching a hole after a large buffered write may leave the range
reported as data. Reproduce it with:

  xfs_io -f \
    -c "pwrite -b 3m -S 0x61 0 3m" \
    -c "fpunch 1m 1m" \
    -c "seek -h 0" \
    -c "seek -d 1m" \
    /mnt/test/repro

Punching 1 MiB at offset 1 MiB should produce:

  0          1 MiB       2 MiB       3 MiB
  |  DATA    |   HOLE    |   DATA    | EOF

Instead, the entire file is reported as data. SEEK_HOLE(0) returns EOF,
and SEEK_DATA(1M) returns 1M.

This happens because a dirty folio spanning the punched range can be
written back after the punch and refill the hole.

Fix this by flushing and waiting for dirty data in the punched range
before invalidating the page cache and issuing FSCTL_SET_ZERO_DATA.

The xfstests generic/539 pass against Samba/ksmbd with this change.

Signed-off-by: Huiwen He <hehuiwen@kylinos.cn>
Reviewed-by: ChenXiaoSong <chenxiaosong@kylinos.cn>
Signed-off-by: Steve French <stfrench@microsoft.com>
fs/smb/client/smb2ops.c

index 05f2ab6d345a26cbced2d703bd1b8711cd23c872..cbd51a08e97e6e334e1da867e8664f257838945f 100644 (file)
@@ -3519,6 +3519,15 @@ static long smb3_punch_hole(struct file *file, struct cifs_tcon *tcon,
                goto out;
 
        filemap_invalidate_lock(inode->i_mapping);
+       /*
+        * Flush dirty data first, otherwise a dirty folio spanning the punched
+        * range may be written back after the ioctl and refill the hole.
+        */
+       rc = filemap_write_and_wait_range(inode->i_mapping, offset,
+                                         offset + len - 1);
+       if (rc < 0)
+               goto unlock;
+
        /*
         * We implement the punch hole through ioctl, so we need remove the page
         * caches first, otherwise the data may be inconsistent with the server.