Subj : Re: Memory visibility and MS Interlocked instructions
To   : comp.programming.threads
From : Alexander Terekhov
Date : Tue Aug 30 2005 12:26 am


Joe Seigh wrote:
[...]
> There is *no* mention that stores must be performed before they
> are or can be observed by other processors.  

Value prediction is perfectly OK as long as it doesn't violate the 
memory model.

http://www.cs.wisc.edu/~cain/pubs/micro01_correct_vp.pdf

regards,
alexander.

.