Pr-1st-1.1-m08-Slajd20

Algorytm Lai-Yang: Koncepcja (2)

Wyróżnione pakiety ze znacznikiem przechwytywane są przez monitor $Q_{j}$ odbiorcy i powodują najpierw zapamiętanie stanu procesu $P_{j}$, a dopiero wnastępnej kolejności przekazanie wiadomości aplikacyjnej procesowi $P_{j}$.

Żadna z wiadomości wysłanych przez $P_{i}$ do $P_{j}$ po zapamiętaniu stanu procesu $P_{i}$, nie zostanie odebrana przez $P_{j}$ przed zapamiętaniem jego stanu. Oznacza to dalej, że spełniona będzie relacja:

$inLog_{i,j}(\tau _{j})\subseteq outLog_{i,j}(\tau _{i})$

która gwarantuje spójność konstruowanego obrazu stanu globalnego przetwarzania rozproszonego.

Przypisanie odpowiedniego koloru pakietowi oznacza:

• White – pakiet bez znacznika
• Red – dołączenie znacznika do wiadomości

Analogicznie, kolory przypisane są procesom (monitorom):

• White – proces nie zapamiętał jeszcze stanu
• Red – stan procesu został już zapamiętany

Ogólna idea algorytmu jest następująca:

1. Każdy proces jest postrzegany przez monitor początkowo jako White, amonitor zmienia jego kolor na Red po zapamiętaniu stanu procesu.
2. Każdej wiadomości wysłanej przez proces koloru White przypisany jest kolor White, a każdej wysłanej przez proces Red – kolor Red.
3. Stan procesu koloru White można zapamiętać w dowolnej chwili, lecz koniecznie przed odebraniem wiadomości koloru Red.

<< Poprzedni slajd | Spis treści | Następny slajd >>