Sr-9-wyk-1.0-Slajd25
Z Studia Informatyczne
Spójność podręczna — przykład
Slajd przedstawia przykładowe przetwarzanie w systemie zachowującym spójność podręczną. Jak ławo zauważyć operacje zapisu wykonywane na zmiennej x są widziane przez oba procesy w tej samej kolejności. Zmienna y nie wnosi tu nic nowego, ponieważ jest tylko jeden zapis. Warto jednak zwrócić uwagę na uporządkowanie wszystkich zapisów w obrazach historii przetwarzania. Widać z niego, że nie jest zachowywany porządek lokalny. Proces p2 widzi zapis do zmiennej y przez zapisem w(x)2 , odwrotnie niż proces p1 . Tym bardziej więc nie jest zachowywany porządek przyczynowy, co widać w sekwencji operacji w1(x)2 ? w1(y)1 ? r2(y)1 ? r2(x)1 .
