Pr-1st-1.1-m11-Slajd62

Algorytm wyboru ostatecznego lidera: Koncepcja

W celu implementacji mechanizmu detektora ostatecznego lidera można wykorzystać bezpośrednio uprzednio poznaną implementację ostatecznie doskonałego detektora awarii. Istotnie, wystarczające do rozwiązania problemu jest wybieranie jako lidera procesu o najwyższym identyfikatorze spośród wszystkich nie podejrzewanych przez ostatecznie doskonały detektor awarii. Ostatecznie, o ile co najmniej jeden proces jest poprawny, wszystkie procesy będą ufać dokładnie jednemu, poprawnemu procesowi. Ponieważ jednak dalej będziemy rozważać awarie powtarzalne, konieczne jest wprowadzenie dodatkowego warunku, który musi zostać spełniony przez potencjalnego lidera – liczba awarii takiego procesu powinna być najmniejsza spośród wszystkich procesów.

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