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

4.4 Protokół zachłanny 73
Uzgadnianie wielowartościowe. Zanim repliki przystąpią do wykonania zlecenia
muszą tą czynność potwierdzić za pomocą wielowartościowego uzgadniania
opisanego w poprzednim rozdziale. Protokół realizujący wykonanie zleceń nadsyłanych
do grupy przez klientów jest wykonywany w następujących krokach:
1. Gdy replika i otrzyma zlecenie r c s wysyła komunikat < vote-request, r g ,
R i = r c s > σi do wszystkich replik, gdzie r g , to aktualny numer rundy,
a R i , to wektor zleceń, w tym przypadku zakładamy, że replika nie posiadała
żadnych zleceń w kolejce Q i . Gdyby okazało się, że w kolejce
są zlecenia, to powinny zostać umieszczone na początku wektora R i ,tak
by zlecenia były ułożone z rosnącym porządkiem sekwencji s rozpatrując
poszczególnych klientów (np. R i = {r 1 1 ,r 1 2 ,r 3 2 ,,...}). Warto zauważyć,
że sposób uporządkowania elementów w R i ustawia zlecenia nadane przez
tych samych klientów w jednej grupie. Takie postępowanie zapewnia brak
wystąpienia konfliktów typu zapis-zapis w obrębie jednej rundy.
2. Odebranie komunikatu < vote-request, r g , R j = r s c > σj nakłada obowiązek
rozesłania odpowiedzi przez replikę, używając komunikatu < voteresponse,
r g , R i > σi . Jeżeli r g okazałoby się nieprawidłowe, to replika
powinna odpowiedzieć komunikatem z poprawnym r g . Komunikat voteresponse
powinien zostać nadany wtedy i tylko wtedy, gdy replika wcześniej
nie wysłała własnego komunikatu vote-request dla rundy o numerze
r g . Replika otrzymawszy f +1 wiadomości z r g , różnym od własnego, ale
takim samym znaczniku, powinna wprowadzić korektę i rozesłać jeszcze
raz vote-response z poprawnym r g .
3. Zgromadzenie przez i-tą replikę 2f +1 odpowiedzi vote-response uwzględniając
siebie samą i/lub vote-request rozpoczyna fazę uzgadniania. Wektory
R j składane są przez replikę w jeden wektor R g zachowując porządek
taki sam jak w R i , który następnie jest rozgłoszony < request-ready, r g ,
R g > σi .Zebranief +1 takich samych komunikatów request-ready, może
rozpocząć fazę przetwarzania zleceń.
4. Protokół, który realizuje wykonanie każdego zlecenia składa się z trójfazowego
uzgadniania każdego wykonania:
• Pierwszym komunikatem rozsyłanym przez replikę, jest < prepare,
r g , H(R g (k)) > σi dla k-tego zlecenia w wektorze R g .
• Po odebraniu 2f +1 komunikatów prepare dla zlecenia R g (k), replika
wykonuje żądanie i wysyła komunikat < pre-commit, r g , V g (k)
> σi , który po odebraniu od 2f +1 powinien zostać potwierdzony komunikatem
< commit, r g , H(V g (k)) > σi , co ostatecznie zatwierdza
wykonanie operacji R g (k).