Pr-1st-1.1-m06-Slajd03: Różnice pomiędzy wersjami
Z Studia Informatyczne
Przejdź do nawigacjiPrzejdź do wyszukiwania
Nie podano opisu zmian |
m Zastępowanie tekstu – „ </math>” na „</math>” |
||
| Linia 3: | Linia 3: | ||
[[Image:pr-1st-1.1-m06-Slajd03.png|Algorytm detekcji zakleszczenia w środowisku asynchronicznym (1)]] | [[Image:pr-1st-1.1-m06-Slajd03.png|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ń''' <math>WFG^C = \left \langle \mathcal{P}, \mathcal{A} \right \rangle </math> (kolorowany graf WFG). Wiadomości w kanałach są tam modelowane przez odpowiednie kolory łuków. | 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ń''' <math>WFG^C = \left \langle \mathcal{P}, \mathcal{A} \right \rangle</math> (kolorowany graf WFG). Wiadomości w kanałach są tam modelowane przez odpowiednie kolory łuków. | ||
[[pr-1st-1.1-m06-Slajd02 | << Poprzedni slajd]] | [[pr-1st-1.1-m06-toc|Spis treści ]] | [[pr-1st-1.1-m06-Slajd04 | Następny slajd >>]] | [[pr-1st-1.1-m06-Slajd02 | << Poprzedni slajd]] | [[pr-1st-1.1-m06-toc|Spis treści ]] | [[pr-1st-1.1-m06-Slajd04 | Następny slajd >>]] | ||
Aktualna wersja na dzień 10:49, 5 wrz 2023
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.
