Pr-1st-1.1-m02-Slajd44: Różnice pomiędzy wersjami

Aktualna wersja na dzień 10:46, 5 wrz 2023

Predykat activate

Z kolei predykat $a c t i v a t e_{i} (𝒳)$ zdefiniowany jest w sposób następujący:

jeżeli $𝒳 = 𝒟_{i}$ , to $a c t i v a t e_{i} (𝒳) = T r u e$
jeżeli $𝒳 = \emptyset$ , to $a c t i v a t e_{i} (𝒳) = F a l s e$
jeżeli $𝒳 \subset 𝒟_{i}$ i

$𝒳 \neq \emptyset$ , to:

a c t i v a t e_{i} (𝒳) \equiv \exists 𝒳^{'} : : 𝒳^{'} \neq \emptyset \land 𝒳^{'} \subseteq 𝒳 \land (𝒫_{i}^{A} = 𝒳^{'} \Rightarrow (p a s s i v e_{i} ↭ \neg p a s s i v e_{i}))

gdzie $p a s s i v e_{i} ↭ \neg p a s s i v e_{i}$ oznacza, że pasywny proces $P_{i}$ zmieni swój stan na aktywny w skończonym choć nieprzewidywalnym czasie.

Predykat $a c t i v a t 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 $𝒳^{'} \subseteq 𝒳$ ( $𝒫_{i}^{A} = 𝒳^{'}$ ) gotowe stanie się którekolwiek z dopuszczalnych zdarzeń odbioru. Innymi słowy predykat $a c t i v a t 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 $a c t i v a t e_{i} (𝒳) = T r u e$ , to $a c t i v a t e_{i} (𝒴) = T r u e$ .

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

@@ Linia 8: / Linia 8: @@
 #	jeżeli <math>\mathcal{X} \subset \mathcal{D}_i</math> i
 <math>\mathcal{X} \ne \emptyset</math>, to:
-:<math>activate_i(\mathcal{X}) \equiv \exists\mathcal{X}' :: \mathcal{X}' \ne \emptyset \land \mathcal{X}' \subseteq \mathcal{X} \land (\mathcal{P}_i^A = \mathcal{X}' \Rightarrow ( passive_i \leftrightsquigarrow \neg passive_i ))</math>
+:<math>activate_i(\mathcal{X}) \equiv \exists\mathcal{X}' :: \mathcal{X}' \ne \emptyset \land \mathcal{X}' \subseteq \mathcal{X} \land (\mathcal{P}_i^A = \mathcal{X}' \Rightarrow ( passive_i
-gdzie <math>passive_i \leftrightsquigarrow \neg passive_i</math>  oznacza, że pasywny proces <math>P_i</math> zmieni swój stan na aktywny w skończonym choć nieprzewidywalnym czasie.
+\leftrightsquigarrow \neg passive_i ))</math>
+gdzie <math>passive_i \leftrightsquigarrow \neg passive_i</math>
+oznacza, że pasywny proces <math>P_i</math> zmieni swój stan na aktywny w skończonym choć nieprzewidywalnym czasie.
-Predykat <math>activate_i(\mathcal{X})</math> 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 <math>\mathcal{X}' \subseteq \mathcal{X} </math> (<math>\mathcal{P}_i^A = \mathcal{X}'</math>) gotowe stanie się którekolwiek z dopuszczalnych zdarzeń odbioru. Innymi słowy predykat <math>activate_i(\mathcal{X})</math> zachodzi, jeżeli dostarczenie wiadomości od wszystkich procesów <math>P_j \in \mathcal{X}</math> umożliwia uaktywnienie procesu <math>P_i</math>Jak łatwo zauważyć, predykat ten posiada właściwość monotoniczności: jeżeli
+Predykat <math>activate_i(\mathcal{X})</math> 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 <math>\mathcal{X}' \subseteq \mathcal{X}</math> (<math>\mathcal{P}_i^A = \mathcal{X}'</math>) gotowe stanie się którekolwiek z dopuszczalnych zdarzeń odbioru. Innymi słowy predykat <math>activate_i(\mathcal{X})</math> zachodzi, jeżeli dostarczenie wiadomości od wszystkich procesów <math>P_j \in \mathcal{X}</math> umożliwia uaktywnienie procesu <math>P_i</math>Jak łatwo zauważyć, predykat ten posiada właściwość monotoniczności: jeżeli
-<math>\mathcal{X}\subseteq\mathcal{Y}</math> i <math>activate_i(\mathcal{X}) = True </math>, to
+<math>\mathcal{X}\subseteq\mathcal{Y}</math> i <math>activate_i(\mathcal{X}) = True</math>, to
-<math>activate_i(\mathcal{Y}) = True </math>.
+<math>activate_i(\mathcal{Y}) = True</math>.
 [[pr-1st-1.1-m02-Slajd43 | << Poprzedni slajd]] | [[pr-1st-1.1-m02-toc|Spis treści ]] | [[pr-1st-1.1-m02-Slajd45 | Następny slajd >>]]

Pr-1st-1.1-m02-Slajd44: Różnice pomiędzy wersjami

Aktualna wersja na dzień 10:46, 5 wrz 2023

Predykat activate

Menu nawigacyjne

Działania na stronie

Opcje strony

Narzędzia osobiste

Nawigacja

Szukaj

Narzędzia