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 {\mathcal {P}}$ w sposób następujący:

$S_{i}^{k}\mapsto S_{j}^{l}\iff {\begin{cases}E_{i}^{k+1}\mapsto E_{j}^{l},{\mbox{ lub }}\\E_{i}^{k+1}=E_{j}^{l}\end{cases}}$

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 >>