Pr-1st-1.1-m06-Slajd03

Z Studia Informatyczne
Wersja z dnia 15:55, 7 wrz 2006 autorstwa Szopen (dyskusja | edycje)
(różn.) ← poprzednia wersja | przejdź do aktualnej wersji (różn.) | następna wersja → (różn.)
Przejdź do nawigacjiPrzejdź do wyszukiwania

Algorytm detekcji zakleszczenia w środowisku asynchronicznym (1)

Algorytm detekcji zakleszczenia w środowisku asynchronicznym (1)

Załóżmy teraz, że w rozważanym środowisku rozproszonym czas transmisji w niezawodnych kanałach FIFO jest skończony ale nieznany. Wyznaczenie stanu globalnego takiego systemu musi zatem uwzględnić stany kanałów. Przyjmując, tak jak poprzednio, że aplikacyjne przetwarzanie rozproszone stosuje wiadomości typu REQUEST, GRANT i CANCEL, stan globalny można przedstawić jako kolorowany graf oczekiwanych potwierdzeń (kolorowany graf WFG). Wiadomości w kanałach są tam modelowane przez odpowiednie kolory łuków.


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