From mboxrd@z Thu Jan 1 00:00:00 1970 Authentication-Results: smtp.subspace.kernel.org; arc=none smtp.remote-ip=100.103.45.18 ARC-Seal: i=1; d=subspace.kernel.org; s=arc20261015; a=rsa-sha256; cv=none; t=1793827166; b=VxwZBjpHtDTSiedtCe5njDU1zfuisLWGDkVK3ytlF0l6jO0iGvRXplHs++xPZK/jiftb MmpmhqSIS1JnmAgAT9EYlrjWKwgGo9uMn69iaXsiI77r5kjEt6HLhrz3YO/sbfjESD9vs osPB0gasjhfA63OpVgYtXvaS8yjpd0sJMubiB4X0JxjvtcXUeQ0ePZUHahBD0SlXA+H1q 6UJoeqVmRzr1CZ6IwRgDY4kTt2v99G2urAyTx+sW4t7Hmf2I9KaSb0IDTXQT/EzvG7B0f wMMwFeXTA4r+Qww6prBgGSC7lBvNDklxedMvA+bdFWSeT4Aco/1FKuivF4hVzRZ3YeQ== ARC-Message-Signature: i=1; d=subspace.kernel.org; s=arc20261015; a=rsa-sha256; c=relaxed/relaxed; t=1793827166; h=Received:DKIM-Signature:From:To:Cc:Subject:Date:Message-ID:X-Mailer: In-Reply-To:References:User-Agent:X-stable:X-Patchwork-Hint: MIME-Version:Content-Transfer-Encoding; bh=IA9dtJic3GiE5zlo11ycumtdQB4a3U59XPLsybzPd8o=; b=QVWqvwCKdL4KdLScQCXJEqhf8MNe7+XotW+ZvzVRqCyFIfQzEbhimTC+qHL8OM8MMDpu ckFRMgLZ1oFJKcftnpZ/dDi7sx0lbxirEA9dAwrFz8RDhssXhztY9FxakU9Kdhi/yXJpY Xoq/wbg/pd+Ay3A9cJnr9AJqelH29ARLKPQu1B2KAnJ3CWD6PKcbIqwwPG1VRUd1TvUnp H816MkXRV1Cw21ugnyc10dIPS4Zcdn9FOYPYSjHGvifdNhr1wQO39+rvHy7XVAjTE1pC3 kJFfugl7xZuqlTCGtPPXAisNqMDPVDLFBEzQgWPPlxo2hGx1dtw10KDy2dKe/Ykx/eg== ARC-Authentication-Results: i=1; smtp.subspace.kernel.org; dkim=pass header.d=linuxfoundation.org header.i=@linuxfoundation.org header.a=rsa-sha256 header.s=korg header.b=Dk69+jxt; arc=none smtp.remote-ip=100.103.45.18 Received: from smtp.kernel.org (quasi.space.kernel.org [100.103.45.18]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature ECDSA (prime256v1)) (No client certificate requested) by smtp.subspace.kernel.org (Postfix) with ESMTPS id 9925D606AB17; Wed, 4 Nov 2026 21:19:26 +0000 (UTC) Authentication-Results: smtp.subspace.kernel.org; dkim=pass (1024-bit key, unprotected) header.d=linuxfoundation.org header.i=@linuxfoundation.org header.a=rsa-sha256 header.s=korg header.b=Dk69+jxt Received: by smtp.kernel.org (Postfix) with ESMTPSA id DF4E91F000C1; Wed, 4 Nov 2026 21:19:25 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=linuxfoundation.org; s=korg; t=1793827166; bh=IA9dtJic3GiE5zlo11ycumtdQB4a3U59XPLsybzPd8o=; h=From:To:Cc:Subject:Date:In-Reply-To:References; b=Dk69+jxtudrS9ikm9XjaaT/SdruCbLyAuqZ4Kn/IYuL5Osn1yhHsptuE7PQ/MkFhp WyXo0L1a5XjF+aBE2JRtKDtwS91Vv/PUl55exDP6oKoAPHYx/mlLfb87OJrvtf1PG9 VfeMon3tb6pM2VYSJislKpam+AOsGB96MWUjxhAw= From: Greg Kroah-Hartman To: stable@vger.kernel.org Cc: Greg Kroah-Hartman , patches@lists.linux.dev, Zhang Yi , Andrew Morton , Sashiko , Jan Kara , Zi Yan , Brian Foster , David Hildenbrand , Lorenzo Stoakes , "Liam R. Howlett" , Vlastimil Babka , Mike Rapoport , Suren Baghdasaryan , Michal Hocko , Hugh Dickins , Baolin Wang , "Matthew Wilcox (Oracle)" , Joanne Koong , "Darrick J. Wong" , yizhang089@gmail.com, Yang Erkun , Zhihao Cheng , Kefeng Wang , yukuai@fnnas.com Subject: [PATCH 7.3 235/547] mm/truncate: look up the end-edge straddler by index Date: Wed, 4 Nov 2026 16:06:59 -0500 Message-ID: <20261104211044.838872186@linuxfoundation.org> X-Mailer: git-send-email 2.56.0 In-Reply-To: <20261104211038.406938024@linuxfoundation.org> References: <20261104211038.406938024@linuxfoundation.org> User-Agent: quilt/0.69 X-stable: review X-Patchwork-Hint: ignore X-Mailing-List: patches@lists.linux.dev List-Id: List-Post: List-Help: List-Subscribe: List-Unsubscribe: List-Owner: Precedence: list MIME-Version: 1.0 Content-Transfer-Encoding: 8bit 7.3-stable review patch. If anyone has any objections, please let me know. ------------------ From: Zhang Yi commit f47dee903b9f0f1e4e7181e8a398a7678cabf0a5 upstream. In truncate_inode_partial_folio(), after the first split at the start edge, folio_split() unlocks and drops the refcount of the after-split sub-folios. The sub-folio straddling the end of the truncation range is therefore unlocked and only transiently ref'd in the page cache while the code still derives it from a page pointer inside the original folio. Between the first split finishing and page_folio() resolving split_at2, that tail page can be reclaimed, freed and reallocated as a new large folio in the same mapping at a different file offset. folio2 then points at a folio that does not cover the end boundary, yet folio2->mapping == folio->mapping still holds, so the stale pointer passes the mapping check and folio_split_or_unmap() splits a folio at a wrong position (or, with a transient refcount, a use-after-free window opens between try_get and the split). __folio_split()'s own folio != page_folio(split_at) check cannot catch this either since split_at2 has been reallocated as part of the new folio, so page_folio(split_at2) resolves back to folio2. Look the straddler up by its page index instead. __filemap_get_folio() returns the folio currently covering the boundary, ref'd and locked, with the mapping validated under the lock, so the split target is always the real folio at the end edge. Link: https://lore.kernel.org/20260928120833.3440834-3-yi.zhang@huaweicloud.com Link: https://lore.kernel.org/linux-mm/DLGXT0ERY79Z.3C5DYVJVX6S9Z@nvidia.com/ Fixes: 7460b470a131 ("mm/truncate: use folio_split() in truncate operation") Signed-off-by: Zhang Yi Signed-off-by: Andrew Morton Reported-by: Sashiko Closes: https://sashiko.dev/#/message/20260916094500.C30061F00893%40smtp.kernel.org Suggested-by: Jan Kara Suggested-by: Zi Yan Reviewed-by: Jan Kara Reviewed-by: Brian Foster Acked-by: Zi Yan Cc: David Hildenbrand Cc: Lorenzo Stoakes Cc: Liam R. Howlett Cc: Vlastimil Babka Cc: Mike Rapoport Cc: Suren Baghdasaryan Cc: Michal Hocko Cc: Hugh Dickins Cc: Baolin Wang Cc: Matthew Wilcox (Oracle) Cc: Joanne Koong Cc: Darrick J. Wong Cc: Cc: Yang Erkun Cc: Zhihao Cheng Cc: Kefeng Wang Cc: Cc: Signed-off-by: Greg Kroah-Hartman --- mm/truncate.c | 30 ++++++++++++++++-------------- 1 file changed, 16 insertions(+), 14 deletions(-) --- a/mm/truncate.c +++ b/mm/truncate.c @@ -259,30 +259,32 @@ bool truncate_inode_partial_folio(struct * for shmem truncate */ struct folio *folio2; + pgoff_t end_idx; if (offset + length == size) goto no_split; - split_at2 = folio_page(folio, - PAGE_ALIGN_DOWN(offset + length) / PAGE_SIZE); - folio2 = page_folio(split_at2); - - if (!folio_try_get(folio2)) + /* + * After the first split at the start edge, the folio at the + * end edge may be freed and reused concurrently. + * __filemap_get_folio() looks up the straddler at end_idx + * and returns it locked and ref'd with the mapping + * validated. + */ + end_idx = (pos + offset + length) >> PAGE_SHIFT; + folio2 = __filemap_get_folio(folio->mapping, end_idx, + FGP_LOCK | FGP_NOWAIT, 0); + if (IS_ERR(folio2)) goto no_split; + /* make sure folio2 is large */ if (!folio_test_large(folio2)) goto out; - if (!folio_trylock(folio2)) - goto out; - - /* make sure folio2 is large and does not change its mapping */ - if (folio_test_large(folio2) && - folio2->mapping == folio->mapping) - folio_split_or_unmap(folio2, split_at2, min_order); - - folio_unlock(folio2); + split_at2 = folio_page(folio2, (end_idx - folio2->index)); + folio_split_or_unmap(folio2, split_at2, min_order); out: + folio_unlock(folio2); folio_put(folio2); no_split: return true;