From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from bombadil.infradead.org (bombadil.infradead.org [198.137.202.133]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature ECDSA (prime256v1) server-digest SHA256) (No client certificate requested) by smtp.subspace.kernel.org (Postfix) with ESMTPS id B3FE3606A31A for ; Tue, 27 Oct 2026 14:41:49 +0000 (UTC) Authentication-Results: smtp.subspace.kernel.org; dkim=pass (2048-bit key, unprotected) header.d=lists.infradead.org header.i=@lists.infradead.org header.a=rsa-sha256 header.s=bombadil.20210309 header.b=EmGON7eD; dkim=pass (2048-bit key, unprotected) header.d=kernel.org header.i=@kernel.org header.a=rsa-sha256 header.s=k20260515 header.b=F/aE3Kg9 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=lists.infradead.org; s=bombadil.20210309; h=Sender:List-Subscribe:List-Help :List-Post:List-Archive:List-Unsubscribe:List-Id:Content-Type:MIME-Version: Message-ID:Date:References:In-Reply-To:Subject:Cc:To:From:Reply-To: Content-Transfer-Encoding:Content-ID:Content-Description:Resent-Date: Resent-From:Resent-Sender:Resent-To:Resent-Cc:Resent-Message-ID: List-Unsubscribe-Post:List-Owner; bh=Cxbcd97TigLbOc2nsbdYTtwGKr7cyQITuDlutqpOwp0=; b=EmGON7eDyiWPGr6eJHBizUN11D jTwcJngMDG3xJtlYG/jT7pVz3ZFLMLj1sHeTFtoQGcK5rv+w1q3Wcs4T8lBE7tuKLhXPEIZ0daYUS 2NQJUMBKaq0qDElGiyhQXeYHA7kYNHuH8gYH6enIqvtEuvsYID145wArIaOl6d7DgsBCg9Q3mCc8r dW8RJuMfJWuVXw4aVS0nFGbbxRdCybnMqr2H4T/Uwb/TJNAOJ5G0QtuLuDoNd6Q/9ou3WAz4NVjt3 /LFoLVKWJn5qPwAxRAYhqdw081BsXDbSRyJziQxS5zDd8VRfxZJqn75oYcjZdRkv1Y+PdohBAhNOo 5pN90Hdw==; Received: from localhost ([::1] helo=bombadil.infradead.org) by bombadil.infradead.org with esmtp (Exim 4.100.1 #2 (Red Hat Linux)) id 1xLiN2-000000053js-2WRy; Tue, 27 Oct 2026 14:41:48 +0000 Received: from sea.source.kernel.org ([172.234.252.31]) by bombadil.infradead.org with esmtps (Exim 4.100.1 #2 (Red Hat Linux)) id 1xLiN0-000000053jT-361H for kexec@lists.infradead.org; Tue, 27 Oct 2026 14:41:46 +0000 Received: from smtp.kernel.org (quasi.space.kernel.org [100.103.45.18]) by sea.source.kernel.org (Postfix) with ESMTP id 1495641A3F; Tue, 27 Oct 2026 14:41:46 +0000 (UTC) Received: by smtp.kernel.org (Postfix) with ESMTPSA id 61A8B1F01825; Tue, 27 Oct 2026 14:41:36 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=kernel.org; s=k20260515; t=1793112105; bh=Cxbcd97TigLbOc2nsbdYTtwGKr7cyQITuDlutqpOwp0=; h=From:To:Cc:Subject:In-Reply-To:References:Date; b=F/aE3Kg94sj9fXVFeMOGEhnFPh7IPM73CFA/LmgAAZfItP5Nw7PY1j3LmhUrie3RF WWOkZE/CrqgRjQtrY5czn2Xyhnu7Jhr5cpxZIRN6ucwFL7953eyR9cc+xJIfYeqrtx x427FQ040+6sFoWm3ZQYEETyJqIrMT+OQrZXuAnXJaqqyPl1iBQjI9L2UIFGYkQFmj rXT+tzW5xd2XQNYXVDL7CnDknr0SBZMXfP2tLX56GVF5sYE25tWUnjur3LSUQsNAM/ e9FZ57Wpnn2LjlHGFOu9V+hCx07zuXfQscJu7g4AtCiXI1sCKypZwCMKvsYpJoK5pk vtVZ2ljYGxZvA== From: Pratyush Yadav To: "David Hildenbrand (Arm)" Cc: Andrew Morton , Johannes Weiner , Michal Hocko , Qi Zheng , Shakeel Butt , Lorenzo Stoakes , Kairui Song , Barry Song , Axel Rasmussen , Yuanchu Xie , Wei Xu , Baoquan He , Baolin Wang , "Liam R. Howlett" , Vlastimil Babka , Mike Rapoport , Suren Baghdasaryan , Michal Hocko , Kees Cook , Peter Zijlstra , Jann Horn , Pedro Falcato , Hugh Dickins , Pasha Tatashin , Pratyush Yadav , "Matthew Wilcox (Oracle)" , Jan Kara , Zi Yan , Lance Yang , Rik van Riel , Harry Yoo , Alistair Popple , Nico Pache , Ryan Roberts , Dev Jain , Usama Arif , Kiryl Shutsemau , Matthew Brost , John Hubbard , Peter Xu , Will Deacon , "Aneesh Kumar K.V" , Nick Piggin , Oscar Salvador , Minchan Kim , Muchun Song , Xu Xin , Chengming Zhou , Chris Li , Kemeng Shi , Nhat Pham , Youngjun Park , Gregory Price , Joshua Hahn , Rakie Kim , Ying Huang , Jason Gunthorpe , linux-mm@kvack.org, linux-kernel@vger.kernel.org, kexec@lists.infradead.org, linux-fsdevel@vger.kernel.org, linux-arch@vger.kernel.org, linux-cxl@vger.kernel.org, stable@vger.kernel.org, Chris Mason Subject: Re: [PATCH 03/46] mm/memfd: check for real shmem inodes before accessing shmem state In-Reply-To: <20261027-fixes_core-v1-3-6f74bec9a5bb@kernel.org> (David Hildenbrand's message of "Tue, 27 Oct 2026 00:17:23 +0100") References: <20261027-fixes_core-v1-0-6f74bec9a5bb@kernel.org> <20261027-fixes_core-v1-3-6f74bec9a5bb@kernel.org> Date: Tue, 27 Oct 2026 15:41:34 +0100 Message-ID: <2vxzh5i7p5nl.fsf@kernel.org> User-Agent: Gnus/5.13 (Gnus v5.13) X-Archived-By: MIME-Version: 1.0 Content-Type: text/plain X-BeenThere: kexec@lists.infradead.org X-Mailman-Version: 2.1.34 Precedence: list List-Id: List-Archive: List-Post: List-Help: List-Subscribe: , Sender: "kexec" X-Spam-Status: No, score=-17.7 required=3.0 tests=BAYES_00,DKIMWL_WL_HIGH, DKIM_SIGNED,DKIM_VALID,DKIM_VALID_AU,DKIM_VALID_EF, HEADER_FROM_DIFFERENT_DOMAINS,INCLUDES_CR_TRAILER,INCLUDES_PATCH, MAILING_LIST_MULTI,SPF_HELO_NONE,SPF_PASS,USER_AGENT_SANE_1 autolearn=ham autolearn_force=no version=4.0.1 X-Spam-Checker-Version: SpamAssassin 4.0.1 (2024-03-26) on aws-us-west-2-korg-listserv-alma10-1 Hi David, On Tue, Oct 27 2026, David Hildenbrand (Arm) wrote: > shmem_file() only checks a file's backing mapping. That mapping can belong > to another file, as with a Coda file backed by a tmpfs container after > mmap(). It does not establish that file_inode(file) is a shmem inode. > > Seal handling and memfd preservation use this check before accessing > shmem inode state, so they can access an inode of the wrong type. > > Add file_inode_is_shmem() to check the inode's file operations in both > paths. This identifies regular shmem inodes, including those used by > memfds and ordinary tmpfs files, independently of wrapper file operations. Why not update shmem_file() to do this check instead? Having a shmem_file() that might not always return the right result on a file seems like a landmine. For example, you missed check_memfd_seals() in udmabuf or memfd_pin_folios() in gup. Plus, someone later down the line might use shmem_file() without knowing this subtle problem, and we probably would miss it in review. For callers that only care about the mapping should then use shmem_mapping(). Perhaps that would be collapse_file() but TBH I don't really understand khugepaged all that much. All other callers of shmem_file() seem to care about the actual inode. > > Fixes: c49fcfcda8b5 ("mm/shmem: update file sealing comments and file checking") > Fixes: b3749f174d68 ("mm: memfd_luo: allow preserving memfd") > Cc: stable@vger.kernel.org > Reported-by: Chris Mason > Signed-off-by: David Hildenbrand (Arm) > --- > include/linux/shmem_fs.h | 6 ++++++ > mm/memfd.c | 8 +++++--- > mm/memfd_luo.c | 2 +- > mm/shmem.c | 5 +++++ > 4 files changed, 17 insertions(+), 4 deletions(-) > > diff --git a/include/linux/shmem_fs.h b/include/linux/shmem_fs.h > index a7c7a96a7cbf9..2ceca7993e4f5 100644 > --- a/include/linux/shmem_fs.h > +++ b/include/linux/shmem_fs.h > @@ -117,8 +117,14 @@ extern unsigned long shmem_get_unmapped_area(struct file *, unsigned long addr, > unsigned long len, unsigned long pgoff, unsigned long flags); > extern int shmem_lock(struct file *file, int lock, struct ucounts *ucounts); > #ifdef CONFIG_SHMEM > +bool file_inode_is_shmem(const struct inode *inode); > bool shmem_mapping(const struct address_space *mapping); > #else > +static inline bool file_inode_is_shmem(const struct inode *inode) > +{ > + return false; > +} > + > static inline bool shmem_mapping(const struct address_space *mapping) > { > return false; > diff --git a/mm/memfd.c b/mm/memfd.c > index 0f6fff004f5e4..7d2da23157003 100644 > --- a/mm/memfd.c > +++ b/mm/memfd.c > @@ -211,12 +211,14 @@ static int memfd_wait_for_pins(struct address_space *mapping) > > static unsigned int *memfd_file_seals_ptr(struct file *file) > { > - if (shmem_file(file)) > - return &SHMEM_I(file_inode(file))->seals; > + struct inode *inode = file_inode(file); > + > + if (file_inode_is_shmem(inode)) > + return &SHMEM_I(inode)->seals; > > #ifdef CONFIG_HUGETLBFS > if (is_file_hugepages(file)) > - return &HUGETLBFS_I(file_inode(file))->seals; > + return &HUGETLBFS_I(inode)->seals; > #endif > > return NULL; > diff --git a/mm/memfd_luo.c b/mm/memfd_luo.c > index 59de210bee5f9..c0811407ce397 100644 > --- a/mm/memfd_luo.c > +++ b/mm/memfd_luo.c > @@ -582,7 +582,7 @@ static bool memfd_luo_can_preserve(struct liveupdate_file_handler *handler, > { > struct inode *inode = file_inode(file); > > - return shmem_file(file) && !inode->i_nlink; > + return file_inode_is_shmem(inode) && !inode->i_nlink; > } > > static unsigned long memfd_luo_get_id(struct file *file) > diff --git a/mm/shmem.c b/mm/shmem.c > index fadf23f9e21ed..0d41aac125df9 100644 > --- a/mm/shmem.c > +++ b/mm/shmem.c > @@ -275,6 +275,11 @@ static const struct vm_operations_struct shmem_vm_ops; > static const struct vm_operations_struct shmem_anon_vm_ops; > static struct file_system_type shmem_fs_type; > > +bool file_inode_is_shmem(const struct inode *inode) > +{ > + return inode->i_fop == &shmem_file_operations; > +} > + > bool shmem_mapping(const struct address_space *mapping) > { > return mapping->a_ops == &shmem_aops; -- Regards, Pratyush Yadav