Pr-1st-1.1-m13-Slajd45

Hierarchiczny algorytm konsensusu jednolitego (3)

Monitor $Q_i$ zapisuje propozycję procesu $P_i$ w zmiennej $proposa{l}_i$. W przypadku wykrycia awarii jakiegoś procesu $P_j$, proces ten jest 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 >>