linux-kernel - Re: [PATCH] mm/userfaultfd: Allow hugetlb change protection upon poison entry

lists.openwall.net		lists / announce owl-users owl-dev john-users john-dev passwdqc-users yescrypt popa3d-users / oss-security kernel-hardening musl sabotage tlsify passwords / crypt-dev xvendor / Bugtraq Full-Disclosure linux-kernel linux-netdev linux-ext4 linux-hardening linux-cve-announce PHC
Open Source and information security mailing list archives

Hash Suite: Windows password security audit tool. GUI, reports in PDF.

[<prev] [next>] [<thread-prev] [day] [month] [year] [list]

Message-ID: <CAJHvVchiY9v2jkdFzbYukbiUYADCrZcAO-4pW-RwdbLetW8w7w@mail.gmail.com>
Date: Mon, 8 Apr 2024 13:39:49 -0700
From: Axel Rasmussen <axelrasmussen@...gle.com>
To: David Hildenbrand <david@...hat.com>
Cc: peterx@...hat.com, linux-mm@...ck.org, linux-kernel@...r.kernel.org, 
	Andrew Morton <akpm@...ux-foundation.org>, linux-stable <stable@...r.kernel.org>, 
	syzbot+b07c8ac8eee3d4d8440f@...kaller.appspotmail.com
Subject: Re: [PATCH] mm/userfaultfd: Allow hugetlb change protection upon
 poison entry

Reviewed-by: Axel Rasmussen <axelrasmussen@...gle.com>

Thanks for the fix, Peter!


On Mon, Apr 8, 2024 at 11:59 AM David Hildenbrand <david@...hat.com> wrote:
>
> On 06.04.24 01:19, peterx@...hat.com wrote:
> > From: Peter Xu <peterx@...hat.com>
> >
> > After UFFDIO_POISON, there can be two kinds of hugetlb pte markers, either
> > the POISON one or UFFD_WP one.
> >
> > Allow change protection to run on a poisoned marker just like !hugetlb
> > cases, ignoring the marker irrelevant of the permission.
> >
> > Here the two bits are mutual exclusive. For example, when install a
> > poisoned entry it must not be UFFD_WP already (by checking pte_none()
> > before such install).  And it also means if UFFD_WP is set there must have
> > no POISON bit set.  It makes sense because UFFD_WP is a bit to reflect
> > permission, and permissions do not apply if the pte is poisoned and
> > destined to sigbus.
> >
> > So here we simply check uffd_wp bit set first, do nothing otherwise.
> >
> > Attach the Fixes to UFFDIO_POISON work, as before that it should not be
> > possible to have poison entry for hugetlb (e.g., hugetlb doesn't do swap,
> > so no chance of swapin errors).
> >
> > Cc: Axel Rasmussen <axelrasmussen@...gle.com>
> > Cc: David Hildenbrand <david@...hat.com>
> > Cc: linux-stable <stable@...r.kernel.org> # 6.6+
> > Link: https://lore.kernel.org/r/000000000000920d5e0615602dd1@google.com
> > Reported-by: syzbot+b07c8ac8eee3d4d8440f@...kaller.appspotmail.com
> > Fixes: fc71884a5f59 ("mm: userfaultfd: add new UFFDIO_POISON ioctl")
> > Signed-off-by: Peter Xu <peterx@...hat.com>
> > ---
> >   mm/hugetlb.c | 10 +++++++---
> >   1 file changed, 7 insertions(+), 3 deletions(-)
> >
> > diff --git a/mm/hugetlb.c b/mm/hugetlb.c
> > index 8267e221ca5d..ba7162441adf 100644
> > --- a/mm/hugetlb.c
> > +++ b/mm/hugetlb.c
> > @@ -6960,9 +6960,13 @@ long hugetlb_change_protection(struct vm_area_struct *vma,
> >                       if (!pte_same(pte, newpte))
> >                               set_huge_pte_at(mm, address, ptep, newpte, psize);
> >               } else if (unlikely(is_pte_marker(pte))) {
> > -                     /* No other markers apply for now. */
> > -                     WARN_ON_ONCE(!pte_marker_uffd_wp(pte));
> > -                     if (uffd_wp_resolve)
> > +                     /*
> > +                      * Do nothing on a poison marker; page is
> > +                      * corrupted, permissons do not apply.  Here
> > +                      * pte_marker_uffd_wp()==true implies !poison
> > +                      * because they're mutual exclusive.
> > +                      */
> > +                     if (pte_marker_uffd_wp(pte) && uffd_wp_resolve)
> >                               /* Safe to modify directly (non-present->none). */
> >                               huge_pte_clear(mm, address, ptep, psize);
> >               } else if (!huge_pte_none(pte)) {
>
> Reviewed-by: David Hildenbrand <david@...hat.com>
>
> --
> Cheers,
>
> David / dhildenb
>