Sr-9-wyk-1.0-Slajd9
Definicja porządku przyczynowego
Model spójności przyczynowej odwołuje się do definicji porządku przyczynowego. Porządek przyczynowy jest z kolei definiowany wymienionymi 3 warunkami. Po pierwsze: lokalne uporządkowanie operacji wykonywanych przez poszczególne procesy jest zachowywane przez porządek przyczynowy. Po drugie: jeżeli w jednym procesie następuje odczyt r(x)v , to oznacza, że zapis, który wprowadził do zmiennej x wartość v , czyli w(x)v musi poprzedzać ten odczyt w porządku przyczynowym. Co ważne: nie jest istotne na jakim węźle wykonywane są operacje odczytu i zapisu, a więc mogą być realizowane na różnych węzłach. Odczyt wartości zapisanej na innym węźle jest możliwy, jeżeli protokół aktualizacji danych prześle w międzyczasie komunikat aktualizujący. Ostatni warunek porządku przyczynowego jest domknięciem przechodnim relacji, mówiącym, że jeżeli operacja o1 poprzedza przyczynowo jakąś operację o , a operacja o poprzedza przyczynowo o2 , to wtedy o1 poprzedza przyczynowo o2 .
