Pytania na egzamin inżynierski (Informatyka)/Problem detekcji zakończenia

Z PUTWiki
Skocz do: nawigacji, wyszukiwania

odp.v Problem detekcji zakończenia i przykładowe algorytmy jego rozwiązania.


Nieformalnie problem detekcji zakończenia przetwarzania rozproszonego polega na sprawdzeniu, czy wszystkie procesy przetwarzania są w stanie pasywnym oraz czy żadna wiadomość będąca w kanale (transmitowana lub dostępna) nie uaktywni któregokolwiek z tych procesów

Oznaczenia dla definicji formalnych:

Zakończenie dynamiczne

Nieformalnie, przetwarzanie rozproszone jest w stanie zakończenia dynamicznego, jeżeli żaden proces składowy przetwarzania rozproszonego nie będzie już nigdy uaktywniony. Stan ten będzie utrzymywany pomimo, że pewne wiadomości są wciąż transmitowane, a pewne wiadomości są już dostępne.

Formalnie predykat:

DTerm(P) = \forall P_i :: P_i \in \mathcal{P} :: {passive_i \wedge \neg activate_i(AV_i \cup IT_i)}

Zakończenie statyczne

Formalnie predykat:

STerm(P) = \forall P_i :: P_i \in \mathcal{P} :: {passive_i \wedge IT_i = \varnothing \wedge \neg activate_i(AV_i)}

Klasyczna definicja zakończenia

CTerm(P) = \forall P_i :: P_i \in \mathcal{P} :: {passive_i \wedge IT_i = \varnothing \wedge (AV_i) = \varnothing}

Algorytmy:

Więcej szczegółów w wykładach 9 i 10 na ważniaku.

Osobiste
Przestrzenie nazw
Warianty
Działania
Nawigacja
Narzędzia