Odporność na błędy bizantyjskie w systemach peer-to-peer - Instytut ...

4.5 Zatwierdzanie stanu 79
0
1
2
3
s 3
s 0
s 1
s 2
{s 0 , s 1 ,s 2 ,s 3 }
Rysunek 4.7: Przebieg z lokalnym zapamiętywaniem stanu przez repliki. Po
ponownym podłączeniu czwarta replika nie jest w stanie odzyskać sprawności.
czwarta będzie odświeżona? Niestety nie można tak postąpić z powodu braku
zaufania, do którejkolwiek z replik. Oczywiście replika, która uległa awarii
ufa samej sobie, dlatego stan s 3 , którym replika dysponuje jest akceptowalny
przez nią samą, jednakże nawet po odczytaniu stanu s 3 nadal będą niedostępne
zlecenia, które przeprowadzą s 3 do aktualnie obowiązującego stanu. Brakujące
zlecenia mogłyby być pobrane od repliki o numerze zero, jednak sytuacja przedstawiona
na rys. 4.7 jest tylko specyficznym przypadkiem. Mogłoby się zdarzyć,
że ostatni zatwierdzony stan przez replikę odbył się w czasie, gdy replika trzecia
uległa awarii, wtedy zleceń nie udałoby się odzyskać.
W protokole BFT pokazano, że zatwierdzanie stanu musi odbywać się w
sposób koordynowany. Częstość zatwierdzania powinna być dopasowana do
obciążenia. Zatwierdzenie stanu powinno odbywać się tak często, jak jest to
możliwe, jednak, nie na tyle często, by w znacznym stopniu obciążać usługę.
Z drugiej strony zatwierdzenie stanu nie może być za rzadkie, gdyż może to
doprowadzić do załamania usługi w przypadku awarii. Generalnie problem częstości
wykonywania migawek należałoby rozwiązać budując odpowiednie prawo
sterowania, co mogłoby stanowić osobne opracowanie i w tej pracy zostało tylko
zasygnalizowane.
Sterowanie czasem zapisu migawki. Przez pojęcie stanu usługi będziemy rozumieli
stabilną migawkę 13 obiektu oraz wszystkie zlecenia, które jeszcze nie
zostały wykonane. Nie uwzględniamy komunikatów, które znajdują się w kanałach
komunikacyjnych i nie zostały potwierdzone przez większość replik.
Możliwe są dwa podejścia wynikające z założenia, jak uwzględniamy czas
potrzebny do wykonania zapisu stanu:
1. Czas odzyskania stanu usługi jest mały w porównaniu do czasu wykonania
zleceń - migawki warto wykonywać, jak najczęściej.
13 Czyli obiekt nie będący podczas tranzycji stanu wewnętrznego (wykonania).