Re: [PATCH 3/3] tools: memory-model: Improve data-race detection

2019-06-24 Thread Paul E. McKenney
On Mon, Jun 24, 2019 at 11:39:23AM -0400, Alan Stern wrote: > On Mon, 24 Jun 2019, Paul E. McKenney wrote: > > > On Sun, Jun 23, 2019 at 09:34:55PM -0700, Paul E. McKenney wrote: > > > On Sun, Jun 23, 2019 at 11:15:06AM -0400, Alan Stern wrote: > > > > On Sun, 23 Jun 2019, Akira Yokosawa wrote: >

Re: [PATCH 3/3] tools: memory-model: Improve data-race detection

2019-06-24 Thread Alan Stern
On Mon, 24 Jun 2019, Paul E. McKenney wrote: > On Sun, Jun 23, 2019 at 09:34:55PM -0700, Paul E. McKenney wrote: > > On Sun, Jun 23, 2019 at 11:15:06AM -0400, Alan Stern wrote: > > > On Sun, 23 Jun 2019, Akira Yokosawa wrote: > > > > > > > Hi Paul and Alan, > > > > > > > > On 2019/06/22 8:54, Pa

Re: [PATCH 3/3] tools: memory-model: Improve data-race detection

2019-06-24 Thread Paul E. McKenney
On Sun, Jun 23, 2019 at 09:34:55PM -0700, Paul E. McKenney wrote: > On Sun, Jun 23, 2019 at 11:15:06AM -0400, Alan Stern wrote: > > On Sun, 23 Jun 2019, Akira Yokosawa wrote: > > > > > Hi Paul and Alan, > > > > > > On 2019/06/22 8:54, Paul E. McKenney wrote: > > > > On Fri, Jun 21, 2019 at 10:25:

Re: [PATCH 3/3] tools: memory-model: Improve data-race detection

2019-06-23 Thread Paul E. McKenney
On Sun, Jun 23, 2019 at 11:15:06AM -0400, Alan Stern wrote: > On Sun, 23 Jun 2019, Akira Yokosawa wrote: > > > Hi Paul and Alan, > > > > On 2019/06/22 8:54, Paul E. McKenney wrote: > > > On Fri, Jun 21, 2019 at 10:25:23AM -0400, Alan Stern wrote: > > >> On Fri, 21 Jun 2019, Andrea Parri wrote: >

Re: [PATCH 3/3] tools: memory-model: Improve data-race detection

2019-06-23 Thread Alan Stern
On Sun, 23 Jun 2019, Akira Yokosawa wrote: > Hi Paul and Alan, > > On 2019/06/22 8:54, Paul E. McKenney wrote: > > On Fri, Jun 21, 2019 at 10:25:23AM -0400, Alan Stern wrote: > >> On Fri, 21 Jun 2019, Andrea Parri wrote: > >> > >>> On Thu, Jun 20, 2019 at 11:55:58AM -0400, Alan Stern wrote: > >>>

Re: [PATCH 3/3] tools: memory-model: Improve data-race detection

2019-06-23 Thread Akira Yokosawa
Hi Paul and Alan, On 2019/06/22 8:54, Paul E. McKenney wrote: > On Fri, Jun 21, 2019 at 10:25:23AM -0400, Alan Stern wrote: >> On Fri, 21 Jun 2019, Andrea Parri wrote: >> >>> On Thu, Jun 20, 2019 at 11:55:58AM -0400, Alan Stern wrote: Herbert Xu recently reported a problem concerning RCU and

Re: [PATCH 3/3] tools: memory-model: Improve data-race detection

2019-06-21 Thread Paul E. McKenney
On Fri, Jun 21, 2019 at 10:25:23AM -0400, Alan Stern wrote: > On Fri, 21 Jun 2019, Andrea Parri wrote: > > > On Thu, Jun 20, 2019 at 11:55:58AM -0400, Alan Stern wrote: > > > Herbert Xu recently reported a problem concerning RCU and compiler > > > barriers. In the course of discussing the problem

Re: [PATCH 3/3] tools: memory-model: Improve data-race detection

2019-06-21 Thread Alan Stern
On Fri, 21 Jun 2019, Andrea Parri wrote: > On Thu, Jun 20, 2019 at 11:55:58AM -0400, Alan Stern wrote: > > Herbert Xu recently reported a problem concerning RCU and compiler > > barriers. In the course of discussing the problem, he put forth a > > litmus test which illustrated a serious defect in

Re: [PATCH 3/3] tools: memory-model: Improve data-race detection

2019-06-21 Thread Andrea Parri
On Thu, Jun 20, 2019 at 11:55:58AM -0400, Alan Stern wrote: > Herbert Xu recently reported a problem concerning RCU and compiler > barriers. In the course of discussing the problem, he put forth a > litmus test which illustrated a serious defect in the Linux Kernel > Memory Model's data-race-detec

[PATCH 3/3] tools: memory-model: Improve data-race detection

2019-06-20 Thread Alan Stern
Herbert Xu recently reported a problem concerning RCU and compiler barriers. In the course of discussing the problem, he put forth a litmus test which illustrated a serious defect in the Linux Kernel Memory Model's data-race-detection code. The defect was that the LKMM assumed visibility and exec