Re: [PATCH -tip v2 03/11] kcsan: Support distinguishing volatile accesses

2020-05-21 Thread Marco Elver
On Thu, 21 May 2020 at 15:18, Will Deacon wrote: > > On Thu, May 21, 2020 at 01:08:46PM +0200, Marco Elver wrote: > > In the kernel, volatile is used in various concurrent context, whether > > in low-level synchronization primitives or for legacy reasons. If > > supported by the compiler, we will

Re: [PATCH -tip v2 03/11] kcsan: Support distinguishing volatile accesses

2020-05-21 Thread Will Deacon
On Thu, May 21, 2020 at 01:08:46PM +0200, Marco Elver wrote: > In the kernel, volatile is used in various concurrent context, whether > in low-level synchronization primitives or for legacy reasons. If > supported by the compiler, we will assume that aligned volatile accesses > up to sizeof(long

[PATCH -tip v2 03/11] kcsan: Support distinguishing volatile accesses

2020-05-21 Thread Marco Elver
In the kernel, volatile is used in various concurrent context, whether in low-level synchronization primitives or for legacy reasons. If supported by the compiler, we will assume that aligned volatile accesses up to sizeof(long long) (matching compiletime_assert_rwonce_type()) are atomic. Recent