Pr-1st-1.1-m02-Slajd44

Predykat activate

Z kolei predykat $activat{e}_i({𝒳})$ zdefiniowany jest w sposób następujący:

1. jeżeli ${𝒳}={{𝒟}}_i$, to $activat{e}_i({𝒳})=True$
2. jeżeli ${𝒳}=\mathrm{\varnothing }$, to $activat{e}_i({𝒳})=False$
3. jeżeli ${𝒳}\subset {{𝒟}}_i$ i

${𝒳}\ne \mathrm{\varnothing }$, to:

$activat{e}_i({𝒳})\equiv \mathrm{\exists }{{𝒳}}^{\prime }::{{𝒳}}^{\prime }\ne \mathrm{\varnothing }\wedge {{𝒳}}^{\prime }\subseteq {𝒳}\wedge ({{𝒫}}_i^A={{𝒳}}^{\prime }\Rightarrow (passiv{e}_i\leftrightsquigarrow \mathrm{\neg }passiv{e}_i))$

gdzie $passiv{e}_i\leftrightsquigarrow \mathrm{\neg }passiv{e}_i$ oznacza, że pasywny proces $P_i$ zmieni swój stan na aktywny w skończonym choć nieprzewidywalnym czasie.

Predykat $activat{e}_i({𝒳})$ zachodzi zatem wtedy i tylko wtedy, gdy w związku z nadejściem (dostępnością) wiadomości od procesów tworzących zbiór ${{𝒳}}^{\prime }\subseteq {𝒳}$ (${{𝒫}}_i^A={{𝒳}}^{\prime }$) gotowe stanie się którekolwiek z dopuszczalnych zdarzeń odbioru. Innymi słowy predykat $activat{e}_i({𝒳})$ zachodzi, jeżeli dostarczenie wiadomości od wszystkich procesów $P_j\in {𝒳}$ umożliwia uaktywnienie procesu $P_i$Jak łatwo zauważyć, predykat ten posiada właściwość monotoniczności: jeżeli ${𝒳}\subseteq {𝒴}$ i $activat{e}_i({𝒳})=True$, to $activat{e}_i({𝒴})=True$.

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