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?
Boost list run by bdawes at acm.org, gregod at cs.rpi.edu, cpdaniel at pacbell.net, john at johnmaddock.co.uk