Pr-1st-1.1-m02-Slajd45: Różnice pomiędzy wersjami
Z Studia Informatyczne
Przejdź do nawigacjiPrzejdź do wyszukiwania
Nie podano opisu zmian |
Nie podano opisu zmian |
||
| Linia 5: | Linia 5: | ||
W tym kontekście, '''warunek uaktywnienia''' procesu może być formalnie wyrażony przez następujący predykat | W tym kontekście, '''warunek uaktywnienia''' procesu może być formalnie wyrażony przez następujący predykat | ||
<math>ready_i(\mathcal{X})</math>: | <math>ready_i(\mathcal{X})</math>: | ||
:<math>ready_i(\mathcal{X}) | :<math>ready_i(\mathcal{X}) \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. | 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. | ||
[[pr-1st-1.1-m02-Slajd44 | << Poprzedni slajd]] | [[pr-1st-1.1-m02-toc|Spis treści ]] | [[pr-1st-1.1-m02-Slajd46 | Następny slajd >>]] | [[pr-1st-1.1-m02-Slajd44 | << Poprzedni slajd]] | [[pr-1st-1.1-m02-toc|Spis treści ]] | [[pr-1st-1.1-m02-Slajd46 | Następny slajd >>]] | ||
Wersja z 15:49, 7 wrz 2006
Warunek uaktywnienia
W tym kontekście, warunek uaktywnienia procesu może być formalnie wyrażony przez następujący predykat :
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.
