Pr-1st-1.1-m02-Slajd19: Różnice pomiędzy wersjami
Z Studia Informatyczne
Przejdź do nawigacjiPrzejdź do wyszukiwania
Nie podano opisu zmian |
m Zastępowanie tekstu – „ </math>” na „</math>” |
||
| (Nie pokazano 1 pośredniej wersji utworzonej przez tego samego użytkownika) | |||
| Linia 5: | Linia 5: | ||
Operacja ''receive''(<math>P_i, P_j, inM</math>) - w procesie odbiorcy <math>P_j</math>, operacja ta jest sparametryzowana przez pojedynczą zmienną | Operacja ''receive''(<math>P_i, P_j, inM</math>) - w procesie odbiorcy <math>P_j</math>, operacja ta jest sparametryzowana przez pojedynczą zmienną | ||
<math>inM</math> i identyfikator procesu <math>P_i</math> - '''oczekiwanego nadawcy''' wiadomości. Jeżeli kanał <math>C_{i,j}</math> nie jest pusty i pewna wiadomość <math>M</math> jest bezpośrednio dostępna (''available''(<math>C_{i,j}</math>) ma wartość ''True''), to efektem wykonania tej operacji jest pobranie wiadomości <math>M</math> z kanału <math>C_{i,j}</math>, a więc wykonanie podstawienia | <math>inM</math> i identyfikator procesu <math>P_i</math> - '''oczekiwanego nadawcy''' wiadomości. Jeżeli kanał <math>C_{i,j}</math> nie jest pusty i pewna wiadomość <math>M</math> jest bezpośrednio dostępna (''available''(<math>C_{i,j}</math>) ma wartość ''True''), to efektem wykonania tej operacji jest pobranie wiadomości <math>M</math> z kanału <math>C_{i,j}</math>, a więc wykonanie podstawienia | ||
<math>\boldsymbol{L}_{i,j} := \boldsymbol{L}_{i,j} \setminus \{ M \} </math> oraz <math> inM := M </math>. | <math>\boldsymbol{L}_{i,j} := \boldsymbol{L}_{i,j} \setminus \{ M \}</math> oraz <math>inM := M</math>. | ||
[[pr-1st-1.1-m02-Slajd18 | << Poprzedni slajd]] | [[pr-1st-1.1-m02-toc|Spis treści ]] | [[pr-1st-1.1-m02-Slajd20 | Następny slajd >>]] | [[pr-1st-1.1-m02-Slajd18 | << Poprzedni slajd]] | [[pr-1st-1.1-m02-toc|Spis treści ]] | [[pr-1st-1.1-m02-Slajd20 | Następny slajd >>]] | ||
Aktualna wersja na dzień 10:44, 5 wrz 2023
Indywidualne operacje komunikacyjne (2)
Operacja receive() - w procesie odbiorcy , operacja ta jest sparametryzowana przez pojedynczą zmienną i identyfikator procesu - oczekiwanego nadawcy wiadomości. Jeżeli kanał nie jest pusty i pewna wiadomość jest bezpośrednio dostępna (available() ma wartość True), to efektem wykonania tej operacji jest pobranie wiadomości z kanału , a więc wykonanie podstawienia oraz .
