Pr-1st-1.1-m02-Slajd45

Warunek uaktywnienia

W tym kontekście, warunek uaktywnienia procesu może być formalnie wyrażony przez następujący predykat $read{y}_i({𝒳})$:

$read{y}_i({𝒳})\equiv {{𝒫}}_i^A\supseteq {𝒳}\wedge activat{e}_i({𝒳})$

Gdy proces jest uaktywniany, to wiadomości, których dostarczanie doprowadziło do spełnienia warunku uaktywnienia, są atomowo pobierane z buforów wejściowych i dalej przetwarzane.

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