Re: Kernel Concurrency Sanitizer (KCSAN)

2019-10-03 Thread Dmitry Vyukov
On Wed, Oct 2, 2019 at 9:52 PM Marco Elver wrote: > > Hi Joel, > > On Tue, 1 Oct 2019 at 23:19, Joel Fernandes wrote: > > > > On Fri, Sep 20, 2019 at 04:18:57PM +0200, Marco Elver wrote: > > > Hi all, > > > > > > We would like to share a new data-race detector for the Linux kernel: > > > Kernel C

Re: Kernel Concurrency Sanitizer (KCSAN)

2019-10-03 Thread Mark Rutland
On Fri, Sep 20, 2019 at 07:51:04PM +0200, Marco Elver wrote: > On Fri, 20 Sep 2019 at 18:47, Dmitry Vyukov wrote: > > > > On Fri, Sep 20, 2019 at 6:31 PM Mark Rutland wrote: > > > > > > On Fri, Sep 20, 2019 at 04:18:57PM +0200, Marco Elver wrote: > > > > We would like to share a new data-race det

Re: Kernel Concurrency Sanitizer (KCSAN)

2019-10-03 Thread Dmitry Vyukov
On Thu, Oct 3, 2019 at 3:13 PM Dmitry Vyukov wrote: > > On Wed, Oct 2, 2019 at 9:52 PM Marco Elver wrote: > > > > Hi Joel, > > > > On Tue, 1 Oct 2019 at 23:19, Joel Fernandes wrote: > > > > > > On Fri, Sep 20, 2019 at 04:18:57PM +0200, Marco Elver wrote: > > > > Hi all, > > > > > > > > We would

Re: Kernel Concurrency Sanitizer (KCSAN)

2019-10-03 Thread Marco Elver
On Thu, 3 Oct 2019 at 18:12, Mark Rutland wrote: > > On Fri, Sep 20, 2019 at 07:51:04PM +0200, Marco Elver wrote: > > On Fri, 20 Sep 2019 at 18:47, Dmitry Vyukov wrote: > > > > > > On Fri, Sep 20, 2019 at 6:31 PM Mark Rutland wrote: > > > > > > > > On Fri, Sep 20, 2019 at 04:18:57PM +0200, Marco

Re: Kernel Concurrency Sanitizer (KCSAN)

2019-10-03 Thread Christian Brauner
On Thu, Oct 03, 2019 at 06:00:38PM +0200, Dmitry Vyukov wrote: > On Thu, Oct 3, 2019 at 3:13 PM Dmitry Vyukov wrote: > > > > On Wed, Oct 2, 2019 at 9:52 PM Marco Elver wrote: > > > > > > Hi Joel, > > > > > > On Tue, 1 Oct 2019 at 23:19, Joel Fernandes > > > wrote: > > > > > > > > On Fri, Sep 20

Re: Kernel Concurrency Sanitizer (KCSAN)

2019-10-04 Thread Joel Fernandes
On Wed, Oct 02, 2019 at 09:51:58PM +0200, Marco Elver wrote: > Hi Joel, > > On Tue, 1 Oct 2019 at 23:19, Joel Fernandes wrote: > > > > On Fri, Sep 20, 2019 at 04:18:57PM +0200, Marco Elver wrote: > > > Hi all, > > > > > > We would like to share a new data-race detector for the Linux kernel: > > >

Re: Kernel Concurrency Sanitizer (KCSAN)

2019-10-04 Thread Dmitry Vyukov
On Fri, Oct 4, 2019 at 6:49 PM Joel Fernandes wrote: > > On Wed, Oct 02, 2019 at 09:51:58PM +0200, Marco Elver wrote: > > Hi Joel, > > > > On Tue, 1 Oct 2019 at 23:19, Joel Fernandes wrote: > > > > > > On Fri, Sep 20, 2019 at 04:18:57PM +0200, Marco Elver wrote: > > > > Hi all, > > > > > > > > We

Re: Kernel Concurrency Sanitizer (KCSAN)

2019-10-04 Thread Joel Fernandes
On Fri, Oct 04, 2019 at 06:52:49PM +0200, Dmitry Vyukov wrote: > On Fri, Oct 4, 2019 at 6:49 PM Joel Fernandes wrote: > > > > On Wed, Oct 02, 2019 at 09:51:58PM +0200, Marco Elver wrote: > > > Hi Joel, > > > > > > On Tue, 1 Oct 2019 at 23:19, Joel Fernandes > > > wrote: > > > > > > > > On Fri, S

Re: Kernel Concurrency Sanitizer (KCSAN)

2019-10-04 Thread Dmitry Vyukov
On Fri, Oct 4, 2019 at 6:57 PM Joel Fernandes wrote: > > On Fri, Oct 04, 2019 at 06:52:49PM +0200, Dmitry Vyukov wrote: > > On Fri, Oct 4, 2019 at 6:49 PM Joel Fernandes > > wrote: > > > > > > On Wed, Oct 02, 2019 at 09:51:58PM +0200, Marco Elver wrote: > > > > Hi Joel, > > > > > > > > On Tue, 1

Re: Kernel Concurrency Sanitizer (KCSAN)

2019-10-04 Thread Joel Fernandes
On Fri, Oct 04, 2019 at 07:01:37PM +0200, Dmitry Vyukov wrote: > On Fri, Oct 4, 2019 at 6:57 PM Joel Fernandes wrote: > > > > On Fri, Oct 04, 2019 at 06:52:49PM +0200, Dmitry Vyukov wrote: > > > On Fri, Oct 4, 2019 at 6:49 PM Joel Fernandes > > > wrote: > > > > > > > > On Wed, Oct 02, 2019 at 09

Re: Kernel Concurrency Sanitizer (KCSAN)

2019-10-04 Thread Dmitry Vyukov
" On Fri, Oct 4, 2019 at 8:08 PM Joel Fernandes wrote: > > > > > > > > Hi all, > > > > > > > > > > > > > > > > We would like to share a new data-race detector for the Linux > > > > > > > > kernel: > > > > > > > > Kernel Concurrency Sanitizer (KCSAN) -- > > > > > > > > https://github.com/google/kt

Re: Kernel Concurrency Sanitizer (KCSAN)

2019-10-04 Thread Eric Dumazet
On 9/20/19 8:54 AM, Will Deacon wrote: > > This one is tricky. What I think we need to avoid is an onslaught of > patches adding READ_ONCE/WRITE_ONCE without a concrete analysis of the > code being modified. My worry is that Joe Developer is eager to get their > first patch into the kernel, so

Re: Kernel Concurrency Sanitizer (KCSAN)

2019-10-04 Thread Dmitry Vyukov
On Sat, Oct 5, 2019 at 2:58 AM Eric Dumazet wrote: > > This one is tricky. What I think we need to avoid is an onslaught of > > patches adding READ_ONCE/WRITE_ONCE without a concrete analysis of the > > code being modified. My worry is that Joe Developer is eager to get their > > first patch into

Re: Kernel Concurrency Sanitizer (KCSAN)

2019-10-01 Thread Daniel Axtens
Hi Marco, > We would like to share a new data-race detector for the Linux kernel: > Kernel Concurrency Sanitizer (KCSAN) -- > https://github.com/google/ktsan/wiki/KCSAN (Details: > https://github.com/google/ktsan/blob/kcsan/Documentation/dev-tools/kcsan.rst) This builds and begins to boot on pow

Re: Kernel Concurrency Sanitizer (KCSAN)

2019-10-01 Thread Joel Fernandes
On Fri, Sep 20, 2019 at 04:18:57PM +0200, Marco Elver wrote: > Hi all, > > We would like to share a new data-race detector for the Linux kernel: > Kernel Concurrency Sanitizer (KCSAN) -- > https://github.com/google/ktsan/wiki/KCSAN (Details: > https://github.com/google/ktsan/blob/kcsan/Documentat

Re: Kernel Concurrency Sanitizer (KCSAN)

2019-10-02 Thread Marco Elver
Hi Daniel, On Tue, 1 Oct 2019 at 16:50, Daniel Axtens wrote: > > Hi Marco, > > > We would like to share a new data-race detector for the Linux kernel: > > Kernel Concurrency Sanitizer (KCSAN) -- > > https://github.com/google/ktsan/wiki/KCSAN (Details: > > https://github.com/google/ktsan/blob/kcs

Re: Kernel Concurrency Sanitizer (KCSAN)

2019-10-02 Thread Marco Elver
Hi Joel, On Tue, 1 Oct 2019 at 23:19, Joel Fernandes wrote: > > On Fri, Sep 20, 2019 at 04:18:57PM +0200, Marco Elver wrote: > > Hi all, > > > > We would like to share a new data-race detector for the Linux kernel: > > Kernel Concurrency Sanitizer (KCSAN) -- > > https://github.com/google/ktsan/wi

Re: Kernel Concurrency Sanitizer (KCSAN)

2019-10-09 Thread Dmitry Vyukov
On Sat, Oct 5, 2019 at 6:16 AM Dmitry Vyukov wrote: > > On Sat, Oct 5, 2019 at 2:58 AM Eric Dumazet wrote: > > > This one is tricky. What I think we need to avoid is an onslaught of > > > patches adding READ_ONCE/WRITE_ONCE without a concrete analysis of the > > > code being modified. My worry is

Re: Kernel Concurrency Sanitizer (KCSAN)

2019-10-09 Thread Eric Dumazet
On 10/9/19 12:45 AM, Dmitry Vyukov wrote: > On Sat, Oct 5, 2019 at 6:16 AM Dmitry Vyukov wrote: >> >> On Sat, Oct 5, 2019 at 2:58 AM Eric Dumazet wrote: This one is tricky. What I think we need to avoid is an onslaught of patches adding READ_ONCE/WRITE_ONCE without a concrete analysi

Re: Kernel Concurrency Sanitizer (KCSAN)

2019-10-09 Thread Andrea Parri
On Wed, Oct 09, 2019 at 09:45:50AM +0200, Dmitry Vyukov wrote: > On Sat, Oct 5, 2019 at 6:16 AM Dmitry Vyukov wrote: > > > > On Sat, Oct 5, 2019 at 2:58 AM Eric Dumazet wrote: > > > > This one is tricky. What I think we need to avoid is an onslaught of > > > > patches adding READ_ONCE/WRITE_ONCE

Re: Kernel Concurrency Sanitizer (KCSAN)

2019-10-10 Thread Daniel Axtens
Marco Elver writes: > Hi Daniel, > > On Tue, 1 Oct 2019 at 16:50, Daniel Axtens wrote: >> >> Hi Marco, >> >> > We would like to share a new data-race detector for the Linux kernel: >> > Kernel Concurrency Sanitizer (KCSAN) -- >> > https://github.com/google/ktsan/wiki/KCSAN (Details: >> > https:

Re: Kernel Concurrency Sanitizer (KCSAN)

2019-09-20 Thread Will Deacon
Hi Marco, On Fri, Sep 20, 2019 at 04:18:57PM +0200, Marco Elver wrote: > We would like to share a new data-race detector for the Linux kernel: > Kernel Concurrency Sanitizer (KCSAN) -- > https://github.com/google/ktsan/wiki/KCSAN (Details: > https://github.com/google/ktsan/blob/kcsan/Documentatio

Re: Kernel Concurrency Sanitizer (KCSAN)

2019-09-20 Thread Mark Rutland
On Fri, Sep 20, 2019 at 04:18:57PM +0200, Marco Elver wrote: > Hi all, Hi, > We would like to share a new data-race detector for the Linux kernel: > Kernel Concurrency Sanitizer (KCSAN) -- > https://github.com/google/ktsan/wiki/KCSAN (Details: > https://github.com/google/ktsan/blob/kcsan/Documen

Re: Kernel Concurrency Sanitizer (KCSAN)

2019-09-20 Thread Dmitry Vyukov
On Fri, Sep 20, 2019 at 6:31 PM Mark Rutland wrote: > > On Fri, Sep 20, 2019 at 04:18:57PM +0200, Marco Elver wrote: > > Hi all, > > Hi, > > > We would like to share a new data-race detector for the Linux kernel: > > Kernel Concurrency Sanitizer (KCSAN) -- > > https://github.com/google/ktsan/wiki/

Re: Kernel Concurrency Sanitizer (KCSAN)

2019-09-20 Thread Marco Elver
On Fri, 20 Sep 2019 at 18:47, Dmitry Vyukov wrote: > > On Fri, Sep 20, 2019 at 6:31 PM Mark Rutland wrote: > > > > On Fri, Sep 20, 2019 at 04:18:57PM +0200, Marco Elver wrote: > > > We would like to share a new data-race detector for the Linux kernel: > > > Kernel Concurrency Sanitizer (KCSAN) --

Re: Kernel Concurrency Sanitizer (KCSAN)

2019-09-20 Thread Marco Elver
On Fri, 20 Sep 2019 at 17:54, Will Deacon wrote: > > Hi Marco, > > On Fri, Sep 20, 2019 at 04:18:57PM +0200, Marco Elver wrote: > > We would like to share a new data-race detector for the Linux kernel: > > Kernel Concurrency Sanitizer (KCSAN) -- > > https://github.com/google/ktsan/wiki/KCSAN (Det

Re: Kernel Concurrency Sanitizer (KCSAN)

2019-09-22 Thread Boqun Feng
On Fri, Sep 20, 2019 at 04:54:21PM +0100, Will Deacon wrote: > Hi Marco, > > On Fri, Sep 20, 2019 at 04:18:57PM +0200, Marco Elver wrote: > > We would like to share a new data-race detector for the Linux kernel: > > Kernel Concurrency Sanitizer (KCSAN) -- > > https://github.com/google/ktsan/wiki/K

Re: Kernel Concurrency Sanitizer (KCSAN)

2019-09-23 Thread Dmitry Vyukov
On Mon, Sep 23, 2019 at 6:31 AM Boqun Feng wrote: > > On Fri, Sep 20, 2019 at 04:54:21PM +0100, Will Deacon wrote: > > Hi Marco, > > > > On Fri, Sep 20, 2019 at 04:18:57PM +0200, Marco Elver wrote: > > > We would like to share a new data-race detector for the Linux kernel: > > > Kernel Concurrency

Re: Kernel Concurrency Sanitizer (KCSAN)

2019-09-23 Thread Boqun Feng
On Mon, Sep 23, 2019 at 10:21:38AM +0200, Dmitry Vyukov wrote: > On Mon, Sep 23, 2019 at 6:31 AM Boqun Feng wrote: > > > > On Fri, Sep 20, 2019 at 04:54:21PM +0100, Will Deacon wrote: > > > Hi Marco, > > > > > > On Fri, Sep 20, 2019 at 04:18:57PM +0200, Marco Elver wrote: > > > > We would like to

Re: Kernel Concurrency Sanitizer (KCSAN)

2019-09-23 Thread Dmitry Vyukov
On Mon, Sep 23, 2019 at 10:54 AM Boqun Feng wrote: > > On Mon, Sep 23, 2019 at 10:21:38AM +0200, Dmitry Vyukov wrote: > > On Mon, Sep 23, 2019 at 6:31 AM Boqun Feng wrote: > > > > > > On Fri, Sep 20, 2019 at 04:54:21PM +0100, Will Deacon wrote: > > > > Hi Marco, > > > > > > > > On Fri, Sep 20, 20

Re: Kernel Concurrency Sanitizer (KCSAN)

2019-09-23 Thread Marco Elver
On Mon, 23 Sep 2019 at 10:59, Dmitry Vyukov wrote: > > On Mon, Sep 23, 2019 at 10:54 AM Boqun Feng wrote: > > > > On Mon, Sep 23, 2019 at 10:21:38AM +0200, Dmitry Vyukov wrote: > > > On Mon, Sep 23, 2019 at 6:31 AM Boqun Feng wrote: > > > > > > > > On Fri, Sep 20, 2019 at 04:54:21PM +0100, Will

Re: Kernel Concurrency Sanitizer (KCSAN)

2019-09-23 Thread Boqun Feng
On Mon, Sep 23, 2019 at 01:01:27PM +0200, Marco Elver wrote: > On Mon, 23 Sep 2019 at 10:59, Dmitry Vyukov wrote: > > > > On Mon, Sep 23, 2019 at 10:54 AM Boqun Feng wrote: > > > > > > On Mon, Sep 23, 2019 at 10:21:38AM +0200, Dmitry Vyukov wrote: > > > > On Mon, Sep 23, 2019 at 6:31 AM Boqun Fen