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

2019-04-28 Thread Paul E. McKenney
On Fri, Apr 26, 2019 at 04:41:08PM +0200, Andrea Parri wrote: > On Mon, Apr 22, 2019 at 12:18:09PM -0400, Alan Stern wrote: > > This patch adds data-race detection to the Linux-Kernel Memory Model. > > As part of this effort, support is added for: > > > > compiler barriers (the barrier() funct

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

2019-04-26 Thread Andrea Parri
On Mon, Apr 22, 2019 at 12:18:09PM -0400, Alan Stern wrote: > This patch adds data-race detection to the Linux-Kernel Memory Model. > As part of this effort, support is added for: > > compiler barriers (the barrier() function), and > > a new Preserved Program Order term: (addr ; [Plai

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

2019-04-22 Thread Alan Stern
This patch adds data-race detection to the Linux-Kernel Memory Model. As part of this effort, support is added for: compiler barriers (the barrier() function), and a new Preserved Program Order term: (addr ; [Plain] ; wmb) Data races are marked with a special Flag warning in herd