Sr-9-wyk-1.0-Slajd42
Z Studia Informatyczne
Przejdź do nawigacjiPrzejdź do wyszukiwania
Własność lokalności — przykład (1)
Przykład na slajdzie (prezentowany dalej na kolejnych dwóch slajdach) ma na celu zaprezentowanie, że spójność sekwencyjna nie ma własności lokalności. W przykładzie proces p1 dokonuje zapisów do 4 zmiennych: x1 , x2 , y1 i y2 . Proces p2 jedynie czyta te zmienne. Jak łatwo zauważyć obraz historii przetwarzania w procesie p2 zawiera inną kolejność operacji zapisu do zmiennych x2 i y1 niż obraz w procesie p1 . Nie jest zachowana więc spójność sekwencyjna. Pomimo, że... (nast. slajd)
