Sr-9-wyk-1.0-Slajd7
Podstawowe założenia
Rozważamy system składający się z n procesów, każdy pracujący na oddzielnym węźle. Procesy odwołują się do pamięci zorganizowanej w postaci zmiennych, współdzielonych przez wszystkie procesy. Dla uproszczenia rozważań zakładamy, że w systemie stosowana jest pełna replikacja, co oznacza, że każdy węzeł posiada pełną kopię całego zbioru zmiennych współdzielonych. Założenie to nie zmniejsza ogólności rozważań, bo nie wpływa na definicję modelu spójności, a jedynie na organizację rozproszonej pamięci.
Operacje realizowane na zmiennych współdzielonych są bądź odczytami bądź zapisami. Odczyt wartości v ze zmiennej x realizowany przez proces pi oznaczany będzie jako ri(x)v . Zapis wartości v do zmiennej x realizowany przez proces pi oznaczany będzie jako wi(x)v . Jeżeli kontekst stosowania wymienionych oznaczeń będzie jednoznaczny, to indeksy identyfikujące procesy zostaną pominięte.
Operacja odczytu bądź zapisu nie jest operacją atomową. Jest to szczególnie wyraziste w systemie rozproszonym, gdzie wykonanie operacji może oznaczać potrzebę komunikacji. W związku z tym w niektórych przypadkach będziemy rozważać jawne rozpoczęcie wykonywania operacji (zgłoszenie jej przez proces) i zakończenie wykonywania operacji (zwrócenie wyniku do procesu).
