Searched refs:VectorClock (Results 1 – 5 of 5) sorted by relevance
23 VectorClock::VectorClock() { Reset(); } in VectorClock() function in __tsan::VectorClock25 void VectorClock::Reset() { in Reset()36 void VectorClock::Acquire(const VectorClock* src) { in Acquire()54 static VectorClock* AllocClock(VectorClock** dstp) { in AllocClock()56 *dstp = New<VectorClock>(); in AllocClock()60 void VectorClock::Release(VectorClock** dstp) const { in Release()61 VectorClock* dst = AllocClock(dstp); in Release()65 void VectorClock::ReleaseStore(VectorClock** dstp) const { in ReleaseStore()70 VectorClock& VectorClock::operator=(const VectorClock& other) { in operator =()85 void VectorClock::ReleaseStoreAcquire(VectorClock** dstp) { in ReleaseStoreAcquire()[all …]
20 class VectorClock {22 VectorClock();28 void Acquire(const VectorClock* src);29 void Release(VectorClock** dstp) const;30 void ReleaseStore(VectorClock** dstp) const;31 void ReleaseStoreAcquire(VectorClock** dstp);32 void ReleaseAcquire(VectorClock** dstp);34 VectorClock& operator=(const VectorClock& other);40 ALWAYS_INLINE Epoch VectorClock::Get(Sid sid) const { in Get()44 ALWAYS_INLINE void VectorClock::Set(Sid sid, Epoch v) { in Set()
64 VectorClock *read_clock; // Used for rw mutexes only.65 VectorClock *clock;
111 VectorClock *sync;289 VectorClock *sync;
178 VectorClock clock;227 VectorClock last_sleep_clock;270 VectorClock *sync;