This isn't strictly true because it would make implementing a mutex in C impossible. The more detailed answer is that the C/C++ (pre-0x) don't specify a way to do this, so it's compiler and platform-dependent.
Sent from my iPhone On Jan 4, 2012, at 4:55 PM, Manfred Nowak <[email protected]> wrote: > Sean Kelly wrote: > >> to ensure a correct result. > > According to Andrei's paper, there is no ensurance of a correct > result possible. If optimizations reduce runtime, then not only MTBF > will be reduced, but some problems might turn out to be incomputable > on that "optimized machine". Nobody will know in advance which > problems that are. > > Of course: this holds only if Andrei's conclusions in his paper are > correct. > > -manfred
