Pr-1st-1.1-m02-Slajd45

Z Studia Informatyczne
Przejdź do nawigacjiPrzejdź do wyszukiwania

Warunek uaktywnienia

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.

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