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

Paul E. McKenney
2019-04-15T13:53:31Z

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