この出力が間違っているのはなぜですか？ - シーケンシャル一貫性

Question

私はシーケンシャルな整合性モデルを理解する方法は、間違っているとマークされた出力が有効である必要があります、何が欠けていますか？

Answer 1

我々は、我々が表示されますウィキにの表情を取る場合：

すべてのプロセッサの動作は、いくつかの順番で実行されたかのように任意の実行結果は同じです、および各個々のプロセッサの動作は、P2処理の順序はprint (x,z)ため違反するあなたの例では、そのプログラム

によって指定された順序で順に表示されます操作はy=1に先行します。