Pr-1st-1.1-m07-Slajd04

Konfiguracja

Iloczyn kartezjański ${\mathcal {S}}_{1}\times {\mathcal {S}}_{2}\times \cdots \times {\mathcal {S}}_{n}$ będziemy oznaczać przez ${\boldsymbol {\Gamma }}$ i nazywać zbiorem konfiguracji (obrazów stanu globalnego) procesu rozproszonego ${\mathit {\Pi =\left\langle \Sigma ,\Sigma ^{0},\Lambda ,\Phi \right\rangle }}$.

Konfiguracja ${\boldsymbol {\mathit {\Gamma }}}$ jest wektorem $\left\langle S_{1}^{k1},S_{2}^{k2},\cdots ,S_{n}^{kn}\right\rangle$ stanów lokalnych (historii lokalnych) wszystkich procesów $P_{1},P_{2},\ldots ,P_{n}$, takim że dla każdego $u,1\leq u\leq n,S_{u}^{ku}\in {\mathcal {S}}_{u}$.

Łatwo zauważyć, że ${\mathit {\Gamma }}$ zawiera zbiór stanów osiągalnych procesu ${\mathcal {\Pi }}$.

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