Subj : Re: double-checked locking in C
To   : comp.programming.threads
From : Alexander Terekhov
Date : Fri Jul 08 2005 01:33 pm


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() { 
  } 

<?> 

regards, 
alexander.

.