OdpornoÅÄ na bÅÄdy bizantyjskie w systemach peer-to-peer - Instytut ...

More documents

Recommendations

Info

102 Dodatek A. Elementy teorii grafów chołek jest incydentny do innego wierzchołka wtedy i tylko wtedy, gdy jakaś część etykiety obu wierzchołków zachodzi na siebie sufiksem lub prefiksem. Na przykład wierzchołek 000 jest incydentny do wierzchołków: 010, 001, 011. Szczególnie ciekawe jest, jak odbywa się wyszukiwanie drogi w takim grafie. Załóżmy, że interesuje nas droga z wierzchołka 000 do 111. Konstrukcja przebiega w następujący sposób. Wybieramy taki wierzchołek z wierzchołków incydentnych do 000, który jest najbardziej zgodny z celem, czyli 011. Następny wierzchołek, który wybierzemy to cel, czyli 111. Całkowitą drogę możemy zapisać w postaci 000111, która jest równa dwóm długościom adresu, co wyznacza ilości kroków, jakie musi pokonać komunikat, by dotrzeć do celu.
Dodatek B Uzgadnianie w asynchronicznym systemie Przedstawię szkic dowodu twierdzenia o niemożliwości uzgodnienia wartości w całkowicie asynchronicznym systemie nawet wtedy, gdy w grupie jest tylko jeden niepoprawnie działający proces 1 . Pozwoli to zrozumieć dlaczego przedstawione algorytmy tolerancji bizantyjskich uszkodzeń używają synchroniczności, by osiągnąć zamierzony cel, jak również jest dobrym wprowadzeniem do zagadnienia praktycznego uzgadniania w systemach tolerujących uszkodzenia. B.1 Brak konsensusu i asynchroniczność Założenia i lematy. Niech P oznacza protokół uzgadniania w asynchronicznym systemie z N procesami (N ≥ 2). Każdy z procesów p posiada dwa rejestry x p ,y p mogące przechowywać jedną z wartości v ∈{b, 0, 1}, gdzie b oznacza wartość nieustaloną. Rejestr x p jest rejestrem początkowym, natomiast y p jest rejestrem wyjściowym, który początkowo inicjowany jest wartością b. Gdy p ustala wartość y p jego stan ustalany jest, jako zatwierdzony. Procesy działają w sposób deterministyczny zgodnie z pewną funkcją przejścia. Jako wiadomość, będziemy rozumieli parę (p, m), gdzie m ∈ M, gdzie M jest skończonym zbiorem elementów, a p oznacza adresata wiadomości. Każdy z procesów posiada bufor wiadomości, który udostępnia dwie operacje: wyślij(p,m) umieszcza w buforze procesu p wiadomość m. odbierz(p) usuwa wiadomość (p, m) z bufora wołającego procesu lub zwraca φ jeżeli wiadomość nie znajduje się w buforze. Wiadomość (p, m) uznawana jest jako dostarczona po wykonaniu operacji odbierz(p). 1 Szczegóły zainteresowany czytelnik znajdzie w artykule Fischera [FLP85]
Page 1:
Politechnika Warszawska Wydział El
Page 4 and 5:
4 SPIS TREŚCI 3.4 Algorytm SC-ABC
Page 6 and 7:
6 Rozdział 1. Wprowadzenie tyjskic
Page 8 and 9:
8 Rozdział 1. Wprowadzenie • Bez
Page 10 and 11:
10 Rozdział 1. Wprowadzenie torren
Page 12 and 13:
12 Rozdział 1. Wprowadzenie Zalety
Page 14 and 15:
14 Rozdział 1. Wprowadzenie Proxy
Page 17 and 18:
Rozdział 2 Architektury systemów
Page 19 and 20:
19 Overlay level A B C TCP TCP TCP
Page 21 and 22:
2.2 Ustrukturalizowane systemy peer
Page 23 and 24:
Page 25 and 26:
Page 27 and 28:
2.3 Architektura systemów Chord i
Page 29 and 30:
2.3 Architektura systemów Chord i
Page 31 and 32:
2.4 Bezpieczeństwo w systemach pee
Page 33 and 34:
2.4 Bezpieczeństwo w systemach pee
Page 35 and 36:
Rozdział 3 Bezpieczne bizantyjskie
Page 37 and 38:
3.1 Problem bizantyjskich generał
Page 39 and 40:
3.2 Replikacja z uwzględnieniem b
Page 41 and 42:
3.3 Algorytm BFT 41 C 0 1 2 pre-pre
Page 43 and 44:
3.3 Algorytm BFT 43 2. Replika gł
Page 45 and 46:
3.3 Algorytm BFT 45 3.3.4 Proaktywn
Page 47 and 48:
3.4 Algorytm SC-ABC 47 pracy nie za
Page 49 and 50:
3.4 Algorytm SC-ABC 49 Rysunek 3.3:
Page 51 and 52: 3.4 Algorytm SC-ABC 51 Secure Causa
Page 53 and 54: 3.4 Algorytm SC-ABC 53 będzie pode
Page 55 and 56: 3.5 Podsumowanie 55 3.5 Podsumowani
Page 57 and 58: 3.5 Podsumowanie 57 Protokół 3.5.
Page 59: 3.5 Podsumowanie 59 Protokół 3.5.
Page 62 and 63: 62 Rozdział 4. Tolerowanie bizanty
Page 85 and 86: Rozdział 5 Projekt systemu Pastor
Page 87 and 88: 5.1 Projekt systemu 87 wykonaniem k
Page 89 and 90: 5.1 Projekt systemu 89 5.1.3 Postar
Page 91 and 92: 5.1 Projekt systemu 91 4 MyPastCont
Page 93 and 94: 5.1 Projekt systemu 93 wydajność,
Page 95: 5.2 Podsumowanie 95 wchodzą w skł
Page 98 and 99: 98 Dodatek A. Elementy teorii graf
Page 100 and 101: 100 Dodatek A. Elementy teorii graf
Page 104 and 105: 104 Dodatek B. Uzgadnianie w asynch
Page 106 and 107: 106 Dodatek B. Uzgadnianie w asynch
Page 109 and 110: Bibliografia [ADS02] [CC] J. Aspnes
Page 111 and 112: BIBLIOGRAFIA 111 [DZDS03] [FLP85] [
Page 113: BIBLIOGRAFIA 113 [Sho00] Victor Sho
show all

OdpornoÅÄ na bÅÄdy bizantyjskie w systemach peer-to-peer - Instytut ...

Create successful ePaper yourself

Delete template?

Save as template?

OdpornoÅÄ na bÅÄdy bizantyjskie w systemach peer-to-peer - Instytut ...