[cpp-threads] static locals

[Peter Dimov]

Alexander Terekhov wrote:
> On 5/31/05, Peter Dimov <pdimov at mmltd.net> wrote:
> [...]
>> Yes, you are right. I thought about "all side effects and all
>> dependencies should be visible" but this is too complicated and
>> probably doesn't buy anything. So all prior writes it is
> 
> It can be defined "as if" with respect to thread local flag and
> normal mutex (DCSI-TLS/TSD, I mean). Except that...
> 
>> (but only in the dynamic initialization case, of course).
> 
> Only in the "completed" dynamic initialization case. If it throws,
> __cxa_guard_abort() (in IA64 C++ ABI terms) may be naked (vs
> msync::rel of mutex.unlock()).

Yes, agreed.