Lines Matching full:vector
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.
58 operation on vector clocks. Given the definition of HB,
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
78 current vector timestamp )
92 where LS is a lockset (as before) and VTS is a vector timestamp.
155 vector-time that the next write / access may safely happen.
