Pr-1st-1.1-m13-Slajd10

Detektory awarii a konsensus

Konsensus posiada rozwiązanie dla systemów, w których dostępne są doskonałe detektory awarii. Wystarczającym warunkiem jest dostępność detektora klasy S, a w niektórych rodzajach systemów rozproszonych nawet detektora ostatecznie słabego ($◊$W). Należy zwrócić uwagę, że jeżeli można rozwiązać konsensus z użyciem pewnego detektora awarii, to oznacza to, że detektora tego nie da się zaimplementować w pełni asynchronicznym systemie rozproszonym.

W szczególności, można rozwiązać konsensus w systemach asynchronicznych z dostępnym detektorem awarii P, lub z użyciem $◊$S pod warunkiem jednak, że większość procesów jest poprawna, tzn. dla $n$ > 2f, gdzie $n$ oznacza liczbę wszystkich procesów a f jest maksymalną liczbą procesów niepoprawnych.

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