Physics Lournal
Powered by
π±Roam Garden
Part of
Time, Clocks, and the Ordering of Events in a Distributed System
For any events
a
,
b
:
a, b:
a
,
b
:
i
f
β β
a
β
>
β β
b
,
β β
t
h
e
n
β β
C
i
β¨
a
β©
βΌ
C
i
β¨
b
β©
if\; a ->\; b,\; then\; C_i\langle a \rangle\preccurlyeq C_i\langle b \rangle
i
f
a
β
>
b
,
t
h
e
n
C
i
β
β¨
a
β©
βΌ
C
i
β
β¨
b
β©
a
,
b
,
β£
β β
C
i
β¨
a
β©
>
C
i
β¨
b
β©
a, b, |\; C_i\langle a \rangle \gt C_i\langle b \rangle
a
,
b
,
β£
C
i
β
β¨
a
β©
>
C
i
β
β¨
b
β©
If a implies b (or if b can be derived from a), then the Clock Condition of event a should should be lt || gt, depending on your point of view, of event b.
Referenced in
Space-Time Structure May Be Topological Not Geometrical
This means prior to assessing the distance between points, we must distinguish them- this insight helps understand how different topologically equivalent sections of space, can have different
Riemannian
geometry.
Time, Clocks, and the Ordering of Events in a Distributed System