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

Alan Stern
2019-04-15T13:50:07Z

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?

Alan