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

4.2 Założenia projektowe 65
• Poczta elektroniczna (wielu piszących, jeden czytający). Obiektem jest
skrzynka pocztowa. Wystarczy, że dostęp do skrzynki będzie realizowany z
zachowaniem rozłączności operacji wykonywanych przez różnych klientów
(operacje nie przeplatają się). Nie istnieje operacja modyfikacji uprzednio
wysłanych wiadomości.
• Usługa nazewnicza (jeden piszący, wielu czytających). Obiektem jest pojedynczy
rekord < nazwa, adres >. W tym przypadku, występuje tylko
jeden piszący i w zasadzie nie trzeba się zbytnio przejmować spójnością
danych, za wyjątkiem takich zastosowań, które wymagają bezwzględnej
poprawności i świeżości odczytywanych danych.
• Komunikacja natychmiastowa (ang. instant messaging) (jeden piszący,
jeden czytający). Obiektem jest komunikacyjny bufor wiadomości. To
zastosowanie jest bezpośrednim odzwierciedleniem problemu producentkonsument.
W tym przypadku, ważne jest, by operacje odczytu zwracały
wiadomości zgodnie z ich kolejnością napływania.
• Obliczenia i koordynacja rozproszona (wielu piszących, wielu czytających).
Obiekt jest elementem obliczeniowym lub semaforem. W tym
przypadku kolejność wykonywanych obliczeń ma zasadnicze znaczenie i
ważne jest zagwarantowanie przynajmniej deterministycznego zachowania
usługi, tzn. ta sama sekwencja operacji zlecona przez wielu klientów
zwróci taki sam wynik końcowy przy takim samym stanie początkowym
usługi.
Przytoczone przykłady rzeczywistych zastosowań usprawiedliwiają realizację
słabszego typu spójności niż spójność sekwencyjna, czy nawet liniowa. Wydaje
się, że sprostanie warunkom stawianym przez rzeczywiste zastosowania wymaga
zapewnienia spójności przyczynowej (ang. causal consistency) 5 , chociaż w systemie
peer-to-peer będzie to trudne do zapewnienia.
Niezawodne rozgłaszanie. Protokół uzgadniania wymaga użycia niezawodnego
rozgłaszana podczas wysyłania komunikatów do członków grupy. Dlaczego? W
momencie otrzymania zlecenia od klienta replika powinna rozesłać zlecenie do
wszystkich pozostałych replik, a następnie czekać na nadejście odpowiedzi. Gdy
nie ma gwarancji na dostarczenie komunikatu do wszystkich działających replik,
nadawca nie ma pewności, czy wszystkie poprawnie działające repliki otrzymały
komunikat. Może okazać się, że podczas rozgłaszania, któraś z replik się odłączyła,
nadawca uległ awarii lub zakończył działanie. Niezawodne rozgłaszanie
daje grupie wiedzę na temat jej aktualnego składu, czyli repliki mogą decydować
5 Operacje wpływające na siebie, powinny zachować porządek wykonania.