Re: [PATCH 1/3] tools: memory-model: Prepare for data-race detection

On Wed, Apr 24, 2019 at 10:24:42AM -0400, Alan Stern wrote: > On Wed, 24 Apr 2019, Paul E. McKenney wrote: > > > On Mon, Apr 22, 2019 at 12:17:45PM -0400, Alan Stern wrote: > > > This patch makes some slight alterations to linux-kernel.cat in > > > preparation for adding support for data-race dete

Re: [PATCH 1/3] tools: memory-model: Prepare for data-race detection

On Wed, 24 Apr 2019, Paul E. McKenney wrote: > On Mon, Apr 22, 2019 at 12:17:45PM -0400, Alan Stern wrote: > > This patch makes some slight alterations to linux-kernel.cat in > > preparation for adding support for data-race detection to the > > Linux-Kernel Memory Model. > > > > The definitio

Re: [PATCH 1/3] tools: memory-model: Prepare for data-race detection

On Mon, Apr 22, 2019 at 12:17:45PM -0400, Alan Stern wrote: > This patch makes some slight alterations to linux-kernel.cat in > preparation for adding support for data-race detection to the > Linux-Kernel Memory Model. > > The definitions of relations involved in Acquire, Release, and >