[<prev] [next>] [<thread-prev] [thread-next>] [day] [month] [year] [list]
Message-ID: <CAG48ez1Weu==SNUZF4EZVxUe8KhG0vXnUHzHFwmuJ3mTezRHJQ@mail.gmail.com>
Date: Fri, 25 Jul 2025 16:50:34 +0200
From: Jann Horn <jannh@...gle.com>
To: Lorenzo Stoakes <lorenzo.stoakes@...cle.com>
Cc: Andrew Morton <akpm@...ux-foundation.org>, David Hildenbrand <david@...hat.com>,
Rik van Riel <riel@...riel.com>, "Liam R. Howlett" <Liam.Howlett@...cle.com>,
Vlastimil Babka <vbabka@...e.cz>, Harry Yoo <harry.yoo@...cle.com>, linux-mm@...ck.org,
linux-kernel@...r.kernel.org
Subject: Re: [PATCH] mm/rmap: Add anon_vma lifetime debug check
On Fri, Jul 25, 2025 at 4:11 PM Lorenzo Stoakes
<lorenzo.stoakes@...cle.com> wrote:
> I went checking for this but was blind obviously since didn't find, Vlasta
> asked off-list about why anon_vma's are allocated SLAB_TYPESAFE_BY_RCU.
>
> I notice as well folio_get_anon_vma() is _tricky_:
>
> /*
> * Getting a lock on a stable anon_vma from a page off the LRU is tricky!
> *
> * Since there is no serialization what so ever against folio_remove_rmap_*()
> * the best this function can do is return a refcount increased anon_vma
> * that might have been relevant to this page.
> *
> * The page might have been remapped to a different anon_vma or the anon_vma
> * returned may already be freed (and even reused).
> *
> * In case it was remapped to a different anon_vma, the new anon_vma will be a
> * child of the old anon_vma, and the anon_vma lifetime rules will therefore
> * ensure that any anon_vma obtained from the page will still be valid for as
> * long as we observe page_mapped() [ hence all those page_mapped() tests ].
> *
> * All users of this function must be very careful when walking the anon_vma
> * chain and verify that the page in question is indeed mapped in it
> * [ something equivalent to page_mapped_in_vma() ].
> *
> * Since anon_vma's slab is SLAB_TYPESAFE_BY_RCU and we know from
> * folio_remove_rmap_*() that the anon_vma pointer from page->mapping is valid
> * if there is a mapcount, we can dereference the anon_vma after observing
> * those.
>
> ^--- this seems particularly pertinent...
Yep! This was also how that anon_vma bug a few years ago
(https://project-zero.issues.chromium.org/42451486) turned into UAF -
it allowed you to have a folio still mapped into userspace while its
anon_vma was already gone.
Powered by blists - more mailing lists