(happened-before relation)
zaproponowana przez L. Lamporta relacja czesciowo porzadkujaca zdarzenia w systemie rozproszonym, okreslona nastepujaco: (1) jesli zdarzenie A poprzedza zdarzenie B w tym samym procesie, to w sposób bezposredni miedzy A i B zachodzi r.u.z.; (2) jesli A jest zdarzeniem wyslania komunikatu przez pewien proces i B jest zdarzeniem odebrania tego komunikatu przez inny proces, to miedzy A i B zachodzi r.u.z.; (3) R.u.z. jest przechodnia (w rozumieniu matematycznym). Wraz z algorytmem synchronizowania zegarów logicznych i niepowtarzalnymi identyfikatorami procesów r.u.z. umozliwia zaprowadzenie calkowitego porzadku wsród przyczynowo powiazanych zdarzen w systemie rozproszonym. Zob. tez zdarzenia wspólbiezne.
- porzadkowanie zdarzen, ( events ordering )
- calkowite uporzadkowanie czasowe, ( global time ordering...
- przyczynowosc, (casualit y)