Pr-1st-1.1-m10-Slajd55

Detekcja zakończenia dynamicznego

Detekcja zakończenia dynamicznego sprowadza się do wyznaczenia wartości predykatów definiujących zakończenie:

$Dterm({𝒫})\equiv \mathrm{\forall }{P}_i::P_i\in {𝒫}::(passiv{e}_i\wedge \mathrm{\neg }activat{e}_i({{𝒜}{𝒱}}_i\cup {{ℐ}{𝒯}}_i))$

W tym celu zaproponowano algorytm, który stosuje mechanizm cykli detekcyjnych oraz wiadomości kontrolne typu QUERY i REPLY, a także liczniki wiadomości odebranych i wysłanych przez procesy.

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