Andrew Haley <[EMAIL PROTECTED]> writes:

> The problem is code like this:
> 
> int counter;
> 
> ...
> 
>   if (we_hold_counters_mutex)
>     counter++;
> 
> 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.

Where does POSIX say that?

Ian

Reply via email to