Home
last modified time | relevance | path

Searched defs:VClock (Results 1 – 3 of 3) sorted by relevance

/third_party/rust/rust/src/tools/miri/src/concurrency/
Dvector_clock.rs96 pub struct VClock(SmallVec<[VTimestamp; SMALL_VECTOR]>); struct
98 impl VClock { impl
101 pub fn new_with_index(index: VectorIdx, timestamp: VTimestamp) -> VClock { in new_with_index()
177 impl Clone for VClock { implementation
193 impl PartialOrd for VClock { implementation
361 impl Index<VectorIdx> for VClock { implementation
370 impl IndexMut<VectorIdx> for VClock { implementation
447 fn from_slice(mut slice: &[u32]) -> VClock { in from_slice()
Ddata_race.rs746 fn find_gt_index(l: &VClock, r: &VClock) -> Option<VectorIdx> { in find_gt_index()
1553 pub fn validate_lock_acquire(&self, lock: &VClock, thread: ThreadId) { in validate_lock_acquire()
1564 pub fn validate_lock_release(&self, lock: &mut VClock, thread: ThreadId, current_span: Span) { in validate_lock_release()
1579 lock: &mut VClock, in validate_lock_release_shared()
Dweak_memory.rs419 thread_clock: &VClock, in store_impl()