Lines Matching refs:COND
128 int COND = 0;
363 // 1. COND = 0
367 // c. COND = 1
369 // 4. while(COND) / e. MU.Unlock()
380 COND = 1;
388 COND = 0;
391 while(COND != 1)
412 // 1. COND = 0
416 // c. COND = 1
418 // 3. MU.LockWhen(COND==1) <---/
428 COND = 1; // We are done! Tell the Waiter.
434 COND = 0;
436 MU.LockWhen(Condition(&ArgIsOne, &COND)); // calls ANNOTATE_CONDVAR_WAIT
493 // 1. COND = 0
497 // c. COND = 1
499 // 4. while(COND) e. MU.Unlock()
508 COND = 1;
516 COND = 0;
520 while(COND != 1)
543 // 1. COND = 0
547 // c. COND = 1
549 // 4. while(COND) / e. MU.Unlock()
560 COND = 1;
568 COND = 0;
572 while(COND != 1)
591 bool COND = 0;
593 // LockWhen() is observed after COND has been set (due to sleep).
597 // 1. COND = 0
601 // c. COND = 1
603 // 3. MU.LockWhen(COND==1) <---/
611 COND = true; // We are done! Tell the Waiter.
615 COND = false;
620 MU.LockWhen(Condition(&ArgIsTrue, &COND)); // calls ANNOTATE_CONDVAR_WAIT
737 // 3. while(COND != 2) /-------- c. CV.Signal()
750 COND++;
756 COND = 0;
762 while(COND != 2) {
841 // 5. COND = 1 .
844 // \----> d. MU.LockWhen(COND == 1)
855 COND = 1;
865 MU.LockWhen(Condition(&ArgIsOne, &COND));
873 COND = 0;
931 // 3. COND = 1
932 // 4. ANNOTATE_CONDVAR_SIGNAL ------------> a. MU.LockWhen(COND == 1)
943 COND = 1;
949 MU.LockWhen(Condition(&ArgIsOne, &COND));
956 COND = 0;
974 // 5. COND-- e. COND--
976 // 7. MU2.Await(COND == 0) <------------+------ f. ANNOTATE_CONDVAR_SIGNAL(MU2)
977 // 8. MU2.Unlock() V-----> g. MU2.Await(COND == 0)
998 COND--;
1000 MU2.Await(Condition(&ArgIsZero, &COND));
1008 COND = 2;
1032 COND--;
1034 MU2.Await(Condition(&ArgIsZero, &COND));
1042 COND = 3;
1064 COND = 1; // We are done! Tell the Waiter.
1070 COND = 0;
1074 MU.Await(Condition(&ArgIsOne, &COND)); // calls ANNOTATE_CONDVAR_WAIT
1097 COND = 1; // We are done! Tell the Waiter.
1103 COND = 0;
1107 CHECK(MU.AwaitWithTimeout(Condition(&ArgIsOne, &COND), INT_MAX));
1132 COND = 0;
1136 CHECK(!MU.AwaitWithTimeout(Condition(&ArgIsOne, &COND), 100));
1163 COND = 0;
1166 CHECK(!MU.LockWhenWithTimeout(Condition(&ArgIsOne, &COND), 100));
1193 COND = 0;
1199 while(COND != 1 && ms_left_to_wait > 0) {
1291 COND = 1; // We are done! Tell the Waiter.
1297 COND = 0;
1299 MU.ReaderLockWhen(Condition(&ArgIsOne, &COND));
1324 COND = 1; // We are done! Tell the Waiter.
1330 COND = 0;
1332 CHECK(MU.ReaderLockWhenWithTimeout(Condition(&ArgIsOne, &COND), INT_MAX));
1358 COND = 0;
1360 CHECK(!MU.ReaderLockWhenWithTimeout(Condition(&ArgIsOne, &COND), 100));
2101 int COND = 0;
2109 COND = 1;
2114 while (COND != 0)
2126 while (COND != 1)
2134 COND = 0;
2434 // 1. COND = 0
2438 // c. COND = 1
2440 // 4. while(COND != 1) / e. MU.Unlock()
2454 COND = 1;
2467 COND = 0;
2471 while(COND != 1)
2492 int COND = 0;
2502 // 3. while(COND)
2507 // \ c. COND = 1
2514 // h. COND = 1
2525 COND = 1;
2534 COND = 1;
2546 while(COND != 1)
2567 int COND = 0;
2577 // c. COND = 1
2582 // 3. while(COND)
2587 // \ h. COND = 1
2596 COND = 1;
2605 COND = 1;
2618 while(COND != 1)
3289 int COND = 0;
3302 COND++;
3313 if (COND == N_writers)
3341 int COND = 0;
3355 COND++;
3368 if (COND == N_writers)
4578 int COND = 0;
4589 COND = 1;
4604 while(COND != 1)
4631 int COND = 0;
4643 COND = 1;
4657 while(COND != 1)
5320 bool COND = false;
5337 mu.LockWhen(Condition(&ArgIsTrue, &COND));
5359 COND = true;