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 >>