Die Art, wie ich das sequentielle Konsistenzmodell verstehe, sollte die als falsch markierte Ausgabe gültig sein, was fehlt mir? Warum ist diese Ausgabe falsch? - Sequenzielle Konsistenz
0
A
Antwort
3
Wenn wir einen Blick auf den im Wiki nehmen wir werden sehen:
das Ergebnis einer Ausführung ist das gleiche wie wenn die Vorgänge aller Prozessoren in irgendeiner Reihenfolge ausgeführt wurden und die Operationen jeden einzelnen Prozessor erscheinen in dieser Reihenfolge in der Reihenfolge durch sein Programm angegeben
in Ihrem Beispiel der Reihenfolge des P2-Prozesses seit den print (x,z)
verletzt Operation geht voraus y=1
.