Pr-1st-1.1-m03-Slajd29

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 $P_{i}$ skojarzony jest proces monitora $Q_{i}$. Relacje między procesem $P_{i}$ i jego monitorem $Q_{i}$ przedstawiono na slajdzie.

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