Searched defs:vector_clocks (Results 1 – 1 of 1) sorted by relevance
1240 vector_clocks: RefCell<IndexVec<VectorIdx, ThreadClockSet>>, field1326 let vector_clocks = self.vector_clocks.borrow(); in find_vector_index_reuse_candidate() localVariable1381 let vector_clocks = self.vector_clocks.get_mut(); in thread_created() localVariable1408 let vector_clocks = self.vector_clocks.get_mut(); in thread_created() localVariable1493 let vector_clocks = self.vector_clocks.get_mut(); in thread_terminated() localVariable