Pr-1st-1.1-m13-Slajd45

Z Studia Informatyczne
Przejdź do nawigacjiPrzejdź do wyszukiwania

Hierarchiczny algorytm konsensusu jednolitego (3)

Hierarchiczny algorytm konsensusu jednolitego (3)


Monitor zapisuje propozycję procesu w zmiennej . W przypadku wykrycia awarii jakiegoś procesu , proces ten jest dołączany do zbioru . Z własności silnej dokładności doskonałego detektora awarii P wynika, że żaden poprawny proces nigdy nie będzie podejrzewany.



<< Poprzedni slajd | Spis treści | Następny slajd >>