Pr-1st-1.1-m09-Slajd18

Klasyczna definicja zakończenia

W klasycznej definicji zakończenia przyjmowano, że przetwarzanie rozproszone jest ws tanie zakończenia, jeżeli w danej chwili wszystkie procesy są pasywne i wszystkie kanały są puste, awięc gdy zachodzi następujący predykat:

$Cterm({\mathcal {P}})'\equiv \forall P_{i}::P_{i}\in {\mathcal {P}}::(passive_{i}\land ({\mathcal {AV}}_{i}=\emptyset )\land ({\mathcal {IT}}_{i}=\emptyset )$

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