Pr-1st-1.1-m06-Slajd03

Z Studia Informatyczne
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 >>