Pr-1st-1.1-m07-Slajd28

Ocena stanów globalnych

W rozważanych przypadkach ocena stanów globalnych w wybranych momentach czasu może mieć na celu sprawdzenie, czy rzeczywiście w każdej chwili w systemie jest dokładnie jeden znacznik. Zaginięcie znacznika, wynikające na przykład z błędu programu w którymkolwiek węźle, uniemożliwia procesom w sposób trwały wejście do sekcji krytycznej, co może prowadzić do blokady całego systemu. Z kolei stwierdzenie wystąpienia dwóch lub więcej znaczników oznacza możliwość jednoczesnego działania dwóch lub więcej procesów w sekcjach krytycznych, co w ogólności prowadzi do błędów współbieżnego działania procesów.

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