Pr-1st-1.1-m03-Slajd29: Różnice pomiędzy wersjami
Z Studia Informatyczne
Przejdź do nawigacjiPrzejdź do wyszukiwania
Nie podano opisu zmian |
Nie podano opisu zmian |
||
| Linia 3: | Linia 3: | ||
[[Image:pr-1st-1.1-m03-Slajd29.png|Monitor]] | [[Image:pr-1st-1.1-m03-Slajd29.png|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 <math>P_i</math> skojarzony jest '''proces monitora'''<math>Q_i</math>. Relacje między procesem <math>P_i</math> i jego monitorem <math>Q_i</math> przedstawiono na slajdzie. | 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 <math>P_i</math> skojarzony jest '''proces monitora''' <math>Q_i</math>. Relacje między procesem <math>P_i</math> i jego monitorem <math>Q_i</math> przedstawiono na slajdzie. | ||
[[pr-1st-1.1-m03-Slajd28 | << Poprzedni slajd]] | [[pr-1st-1.1-m03-toc|Spis treści ]] | [[pr-1st-1.1-m03-Slajd30 | Następny slajd >>]] | [[pr-1st-1.1-m03-Slajd28 | << Poprzedni slajd]] | [[pr-1st-1.1-m03-toc|Spis treści ]] | [[pr-1st-1.1-m03-Slajd30 | Następny slajd >>]] | ||
Aktualna wersja na dzień 15:50, 7 wrz 2006
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 skojarzony jest proces monitora . Relacje między procesem i jego monitorem przedstawiono na slajdzie.
