Pr-1st-1.1-m03-Slajd03

Proces rozproszony

Proces rozproszony $\mathrm{\Pi }$, będący współbieżnym wykonaniem zbioru ${𝒫}=\{P_1,P_2,...,P_n\}$ procesów sekwencyjnych $P_i$, opisuje uporządkowana czwórka $\mathrm{\Pi }=⟨\mathrm{\Sigma },{\mathrm{\Sigma }}^0,\mathrm{\Lambda },\mathrm{\Phi }⟩$, gdzie:

$\mathrm{\Sigma }$ - jest zbiorem stanów globalnych procesu rozproszonego, $\mathrm{\Sigma }\subseteq {{𝒮}}_1\times {{𝒮}}_2\times \cdots \times {{𝒮}}_n$,

${\mathrm{\Sigma }}^0$ - jest zbiorem stanów początkowych, ${\mathrm{\Sigma }}^0\subseteq {{𝒮}}_1^0\times {{𝒮}}_2^0\times \cdots \times {{𝒮}}_n^0$,

$\mathrm{\Lambda }$ - jest zbiorem zdarzeń, $\mathrm{\Lambda }={{ℰ}}_1\cup {{ℰ}}_2\cup \cdots \cup {{ℰ}}_n$;

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

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