Pr-1st-1.1-m10-Slajd03: 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: | ||
Wówczas zakończenie przetwarzania opisuje następujący predykat: | Wówczas zakończenie przetwarzania opisuje następujący predykat: | ||
:<math>Aterm(\mathcal{P}) \equiv \forall P_i :: P_i \in \mathcal{P} :: ( \mathcal{IT}_i = \emptyset ) </math> | :<math>Aterm(\mathcal{P}) \equiv \forall P_i :: P_i \in \mathcal{P} :: ( \mathcal{IT}_i = \emptyset )</math> | ||
[[Pr-1st-1.1-m10-Slajd02 | << Poprzedni slajd]] | [[Pr-1st-1.1-m10-toc|Spis treści ]] | [[Pr-1st-1.1-m10-Slajd04 | Następny slajd >>]] | [[Pr-1st-1.1-m10-Slajd02 | << Poprzedni slajd]] | [[Pr-1st-1.1-m10-toc|Spis treści ]] | [[Pr-1st-1.1-m10-Slajd04 | Następny slajd >>]] | ||
Aktualna wersja na dzień 10:46, 5 wrz 2023
Atomowy model przetwarzania
W atomowym modelu przetwarzania, czasy przetwarzania lokalnego są zaniedbywalne (zerowe), a opóźnienia są związane tylko z transmisją.
Można przyjąć, że procesy (uaktywniane natychmiastowo) są przez cały czas pasywne i sprowadzić problem detekcji zakończenia do wyznaczania stanów kanałów. Przyjmijmy dla uproszczenia, model żądań typu OR. Oznacza to, że dowolna wiadomość w kanale uaktywni proces.
Wówczas zakończenie przetwarzania opisuje następujący predykat:
