Sr-9-wyk-1.0-Slajd31
Z Studia Informatyczne
Naruszenie porządku przyczynowego
Przykład na slajdzie pokazuje realizację w systemie zachowującym spójność procesorową, w której naruszona jest jednak spójność przyczynowa. Proces p3 dokonuje na początku odczytu ze zmiennej y , której aktualizacja dociera do tego procesu jako pierwsza. Następnie docierają do tego procesu dwie aktualizacje zmiennej x , które są obserwowane kolejnymi odczytami. Okazuje się jednak, że zapis w(y)1 w procesie p2 jest przyczynowo zależny od wcześniejszych zapisów do zmiennej x realizowanych przez proces p1 . Zależność ta nie jest jednak uwzględniana przy propagacji zapisów do procesu p3 . Wskazuje to jednoznacznie na rozróżnialność spójności przyczynowej i procesorowej.
