[cpp-threads] RE: "Agenda" for august 23-25 concurrency meeting

[Alexander Terekhov]

On 9/2/06, Herb Sutter <hsutter at microsoft.com> wrote:
> P.S.: For the examples I just gave below, assume transitivity doesn't hold, and
> then the question: What if I used locks to protect x and y?

Then it's all fine and dandy. Lack of remote write atomicity is not an
issue if you use locks to protect x and y. To clarify (assume PC):

init:  x = y = z = 0;

P1:   x = 1; z = 1;

P2:   if ( z==1 ) y = 1;

P3:   if ( y==1 ) assert( x == 1 );

won't abort().

regards,
alexander.