Pr-1st-1.1-m13-Slajd28

Z Studia Informatyczne
Przejdź do nawigacjiPrzejdź do wyszukiwania

Hierarchiczny algorytm konsensusu podstawowego (3)

Hierarchiczny algorytm konsensusu podstawowego (3)


Monitor zapisuje propozycję procesu w zmiennej . W przypadku wykrycia awarii jakiegoś procesu jest on 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 >>