Subj : Re: Memory visibility with Pthreads
To   : comp.programming.threads
From : Alexander Terekhov
Date : Thu Aug 11 2005 11:35 am


David Schwartz wrote:
> 
> "Christoph Bartoschek" <bartoschek@gmx.de> wrote in message
> news:7ucqs2-3pc.ln1@barney.wesseling.pontohonk.de...
> 
> > I am confused about memory visibility with Pthreads. Especially I am not
> > sure which practices are guaranteed to be safe. What does the Pthread
> > standard assure about visibility of memory changes? What can be taken for
> > granted after some of the pthread functions have been executed?
> 
>     Certain specific functions are guaranteed to fully synchronize memory,
> such as the mutex and condition variable functions.

The standard doesn't say "fully". Certain functions merely "synchronize 
memory" and only as long as the program is data race-free. Very relaxed
memory models like RCpc are *fully* compatible with Pthreads.

regards,
alexander.

.