On Wed, Apr 13, 2016 at 02:53:10PM +0200, Peter Zijlstra wrote:
> On Tue, Apr 12, 2016 at 08:52:55AM -0700, Paul E. McKenney wrote:
> > From: Davidlohr Bueso <d...@stgolabs.net>
> >
> > ... do this next to smp_load_acquire when first mentioning
> > ACQUIRE. While this call is briefly explained and ctrl
> > dependencies are mentioned later, it does not hurt the reader.
>
> Ha! just when I have a patch set in RFC to change the whole thing about
> :-)
>
> lkml.kernel.org/r/20160404122250.340636...@infradead.org
Heh! I was talking to a bunch of formal-verification researchers last
week, and the fact that requirements can change over time did not make
them feel comfortable. ;-)
Thanx, Paul
