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
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
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
3 matches
Mail list logo