Pr-1st-1.1-m03-Slajd29

Z Studia Informatyczne
Wersja z dnia 17:05, 2 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

Monitor

Monitor

Ocena wartości predykatów globalnych wymaga w pierwszej kolejności obserwacji (monitorowania) stanów lokalnych procesów składowych. W tym celu przyjmiemy, że z każdym procesem Pi skojarzony jest proces monitoraQi. Relacje między procesem Pi i jego monitorem Qi przedstawiono na slajdzie.


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

Źródło: „https://wazniak.mimuw.edu.pl/index.php?title=Pr-1st-1.1-m03-Slajd29&oldid=39985”