Pr-1st-1.1-m07-Slajd04: Różnice pomiędzy wersjami
Z Studia Informatyczne
Przejdź do nawigacjiPrzejdź do wyszukiwania
m Zastępowanie tekstu – „ </math>” na „</math>” |
m Zastępowanie tekstu – „<math> ” na „<math>” |
||
| Linia 5: | Linia 5: | ||
Iloczyn kartezjański <math>\mathcal{S}_1 \times \mathcal{S}_2 \times \cdots \times \mathcal{S}_n</math> będziemy oznaczać przez '''<math>\boldsymbol{\Gamma}</math>''' i nazywać '''zbiorem konfiguracji''' (obrazów stanu globalnego) procesu rozproszonego | Iloczyn kartezjański <math>\mathcal{S}_1 \times \mathcal{S}_2 \times \cdots \times \mathcal{S}_n</math> będziemy oznaczać przez '''<math>\boldsymbol{\Gamma}</math>''' i nazywać '''zbiorem konfiguracji''' (obrazów stanu globalnego) procesu rozproszonego | ||
<math> \mathit{\Pi = \left \langle \Sigma , \Sigma ^0 , \Lambda, \Phi \right \rangle }</math>. | <math>\mathit{\Pi = \left \langle \Sigma , \Sigma ^0 , \Lambda, \Phi \right \rangle }</math>. | ||
'''Konfiguracja''' <math> \boldsymbol{\mathit{\Gamma}}</math> jest wektorem | '''Konfiguracja''' <math>\boldsymbol{\mathit{\Gamma}}</math> jest wektorem | ||
<math>\left \langle S_1^{k1}, S_2^{k2}, \cdots, S_n^{kn} \right \rangle</math> | <math>\left \langle S_1^{k1}, S_2^{k2}, \cdots, S_n^{kn} \right \rangle</math> | ||
stanów lokalnych (historii lokalnych) wszystkich procesów <math>P_1 , P_2 , \ldots , P_n</math>, takim że dla każdego | stanów lokalnych (historii lokalnych) wszystkich procesów <math>P_1 , P_2 , \ldots , P_n</math>, takim że dla każdego | ||
<math> u, 1 \le u \le n, S_u^{ku} \in \mathcal{S}_u</math>. | <math>u, 1 \le u \le n, S_u^{ku} \in \mathcal{S}_u</math>. | ||
Łatwo zauważyć, że <math> \mathit{\Gamma}</math> zawiera zbiór stanów osiągalnych procesu <math>\mathcal{\Pi}</math>. | Łatwo zauważyć, że <math>\mathit{\Gamma}</math> zawiera zbiór stanów osiągalnych procesu <math>\mathcal{\Pi}</math>. | ||
[[pr-1st-1.1-m07-Slajd03 | << Poprzedni slajd]] | [[pr-1st-1.1-m07-toc|Spis treści ]] | [[pr-1st-1.1-m07-Slajd05 | Następny slajd >>]] | [[pr-1st-1.1-m07-Slajd03 | << Poprzedni slajd]] | [[pr-1st-1.1-m07-toc|Spis treści ]] | [[pr-1st-1.1-m07-Slajd05 | Następny slajd >>]] | ||
Aktualna wersja na dzień 22:15, 11 wrz 2023
Konfiguracja
Iloczyn kartezjański będziemy oznaczać przez i nazywać zbiorem konfiguracji (obrazów stanu globalnego) procesu rozproszonego
.
Konfiguracja jest wektorem stanów lokalnych (historii lokalnych) wszystkich procesów , takim że dla każdego .
Łatwo zauważyć, że zawiera zbiór stanów osiągalnych procesu .
