Re: Adding plain accesses and detecting data races in the LKMM

[Paul E. McKenney]

On Mon, Apr 15, 2019 at 09:50:03AM -0400, Alan Stern wrote:
> On Mon, 15 Apr 2019, Paul E. McKenney wrote:
> 
> > Another question is "should the kernel permit smp_mb__{before,after}*()
> > anywhere other than immediately before or after the primitive being
> > strengthened?"
> > 
> > Thoughts?
> 
> How would the kernel forbid other constructions?

Coccinelle scripts added to 0day test robot.

							Thanx, Paul