Lines Matching refs:Signal
360 // the pair of CV.Signal() and CV.Wait() establish happens-before relation.
368 // /--- d. CV.Signal()
381 CV.Signal();
498 // d. CV.Signal()
509 CV.Signal();
548 // /------- d. CV.Signal()
561 CV.Signal();
623 GLOB = 2; // If LockWhen didn't catch the signal, a race may be reported here.
737 // 3. while(COND != 2) /-------- c. CV.Signal()
751 CV.Signal();
2110 CV.Signal();
2135 CV.Signal();
2439 // /--- d. CV.Signal()
2455 CV.Signal();
2497 // second signal will be lost
2508 // \--- d. CV.Signal()
2515 // LOST<---- i. CV.Signal()
2526 CV.Signal();
2535 CV.Signal(); //Lost Signal
2570 // same as test51 but the first signal will be lost
2578 // LOST<---- d. CV.Signal()
2588 // \--- i. CV.Signal()
2597 CV.Signal(); //lost signal
2606 CV.Signal();
2615 usleep(10000); // Make sure the first signal will be lost
2911 // test60: TN. Correct synchronization using signal-wait {{{1
2920 // same as test 59 but synchronized with signal-wait.
2927 CV.Signal();
2944 CV.Signal();
3185 CV.Signal();
3194 CV.Signal();
3241 CV.Signal();
3249 CV.Signal();
4590 CV.Signal();
4594 usleep(1000*1000); // Make sure CV2.Signal() "happens after" CV.Signal()
4599 CV2.Signal();
4613 GLOB = 2; // READ: no HB-relation between CV.Signal and CV2.Wait !
4637 usleep(1000*1000); // Make sure CV2.Signal() "happens before" CV.Signal()
4644 CV.Signal();
4652 CV2.Signal();
4666 GLOB = 2; // READ: no HB-relation between CV.Signal and CV2.Wait !
4902 CV.Signal();
4903 printf("signal\n");
4911 CV.Signal();
4912 printf("signal\n");
5629 // test118 PERF: One signal, multiple waits. {{{1
