Pr-1st-1.1-m02-Slajd32: Różnice pomiędzy wersjami
Z Studia Informatyczne
Przejdź do nawigacjiPrzejdź do wyszukiwania
Nie podano opisu zmian |
Nie podano opisu zmian |
||
| Linia 1: | Linia 1: | ||
==Zdarzenie '' | ==Zdarzenie ''e_internal''== | ||
[[Image:pr-1st-1.1-m02-Slajd32.png|Zdarzenie | [[Image:pr-1st-1.1-m02-Slajd32.png|Zdarzenie e_internal]] | ||
Powiemy, że w procesie <math>P_i</math> zaszło zdarzenie '''lokalne''' '' | Powiemy, że w procesie <math>P_i</math> zaszło zdarzenie '''lokalne''' ''e_internal''(<math>P_i</math>), gdy proces ten wykonał operację, która nie zmienia stanu kanałów incydentnych procesu. Do zdarzeń lokalnych zalicza się między innymi zdarzenia: ''e_init''(<math>P_i, S_i^k</math>) - które nadaje procesowi | ||
<math>P_i</math> stan <math>S_i^k</math> (w szczególności stan początkowy <math>S_i^0</math>), oraz zdarzenie '' | <math>P_i</math> stan <math>S_i^k</math> (w szczególności stan początkowy <math>S_i^0</math>), oraz zdarzenie ''e_stop''(<math>P_i</math>) - które kończy wykonywanie procesu <math>P_i</math>. | ||
[[pr-1st-1.1-m02-Slajd31 | << Poprzedni slajd]] | [[pr-1st-1.1-m02-toc|Spis treści ]] | [[pr-1st-1.1-m02-Slajd33 | Następny slajd >>]] | [[pr-1st-1.1-m02-Slajd31 | << Poprzedni slajd]] | [[pr-1st-1.1-m02-toc|Spis treści ]] | [[pr-1st-1.1-m02-Slajd33 | Następny slajd >>]] | ||
Aktualna wersja na dzień 15:49, 7 wrz 2006
Zdarzenie e_internal
Powiemy, że w procesie zaszło zdarzenie lokalne e_internal(), gdy proces ten wykonał operację, która nie zmienia stanu kanałów incydentnych procesu. Do zdarzeń lokalnych zalicza się między innymi zdarzenia: e_init() - które nadaje procesowi stan (w szczególności stan początkowy ), oraz zdarzenie e_stop() - które kończy wykonywanie procesu .
