Pr-1st-1.1-m03-Slajd10

Globalny stan osiągalny

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

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