Subject: Re: [boost] [lockfree] review
From: Alexander Terekhov (terekhov_at_[hidden])
Date: 2011-09-01 07:04:16
Hans Boehm wrote:
[... RMW/store-load barrier free (on fast path) release for lock with a
> Interestingly, there is a 2011 POPL paper by Attiya et al that proves, IIRC,
> that store-load ordering or atomic RMW operations are unavoidable in some
> cases. I haven't looked into this enough to understand how to reconcile that
> with the above result. The kind of scheduler hack needed in step 6 above is
> probably outside their model.
(Laws of Order: Expensive Synchronization in Concurrent Algorithms
Cannot be Eliminated)
Nice title. ;-)
I think they are talking about impossibility of RMW/store-load barrier
free lock acquisition.
RMW/store-load barrier free (on fast path) release for queued lock is
out of scope of their paper, AFAICS.
Boost list run by bdawes at acm.org, gregod at cs.rpi.edu, cpdaniel at pacbell.net, john at johnmaddock.co.uk