Pr-1st-1.1-m03-Slajd14

Relacja poprzedzania zdarzeń

Zbiór zdarzeń ${{ℰ}}_i$ procesu $P_i$ jest w pełni uporządkowany, według kolejności ich występowania w czasie lokalnym t. Ze względu jednak na nieprzewidywalne czasy transmisji i brak wiedzy o czasie globalnym $\tau$, uporządkowanie w praktyce zbioru $\mathrm{\Lambda }$ zdarzeń wszystkich procesów $P_i\in {𝒫}$, stanowi poważną trudność. Oznaczmy przez $\mapsto$ relację poprzedzania (ang. happen before, causal precedence, happened before) zdefiniowaną na zbiorze $\mathrm{\Lambda }$ w następujący sposób: Parser nie mógł rozpoznać (błąd składni): {\displaystyle E_i^k \mapsto E_j^l \iff \begin{cases} \mbox{1)} i = j \land k < l, \mbox{ lub } \\ \mbox{2)} i \ne j \mbox{ oraz } E_i^k \mbox{ jest zdarzeniem } e\_send(P_i, P_j, M) \mbox{ wysłania wiadomości } M, \mbox{ a zdarzenie } E_j^l \mbox{ jest zdarzeniem } e\_receive(Pi, Pj, M) \mbox{ odbioru tej samej wiadomości, lub } \\ \mbox{3)} \mbox{ istnieje sekwencja zdarzeń } E^0, E^1, E^2, \ldots , E^s \mbox{, taka że } E^0 = E_i^k, E^s = E_j^l \mbox{ i dla każdej pary } \left \langle E^u, E^{u+1} \right \rangle \mbox{ gdzie } 0 \le u \le s -1\mbox{, zachodzi 1) albo 2).} \end{cases} Relacja poprzedzania jest '''antysymetryczna''' i '''przechodnia''', a więc jest '''relacją częściowego porządku'''. [[pr-1st-1.1-m03-Slajd13 | << Poprzedni slajd]] | [[pr-1st-1.1-m03-toc|Spis treści ]] | [[pr-1st-1.1-m03-Slajd15 | Następny slajd >>]]}