Subj : Re: posix and lock-free algorithms
To   : comp.programming.threads
From : David Schwartz
Date : Thu Aug 11 2005 06:29 pm


"David Hopwood" <david.nospam.hopwood@blueyonder.co.uk> wrote in message 
news:sTQKe.2944$1i7.2923@fe3.news.blueyonder.co.uk...
> Alexander Terekhov wrote:
>> David Schwartz wrote:
>> [...]
>>
>>>    Why not? POSIX defines the mutex functions as sychronizing memory.
>>
>> https://www.opengroup.org/austin/mailarchives/ag/msg07705.html
>
> And https://www.opengroup.org/austin/mailarchives/ag/msg07699.html

    If there are no global memory barriers, it is impossible to synchronize 
memory. POSIX requires the mutex function to "synchronize memory". There are 
no caveats or warning words in this, so it *must* mean to fully schronize 
all of memory.

    You cannot say "I synchronize memory because I partially synchronize 
some of the memory". That would not be "synchronizing memory" full stop.

    DS

.