Pr-1st-1.1-m03-Slajd03

Proces rozproszony

Proces rozproszony ${\mathit {\Pi }}$, będący współbieżnym wykonaniem zbioru ${\mathcal {P}}=\{P_{1},P_{2},...,P_{n}\}$ procesów sekwencyjnych $P_{i}$, opisuje uporządkowana czwórka $\Pi =\left\langle {\boldsymbol {\Sigma }},{\boldsymbol {\Sigma }}^{0},{\mathit {\Lambda }},{\mathit {\Phi }}\right\rangle$, gdzie:

${\boldsymbol {\Sigma }}$ - jest zbiorem stanów globalnych procesu rozproszonego, ${\mathit {\Sigma }}\subseteq {\mathcal {S}}_{1}\times {\mathcal {S}}_{2}\times \cdots \times {\mathcal {S}}_{n}$,

${\boldsymbol {\Sigma }}^{0}$ - jest zbiorem stanów początkowych, ${\mathit {\Sigma }}^{0}\subseteq {\mathcal {S}}_{1}^{0}\times {\mathcal {S}}_{2}^{0}\times \cdots \times {\mathcal {S}}_{n}^{0}$,

${\mathit {\Lambda }}$ - jest zbiorem zdarzeń, ${\mathit {\Lambda }}={\mathcal {E}}_{1}\cup {\mathcal {E}}_{2}\cup \cdots \cup {\mathcal {E}}_{n}$;

${\mathit {\Phi }}$ - jest funkcją tranzycji, taką że ${\mathit {\Phi }}\subseteq {\mathit {\Sigma }}\times {\mathit {\Lambda }}\times {\mathit {\Sigma }}$.

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