Pr-1st-1.1-m08-Slajd03
Z Studia Informatyczne
Przejdź do nawigacjiPrzejdź do wyszukiwania
Założenia dotyczące środowiska przetwarzania
Zostanie obecnie przedstawiona algorytm przeprowadzający konstrukcję spójnego obrazu stanu globalnego dla środowiska z kanałami FIFO.
Chandy i Lamport jako pierwsi przedstawili rozwiązanie problemu konstrukcji obrazu spójnego w środowisku rozproszonym. Ich algorytm wymaga przyjęcia kilku założeń dotyczących środowiska przetwarzania:
- niezawodne kanały zachowują uporządkowanie wiadomości (niezawodne kanały FIFO)
- stan reprezentowany jest w postaci złożenia lokalnych stanów procesów i stanów kanałów
- pełen asynchronizm komunikacji i przetwarzania
- brak zegara globalnego
