Pr-1st-1.1-m06-Slajd03

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ń $WFG^{C}=\left\langle {\mathcal {P}},{\mathcal {A}}\right\rangle$ (kolorowany graf WFG). Wiadomości w kanałach są tam modelowane przez odpowiednie kolory łuków.

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