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 \mathcal{P}_i^A \supseteq \mathcal{X} \land activate_i(\mathcal{X}) </math>

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