From: David Abrahams (abrahams_at_[hidden])
Date: 2000-06-08 07:30:09
----- Original Message -----
From: "John Maddock" <John_Maddock_at_[hidden]>
> The problem is that unless the compiler knows that a lock is in some way
> "special", it can not know that the lock has an effect on observable
> behaviour - my point was to try and show that we can "trick" a compiler
> that knows nothing about threads into behaving the right way by defining
> the lock methods as being externals - even now we are relying on the
> compiler not performing some kind of global analysis.
Excuse me, but isn't that what "volatile" is supposed to be for?