Talk:Processor consistency

Is Example 3 really not causally consistent?

edit

The article claims that execution in Example 3 is not causally consistent. Is it so? W(x)2 in P2 is indeed caused by R(x)1 in P2, but other processors don't see them in different order. The execution would not be causally consistent if P3 or P4 observed R(x)2 R(x)1, but it would be not PC as well. Seems like @Rayman1104: also noticed it and tried to fix, but @Wandering Logic: rolled it back since the new execution failed to be cache coherent. What's the intended example? --188.170.73.110 (talk) 08:03, 2 August 2017 (UTC)Reply

Writes to same memory ___location in the same order.

edit

Processor consistency also requires that all writes to the same memory ___location are seen in the same order by all processes. So processor consistency is not weaker than causal consistency. KoRaghav (talk) 12:20, 20 February 2025 (UTC)Reply