Pr-1st-1.1-m03-Slajd19: Różnice pomiędzy wersjami
Z Studia Informatyczne
Przejdź do nawigacjiPrzejdź do wyszukiwania
Nie podano opisu zmian |
Nie podano opisu zmian |
||
| Linia 13: | Linia 13: | ||
\end{cases} | \end{cases} | ||
</math> | </math> | ||
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. | 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. | ||
[[pr-1st-1.1-m03-Slajd18 | << Poprzedni slajd]] | [[pr-1st-1.1-m03-toc|Spis treści ]] | [[pr-1st-1.1-m03-Slajd20 | Następny slajd >>]] | [[pr-1st-1.1-m03-Slajd18 | << Poprzedni slajd]] | [[pr-1st-1.1-m03-toc|Spis treści ]] | [[pr-1st-1.1-m03-Slajd20 | Następny slajd >>]] | ||
Aktualna wersja na dzień 15:50, 7 wrz 2006
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 w sposób następujący:
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.
