From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from outgoing2021.csail.mit.edu (outgoing2021.csail.mit.edu [128.30.2.78]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by smtp.subspace.kernel.org (Postfix) with ESMTPS id A9623413796; Fri, 16 Oct 2026 22:27:33 +0000 (UTC) Authentication-Results: smtp.subspace.kernel.org; arc=none smtp.client-ip=128.30.2.78 ARC-Seal:i=1; a=rsa-sha256; d=subspace.kernel.org; s=arc-20240116; t=1792189655; cv=none; b=ASbUv2mvLC7FdWoQWe7nAAObA9ZkJym/maaSxTafapaZLk853/epyi8eojIDIbHXUi0dCfioOgLHMHbK0KDbXOV3on1+TqAyYHOViflUFUBThSeThN1rJ4LNnDmbYTAQgLLrrqzBIVIJHxTMh/gX+Bs7zGaab0LzIuGXOaZLojI= ARC-Message-Signature:i=1; a=rsa-sha256; d=subspace.kernel.org; s=arc-20240116; t=1792189655; c=relaxed/simple; bh=kPXvKt0orUQqunHtCI5ML1l1hWHKV0qCJkhbt78Unkg=; h=From:To:Cc:Subject:Date:Message-ID:MIME-Version; b=TgBdrVcTFmoj/dHfofehCrrCVypIWyWs+NnxhfHubZB1bazJJ/d7l1vEJ0yWFssa/C5GJDCsUpuV5jqVEluWKfFrJEQFVNa88mL9DUIenAv1wLVcPqECIO0v9BhfSsq56SacdXJdsS55rrNyQ+GNNF3DXTmMQstsSnfB3btRNDg= ARC-Authentication-Results:i=1; smtp.subspace.kernel.org; dmarc=pass (p=none dis=none) header.from=csail.mit.edu; spf=pass smtp.mailfrom=csail.mit.edu; arc=none smtp.client-ip=128.30.2.78 Authentication-Results: smtp.subspace.kernel.org; dmarc=pass (p=none dis=none) header.from=csail.mit.edu Authentication-Results: smtp.subspace.kernel.org; spf=pass smtp.mailfrom=csail.mit.edu Received: from escalante.csail.mit.edu ([128.52.128.198]) by outgoing2021.csail.mit.edu with esmtp (Exim 4.95) (envelope-from ) id 1xHqOX-00GiQ4-G4; Fri, 16 Oct 2026 18:27:21 -0400 From: Nickolai Zeldovich To: Matthew Wilcox , Jan Kara , Andrew Morton Cc: Brian Foster , Theodore Ts'o , linux-fsdevel@vger.kernel.org, linux-mm@kvack.org, linux-kernel@vger.kernel.org, Nickolai Zeldovich Subject: [PATCH v1] mm/truncate: fix the zeroing end of pagecache_isize_extended() Date: Fri, 16 Oct 2026 18:27:21 -0400 Message-ID: <20261016222721.791785-1-nickolai@csail.mit.edu> X-Mailer: git-send-email 2.53.0 Precedence: bulk X-Mailing-List: linux-kernel@vger.kernel.org List-Id: List-Subscribe: List-Unsubscribe: MIME-Version: 1.0 Content-Transfer-Encoding: 8bit A process that extends a file by 4 GiB or more past a dirty folio, on a file system whose block size is smaller than the page size (ext4 with 1k blocks), reads back the bytes it wrote through a shared mapping beyond the old end of file instead of zeroes, and a later write into that block carries them to the disk. With the example of commit 52aecaee1c26 ("mm: zero range of eof folio exposed by inode size extension") and the truncate taken 4 GiB further (pwrite 2k at 0, mmap the first page and write 'X' over [2k, 4k), truncate(2) to 4 GiB + 2k), the read of [2k, 4k) returns the 2048 'X' bytes, and a pwrite of 16 bytes at 3k followed by fsync() and a remount leaves 1008 'X' bytes on the disk in [3k+16, 4k). No privilege is needed, and every size extension of 4 GiB or more reaches it: truncate(2)/ftruncate(2) through truncate_setsize(), writes beyond the end of file through generic_write_end(), ext4, iomap, btrfs, exfat, ntfs, afs and orangefs. Affected since v6.13. pagecache_isize_extended() zeroes the part of the dirty folio straddling the old end of file that the size extension exposes, from the old size to the new size or the end of the folio, whichever comes first: end = min_t(unsigned int, to - folio_pos(folio), folio_size(folio)); min_t() converts both operands to unsigned int before comparing, so the loff_t difference to - folio_pos(folio) is reduced modulo 2^32 first. When the file grows by 4 GiB or more past the folio, end is that residue instead of folio_size(folio): below offset nothing is zeroed, above it only [offset, end) is. The bytes beyond the old end of file stay in the dirty folio and, now inside i_size, are file data. Compare in loff_t; the result is at most folio_size(folio) and fits end. Found while formally verifying pagecache_isize_extended() against the kernel binary. Fixes: 52aecaee1c26 ("mm: zero range of eof folio exposed by inode size extension") Assisted-by: LLM Signed-off-by: Nickolai Zeldovich --- Notes: Tested on a 64 MiB ext4 image made with mkfs.ext4 -b 1024 and mounted in a QEMU guest, with the program below followed by umount, mount and a read of [3k+16, 4k). Unpatched 70dd4ee72eb2 (x86_64 and riscv64 defconfig): 2048 of 2048 bytes non-zero ('X') after the truncate and 1008 of 1008 'X' bytes on the disk after the remount. Patched: 0 and 0. The same sequence with a truncate to 8k reads zeroes on both kernels, which is the case commit 52aecaee1c26 fixed. The 32-bit conversion is visible in the riscv64 binary as a subw on the loff_t difference before the compare; with the patch it is a sub. Reproducer (ext4 with 1k blocks, mkfs.ext4 -b 1024): truncate -s 64M img && mkfs.ext4 -q -F -b 1024 img && mount -o loop img /mnt gcc -O2 -o isize_extended isize_extended.c ./isize_extended /mnt/f # exit 1 and a non-zero count on an unpatched kernel /* * Stale post-EOF data after a size extension of 4 GiB or more on a file * system with a block size below the page size (ext4 -b 1024): [2k, 4k) * must read as zeroes after the truncate. Exit status 1 when it does not. */ #include #include #include #include #include int main(int argc, char **argv) { const char *path = argc > 1 ? argv[1] : "/mnt/f"; unsigned char buf[4096]; unsigned int i, nz = 0; char *map; int fd; fd = open(path, O_RDWR | O_CREAT | O_TRUNC, 0644); memset(buf, 'A', 2048); if (fd < 0 || pwrite(fd, buf, 2048, 0) != 2048) { perror("open/pwrite"); return 2; } /* 'X' beyond EOF, inside the first page; the folio stays dirty */ map = mmap(NULL, 4096, PROT_READ | PROT_WRITE, MAP_SHARED, fd, 0); if (map == MAP_FAILED) { perror("mmap"); return 2; } memset(map + 2048, 'X', 2048); munmap(map, 4096); /* 4 GiB or more past the folio: to - folio_pos(folio) >= 2^32 */ if (ftruncate(fd, 4294967296LL + 2048)) { perror("ftruncate"); return 2; } if (pread(fd, buf, 2048, 2048) != 2048) { perror("pread"); return 2; } for (i = 0; i < 2048; i++) nz += buf[i] != 0; printf("[2k,4k) after truncate to 4 GiB + 2k: %u non-zero bytes of 2048\n", nz); /* allocate block [3k, 4k): [3k+16, 4k) shows what reaches the disk */ memset(buf, 'B', 16); if (pwrite(fd, buf, 16, 3072) != 16 || fsync(fd)) { perror("pwrite/fsync"); return 2; } return nz ? 1 : 0; } mm/truncate.c | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/mm/truncate.c b/mm/truncate.c index b58ba940be47..5c444812f37a 100644 --- a/mm/truncate.c +++ b/mm/truncate.c @@ -878,8 +878,7 @@ void pagecache_isize_extended(struct inode *inode, loff_t from, loff_t to) unsigned int offset, end; offset = from - folio_pos(folio); - end = min_t(unsigned int, to - folio_pos(folio), - folio_size(folio)); + end = min_t(loff_t, to - folio_pos(folio), folio_size(folio)); folio_zero_segment(folio, offset, end); } base-commit: 70dd4ee72eb2d5793c62e71c14e3aba78e5a4e56 -- 2.53.0