[cpp-threads] Another strawman memory model proposal

[Nelson, Clark]

> The statement means: there exists a point in the execution 
> sequence such that all side effects of A are complete and none
> of the side effects of B 
> have taken place. Exactly what the standard says. I don't see 
> why you need to rephrase it; it's clear enough to me.

Of course this statement is subject to the as-if rule. If it instead
talked about "observable behavior", it would be correct absolutely.

-- 
Clark Nelson		Vice chair, J16 (ANSI C++ standard committee)
Intel Corporation
clark.nelson at intel.com