Pr-1st-1.1-m09-Slajd33: Różnice pomiędzy wersjami
Z Studia Informatyczne
Przejdź do nawigacjiPrzejdź do wyszukiwania
Nie podano opisu zmian |
m Zastępowanie tekstu – „ </math>” na „</math>” |
||
| Linia 9: | Linia 9: | ||
* Proces pasywny może stać się aktywny ''tylko'' w wyniku otrzymaniu wiadomości | * Proces pasywny może stać się aktywny ''tylko'' w wyniku otrzymaniu wiadomości | ||
Innymi słowy, proces aplikacyjny może wdowolnej chwili stać się pasywny ioczekiwać na uaktywniającą go wiadomość aplikacyjną od dowolnego innego procesu. Warunek uaktywnienia procesu definiuje zatem model żądań ''OR'' izbiór warunkujący <math>\mathcal{D}_i = \mathcal{P} \setminus \{ P_i \} </math> | Innymi słowy, proces aplikacyjny może wdowolnej chwili stać się pasywny ioczekiwać na uaktywniającą go wiadomość aplikacyjną od dowolnego innego procesu. Warunek uaktywnienia procesu definiuje zatem model żądań ''OR'' izbiór warunkujący <math>\mathcal{D}_i = \mathcal{P} \setminus \{ P_i \}</math> | ||
Aktualna wersja na dzień 10:51, 5 wrz 2023
Założenia dodatkowe
Dla ułatwienia opisu przedstawianych algorytmów, przyjmiemy pewne dodatkowe upraszczające założenia:
- Proces aktywny staje się procesem pasywnym tylko w wyniku pewnego zdarzenia wewnętrznego
- Proces zawsze staje się aktywny po otrzymaniu wiadomości
- Proces pasywny może stać się aktywny tylko w wyniku otrzymaniu wiadomości
Innymi słowy, proces aplikacyjny może wdowolnej chwili stać się pasywny ioczekiwać na uaktywniającą go wiadomość aplikacyjną od dowolnego innego procesu. Warunek uaktywnienia procesu definiuje zatem model żądań OR izbiór warunkujący
