Pr-1st-1.1-m09-Slajd21

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:

$Iterm({𝒫})\equiv P_i::P_i\in {𝒫}::passiv{e}_i$

<< Poprzedni slajd | Spis treści | Następny slajd >>