All of lore.kernel.org
 help / color / mirror / Atom feed
From: Catalin Marinas <catalin.marinas@arm.com>
To: Andrey Konovalov <andreyknvl@google.com>
Cc: Dmitry Vyukov <dvyukov@google.com>,
	Vincenzo Frascino <vincenzo.frascino@arm.com>,
	kasan-dev <kasan-dev@googlegroups.com>,
	Andrey Ryabinin <aryabinin@virtuozzo.com>,
	Alexander Potapenko <glider@google.com>,
	Marco Elver <elver@google.com>,
	Evgenii Stepanov <eugenis@google.com>,
	Elena Petrova <lenaptr@google.com>,
	Branislav Rankov <Branislav.Rankov@arm.com>,
	Kevin Brodsky <kevin.brodsky@arm.com>,
	Will Deacon <will.deacon@arm.com>,
	Andrew Morton <akpm@linux-foundation.org>,
	Linux ARM <linux-arm-kernel@lists.infradead.org>,
	Linux Memory Management List <linux-mm@kvack.org>,
	LKML <linux-kernel@vger.kernel.org>
Subject: Re: [PATCH v3 26/39] arm64: mte: Add in-kernel tag fault handler
Date: Fri, 25 Sep 2020 12:47:04 +0100	[thread overview]
Message-ID: <20200925114703.GI4846@gaia> (raw)
In-Reply-To: <CAAeHK+zLFRgR9eiLNyn7-iqbXJe6HGYpHYbBXXOVqOk4MyrhAA@mail.gmail.com>

On Fri, Sep 25, 2020 at 01:26:02PM +0200, Andrey Konovalov wrote:
> On Fri, Sep 25, 2020 at 12:49 PM Catalin Marinas
> <catalin.marinas@arm.com> wrote:
> > > diff --git a/arch/arm64/mm/fault.c b/arch/arm64/mm/fault.c
> > > index a3bd189602df..d110f382dacf 100644
> > > --- a/arch/arm64/mm/fault.c
> > > +++ b/arch/arm64/mm/fault.c
> > > @@ -33,6 +33,7 @@
> > >  #include <asm/debug-monitors.h>
> > >  #include <asm/esr.h>
> > >  #include <asm/kprobes.h>
> > > +#include <asm/mte.h>
> > >  #include <asm/processor.h>
> > >  #include <asm/sysreg.h>
> > >  #include <asm/system_misc.h>
> > > @@ -294,6 +295,11 @@ static void die_kernel_fault(const char *msg, unsigned long addr,
> > >       do_exit(SIGKILL);
> > >  }
> > >
> > > +static void report_tag_fault(unsigned long addr, unsigned int esr,
> > > +                          struct pt_regs *regs)
> > > +{
> > > +}
> >
> > Do we need to introduce report_tag_fault() in this patch? It's fine but
> > add a note in the commit log that it will be populated in a subsequent
> > patch.
> 
> I did, see the last line of the commit description.

Sorry, I missed that.

> > > +
> > >  static void __do_kernel_fault(unsigned long addr, unsigned int esr,
> > >                             struct pt_regs *regs)
> > >  {
> > > @@ -641,10 +647,40 @@ static int do_sea(unsigned long addr, unsigned int esr, struct pt_regs *regs)
> > >       return 0;
> > >  }
> > >
> > > +static void do_tag_recovery(unsigned long addr, unsigned int esr,
> > > +                        struct pt_regs *regs)
> > > +{
> > > +     static bool reported = false;
> > > +
> > > +     if (!READ_ONCE(reported)) {
> > > +             report_tag_fault(addr, esr, regs);
> > > +             WRITE_ONCE(reported, true);
> > > +     }
> >
> > I don't mind the READ_ONCE/WRITE_ONCE here but not sure what they help
> > with.
> 
> The fault can happen on multiple cores at the same time, right? In
> that case without READ/WRITE_ONCE() we'll have a data-race here.

READ/WRITE_ONCE won't magically solve such races. If two CPUs enter
simultaneously in do_tag_recovery(), they'd both read 'reported' as
false and both print the fault info.

If you really care about this race, you need to atomically both read and
update the variable with an xchg() or cmpxchg().

-- 
Catalin

WARNING: multiple messages have this Message-ID (diff)
From: Catalin Marinas <catalin.marinas@arm.com>
To: Andrey Konovalov <andreyknvl@google.com>
Cc: Linux ARM <linux-arm-kernel@lists.infradead.org>,
	Marco Elver <elver@google.com>,
	Elena Petrova <lenaptr@google.com>,
	Kevin Brodsky <kevin.brodsky@arm.com>,
	Will Deacon <will.deacon@arm.com>,
	Branislav Rankov <Branislav.Rankov@arm.com>,
	kasan-dev <kasan-dev@googlegroups.com>,
	LKML <linux-kernel@vger.kernel.org>,
	Linux Memory Management List <linux-mm@kvack.org>,
	Alexander Potapenko <glider@google.com>,
	Evgenii Stepanov <eugenis@google.com>,
	Andrey Ryabinin <aryabinin@virtuozzo.com>,
	Andrew Morton <akpm@linux-foundation.org>,
	Vincenzo Frascino <vincenzo.frascino@arm.com>,
	Dmitry Vyukov <dvyukov@google.com>
Subject: Re: [PATCH v3 26/39] arm64: mte: Add in-kernel tag fault handler
Date: Fri, 25 Sep 2020 12:47:04 +0100	[thread overview]
Message-ID: <20200925114703.GI4846@gaia> (raw)
In-Reply-To: <CAAeHK+zLFRgR9eiLNyn7-iqbXJe6HGYpHYbBXXOVqOk4MyrhAA@mail.gmail.com>

On Fri, Sep 25, 2020 at 01:26:02PM +0200, Andrey Konovalov wrote:
> On Fri, Sep 25, 2020 at 12:49 PM Catalin Marinas
> <catalin.marinas@arm.com> wrote:
> > > diff --git a/arch/arm64/mm/fault.c b/arch/arm64/mm/fault.c
> > > index a3bd189602df..d110f382dacf 100644
> > > --- a/arch/arm64/mm/fault.c
> > > +++ b/arch/arm64/mm/fault.c
> > > @@ -33,6 +33,7 @@
> > >  #include <asm/debug-monitors.h>
> > >  #include <asm/esr.h>
> > >  #include <asm/kprobes.h>
> > > +#include <asm/mte.h>
> > >  #include <asm/processor.h>
> > >  #include <asm/sysreg.h>
> > >  #include <asm/system_misc.h>
> > > @@ -294,6 +295,11 @@ static void die_kernel_fault(const char *msg, unsigned long addr,
> > >       do_exit(SIGKILL);
> > >  }
> > >
> > > +static void report_tag_fault(unsigned long addr, unsigned int esr,
> > > +                          struct pt_regs *regs)
> > > +{
> > > +}
> >
> > Do we need to introduce report_tag_fault() in this patch? It's fine but
> > add a note in the commit log that it will be populated in a subsequent
> > patch.
> 
> I did, see the last line of the commit description.

Sorry, I missed that.

> > > +
> > >  static void __do_kernel_fault(unsigned long addr, unsigned int esr,
> > >                             struct pt_regs *regs)
> > >  {
> > > @@ -641,10 +647,40 @@ static int do_sea(unsigned long addr, unsigned int esr, struct pt_regs *regs)
> > >       return 0;
> > >  }
> > >
> > > +static void do_tag_recovery(unsigned long addr, unsigned int esr,
> > > +                        struct pt_regs *regs)
> > > +{
> > > +     static bool reported = false;
> > > +
> > > +     if (!READ_ONCE(reported)) {
> > > +             report_tag_fault(addr, esr, regs);
> > > +             WRITE_ONCE(reported, true);
> > > +     }
> >
> > I don't mind the READ_ONCE/WRITE_ONCE here but not sure what they help
> > with.
> 
> The fault can happen on multiple cores at the same time, right? In
> that case without READ/WRITE_ONCE() we'll have a data-race here.

READ/WRITE_ONCE won't magically solve such races. If two CPUs enter
simultaneously in do_tag_recovery(), they'd both read 'reported' as
false and both print the fault info.

If you really care about this race, you need to atomically both read and
update the variable with an xchg() or cmpxchg().

-- 
Catalin

_______________________________________________
linux-arm-kernel mailing list
linux-arm-kernel@lists.infradead.org
http://lists.infradead.org/mailman/listinfo/linux-arm-kernel

  reply	other threads:[~2020-09-25 11:47 UTC|newest]

Thread overview: 223+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2020-09-24 22:50 [PATCH v3 00/39] kasan: add hardware tag-based mode for arm64 Andrey Konovalov
2020-09-24 22:50 ` Andrey Konovalov
2020-09-24 22:50 ` Andrey Konovalov
2020-09-24 22:50 ` [PATCH v3 01/39] kasan: drop unnecessary GPL text from comment headers Andrey Konovalov
2020-09-24 22:50   ` Andrey Konovalov
2020-09-24 22:50   ` Andrey Konovalov
2020-10-01 17:18   ` elver
2020-10-01 17:18     ` elver
2020-09-24 22:50 ` [PATCH v3 02/39] kasan: KASAN_VMALLOC depends on KASAN_GENERIC Andrey Konovalov
2020-09-24 22:50   ` Andrey Konovalov
2020-09-24 22:50   ` Andrey Konovalov
2020-10-01 17:19   ` elver
2020-10-01 17:19     ` elver
2020-09-24 22:50 ` [PATCH v3 03/39] kasan: group vmalloc code Andrey Konovalov
2020-09-24 22:50   ` Andrey Konovalov
2020-09-24 22:50   ` Andrey Konovalov
2020-10-01 17:27   ` elver
2020-10-01 17:27     ` elver
2020-09-24 22:50 ` [PATCH v3 04/39] kasan: shadow declarations only for software modes Andrey Konovalov
2020-09-24 22:50   ` Andrey Konovalov
2020-09-24 22:50   ` Andrey Konovalov
2020-10-01 17:29   ` elver
2020-10-01 17:29     ` elver
2020-09-24 22:50 ` [PATCH v3 05/39] kasan: rename (un)poison_shadow to (un)poison_memory Andrey Konovalov
2020-09-24 22:50   ` Andrey Konovalov
2020-09-24 22:50   ` Andrey Konovalov
2020-10-01 17:29   ` elver
2020-10-01 17:29     ` elver
2020-09-24 22:50 ` [PATCH v3 06/39] kasan: rename KASAN_SHADOW_* to KASAN_GRANULE_* Andrey Konovalov
2020-09-24 22:50   ` Andrey Konovalov
2020-09-24 22:50   ` Andrey Konovalov
2020-10-01 17:30   ` elver
2020-10-01 17:30     ` elver
2020-09-24 22:50 ` [PATCH v3 07/39] kasan: only build init.c for software modes Andrey Konovalov
2020-09-24 22:50   ` Andrey Konovalov
2020-09-24 22:50   ` Andrey Konovalov
2020-10-01 17:31   ` elver
2020-10-01 17:31     ` elver
2020-09-24 22:50 ` [PATCH v3 08/39] kasan: split out shadow.c from common.c Andrey Konovalov
2020-09-24 22:50   ` Andrey Konovalov
2020-09-24 22:50   ` Andrey Konovalov
2020-10-01 17:32   ` elver
2020-10-01 17:32     ` elver
2020-09-24 22:50 ` [PATCH v3 09/39] kasan: define KASAN_GRANULE_PAGE Andrey Konovalov
2020-09-24 22:50   ` Andrey Konovalov
2020-09-24 22:50   ` Andrey Konovalov
2020-10-01 17:33   ` elver
2020-10-01 17:33     ` elver
2020-09-24 22:50 ` [PATCH v3 10/39] kasan: rename report and tags files Andrey Konovalov
2020-09-24 22:50   ` Andrey Konovalov
2020-09-24 22:50   ` Andrey Konovalov
2020-10-01 17:36   ` elver
2020-10-01 17:36     ` elver
2020-09-24 22:50 ` [PATCH v3 11/39] kasan: don't duplicate config dependencies Andrey Konovalov
2020-09-24 22:50   ` Andrey Konovalov
2020-09-24 22:50   ` Andrey Konovalov
2020-10-01 17:39   ` elver
2020-10-01 17:39     ` elver
2020-10-01 21:54     ` Andrey Konovalov
2020-10-01 21:54       ` Andrey Konovalov
2020-10-01 21:54       ` Andrey Konovalov
2020-09-24 22:50 ` [PATCH v3 12/39] kasan: hide invalid free check implementation Andrey Konovalov
2020-09-24 22:50   ` Andrey Konovalov
2020-09-24 22:50   ` Andrey Konovalov
2020-10-01 17:41   ` elver
2020-10-01 17:41     ` elver
2020-09-24 22:50 ` [PATCH v3 13/39] kasan: decode stack frame only with KASAN_STACK_ENABLE Andrey Konovalov
2020-09-24 22:50   ` Andrey Konovalov
2020-09-24 22:50   ` Andrey Konovalov
2020-10-01 17:43   ` elver
2020-10-01 17:43     ` elver
2020-09-24 22:50 ` [PATCH v3 14/39] kasan, arm64: only init shadow for software modes Andrey Konovalov
2020-09-24 22:50   ` Andrey Konovalov
2020-09-24 22:50   ` Andrey Konovalov
2020-09-24 22:50 ` [PATCH v3 15/39] kasan, arm64: only use kasan_depth " Andrey Konovalov
2020-09-24 22:50   ` Andrey Konovalov
2020-09-24 22:50   ` Andrey Konovalov
2020-09-24 22:50 ` [PATCH v3 16/39] kasan: rename addr_has_shadow to addr_has_metadata Andrey Konovalov
2020-09-24 22:50   ` Andrey Konovalov
2020-09-24 22:50   ` Andrey Konovalov
2020-10-01 17:45   ` elver
2020-10-01 17:45     ` elver
2020-09-24 22:50 ` [PATCH v3 17/39] kasan: rename print_shadow_for_address to print_memory_metadata Andrey Konovalov
2020-09-24 22:50   ` Andrey Konovalov
2020-09-24 22:50   ` Andrey Konovalov
2020-10-01 17:45   ` elver
2020-10-01 17:45     ` elver
2020-09-24 22:50 ` [PATCH v3 18/39] kasan: kasan_non_canonical_hook only for software modes Andrey Konovalov
2020-09-24 22:50   ` Andrey Konovalov
2020-09-24 22:50   ` Andrey Konovalov
2020-10-01 17:47   ` elver
2020-10-01 17:47     ` elver
2020-09-24 22:50 ` [PATCH v3 19/39] kasan: rename SHADOW layout macros to META Andrey Konovalov
2020-09-24 22:50   ` Andrey Konovalov
2020-09-24 22:50   ` Andrey Konovalov
2020-10-01 17:48   ` elver
2020-10-01 17:48     ` elver
2020-09-24 22:50 ` [PATCH v3 20/39] kasan: separate metadata_fetch_row for each mode Andrey Konovalov
2020-09-24 22:50   ` Andrey Konovalov
2020-09-24 22:50   ` Andrey Konovalov
2020-10-01 17:54   ` elver
2020-10-01 17:54     ` elver
2020-10-01 21:56     ` Andrey Konovalov
2020-10-01 21:56       ` Andrey Konovalov
2020-10-01 21:56       ` Andrey Konovalov
2020-09-24 22:50 ` [PATCH v3 21/39] kasan: don't allow SW_TAGS with ARM64_MTE Andrey Konovalov
2020-09-24 22:50   ` Andrey Konovalov
2020-09-24 22:50   ` Andrey Konovalov
2020-10-01 17:55   ` elver
2020-10-01 17:55     ` elver
2020-10-01 21:57     ` Andrey Konovalov
2020-10-01 21:57       ` Andrey Konovalov
2020-10-01 21:57       ` Andrey Konovalov
2020-09-24 22:50 ` [PATCH v3 22/39] kasan: introduce CONFIG_KASAN_HW_TAGS Andrey Konovalov
2020-09-24 22:50   ` Andrey Konovalov
2020-09-24 22:50   ` Andrey Konovalov
2020-10-01 17:57   ` elver
2020-10-01 17:57     ` elver
2020-09-24 22:50 ` [PATCH v3 23/39] arm64: Enable armv8.5-a asm-arch option Andrey Konovalov
2020-09-24 22:50   ` Andrey Konovalov
2020-09-24 22:50   ` Andrey Konovalov
2020-09-25 10:16   ` Catalin Marinas
2020-09-25 10:16     ` Catalin Marinas
2020-09-24 22:50 ` [PATCH v3 24/39] arm64: mte: Add in-kernel MTE helpers Andrey Konovalov
2020-09-24 22:50   ` Andrey Konovalov
2020-09-24 22:50   ` Andrey Konovalov
2020-09-25 10:15   ` Catalin Marinas
2020-09-25 10:15     ` Catalin Marinas
2020-09-25 11:28     ` Vincenzo Frascino
2020-09-25 11:28       ` Vincenzo Frascino
2020-09-25 12:50       ` Catalin Marinas
2020-09-25 12:50         ` Catalin Marinas
2020-09-25 13:36         ` Vincenzo Frascino
2020-09-25 13:36           ` Vincenzo Frascino
2020-09-24 22:50 ` [PATCH v3 25/39] arm64: kasan: Add arch layer for memory tagging helpers Andrey Konovalov
2020-09-24 22:50   ` Andrey Konovalov
2020-09-24 22:50   ` Andrey Konovalov
2020-09-24 22:50 ` [PATCH v3 26/39] arm64: mte: Add in-kernel tag fault handler Andrey Konovalov
2020-09-24 22:50   ` Andrey Konovalov
2020-09-24 22:50   ` Andrey Konovalov
2020-09-25 10:49   ` Catalin Marinas
2020-09-25 10:49     ` Catalin Marinas
2020-09-25 11:26     ` Andrey Konovalov
2020-09-25 11:26       ` Andrey Konovalov
2020-09-25 11:26       ` Andrey Konovalov
2020-09-25 11:47       ` Catalin Marinas [this message]
2020-09-25 11:47         ` Catalin Marinas
2020-09-25 11:52         ` Andrey Konovalov
2020-09-25 11:52           ` Andrey Konovalov
2020-09-25 11:52           ` Andrey Konovalov
2020-09-25 12:35           ` Catalin Marinas
2020-09-25 12:35             ` Catalin Marinas
2020-09-25 12:35   ` Catalin Marinas
2020-09-25 12:35     ` Catalin Marinas
2020-09-24 22:50 ` [PATCH v3 27/39] arm64: kasan: Enable in-kernel MTE Andrey Konovalov
2020-09-24 22:50   ` Andrey Konovalov
2020-09-24 22:50   ` Andrey Konovalov
2020-09-25 11:14   ` Catalin Marinas
2020-09-25 11:14     ` Catalin Marinas
2020-09-24 22:50 ` [PATCH v3 28/39] arm64: mte: Convert gcr_user into an exclude mask Andrey Konovalov
2020-09-24 22:50   ` Andrey Konovalov
2020-09-24 22:50   ` Andrey Konovalov
2020-09-24 22:50 ` [PATCH v3 29/39] arm64: mte: Switch GCR_EL1 in kernel entry and exit Andrey Konovalov
2020-09-24 22:50   ` Andrey Konovalov
2020-09-24 22:50   ` Andrey Konovalov
2020-09-25 11:34   ` Catalin Marinas
2020-09-25 11:34     ` Catalin Marinas
2020-09-25 11:50     ` Vincenzo Frascino
2020-09-25 11:50       ` Vincenzo Frascino
2020-09-25 12:38       ` Catalin Marinas
2020-09-25 12:38         ` Catalin Marinas
2020-09-24 22:50 ` [PATCH v3 30/39] arm64: kasan: Enable TBI EL1 Andrey Konovalov
2020-09-24 22:50   ` Andrey Konovalov
2020-09-24 22:50   ` Andrey Konovalov
2020-09-25 11:37   ` Catalin Marinas
2020-09-25 11:37     ` Catalin Marinas
2020-09-25 11:47     ` Vincenzo Frascino
2020-09-25 11:47       ` Vincenzo Frascino
2020-09-24 22:50 ` [PATCH v3 31/39] arm64: kasan: Align allocations for HW_TAGS Andrey Konovalov
2020-09-24 22:50   ` Andrey Konovalov
2020-09-24 22:50   ` Andrey Konovalov
2020-09-24 22:50 ` [PATCH v3 32/39] kasan: define KASAN_GRANULE_SIZE " Andrey Konovalov
2020-09-24 22:50   ` Andrey Konovalov
2020-09-24 22:50   ` Andrey Konovalov
2020-10-01 17:58   ` elver
2020-10-01 17:58     ` elver
2020-10-01 21:59     ` Andrey Konovalov
2020-10-01 21:59       ` Andrey Konovalov
2020-10-01 21:59       ` Andrey Konovalov
2020-09-24 22:50 ` [PATCH v3 33/39] kasan, x86, s390: update undef CONFIG_KASAN Andrey Konovalov
2020-09-24 22:50   ` Andrey Konovalov
2020-09-24 22:50   ` Andrey Konovalov
2020-10-01 17:59   ` elver
2020-10-01 17:59     ` elver
2020-09-24 22:50 ` [PATCH v3 34/39] kasan, arm64: expand CONFIG_KASAN checks Andrey Konovalov
2020-09-24 22:50   ` Andrey Konovalov
2020-09-24 22:50   ` Andrey Konovalov
2020-09-24 22:50 ` [PATCH v3 35/39] kasan, arm64: implement HW_TAGS runtime Andrey Konovalov
2020-09-24 22:50   ` Andrey Konovalov
2020-09-24 22:50   ` Andrey Konovalov
2020-10-01 18:00   ` elver
2020-10-01 18:00     ` elver
2020-09-24 22:50 ` [PATCH v3 36/39] kasan, arm64: print report from tag fault handler Andrey Konovalov
2020-09-24 22:50   ` Andrey Konovalov
2020-09-24 22:50   ` Andrey Konovalov
2020-09-25 11:39   ` Catalin Marinas
2020-09-25 11:39     ` Catalin Marinas
2020-09-24 22:50 ` [PATCH v3 37/39] kasan, slub: reset tags when accessing metadata Andrey Konovalov
2020-09-24 22:50   ` Andrey Konovalov
2020-09-24 22:50   ` Andrey Konovalov
2020-10-01 18:03   ` elver
2020-10-01 18:03     ` elver
2020-10-01 22:00     ` Andrey Konovalov
2020-10-01 22:00       ` Andrey Konovalov
2020-10-01 22:00       ` Andrey Konovalov
2020-09-24 22:50 ` [PATCH v3 38/39] kasan, arm64: enable CONFIG_KASAN_HW_TAGS Andrey Konovalov
2020-09-24 22:50   ` Andrey Konovalov
2020-09-24 22:50   ` Andrey Konovalov
2020-09-24 22:50 ` [PATCH v3 39/39] kasan: add documentation for hardware tag-based mode Andrey Konovalov
2020-09-24 22:50   ` Andrey Konovalov
2020-09-24 22:50   ` Andrey Konovalov
2020-10-01 18:03   ` elver
2020-10-01 18:03     ` elver

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=20200925114703.GI4846@gaia \
    --to=catalin.marinas@arm.com \
    --cc=Branislav.Rankov@arm.com \
    --cc=akpm@linux-foundation.org \
    --cc=andreyknvl@google.com \
    --cc=aryabinin@virtuozzo.com \
    --cc=dvyukov@google.com \
    --cc=elver@google.com \
    --cc=eugenis@google.com \
    --cc=glider@google.com \
    --cc=kasan-dev@googlegroups.com \
    --cc=kevin.brodsky@arm.com \
    --cc=lenaptr@google.com \
    --cc=linux-arm-kernel@lists.infradead.org \
    --cc=linux-kernel@vger.kernel.org \
    --cc=linux-mm@kvack.org \
    --cc=vincenzo.frascino@arm.com \
    --cc=will.deacon@arm.com \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
This is an external index of several public inboxes,
see mirroring instructions on how to clone and mirror
all data and code used by this external index.