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

More documents

Recommendations

Info

28 Rozdział 2. Architektury systemów peer-to-peer Pastry, b=2 v = 0112 0 00 01 02 03 0 1 2 3 2 n - 1 Rysunek 2.4: Wskazania tablicy routingu węzła v na różne framgenty przestrzeni adresowej w systemie Pastry dla n =8i b =2. wierszy oraz 2 b kolumn. W wierszu r gromadzi się adresy węzłów, których identyfikator ma r wspólnych słów o długości b z identyfikatorem v. Kolumna c ∈{0, ..., 2 b − 1} zawiera identyfikatory z r +1 słowem równym c. Na rysunku 2.4 umieszczono ilustrację wskazań tablicy routingu dla hipotetycznego systemu Pastry. Charakterystyczne jest, że w Pastry liczba połączeń w sąsiedztwie węzła rośnie, natomiast w kierunkach dalszych połączeń jest znacznie mniej. Trzecia tablica nosi nazwę tablicy sąsiadów neighbour set. Sąsiadami oznaczone są te węzły, które bliskie są węzłowi v używając innej metryki niż tej określonej na przestrzeni identyfikatorów. Na przykład miarą stosowaną dla tablicy sąsiedztwa może być odległość w sensie czasu przesyłania komunikatu. Tablica sąsiadów ma na celu przyspieszenie przesyłania komunikatów wykorzystując rzeczywiste położenie węzłów w sieci fizycznej. 2.3.1 Algorytm routingu W ustrukturalizowanych systemach peer-to-peer komunikaty zawsze wędrują poprzez kilka węzłów. Budzi to uzasadnione obawy, gdyż możemy łatwo wyznaczyć prawdopodobieństwo p tego, że komunikat zostanie poprawnie dostarczony, gdy f-ta część węzłów nie działa prawidłowo. Wyraz na prawdopodobieństwo przyjmuje postać p =(1−f) h , gdzie h oznacza liczbę skoków (hops) jakie musi wykonać komunikat, by dotrzeć do celu. Jeżeli operujemy w systemie ustrukturalizowanym, gdzie maksymalna liczba skoków często wyrażana jest przez a · log 2 bN, gdzie a oraz b to parametry, a N to liczba węzłów uczestniczących w komunikacji, to p =(1− f) a·log 2 bN . Czyli już dla N =10 6 i b =4, p może być dosyć małe nawet przy niewielkim f. Rozwiązanie tego problemu wymaga zastosowania technik bezpiecznego trasowania oraz proaktywnego usuwania niepoprawnie działających węzłów.
2.3 Architektura systemów Chord i Pastry 29 Routing w Pastry. Niech L oznacza zbiór liści, R tablicę routingu, N zbiór sąsiadów, d identyfikator węzła docelowego, l ∈ L identyfikatory węzła należącego do zbioru liści, p(a, b) wspólną długość w znakach współdzieloną między identyfikatorem a i b, R j i , wpis w tablicy routingu dla kolumny i oraz wiersza j, d(k) będzie k-tym znakiem w identyfikatorze k. Każdy węzeł a odbierając komunikat zaadresowany do d wykonuje następujące kroki: Jeżeli d ∈ L, to przekaż d do arg min l∈L |d − l| Niech k = p(a, d). Jeżeli R k d(k) nie jest puste, to przekaż komunikat do R k d(k) , w przeciwnym razie przekaż komunikat do węzła t ∈ L ∪ R ∪ N dla, którego spełnione jest p(t, d) ≥ k i |t − d| < |a − d| Jeżeli adresat należy do zbioru liści, to komunikat zostanie przekazany do węzła, którego id jest najbliższe względem celu. Gdy adresat jest spoza zakresu węzłów należących do zbioru liści, to przeglądana jest tablica routingu i wybierany jest wpis, w którym identyfikator jest najbardziej zgodny przedrostkiem z celem, o ile takowy istnieje. W innym przypadku przeszukiwane są wszelkie dostępne zbiory identyfikatorów i jako kolejny skok wybierany jest taki węzeł, którego cześć wspólna przedrostka identyfikatora zgodna jest przynajmniej tak dobrze jak węzła, który odebrał komunikat, a odległość od celu określona używając miary euklidesowej jest mniejsza. 2.3.2 Przyłączanie do systemu Zilustruję działanie routingu w ustrukturalizowanych sieciach peer-to-peer na przykładzie przyłączania więzła o identyfikatorze ′ x ′ − 1330 do systemu miniPastry. Różnica między miniPastry, a Pastry polega na tym, że przestrzeń identyfikatorów została ograniczona do 2 7 −1. Identyfikatory mogą przyjmować postać znaków w kodowaniu ASCII, stąd id węzła oznaczono ′ x ′ , czyli 1330 w zapisie czwórkowym. Na rysunku 2.5 znajduje się tablica trasowań dla węzła ′ W ′ . Dla przypomnienia tablica trasowań w Pastry podzielona jest na trzy części, pierwsza część gromadzi adresy z bezpośredniego otoczenia, druga część zbiera adresy w różnych podprzestrzeniach pierścienia (w i-tym wierszu znajdują się adresy zgodne co do i słów z adresem węzła, dla którego jest tablica, w j-tej kolumnie znajduje się adres z j tym słowem zgodnym, i oraz j numerowane są od zera), a trzecia przechowuje wskazania na węzły będące w sąsiedztwie np. względem metryki. Niech długość słowa w adresie wynosi b =2(stąd zapis czwórkowy).
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 27: 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 78 and 79:
78 Rozdział 4. Tolerowanie bizanty
Page 80 and 81:
Page 82 and 83:
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:
Page 102 and 103:
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 ...