Pr-1st-1.1-m07-Slajd34

Koncepcja konstrukcji obrazu spójnego (1)

Koncepcja wyznaczenia spójnego obrazu przy przyjętych takich założeniach jest bardzo prosta. Wystarczy, by dowolny proces monitora $Q_i$, wybrał chwilę ${\tau }_s$ na tyle odległą w przyszłości, by zagwarantować, że wiadomość wysłana w danej chwili dotrze do wszystkich procesów $Q_j$ przed ${\tau }_s$ . W celu wyznaczenia stanu kanałów, można przyjąć, że każda wiadomość zawiera etykietę czasową, określającą czas rzeczywisty wysłania wiadomości. Zakładając przy tym, że kanały są niezawodnymi kanałami typu FIFO, ideę algorytmu można przedstawić następująco:

1. Proces inicjatora $Q_{\alpha }$ wysyła do monitorów wszystkich procesów przetwarzania rozproszonego wiadomość: ,,zapamiętaj stan lokalny w chwili ${\tau }_s$”
2. Monitory $Q_i$ procesów zapamiętują stan lokalny $S_i$ odpowiadających im procesów aplikacyjnych w chwili ${\tau }_s$ i natychmiast wysyłają wiadomość kontrolną do wszystkich monitorów $Q_j\in {{𝒬}}_i^{OUT}$ (wiadomość ta jest wysyłana wszystkimi kanałami wyjściowymi). Zapamiętują też stan $L_{k,i}$ kanałów wejściowych jako zbiorów wszystkich wiadomości aplikacyjnych, które zostały wysłane przed ${\tau }_s$ a dotarły do $Q_i$ po chwili ${\tau }_s$. Zapamiętywanie stanu lokalnego oraz wysyłanie wiadomości kontrolnej poprzedza przy tym zajście jakiegokolwiek zdarzenia w procesie aplikacyjnym $P_i$, dla $\tau \ge {\tau }_s$.

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