Richard Guenther writes: > > > > This is legal POSIX threads code: counter is not accessed when we do > > not hold the mutex. According to POSIX we do not have to declare > > volatile memory that we only access when we hold a mutex. > > I hope we're not trying to support such w/o volatile counter.
I think we have to: not just for POSIX, but for the Linux kernel too. > Whatever POSIX says, this would pessimize generic code too much. We don't have to do it for non-threaded code. Andrew.
