Subj : Re: double-checked locking in C
To   : comp.programming.threads
From : David Schwartz
Date : Thu Jul 07 2005 02:38 pm


"Laurent Deniau" <Laurent.Deniau@cern.ch> wrote in message 
news:42CD77A5.80601@cern.ch...

> Volatile forbids reordering so reodering is not an issue. Visibility is 
> one since it does not exist in the C norm.

    Volatile does not forbid reordering. You are misunderstanding what the C 
standard means when it says "reordering". It certainly, for example, does 
not mean that bus transactions to memory occur in the specified order, 
because the C standard does not even assume that there is such a bus.

    DS

.