Pr-1st-1.1-m03-Slajd19

Relacja poprzedzania stanów lokalnych

Przez analogię do relacji na zbiorze zdarzeń, można zdefiniować częściowy porządek na zbiorze stanów wszystkich procesów $P_i\in {𝒫}$ w sposób następujący:

$S_i^k\mapsto S_j^l⟺\{\begin{array}{l}{E}_i^{k+1}\mapsto E_j^l,\text{ lub }\\ E_i^{k+1}=E_j^l\end{array}$

Relacja powyższa oznacza, że stan jednego procesu poprzedza przyczynowo stan innego, wtedy i tylko wtedy, gdy zdarzenie rozpoczynające drugi stan zależy przyczynowo bądź jest tożsame ze zdarzeniem kończącym pierwszy stan.

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