Pr-1st-1.1-m03-Slajd03: 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: | ||
'''Proces rozproszony''' <math>\mathit{\Pi}</math>, będący współbieżnym wykonaniem zbioru <math>\mathcal{P} = \{P_1, P_2, ..., P_n\}</math> procesów sekwencyjnych <math>P_i</math>, opisuje uporządkowana czwórka <math>\Pi = \left \langle \boldsymbol{\Sigma}, \boldsymbol{\Sigma}^{0}, \mathit{\Lambda}, \mathit{\Phi} \right \rangle</math>, gdzie: | '''Proces rozproszony''' <math>\mathit{\Pi}</math>, będący współbieżnym wykonaniem zbioru <math>\mathcal{P} = \{P_1, P_2, ..., P_n\}</math> procesów sekwencyjnych <math>P_i</math>, opisuje uporządkowana czwórka <math>\Pi = \left \langle \boldsymbol{\Sigma}, \boldsymbol{\Sigma}^{0}, \mathit{\Lambda}, \mathit{\Phi} \right \rangle</math>, gdzie: | ||
:<math>\boldsymbol{\Sigma}</math> - jest zbiorem stanów globalnych procesu rozproszonego, <math> \mathit{\Sigma} \subseteq \mathcal{S}_1 \times \mathcal{S}_2 \times \cdots \times \mathcal{S}_n</math>, | :<math>\boldsymbol{\Sigma}</math> - jest zbiorem stanów globalnych procesu rozproszonego, <math>\mathit{\Sigma} \subseteq \mathcal{S}_1 \times \mathcal{S}_2 \times \cdots \times \mathcal{S}_n</math>, | ||
:<math>\boldsymbol{\Sigma}^{0}</math> - jest zbiorem stanów początkowych, <math> \mathit{\Sigma}^0 \subseteq \mathcal{S}_1^0 \times \mathcal{S}_2^0 \times \cdots \times \mathcal{S}_n^0</math>, | :<math>\boldsymbol{\Sigma}^{0}</math> - jest zbiorem stanów początkowych, <math>\mathit{\Sigma}^0 \subseteq \mathcal{S}_1^0 \times \mathcal{S}_2^0 \times \cdots \times \mathcal{S}_n^0</math>, | ||
:<math>\mathit{\Lambda}</math> - jest zbiorem zdarzeń, <math>\mathit{\Lambda} = \mathcal{E}_1 \cup \mathcal{E}_2 \cup \cdots \cup \mathcal{E}_n</math>; | :<math>\mathit{\Lambda}</math> - jest zbiorem zdarzeń, <math>\mathit{\Lambda} = \mathcal{E}_1 \cup \mathcal{E}_2 \cup \cdots \cup \mathcal{E}_n</math>; | ||
:<math>\mathit{\Phi}</math> - jest funkcją tranzycji, taką że <math>\mathit{\Phi} \subseteq \mathit{\Sigma} \times \mathit{\Lambda} \times \mathit{\Sigma} </math>. | :<math>\mathit{\Phi}</math> - jest funkcją tranzycji, taką że <math>\mathit{\Phi} \subseteq \mathit{\Sigma} \times \mathit{\Lambda} \times \mathit{\Sigma} </math>. | ||
Wersja z 10:34, 5 wrz 2023
Proces rozproszony
Proces rozproszony , będący współbieżnym wykonaniem zbioru procesów sekwencyjnych , opisuje uporządkowana czwórka , gdzie:
- - jest zbiorem stanów globalnych procesu rozproszonego, ,
- - jest zbiorem stanów początkowych, ,
- - jest zbiorem zdarzeń, ;
- - jest funkcją tranzycji, taką że .
