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

4.4 Protokół zachłanny 69
(a)
(b)
(c)
Rysunek 4.3: Operacja utworzenia kopii obiektu z uwzględnieniem niepoprawnie
działających replik, f = 1. (a) Klient wykonuje jedną kopię, która zostaje
zniszczona. (b) Klient wykonuje 2f +1kopii, jedna replika nie odpowiada. (c)
Klient wykonuje jedną kopię, która zostaje wysłana do innych replik. Klient
czeka na 2f +1odpowiedzi.
musi odbyć się z zachowaniem kolejności napływających operacji. Dalsze wywołania
dotyczące usuniętego obiektu nie mogą być już dalej obsługiwane.
4.4 Protokół zachłanny
W tym paragrafie zostanie opisany protokół zachłanny, który realizuje pełną replikację
usługi, odporną na błędy bizantyjskie. Protokół gwarantuje poprawność
tak długo, jak tylko liczba replik działających w sposób bizantyjski nie przekracza
f podczas wykonania.
Inicjacja grupy replik 7 . Zakładamy, że replika może zostać zaproszona do
grupy replikującej lub sama zaprosić inne węzły do grupy tworzonej przez siebie
samą, natomiast nie może sama przyłączyć się do którejś z grup. Skąd bierze
się takie ograniczenie? Po podłączeniu do systemu węzeł może być „bezrobotny”
w tym sensie, że nie należy do żadnej grupy replik i nikt jeszcze nie wysłał do
7 Zarówno w SC-ABC, jak i BFT nie opisano, w jaki sposób grupa replik powinna zostać
utworzona zostawiając to zagadnienie do rozpatrzenia przez projektantów systemów pod kątem
konkretnego zastosowania. Tworzenie grupy replik określa się często fazą rozdania (ang. deal
phase).