Pr-1st-1.1-m02-Slajd36

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($P_i,P_j,M$) może zajść tylko wówczas, gdy wiadomość $M$ została wcześniej wysłana przez proces $P_i$ i jest aktualnie dostępna w kanale $C_{i,j}$. Podobnie, zdarzenie e_receive(\mathcal{P}_i^S, P_j, \mathcal{M}_j^SParser nie mógł rozpoznać (błąd składni): {\displaystyle ) 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} ).

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