Lines Matching refs:CV
127 CondVar CV;
360 // the pair of CV.Signal() and CV.Wait() establish happens-before relation.
368 // /--- d. CV.Signal()
370 // CV.Wait(MU) <---/
381 CV.Signal();
392 CV.Wait(&MU);
498 // d. CV.Signal()
500 // CV.Wait(MU) <<< not called
509 CV.Signal();
521 CV.Wait(&MU);
548 // /------- d. CV.Signal()
550 // CV.Wait(MU) <<< not called /
551 // 6. ANNOTATE_CONDVAR_WAIT(CV, MU) <----/
561 CV.Signal();
573 CV.Wait(&MU);
574 ANNOTATE_CONDVAR_LOCK_WAIT(&CV, &MU);
737 // 3. while(COND != 2) /-------- c. CV.Signal()
738 // CV.Wait(&MU) <-------/ d. MU.Unlock()
751 CV.Signal();
763 CV.Wait(&MU);
967 // test16: FP. Barrier (emulated by CV), 2 threads. {{{1
1019 // test17: FP. Barrier (emulated by CV), 3 threads. {{{1
1200 CV.WaitWithTimeout(&MU, ms_left_to_wait);
2110 CV.Signal();
2115 CV.Wait(&MU);
2116 ANNOTATE_CONDVAR_LOCK_WAIT(&CV, &MU);
2127 CV.Wait(&MU);
2128 ANNOTATE_CONDVAR_LOCK_WAIT(&CV, &MU);
2135 CV.Signal();
2439 // /--- d. CV.Signal()
2441 // CV.Wait(MU) <---/
2455 CV.Signal();
2472 CV.Wait(&MU);
2473 ANNOTATE_CONDVAR_LOCK_WAIT(&CV, &MU);
2503 // CV.Wait(MU)<-\ .
2508 // \--- d. CV.Signal()
2515 // LOST<---- i. CV.Signal()
2526 CV.Signal();
2535 CV.Signal(); //Lost Signal
2547 CV.Wait(&MU);
2578 // LOST<---- d. CV.Signal()
2583 // CV.Wait(MU)<-\ .
2588 // \--- i. CV.Signal()
2597 CV.Signal(); //lost signal
2606 CV.Signal();
2619 CV.Wait(&MU);
2927 CV.Signal();
2932 CV.Wait(&MU);
2933 ANNOTATE_CONDVAR_LOCK_WAIT(&CV, &MU);
2944 CV.Signal();
2949 CV.Wait(&MU);
2950 ANNOTATE_CONDVAR_LOCK_WAIT(&CV, &MU);
3173 // test66: TN. Two separate pairs of signaller/waiter using the same CV. {{{1
3185 CV.Signal();
3194 CV.Signal();
3200 while (C1 != 1) CV.Wait(&MU);
3201 ANNOTATE_CONDVAR_WAIT(&CV);
3208 while (C2 != 1) CV.Wait(&MU);
3209 ANNOTATE_CONDVAR_WAIT(&CV);
3241 CV.Signal();
3249 CV.Signal();
3255 while (C1 != 1) CV.Wait(&MU);
3256 ANNOTATE_CONDVAR_WAIT(&CV);
3262 while (C2 != 1) CV.Wait(&MU);
3263 ANNOTATE_CONDVAR_WAIT(&CV);
4581 CondVar CV, CV2;
4590 CV.Signal();
4594 usleep(1000*1000); // Make sure CV2.Signal() "happens after" CV.Signal()
4605 CV.Wait(&MU);
4613 GLOB = 2; // READ: no HB-relation between CV.Signal and CV2.Wait !
4634 CondVar CV, CV2;
4637 usleep(1000*1000); // Make sure CV2.Signal() "happens before" CV.Signal()
4644 CV.Signal();
4658 CV.Wait(&MU);
4666 GLOB = 2; // READ: no HB-relation between CV.Signal and CV2.Wait !
4893 CondVar CV;
4902 CV.Signal();
4911 CV.Signal();
4919 CV.Wait(&MU);
4925 CV.Wait(&MU);
