On 10/28/07, Erik Trulsson <[EMAIL PROTECTED]> wrote: > On Sun, Oct 28, 2007 at 03:03:46PM -0000, Dave Korn wrote: > > On 28 October 2007 13:32, Bart Van Assche wrote: > > > > > Requiring that all > > > thread-shared variables should be declared volatile is completely > > > unacceptable. > > > > Any variable that may be altered by an external unpredictable asynchronous > > 'force majeure' must be declared volatile or the behaviour is undefined. > > Your > > code is simply incorrect, and you appear to be demanding that the language > > standards and the compiler all be revised to make the buggy code valid. > > > Unfortunately it seems that the POSIX standard for threads say that as long > as access to a shared variable is protected by a mutex there is no need to > use 'volatile'.
Which is a very unpracticable say, as it essentially would force the compiler to assume every variable is protected by a mutex (how should it prove otherwise?) Richard.
