Lines Matching full:timestamp
38 segment contains a vector timestamp. The expression "HB(SS, currS)"
43 where happens_before(S,T) means that S's vector timestamp is ordered
44 before-or-equal to T's vector timestamp.
50 is equivalent to saying that currS has a timestamp which is
68 update a single vector timestamp. The following two equivalences
73 adding a segment S join-ing S's vector timestamp
74 to the segment-set to the current vector timestamp
77 currS's timestamp,
78 current vector timestamp )
92 where LS is a lockset (as before) and VTS is a vector timestamp.
