Sr-3-wyk-1.0-Slajd36
Z Studia Informatyczne
Algorytm Czasowy-Atomowy-RB
W powyższym algorytmie wiadomość jest dostarczana w chwili ts(m )+?, czyli w chwili o ? późniejszej od wartości stempla czasowego wiadomości.
Algorytm zachowuje całkowite uporządkowanie wiadomości, ponieważ można uszeregować liniowo stemple czasowe wszystkich otrzymywanych wiadomości i w każdym procesie uszeregowanie to będzie jednakowe. Dodanie do stempli czasowych stałej ? pozostawi to uszeregowanie bez zmian.
Algorytm nie gwarantuje jednak zachowania uporządkowania przyczynowego. Wykonanie przykładu ilustrującego ten fakt jest pozostawione Studentowi jako ćwiczenie.