Re: [PATCH 2/2] tools/memory-model: Add write ordering by release-acquire and by locks

[Peter Zijlstra]

On Thu, Jun 21, 2018 at 08:34:40PM -0700, Paul E. McKenney wrote:
> (Peter, if you meant to ack both, please let me know.)

I sadly have not had the time to go through all that fancy cat language
stuff, so while I can read and mostly understand the Changelog, I don't
feel qualified to actually say anything much about that first patch ;-)

At some distant point in the past I mostly grokked the cat stuffs, but
then things happened and I've not looked at it in more than a year and
the brain just doesn't want to remember... :/ Some day..