Pr-1st-1.1-m13-Slajd28

Hierarchiczny algorytm konsensusu podstawowego (3)

Monitor $Q_i$ zapisuje propozycję procesu $P_i$ w zmiennej $proposa{l}_i$. W przypadku wykrycia awarii jakiegoś procesu $P_j$ jest on dołączany do zbioru $suspecte{d}_i$. 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 >>