Pr-1st-1.1-m03-Slajd10

Globalny stan osiągalny

Oznaczmy przez $\mathrm{{\rm Y}}$ zbiór wszystkich możliwych wykonań (realizacji) procesu $\mathrm{\Pi }$. Jeżeli istnieje wykonanie procesu $\mathrm{\Pi }$, takie że $\mathrm{\Sigma }$ jest stanem końcowym, to stan ten nazwiemy globalnym stanem osiągalnym (spójnym) procesu rozproszonego $\mathrm{\Pi }$ (ang. reachable, consistent).

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