Sr-9-wyk-1.0-Slajd13
Z Studia Informatyczne
Spójność sekwencyjna – przykład
Przykład przedstawia przetwarzanie w systemie, który gwarantuje spójność sekwencyjną. Ostateczna postać obrazów historii w procesach p1 i p2 spełnia oba warunki modelu. W szczególności warto zwrócić uwagę na globalne uporządkowanie operacji zapisu: oba procesy widzą najpierw zapis wartości 1 do zmiennej x , a później wartości 2. W obrazach historii w procesie p1 występuje dodatkowo odczyt, który nie występuje w obrazie historii procesu p2 . Komunikat przesyłany z procesu p2 do p1 oznacza aktualizację danych.
