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

3.3 Algorytm BFT 43
2. Replika główna p rozgłasza σp ,m>
3. Replika i rozgłasza < PREPARE, v, n, d, i> σi i czeka na 2f +1takich
komunikatów uwzględniając własny.
4. Gdy warunek z poprzedniego punku jest spełniony replika i rozsyła komunikat
< COMMIT, v, n, d, i> σi i czeka na 2f +1 takich samych
komunikatów od innych replik.
5. Gdy warunek z poprzedniego punku jest spełniony replika i wykonuje
zlecenie oraz wysyła odpowiedź do klienta c postaci < REPLY, t, i, r> σi .
Widoki. Mechanizm widoków v jest związany z wprowadzeniem odporności
na uszkodzenie repliki głównej p. Gdy replika główna nie odpowie na zlecenie
klienta, a rozgłoszone zlecenie dotrze do innej repliki, to replika która odebrała
komunikat wysyła < VIEW-CHANGE, v +1, n, C, P, i> σi . C jest zbiorem
2f +1 punktów kontrolnych potwierdzających poprawność stanu s, aP jest
zbiorem zbiorów zleceń P m przygotowanych przez i o znaczniku większym niż
n. Każdy podzbiór P m składa się z wiadomości przed-przygotowania oraz 2f
odpowiadających jej wiadomości przygotowania zgodnych co do v, n oraz m.
Nowa replika główna p po odebraniu 2f komunikatów o zmianie widoku
rozsyła wiadomość < NEW-VIEW, v +1, V, O > σp , gdzie V jest zbiorem
komunikatów zmiany widoku. Zbiór O jest wyznaczany następująco:
1. Replika główna określa dwie wartości min s - numer ostatniego stabilnego
znacznika zatwierdzenia stanu w V oraz max s , najwyższy numer zlecenia
w V.
2. Replika główna przygotowuje nowe wiadomości przed-przygotowania dla
każdego n ∈ (min s ,max s ). Mogą zaistnieć dwa przypadki: (1) istnieje
przynajmniej jeden zbiór w P gdzie wystąpił komunikat zmiany widoku
w V z numerem sekwencji n lub (2) nie ma takiego zbioru. W pierwszym
przypadku replika główna tworzy komunikat < PRE-PREPARE, v +1,
n, d> σp , gdzie d jest skrótem zlecenia o największej sekwencji n w
V. W przeciwnym razie replika główna konstruuje komunikat < PRE-
PREPARE, v+1, n, d null > σp , gdzie d null jest skrótem specjalnego pustego
zlecenia null, które jest obsługiwane przez repliki w taki sam sposób, jak
inne zlecenia, ale nie zmienia stanu. Ta technika ma na celu usunięcie
ewentualnych luk.
Jeżeli min s jest większe od ostatniego stabilnego stanu dla p, top zapamiętuje
dowód stabilności dla min s . Repliki zapasowe wykonują zlecenia nadesłane
przez nową replikę główną dla sekwencji pomiędzy min s oraz max s ,alewysyłają
tylko te odpowiedzi do klientów, które nie zostały im przesłane.