Subj : Re: double-checked locking in C
To   : comp.programming.threads
From : Alexander Terekhov
Date : Sat Jul 09 2005 04:03 pm


Peter Dimov wrote:
> 
> Alexander Terekhov wrote:
> > Laurent Deniau wrote:
> > [...]
> >> observable behavior
> >
> > Volatiles objects with standard storage duration don't have any
> > "observable behavior".
> >
> > Debuggers (and things like that... beyond the scope of the standard)
> > aside for a moment, how are you going to establish nonconformance of
> > transformation
> >
> >  int main() {
> >    volatile int foo = 1;
> >    return --foo;
> >  }
> >
> > to
> >
> >  int main() {
> >  }
> 
> Haven't we been here before? How are you going to establish the
> nonconformance of the transformation of an arbitrary program into "int
> main() {}"?

What I'm saying is that "real-world events" regarding accesses 
to volatile objects of standard storage duration (not some 
external stuff; and sig_atomic_t and longjmp() aside for a 
moment) are nonexistent. 

http://groups.google.de/group/comp.std.c/msg/43b15005632c8040
http://groups.google.de/group/comp.std.c/msg/00be82b6bb05349c

regards,
alexander.

.