Pr-1st-1.1-m10-Slajd47

Twierdzenie 10.3

Twierdzenie 10.3

Jeżeli algorytm stwierdza wystąpienie zakończenia statycznego przetwarzania aplikacyjnego, to przetwarzanie aplikacyjne jest w istocie w stanie zakończenia statycznego.

Rozważmy dwa kolejne cykle detekcyjne k oraz k+1 . Załóżmy, że algorytm stwierdza zakończenie przetwarzania aplikacyjnego kończąc cykl k+1 , a więc w chwili ${\tau }_e^{k+1}$. Wówczas $sTerminationDetecte{d}_{\alpha }=True$.

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