[M3devel] Proposed Atomic Word.T interfaces.

[Tony Hosking]

On 19 Dec 2009, at 22:53, hendrik at topoi.pooq.com wrote:

> It's not quite clear to me what these Orders mean.  In particular,
> I don't see a clear model for the interaction of 'visibility', 'memory 
> writes' and 'threads'.  I can certainly find a ways to understand these 
> words, but I can't be sure I understand them the same way as they 
> are intended.
> 
> Perhaps I lack context that is provided somewhere.

These are as defined for the C++0x proposed standard.
We should, of course, provide explicit description.
Acquire/Release have the semantics you would expect for lock acquire and lock release: acquirers see operations performed by releasers.