[<prev] [next>] [<thread-prev] [thread-next>] [day] [month] [year] [list]
Message-ID: <YVcVtNLnyJModOhn@casper.infradead.org>
Date: Fri, 1 Oct 2021 15:05:40 +0100
From: Matthew Wilcox <willy@...radead.org>
To: Andrey Konovalov <andreyknvl@...il.com>
Cc: Andrey Ryabinin <ryabinin.a.a@...il.com>,
Alexander Potapenko <glider@...gle.com>,
Dmitry Vyukov <dvyukov@...gle.com>,
Andrew Morton <akpm@...ux-foundation.org>,
kasan-dev <kasan-dev@...glegroups.com>,
Linux Memory Management List <linux-mm@...ck.org>,
LKML <linux-kernel@...r.kernel.org>
Subject: Re: [PATCH] kasan: Fix tag for large allocations when using
CONFIG_SLAB
On Fri, Oct 01, 2021 at 03:29:29PM +0200, Andrey Konovalov wrote:
> On Fri, Oct 1, 2021 at 4:42 AM Matthew Wilcox (Oracle)
> <willy@...radead.org> wrote:
> >
> > If an object is allocated on a tail page of a multi-page slab, kasan
> > will get the wrong tagbecause page->s_mem is NULL for tail pages.
>
> Interesting. Is this a known property of tail pages? Why does this
> happen? I failed to find this exception in the code.
Yes, it's a known property of tail pages. kmem_getpages() calls
__alloc_pages_node() which returns a pointer to the head page.
All the tail pages are initialised to point to the head page.
Then in alloc_slabmgmt(), we set ->s_mem of the head page, but
we never set ->s_mem of the tail pages. Instead, we rely on
people always passing in the head page. I have a patch in the works
to change the type from struct page to struct slab so you can't
make this mistake. That was how I noticed this problem.
> The tag value won't really be "wrong", just unexpected. But if s_mem
> is indeed NULL for tail pages, your fix makes sense.
>
> > I'm not quite sure what the user-visible effect of this might be.
>
> Everything should work, as long as tag values are assigned
> consistently based on the object address.
OK, maybe this doesn't need to be backported then? Actually, why
subtract s_mem in the first place? Can we just avoid that for all
tag calculations?
Powered by blists - more mailing lists