Pr-1st-1.1-m09-Slajd14

Z Studia Informatyczne
Przejdź do nawigacjiPrzejdź do wyszukiwania

Zakończenie dynamiczne: definicja formalna

Zakończenie dynamiczne: definicja formalna


Przedstawioną definicję można bardziej formalnie zapisać z wykorzystaniem przedstawionych wcześniej oznaczeń w następujący sposób: przetwarzanie rozproszone jest w danej chwili w stanie zakończenia dynamicznego, gdy spełniony jest predykat:


Predykat ten oznacza, że ż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 ().

Takie sformułowanie definiującego stan zakończenia jest interesujące z praktycznego punktu widzenia, gdyż pozwala stwierdzić zakończenie przetwarzania nawet przed dotarciem wszystkich wiadomości do procesów (węzłów) docelowych. Definicja zakończenia dynamicznego uwzględnia rzeczywistą aktywność procesów wyrażoną przez zmienną oraz potencjalną aktywność wyrażoną przez predykat .

Predykat jest predykatem stabilnym.


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