Sr-9-wyk-1.0-Slajd37
Spójność zwalniania — przykład
Rysunek pokazuje przykładowe przetwarzanie w systemie stosującym spójność zwalniania. Odczyty realizowane przez proces p2 przed operacją acquire zwracają wartości początkowe dla zmiennych x i y , gdyż protokół aktualizuje dane tylko podczas wykonywania operacji synchronizujących. Proces p2 wykonuje operację acquire na zamku, który wcześniej zajmowany był przez proces p1 , co powoduje przesłanie aktualizacji z p1 do p2 . Dzięki temu kolejne odczyty, zarówno zmiennej x jak i y odzwierciedlają modyfikacje dokonane przez proces p1 . Jeżeli stosowany jest protokół unieważniania, to odwołanie do strony, gdzie znajduje się zmienna x lub zmienna y spowoduje pobranie aktualnej wersji tej strony z węzła p1 .
Podsumowując: węzeł, który zwalnia blokadę przekazuje węzłowi, który przejmuje blokadę informacje o wszystkich modyfikacjach, których węzeł docelowy nie zna. Do reprezentacji historii przetwarzania i wydzielania fragmentów historii nieznanych innym węzłom stosuje się wektorowe etykiety czasowe.
Operacje synchronizujące mogą być wykonywane współbieżnie na wielu serwerach, ponieważ istnieje wiele zamków.
