Jump to content

Talk:Processor consistency

Page contents not supported in other languages.
From Wikipedia, the free encyclopedia
This is an old revision of this page, as edited by Qwerfjkl (bot) (talk | contribs) at 07:47, 13 August 2023 (Adding {{WikiProject banner shell}} (Task 19)). The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.

Is Example 3 really not causally consistent?

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]