Subj : Re: [.NET] Volatile Fields [correction]
To   : comp.programming.threads
From : Chris Thomasson
Date : Mon Sep 19 2005 11:35 am

> This should do it for x86:
>
> Processor 1:  Y = 1; L = 1;
> Processor 2:  if (L == 1) { Z = 1; L = 2; }
> Processor 3:  if (L == 2) { assert(Y == 1); }

actually the following should never assert:

assert( Y == 1 && Z == 1 );

Any thoughts?

.