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

80 Rozdział 4. Tolerowanie bizantyjskich uszkodzeń
35
12
11
30
10
25
20
9
8
7
6
15
0 100 200 300 400 500 600 700 800 900 1000 1100
5
0 100 200 300 400 500 600 700 800 900 1000 1100
Rysunek 4.8: Sterowanie częstością zapisu stanu (prawa strona) dla zmieniającego
się czasu wykonania usługi (lewa strona) (L max = 100, t=20, δ =0.5).
2. Czas wykonania zleceń jest mały w porównaniu do czasu odzyskania usługi
stanu - migawki należy wykonywać w momencie zapełnienia dziennika,
najrzadziej jak to jest możliwe.
Przeanalizuję sytuację drugą, gdyż dla pierwszego przypadku opłaca się archiwizować
dane dowolnie często. T będzie oznaczało ostatni okres wykonania
migawki. Niech t T oznacza średni czas wykonania rundy od ostatniej migawki,
natomiast l T średnią długość dziennika, który powstaje podczas wykonania rund
od ostatniej migawki. Odpowiednio definiujemy wartości średnie za okres równy
2T - t 2T , l 2T . Nowy wyznaczony okres między zapisami migawki oznaczymy
T ,natomiastT max = Lmax− l T
l T
, maksymalny okres wynikający z rozmiaru dziennika.
Wyznaczenie okresu kolejnej migawki T ′ będzie przebiegało z wykorzystaniem
prostej formuły:
T ′ = δ
(
tT
t 2T
l T
l 2T
) −1
T max
Początkowa wartości T ′ , dla której rozpoczyna się działanie, powinna być
taka, by nie przekroczyć dozwolonej długości dziennika. Parametr δ ∈〈0, 1〉
jest odpowiedzialny za dodatkową regulację wartości T i powinien być wyprowadzony
w zależności od t max ,t min ,l max ,l min oraz t T ,l T . Dodatkowo należy
wprowadzić „bezpiecznik”, który będzie pilnował, żeby rozmiar dziennika nie
został przekroczony:
T ′ =min{T ′ ,T max }
Formuła, która wyznacza T ′ jest bardzo prostym prawem sterowania. Oczywiście
taki sposób zarządzania dziennikiem wyda się trywialny dla kogoś, kto
zna dobrze zagadnienia sterowania, jednak z praktycznego punktu widzenia to
podejście jest wystarczające, jeżeli tylko czasy wykonania rundy oraz długość
dziennika nie zmieniają się zbyt gwałtownie.
Na rysunkach 4.8 oraz 4.9 pokazano przykład sterowania dla zmieniającego
się czasu wykonania rundy. Sterowanie wskazuje co ile kroków należy wykonać
zapis stanu usługi. Rysunek 4.9 zawiera wyznaczone sterowanie dla losowo