Pr-1st-1.1-m09-Slajd21: 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 8: | Linia 8: | ||
Stan zakończenia opisuja więc następujący predykat: | Stan zakończenia opisuja więc następujący predykat: | ||
<math>Iterm(\mathcal{P}) \equiv P_i :: P_i \in \mathcal{P} :: passive_i </math> | <math>Iterm(\mathcal{P}) \equiv P_i :: P_i \in \mathcal{P} :: passive_i</math> | ||
[[pr-1st-1.1-m09-Slajd20 | << Poprzedni slajd]] | [[pr-1st-1.1-m09-toc|Spis treści ]] | [[pr-1st-1.1-m09-Slajd22 | Następny slajd >>]] | [[pr-1st-1.1-m09-Slajd20 | << Poprzedni slajd]] | [[pr-1st-1.1-m09-toc|Spis treści ]] | [[pr-1st-1.1-m09-Slajd22 | Następny slajd >>]] | ||
Aktualna wersja na dzień 10:52, 5 wrz 2023
Model przetwarzania synchronicznego
Na początku rozważony zostanie problem detekcji zakończenia w modelu przetwarzania synchronicznego. W modelu tym przyjmuje się, że transmisje są natychmiastowe. Stąd kanały mogą być uznane za puste przez cały czas iproblem zakończenia sprowadza się do sprawdzenia czy wszystkie procesy są jednocześnie pasywne.
Stan zakończenia opisuja więc następujący predykat:
