Sr-9-wyk-1.0-Slajd29
Z Studia Informatyczne
Spójność procesorowa — przykład
Rysunek przedstawia przykładowe wykonanie w systemie zachowującym spójność procesorową. Jak widać z rysunku w obrazach historii obu procesów zapisy do zmiennej x widziane są w tej samej kolejności. Uporządkowanie zleceń z poszczególnych procesów również jest zachowane. Nie oznacza to jednak, że istnieje jeden, globalny porządek wykonywania operacji zapisu (co oznaczałoby efektywnie, że spełnione są wymagania modelu sekwencyjnego). Zapisy w(x)1 i w(y)1 występują w obrazach historii procesów w odwrotnej kolejności.
