Pr-1st-1.1-m07-Slajd04

Konfiguracja

Iloczyn kartezjański ${{𝒮}}_1\times {{𝒮}}_2\times \cdots \times {{𝒮}}_n$ będziemy oznaczać przez $\mathrm{\Gamma }$ i nazywać zbiorem konfiguracji (obrazów stanu globalnego) procesu rozproszonego $\mathrm{\Pi }{=}⟨\mathrm{\Sigma },{\mathrm{\Sigma }}^0,\mathrm{\Lambda },\mathrm{\Phi }⟩$.

Konfiguracja $\mathrm{\Gamma }$ jest wektorem $⟨S_1^{k1},S_2^{k2},\cdots ,S_n^{kn}⟩$ stanów lokalnych (historii lokalnych) wszystkich procesów $P_1,P_2,\dots ,P_n$, takim że dla każdego $u,1\le u\le n,S_u^{ku}\in {{𝒮}}_u$.

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

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