Subj : Re: double-checked locking in C
To   : comp.programming.threads
From : David Schwartz
Date : Sat Jul 09 2005 02:36 pm


"Peter Dimov" <pdimov@gmail.com> wrote in message 
news:daoao9$13t$1@domitilla.aioe.org...

> then we can talk about a sequence of load and store instructions. If we
> don't, we can't. For the standard to have a meaning in a particular 
> context,
> the implementation must specify what constitutes observable behavior in 
> this
> context. "Observable behavior" is the link between the formal 
> specification
> and the real world.

    In other words, the standard isn't really saying anything (unless the 
implementation provides separate guarantees), which is exactly the position 
that I take.

    DS

.