Subj : Re: posix and lock-free algorithms
To   : comp.programming.threads
From : David Schwartz
Date : Fri Aug 12 2005 03:05 pm


"Sean Kelly" <sean@f4.ca> wrote in message 
news:1123876657.152486.246820@o13g2000cwo.googlegroups.com...

>> It just says synchronize memory. With no caveats, that means to fully
>> synchronize all of memory.

> The caveat was "with respect to other threads."  This is fairly vague,
> but that it's there at all suggests to me that it should not be
> ignored.

    As I said, if a function is claimed to "synchronize memory" with no 
caveats, it must fully synchronize all memory with respect to another thread 
that also uses a function claimed to "synchronize memory". To make my claim 
more complete, I'm arguing:

int i=0, j=0;

Thread 1:
i=5;
f();
j=5;

Thread 2:
if(j==5)
{
 f();
 ASSERT(i==5);
}

    If this ASSERT can trip, then it would be dishonest to claim that 
function 'f' synchronizes memory.

    DS

.