Subj : Re: Formal Mutex Semantics
To   : comp.programming.threads
From : Alexander Terekhov
Date : Tue Aug 16 2005 06:32 pm


Maciej Sobczak wrote:
[...]
> In that relaxed model, stores made outside any locks would have
> absolutely no guarantee with regard to their visibility in other threads.

That relaxed model is known as *entry* {release} consistency. It 
requires that data be explicitly associated with the locks that 
synchronize the data access, and it is *incompatible* with pthreads.

> 
> >> Related question: what does POSIX guarantee for this example?
> >
> > Posix though it best not to confuse you by trying to define anything.
> 
> No jokes please. If I'm writing programs using pthreads then I should be
> able to reason about them, no?

In theory or in practice? ;-)

regards,
alexander.

.