linux-fsdevel.vger.kernel.org archive mirror
 help / color / mirror / Atom feed
From: Matthew Wilcox <willy@infradead.org>
To: linux-fsdevel@vger.kernel.org, Christian Brauner <brauner@kernel.org>
Cc: Hugh Dickins <hughd@google.com>,
	Baolin Wang <baolin.wang@linux.alibaba.com>,
	Andrew Morton <akpm@linux-foundation.org>,
	linux-mm@kvack.org
Subject: Re: [PATCH 10/10] mm: Use folio_next_pos()
Date: Sat, 8 Nov 2025 05:00:28 +0000	[thread overview]
Message-ID: <aQ7ObHvd8FXb8Taz@casper.infradead.org> (raw)
In-Reply-To: <20251024170822.1427218-11-willy@infradead.org>

On Fri, Oct 24, 2025 at 06:08:18PM +0100, Matthew Wilcox (Oracle) wrote:
> +++ b/mm/truncate.c
> @@ -387,7 +387,7 @@ void truncate_inode_pages_range(struct address_space *mapping,
>  	same_folio = (lstart >> PAGE_SHIFT) == (lend >> PAGE_SHIFT);
>  	folio = __filemap_get_folio(mapping, lstart >> PAGE_SHIFT, FGP_LOCK, 0);
>  	if (!IS_ERR(folio)) {
> -		same_folio = lend < folio_pos(folio) + folio_size(folio);
> +		same_folio = lend < folio_next_pos(folio);

This causes an intermittent failure with XFS.  Two reports here:
https://lore.kernel.org/linux-xfs/aQohjfEFmU8lef6M@casper.infradead.org/

This is a fun one.  The "fix" I'm running with right now is:

-               same_folio = lend < folio_next_pos(folio);
+               same_folio = lend < (u64)folio_next_pos(folio);

folio_pos() and folio_next_pos() return an loff_t.  folio_size() returns
a size_t.  So folio_pos() + folio_size() is unsigned (by the usual C
promotion rules).  Before this patch, this was an unsigned comparison
against lend, and with the patch it's now a signed comparison.  Since
lend can be -1 (to mean 'end of file'), same_folio will now be 'true'
when it used to be 'false'.

Funnily, on 32-bit systems, size_t is u32 and loff_t is s64, so their
addition is also s64.  That means this has been wrong on 32-bit systems
for ... a while.  And nobody noticed, so I guess nobody's testing 32-bit
all that hard.

Anyway, what's the *right* way to fix this?  Cast to (unsigned long
long)?  There's an ssize_t, but I really want the opposite, a uloff_t.

(now i'm going to go back through all the other patches in this series
and see if I've made the same mistake anywhere else)

  parent reply	other threads:[~2025-11-08  5:00 UTC|newest]

Thread overview: 30+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2025-10-24 17:08 [PATCH 00/10] Add and use folio_next_pos() Matthew Wilcox (Oracle)
2025-10-24 17:08 ` [PATCH 01/10] filemap: Add folio_next_pos() Matthew Wilcox (Oracle)
2025-10-27  7:53   ` Christoph Hellwig
2025-10-27  8:33   ` Joseph Qi
2025-10-24 17:08 ` [PATCH 02/10] btrfs: Use folio_next_pos() Matthew Wilcox (Oracle)
2025-10-30 18:14   ` David Sterba
2025-10-24 17:08 ` [PATCH 03/10] buffer: " Matthew Wilcox (Oracle)
2025-10-27  7:54   ` Christoph Hellwig
2025-10-30  9:35   ` Jan Kara
2025-10-24 17:08 ` [PATCH 04/10] ext4: " Matthew Wilcox (Oracle)
2025-10-25  3:20   ` Zhang Yi
2025-10-27  7:54   ` Christoph Hellwig
2025-10-24 17:08 ` [PATCH 05/10] f2fs: " Matthew Wilcox (Oracle)
2025-10-27 11:57   ` Chao Yu
2025-10-24 17:08 ` [PATCH 06/10] gfs2: " Matthew Wilcox (Oracle)
2025-10-24 17:08 ` [PATCH 07/10] iomap: " Matthew Wilcox (Oracle)
2025-10-24 17:10   ` Darrick J. Wong
2025-10-27  7:53   ` Christoph Hellwig
2025-10-24 17:08 ` [PATCH 08/10] netfs: " Matthew Wilcox (Oracle)
2025-10-24 17:36   ` Paulo Alcantara
2025-10-24 17:08 ` [PATCH 09/10] xfs: " Matthew Wilcox (Oracle)
2025-10-27  7:53   ` Christoph Hellwig
2025-10-24 17:08 ` [PATCH 10/10] mm: " Matthew Wilcox (Oracle)
2025-10-27  7:54   ` Christoph Hellwig
2025-10-27 15:43   ` David Hildenbrand
2025-11-08  5:00   ` Matthew Wilcox [this message]
2025-11-11  9:59     ` Christian Brauner
2025-10-27 14:16 ` [PATCH 08/10] netfs: " David Howells
2025-10-27 14:50   ` Matthew Wilcox
2025-10-31 12:12 ` [PATCH 00/10] Add and use folio_next_pos() Christian Brauner

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=aQ7ObHvd8FXb8Taz@casper.infradead.org \
    --to=willy@infradead.org \
    --cc=akpm@linux-foundation.org \
    --cc=baolin.wang@linux.alibaba.com \
    --cc=brauner@kernel.org \
    --cc=hughd@google.com \
    --cc=linux-fsdevel@vger.kernel.org \
    --cc=linux-mm@kvack.org \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).