Re: [PATCH memory-barriers.txt 7/7] Documentation,barriers: Mention smp_cond_acquire()

[Paul E. McKenney]

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 <dave@xxxxxxxxxxxx>
> > 
> > ... 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.340636238@xxxxxxxxxxxxx

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