linux-kernel - Re: [syzbot] [mm?] WARNING: suspicious RCU usage in mas

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] [thread-next>] [day] [month] [year] [list]

Message-ID: <20230727181231.pjyxvn7yv2ytssy4@revolver>
Date:   Thu, 27 Jul 2023 14:12:31 -0400
From:   "Liam R. Howlett" <Liam.Howlett@...cle.com>
To:     Jann Horn <jannh@...gle.com>
Cc:     Suren Baghdasaryan <surenb@...gle.com>,
        Matthew Wilcox <willy@...radead.org>,
        akpm@...ux-foundation.org, linux-kernel@...r.kernel.org,
        linux-mm@...ck.org, syzkaller-bugs@...glegroups.com,
        syzbot <syzbot+8645fe63c4d22c8d27b8@...kaller.appspotmail.com>
Subject: Re: [syzbot] [mm?] WARNING: suspicious RCU usage in mas_walk (2)

* Jann Horn <jannh@...gle.com> [230727 14:00]:
> On Thu, Jul 27, 2023 at 7:22 PM Suren Baghdasaryan <surenb@...gle.com> wrote:
> > On Thu, Jul 27, 2023 at 9:48 AM Liam R. Howlett <Liam.Howlett@...cle.com> wrote:
> > >
> > > * syzbot <syzbot+8645fe63c4d22c8d27b8@...kaller.appspotmail.com> [230726 02:57]:
> > > > syzbot has bisected this issue to:
> > > >
> > > > commit a52f58b34afe095ebc5823684eb264404dad6f7b
> > > > Author: Matthew Wilcox (Oracle) <willy@...radead.org>
> > > > Date:   Mon Jul 24 18:54:10 2023 +0000
> > > >
> > > >     mm: handle faults that merely update the accessed bit under the VMA lock
> > > >
> > > > bisection log:  https://syzkaller.appspot.com/x/bisect.txt?x=1783585ea80000
> > > > start commit:   [unknown]
> > > > git tree:       linux-next
> > > > final oops:     https://syzkaller.appspot.com/x/report.txt?x=1443585ea80000
> > > > console output: https://syzkaller.appspot.com/x/log.txt?x=1043585ea80000
> > > > kernel config:  https://syzkaller.appspot.com/x/.config?x=f481ab36ce878b84
> > > > dashboard link: https://syzkaller.appspot.com/bug?extid=8645fe63c4d22c8d27b8
> > > > syz repro:      https://syzkaller.appspot.com/x/repro.syz?x=1697cec9a80000
> > > > C reproducer:   https://syzkaller.appspot.com/x/repro.c?x=1566986ea80000
> > > >
> > > > Reported-by: syzbot+8645fe63c4d22c8d27b8@...kaller.appspotmail.com
> > > > Fixes: a52f58b34afe ("mm: handle faults that merely update the accessed bit under the VMA lock")
> > > >
> > > > For information about bisection process see: https://goo.gl/tpsmEJ#bisection
> > >
> > > This is caused by walking the maple tree without holding the mmap or rcu
> > > read lock when per-vma locking is used for the page fault.
> > >
> > > We could wrap the find_mergeable_anon_vma() walk with an rcu read lock,
> > > but I am unsure if that's the correct way to handle this as the anon_vma
> > > lock is taken later in __anon_vma_prepare().  Note that the anon_vma
> > > lock is per-anon_vma, so we cannot just relocate that lock.
> >
> > Hmm. lock_vma_under_rcu() specifically checks for vma->anon_vma==NULL
> > condition (see [1]) to avoid going into find_mergeable_anon_vma() (a
> > check inside anon_vma_prepare() should prevent that). So, it should
> > fall back to mmap_lock'ing.
> 
> This syzkaller report applies to a tree with Willy's in-progress patch
> series, where lock_vma_under_rcu() only checks for vma->anon_vma if
> vma_is_anonymous() is true - it permits private non-anonymous VMAs
> (which require an anon_vma for handling write faults)  even if they
> don't have an anon_vma.
> 
> The commit bisected by syzkaller
> (https://git.kernel.org/pub/scm/linux/kernel/git/next/linux-next.git/commit/?id=a52f58b34afe095ebc5823684eb264404dad6f7b)
> removes the vma_is_anonymous() check in handle_pte_fault(), so it lets
> us reach do_wp_page() with a non-anonymous private VMA without
> anon_vma, even though that requires allocation of an anon_vma.
> 
> So I think this is pretty clearly an issue with Willy's in-progress
> patch series that syzkaller blamed correctly.
> 

Thanks for the analysis and quick response Jann and Suren.

I'll stop digging now.

Regards,
Liam