Pr-1st-1.1-m07-Slajd04: Różnice pomiędzy wersjami
Z Studia Informatyczne
Przejdź do nawigacjiPrzejdź do wyszukiwania
Nie podano opisu zmian |
m Zastępowanie tekstu – „ </math>” na „</math>” |
||
| Linia 4: | Linia 4: | ||
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>. | ||
Wersja z 10:47, 5 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 .
