Sr-3-wyk-1.0-Slajd31
Rozgłaszanie przyczynowe – przykłady
Na rysunku a) pokazano przykład dostarczenia przez proces p dwóch wiadomości, m i m ’. Ponieważ wysłanie wiadomości m ’ następuje w procesie r po zdarzeniu odebrania wiadomości m , więc zgodnie definicją porządku przyczynowego (warunek 1) wiadomość m ’ jest przyczynowo zależna od m i jako taka powinna być dostarczona w każdym procesie później niż wiadomość m . Proces p właśnie tak dostarcza wiadomości m i m ’, dzięki czemu porządek przyczynowy zostaje zachowany.
Na rysunku b) zaś widać przykład złamania porządku przyczynowego. Wiadomość m ’ zależna przyczynowo od m została dostarczona w procesie p przed wiadomością m ; porządek przyczynowy został tutaj złamany.
Ze względu na to, że własność uporządkowania przyczynowego jest ściśle silniejsza niż własność uporządkowania FIFO, zachowanie porządku przyczynowego implikuje zachowanie porządku FIFO.
O wiadomościach, pomiędzy którymi nie zachodzi zależność przyczynowa mówi się, że są przyczynowo niezależne . Wiadomości przyczynowo niezależne mogą być dostarczone w dowolnej kolejności, a co za tym idzie – różne procesy mogą dostarczyć dwie (lub więcej) niezależne przyczynowo wiadomości w różnej kolejności. Wykonanie przykładu ilustrującego to pozostawia się Studentowi jako ćwiczenie.
