Pr-1st-1.1-m02-Slajd36: Różnice pomiędzy wersjami
Z Studia Informatyczne
Przejdź do nawigacjiPrzejdź do wyszukiwania
Nie podano opisu zmian |
Nie podano opisu zmian |
||
| Linia 4: | Linia 4: | ||
Oprócz czynnika wewnętrznego (stanu procesu), zajście zdarzenia może być dodatkowo uwarunkowane stanem kanałów wejściowych (środowiska). Na przykład, zdarzenie ''e_receive''(<math>P_i, P_j, M</math>) może zajść tylko wówczas, gdy wiadomość <math>M</math> została wcześniej wysłana przez proces <math>P_i</math> i jest aktualnie dostępna w kanale <math>C_{i,j}</math>. | Oprócz czynnika wewnętrznego (stanu procesu), zajście zdarzenia może być dodatkowo uwarunkowane stanem kanałów wejściowych (środowiska). Na przykład, zdarzenie ''e_receive''(<math>P_i, P_j, M</math>) może zajść tylko wówczas, gdy wiadomość <math>M</math> została wcześniej wysłana przez proces <math>P_i</math> i jest aktualnie dostępna w kanale <math>C_{i,j}</math>. | ||
Podobnie, zdarzenie ''e_receive''(\mathcal{P}_i^S, P_j, \mathcal{M}_j^S<math>) może zajść tylko wówczas, gdy jest spełniony warunek wykonania operacji ''receive''(\mathcal{P}_i^S, P_j, sInM<math>). Jeżeli zdarzenie może zajść ze względu na warunki zewnętrzne (stan kanałów), to powiemy że zdarzenie jest '''przygotowane''' lub '''gotowe''' (ang. ''ready''). Fakt gotowości zdarzenia w danej chwili wyrażać będzie predykat ''ready''(<math>E</math>). | Podobnie, zdarzenie ''e_receive''(<math>\mathcal{P}_i^S, P_j, \mathcal{M}_j^S</math>) może zajść tylko wówczas, gdy jest spełniony warunek wykonania operacji ''receive''(<math>\mathcal{P}_i^S, P_j, sInM</math>). Jeżeli zdarzenie może zajść ze względu na warunki zewnętrzne (stan kanałów), to powiemy że zdarzenie jest '''przygotowane''' lub '''gotowe''' (ang. ''ready''). Fakt gotowości zdarzenia w danej chwili wyrażać będzie predykat ''ready''(<math>E</math>). | ||
[[pr-1st-1.1-m02-Slajd35 | << Poprzedni slajd]] | [[pr-1st-1.1-m02-toc|Spis treści ]] | [[pr-1st-1.1-m02-Slajd37 | Następny slajd >>]] | [[pr-1st-1.1-m02-Slajd35 | << Poprzedni slajd]] | [[pr-1st-1.1-m02-toc|Spis treści ]] | [[pr-1st-1.1-m02-Slajd37 | Następny slajd >>]] | ||
Aktualna wersja na dzień 15:49, 7 wrz 2006
Zdarzenia gotowe
Oprócz czynnika wewnętrznego (stanu procesu), zajście zdarzenia może być dodatkowo uwarunkowane stanem kanałów wejściowych (środowiska). Na przykład, zdarzenie e_receive() może zajść tylko wówczas, gdy wiadomość została wcześniej wysłana przez proces i jest aktualnie dostępna w kanale . Podobnie, zdarzenie e_receive() może zajść tylko wówczas, gdy jest spełniony warunek wykonania operacji receive(). Jeżeli zdarzenie może zajść ze względu na warunki zewnętrzne (stan kanałów), to powiemy że zdarzenie jest przygotowane lub gotowe (ang. ready). Fakt gotowości zdarzenia w danej chwili wyrażać będzie predykat ready().
