Searched refs:thread_end_barrier (Results 1 – 1 of 1) sorted by relevance
479 let thread_end_barrier = end_barrier.clone(); in observe_mutate() localVariable484 thread_end_barrier.wait(); in observe_mutate()