Pr-1st-1.1-m11-Slajd26

Z Studia Informatyczne
Wersja z dnia 16:07, 7 wrz 2006 autorstwa Szopen (dyskusja | edycje)
(różn.) ← poprzednia wersja | przejdź do aktualnej wersji (różn.) | następna wersja → (różn.)
Przejdź do nawigacjiPrzejdź do wyszukiwania

Wzorzec awarii

Wzorzec awarii

Chandra i Toueg wprowadzili pojęcie zawodnego detektora awarii, jako dostępnego dla programisty mechanizmu, który udziela informacji na temat stanu poszczególnych procesów. Niezwykle ważne jest tu określenie "zawodny", oznaczające tu, że nie spodziewamy się, iż detektor w każdej chwili udzieli odpowiedzi prawidłowej. Może on wskazywać procesy poprawne jako wadliwe (uległe awarii, błędne, niepoprawne), bądź na odwrót, przy czym może popełniać pomyłki nieskończenie wiele razy. Nie może to jednak spowodować naruszenia warunków poprawności bądź zakończenia algorytmu.


Niech wzorzec awarii będzie funkcją , gdzie oznacza zbiór procesów, które uległy awarii do momentu . Po awarii proces nie powraca do pracy, czyli prawdziwe jest wyrażenie:

Wzorzec awarii opisuje więc faktyczny stan wszystkich procesów w różnych odcinkach czasu.

Ponadto zbiór procesów podejrzanych oraz poprawnych jest opisany odpowiednio przez równości:

Jeżeli należy do zbioru , to mówimy że uległ awarii zgodnie z , a jeżeli proces należy do zbioru , mówimy, że jest poprawny zgodnie z .


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