Pr-1st-1.1-m09-Slajd47: 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 6: | Linia 6: | ||
Wiadomość <math>msgIn</math> oznacza wiadomość aplikacyjną wysyłaną przez proces<math>P_i</math>, która jest opakowywane w postaci <math>pcktOut</math>. Wiadomość ''tokenOut'' jest znacznikiem typu TOKEN. Zmienna <math>tokenPresent_i</math> określa obecność znacznika w procesie <math>P_i</math>. Zmienna <math>colour_i</math> służy do określenia koloru monitora (procesu). Zmienna <math>terminationDetected_i</math> zostaje ustawiona na ''True'' jeżeli wykryte zostało zakończenie. Początkowo monitory mają kolor ''White''. | Wiadomość <math>msgIn</math> oznacza wiadomość aplikacyjną wysyłaną przez proces<math>P_i</math>, która jest opakowywane w postaci <math>pcktOut</math>. Wiadomość ''tokenOut'' jest znacznikiem typu TOKEN. Zmienna <math>tokenPresent_i</math> określa obecność znacznika w procesie <math>P_i</math>. Zmienna <math>colour_i</math> służy do określenia koloru monitora (procesu). Zmienna <math>terminationDetected_i</math> zostaje ustawiona na ''True'' jeżeli wykryte zostało zakończenie. Początkowo monitory mają kolor ''White''. | ||
Dwie zmienne związane są z topologią przetwarzania. Zmienna <math>succ_i</math> zawiera następnika procesu <math>P_i</math> w cyklu obejmującym wszystkie kanały komunikacyjne. Związane jest to z wymaganiem, by znacznik typu TOKEN odwiedził wszystkie kanały łączące procesy. <math>\mathcal{C} </math> oznacza zbiór wszystkich kanałów tworzących cykl obejmujący wszystkie kanały komunikacyjne. | Dwie zmienne związane są z topologią przetwarzania. Zmienna <math>succ_i</math> zawiera następnika procesu <math>P_i</math> w cyklu obejmującym wszystkie kanały komunikacyjne. Związane jest to z wymaganiem, by znacznik typu TOKEN odwiedził wszystkie kanały łączące procesy. <math>\mathcal{C}</math> oznacza zbiór wszystkich kanałów tworzących cykl obejmujący wszystkie kanały komunikacyjne. | ||
[[pr-1st-1.1-m09-Slajd46 | << Poprzedni slajd]] | [[pr-1st-1.1-m09-toc|Spis treści ]] | [[pr-1st-1.1-m09-Slajd48 | Następny slajd >>]] | [[pr-1st-1.1-m09-Slajd46 | << Poprzedni slajd]] | [[pr-1st-1.1-m09-toc|Spis treści ]] | [[pr-1st-1.1-m09-Slajd48 | Następny slajd >>]] | ||
Aktualna wersja na dzień 10:47, 5 wrz 2023
Algorytm detekcji zakończenia dla systemów asynchronicznych (2)
Wiadomość oznacza wiadomość aplikacyjną wysyłaną przez proces, która jest opakowywane w postaci . Wiadomość tokenOut jest znacznikiem typu TOKEN. Zmienna określa obecność znacznika w procesie . Zmienna służy do określenia koloru monitora (procesu). Zmienna zostaje ustawiona na True jeżeli wykryte zostało zakończenie. Początkowo monitory mają kolor White.
Dwie zmienne związane są z topologią przetwarzania. Zmienna zawiera następnika procesu w cyklu obejmującym wszystkie kanały komunikacyjne. Związane jest to z wymaganiem, by znacznik typu TOKEN odwiedził wszystkie kanały łączące procesy. oznacza zbiór wszystkich kanałów tworzących cykl obejmujący wszystkie kanały komunikacyjne.
