Pr-1st-1.1-m02-Slajd12: 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 10: | Linia 10: | ||
'''Zbiór wiadomości dostępnych''', oznaczony przez <math>\boldsymbol{L}_{i,j}^A</math>, zawiera natomiast wiadomości wysłane przez <math>P_i</math>, które dotarły już (ang. ''arrived'') do węzła procesu <math>P_j</math> i czekają w buforze kanału na ewentualne pobranie przez proces <math>P_j</math>. Oczywiście, w każdej chwili | '''Zbiór wiadomości dostępnych''', oznaczony przez <math>\boldsymbol{L}_{i,j}^A</math>, zawiera natomiast wiadomości wysłane przez <math>P_i</math>, które dotarły już (ang. ''arrived'') do węzła procesu <math>P_j</math> i czekają w buforze kanału na ewentualne pobranie przez proces <math>P_j</math>. Oczywiście, w każdej chwili | ||
<math>\boldsymbol{L}_{i,j} = \boldsymbol{L}_{i,j}^T \cup \boldsymbol{L}_{i,j}^A </math>. | <math>\boldsymbol{L}_{i,j} = \boldsymbol{L}_{i,j}^T \cup \boldsymbol{L}_{i,j}^A</math>. | ||
[[pr-1st-1.1-m02-Slajd11 | << Poprzedni slajd]] | [[pr-1st-1.1-m02-toc|Spis treści ]] | [[pr-1st-1.1-m02-Slajd13 | Następny slajd >>]] | [[pr-1st-1.1-m02-Slajd11 | << Poprzedni slajd]] | [[pr-1st-1.1-m02-toc|Spis treści ]] | [[pr-1st-1.1-m02-Slajd13 | Następny slajd >>]] |
Aktualna wersja na dzień 10:46, 5 wrz 2023
Modelowanie opóźnienia w kanale
W celu modelowania w kanale opóźnień komunikacyjnych istotnych w perspektywie dalszych rozważań, w zbiorze wiadomości wyróżnia się dwa rozłączne podzbiory: zbiór wiadomości transmitowanych (ang. in-transit) oraz zbiór wiadomości bezpośrednio dostępnych (ang. available, arrived, ready).
Zbiór wiadomości transmitowanych, oznaczony przez , zawiera wiadomości, które zostały wysłane przez proces lecz nie dotarły jeszcze do węzła realizującego proces i tym samym nie są dostępne (widoczne) dla .
Zbiór wiadomości dostępnych, oznaczony przez , zawiera natomiast wiadomości wysłane przez , które dotarły już (ang. arrived) do węzła procesu i czekają w buforze kanału na ewentualne pobranie przez proces . Oczywiście, w każdej chwili .