Messages in this thread | | | Date | Mon, 15 Apr 2019 06:53:20 -0700 | From | "Paul E. McKenney" <> | Subject | Re: Adding plain accesses and detecting data races in the LKMM |
| |
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
| |