Lines Matching defs:CV
77 static CondVar CV;
120 // the pair of CV.Signal() and CV.Wait() establish happens-before relation.
128 // /--- d. CV.Signal()
130 // CV.Wait(MU) <---/
141 CV.Signal();
152 CV.Wait(&MU);
258 // d. CV.Signal()
260 // CV.Wait(MU) <<< not called
269 CV.Signal();
277 CV.Wait(&MU);
306 // /------- d. CV.Signal()
308 // CV.Wait(MU) <<< not called /
309 // 6. ANNOTATE_CONDVAR_WAIT(CV, MU) <----/
319 CV.Signal();
331 CV.Wait(&MU);
332 ANNOTATE_CONDVAR_LOCK_WAIT(&CV, &MU);
671 // test16: FP. Barrier (emulated by CV), 2 threads. {{{1
723 // test17: FP. Barrier (emulated by CV), 3 threads. {{{1
892 CV.WaitWithTimeout(&MU, ms_left_to_wait);
1797 CV.Signal();
1802 CV.Wait(&MU);
1803 ANNOTATE_CONDVAR_LOCK_WAIT(&CV, &MU);
1814 CV.Wait(&MU);
1815 ANNOTATE_CONDVAR_LOCK_WAIT(&CV, &MU);
1822 CV.Signal();
2123 // /--- d. CV.Signal()
2125 // CV.Wait(MU) <---/
2139 CV.Signal();
2151 CV.Wait(&MU);
2152 ANNOTATE_CONDVAR_LOCK_WAIT(&CV, &MU);
2184 // CV.Wait(MU)<-\ .
2189 // \--- d. CV.Signal()
2196 // LOST<---- i. CV.Signal()
2206 CV.Signal();
2215 CV.Signal(); //Lost Signal
2223 CV.Wait(&MU);
2256 // LOST<---- d. CV.Signal()
2261 // CV.Wait(MU)<-\ .
2266 // \--- i. CV.Signal()
2275 CV.Signal(); //lost signal
2285 CV.Signal();
2295 CV.Wait(&MU);
2603 CV.Signal();
2608 CV.Wait(&MU);
2609 ANNOTATE_CONDVAR_LOCK_WAIT(&CV, &MU);
2620 CV.Signal();
2625 CV.Wait(&MU);
2626 ANNOTATE_CONDVAR_LOCK_WAIT(&CV, &MU);
2847 // test66: TN. Two separate pairs of signaller/waiter using the same CV. {{{1
2859 CV.Signal();
2868 CV.Signal();
2874 while (C1 != 1) CV.Wait(&MU);
2875 ANNOTATE_CONDVAR_WAIT(&CV);
2882 while (C2 != 1) CV.Wait(&MU);
2883 ANNOTATE_CONDVAR_WAIT(&CV);
2915 CV.Signal();
2923 CV.Signal();
2929 while (C1 != 1) CV.Wait(&MU);
2930 ANNOTATE_CONDVAR_WAIT(&CV);
2936 while (C2 != 1) CV.Wait(&MU);
2937 ANNOTATE_CONDVAR_WAIT(&CV);
4445 CondVar CV, CV2;
4456 CV.Signal();
4461 // Make sure CV2.Signal() "happens after" CV.Signal()
4475 CV.Wait(&MU);
4484 GLOB = 2; // READ: no HB-relation between CV.Signal and CV2.Wait !
4504 CondVar CV, CV2;
4507 usleep(1000*1000); // Make sure CV2.Signal() "happens before" CV.Signal()
4514 CV.Signal();
4528 CV.Wait(&MU);
4536 GLOB = 2; // READ: no HB-relation between CV.Signal and CV2.Wait !
4699 CondVar CV;
4708 CV.Signal();
4717 CV.Signal();
4725 CV.Wait(&MU);
4731 CV.Wait(&MU);
6124 CondVar cv;
6131 cv.Signal();
6138 cv.Wait(&mu);
6139 ANNOTATE_CONDVAR_LOCK_WAIT(&cv, &mu);
