Re: [boost] Re: [shared_ptr] Interlocked* - possible bug?

From: Peter Dimov (pdimov_at_[hidden])
Date: 2004-09-30 11:40:39

Alexander Terekhov wrote:
>> No, it's not; C++ behavior _is defined in terms of_ volatile (and I/O
>> calls), not the other way around.
>
> As if rule. And C++ says nothing about mutiple threads.

Nope. "As if" is defined in terms of observable behavior, and "observable 
behavior" is defined in terms of volatile and I/O.

> http://groups.google.com/groups?selm=4152B42E.2B271094%40web.de

Also nope. Volatile accesses aren't really implementation defined. ;-)

You are right about reordering, though.