Sr-9-wyk-1.0-Slajd8
Oznaczenia
W definicjach modeli spójności zostaną użyte wymienione na slajdzie oznaczenia. Zapisy i odczyty zostały przedstawione na poprzednim slajdzie. Zbiór wszystkich operacji w systemie, zarówno zapisy jak i odczyty, będzie oznaczany przez O . Zbiór wszystkich operacji procesu pi będzie oznaczany przez Oi . Z punktu widzenia zarządzania spójnością najważniejsze są operacje zapisu ( OW ), bo to one muszą być powielone na wszystkich serwerach. Operacje wykonane na zmiennej x będą oznaczane jako O|x .
Procesy zlecają wykonywanie operacji sekwencyjnie. Liniowy porządek operacji zlecanych przez proces pi oznaczany będzie jako ?i . Porządek przyczynowy operacji wykonywanych w systemie będzie oznaczany zwykłą strzałką ?.
Symbol ?i będzie oznaczać uporządkowanie operacji postrzeganych przez proces pi . Proces „widzi” swoje operacje, ale i również operacje innych procesów jeśli np. czyta wyniki zapisów tych procesów. Odczyt wartości zapisanej przez inny proces oznacza, że przed tym odczytem musi być zaszeregowany zapis tego procesu. Uporządkowanie operacji (uszeregowanie) postrzeganych przez poszczególne procesy może być różne, w zależności od ograniczeń nakładanych przez model spójności. Uszeregowanie określa porządek wykonywania operacji na zmiennych w konkretnym węźle.
