Was ist Speicherkonsistenzmodell?

Der Vertrag, der festlegt, in welcher Reihenfolge Lese- und Schreibzugriffe eines Kerns auf mehrere Adressen von anderen Kernen beobachtet werden dürfen. Beispiele sind sequentielle Konsistenz, x86-TSO und die schwachen Modelle von Arm und RISC-V.

Japanische Bezeichnung: メモリ一貫性モデル