Lines Matching defs:MU2

973 // 4. MU2.Lock()                                d. MU2.Lock()
975 // 6. ANNOTATE_CONDVAR_SIGNAL(MU2) ---->V .
976 // 7. MU2.Await(COND == 0) <------------+------ f. ANNOTATE_CONDVAR_SIGNAL(MU2)
977 // 8. MU2.Unlock() V-----> g. MU2.Await(COND == 0)
978 // 9. read(GLOB) h. MU2.Unlock()
990 Mutex MU2;
997 MU2.Lock();
999 ANNOTATE_CONDVAR_SIGNAL(&MU2);
1000 MU2.Await(Condition(&ArgIsZero, &COND));
1001 MU2.Unlock();
1024 Mutex MU2;
1031 MU2.Lock();
1033 ANNOTATE_CONDVAR_SIGNAL(&MU2);
1034 MU2.Await(Condition(&ArgIsZero, &COND));
1035 MU2.Unlock();
1915 // MU2.Lock() MU2.Lock()
1917 // MU2.Unlock() MU2.Unlock()
1921 // MU2.Lock() MU2.Lock()
1923 // MU2.Unlock() MU2.Unlock()
1929 Mutex MU, MU1, MU2;
1940 MU2.Lock();
1942 MU2.Unlock();
1955 MU2.Lock();
1957 MU2.Unlock();
2022 // MU2.Lock() MU2.Lock()
2024 // MU2.Unlock() MU2.Unlock()
2027 // MU2.Lock() MU2.Lock()
2029 // MU2.Unlock() MU2.Unlock()
2035 Mutex MU, MU1, MU2;
2047 MU2.Lock();
2049 MU2.Unlock();
2061 MU2.Lock();
2063 MU2.Unlock();
2653 // e. MU2.Lock()
2655 // g. MU2.Unlock()
2660 Mutex MU1, MU2;
2679 MU2.Lock();
2682 MU2.Unlock();
2704 Mutex MU1, MU2;
2725 MU2.Lock();
2728 MU2.Unlock();
4437 // Accessors get the object under MU1 and access it (read/write) under MU2.
4443 Mutex MU, MU1, MU2;
4461 MU2.Lock();
4464 MU2.Unlock();
4506 Mutex MU, MU1, MU2;
4525 MU2.Lock();
4528 MU2.Unlock();
4580 Mutex MU, MU2;
4597 MU2.Lock();
4600 MU2.Unlock();
4609 MU2.Lock();
4611 CV2.Wait(&MU2);
4612 MU2.Unlock();
4633 Mutex MU, MU2;
4650 MU2.Lock();
4653 MU2.Unlock();
4662 MU2.Lock();
4664 CV2.Wait(&MU2);
4665 MU2.Unlock();
6722 Mutex MU2;
6732 MU2.Lock(); CHECK(GLOB >= 0); MU2.Unlock();
6825 // In this test GLOB is protected by MU1 and MU2, but inconsistently.
6835 Mutex MU2;
6836 void Worker1() { MU1.Lock(); MU2.Lock(); GLOB=1; MU2.Unlock(); MU1.Unlock(); }
6838 void Worker3() { MU1.Lock(); MU2.Lock(); GLOB=3; MU2.Unlock(); MU1.Unlock(); }
6839 void Worker4() { MU2.Lock(); GLOB=4; MU2.Unlock(); }
6861 Mutex MU2;
6862 void Worker1() { MU1.Lock(); MU2.Lock(); GLOB=1; MU2.Unlock(); MU1.Unlock(); }
6863 void Worker2() { MU1.Lock(); MU2.Lock(); GLOB=3; MU2.Unlock(); MU1.Unlock(); }