Lines Matching refs:mu2
977 // 4. MU2.Lock() d. MU2.Lock()
979 // 6. ANNOTATE_CONDVAR_SIGNAL(MU2) ---->V .
980 // 7. MU2.Await(COND == 0) <------------+------ f. ANNOTATE_CONDVAR_SIGNAL(MU2)
981 // 8. MU2.Unlock() V-----> g. MU2.Await(COND == 0)
982 // 9. read(GLOB) h. MU2.Unlock()
994 Mutex MU2;
1001 MU2.Lock();
1003 ANNOTATE_CONDVAR_SIGNAL(&MU2);
1004 MU2.Await(Condition(&ArgIsZero, &COND));
1005 MU2.Unlock();
1028 Mutex MU2;
1035 MU2.Lock();
1037 ANNOTATE_CONDVAR_SIGNAL(&MU2);
1038 MU2.Await(Condition(&ArgIsZero, &COND));
1039 MU2.Unlock();
1919 // MU2.Lock() MU2.Lock()
1921 // MU2.Unlock() MU2.Unlock()
1925 // MU2.Lock() MU2.Lock()
1927 // MU2.Unlock() MU2.Unlock()
1933 Mutex MU, MU1, MU2;
1944 MU2.Lock();
1946 MU2.Unlock();
1959 MU2.Lock();
1961 MU2.Unlock();
2026 // MU2.Lock() MU2.Lock()
2028 // MU2.Unlock() MU2.Unlock()
2031 // MU2.Lock() MU2.Lock()
2033 // MU2.Unlock() MU2.Unlock()
2039 Mutex MU, MU1, MU2;
2051 MU2.Lock();
2053 MU2.Unlock();
2065 MU2.Lock();
2067 MU2.Unlock();
2657 // e. MU2.Lock()
2659 // g. MU2.Unlock()
2664 Mutex MU1, MU2;
2683 MU2.Lock();
2686 MU2.Unlock();
2708 Mutex MU1, MU2;
2729 MU2.Lock();
2732 MU2.Unlock();
4441 // Accessors get the object under MU1 and access it (read/write) under MU2.
4447 Mutex MU, MU1, MU2;
4465 MU2.Lock();
4468 MU2.Unlock();
4510 Mutex MU, MU1, MU2;
4529 MU2.Lock();
4532 MU2.Unlock();
4584 Mutex MU, MU2;
4601 MU2.Lock();
4604 MU2.Unlock();
4613 MU2.Lock();
4615 CV2.Wait(&MU2);
4616 MU2.Unlock();
4637 Mutex MU, MU2;
4654 MU2.Lock();
4657 MU2.Unlock();
4666 MU2.Lock();
4668 CV2.Wait(&MU2);
4669 MU2.Unlock();
6693 Mutex mu2; // This Mutex is not related to var.
6702 MutexLock lock(&mu2); // Wrong Mutex.
6726 Mutex MU2;
6736 MU2.Lock(); CHECK(GLOB >= 0); MU2.Unlock();
6829 // In this test GLOB is protected by MU1 and MU2, but inconsistently.
6839 Mutex MU2;
6840 void Worker1() { MU1.Lock(); MU2.Lock(); GLOB=1; MU2.Unlock(); MU1.Unlock(); }
6842 void Worker3() { MU1.Lock(); MU2.Lock(); GLOB=3; MU2.Unlock(); MU1.Unlock(); }
6843 void Worker4() { MU2.Lock(); GLOB=4; MU2.Unlock(); }
6865 Mutex MU2;
6866 void Worker1() { MU1.Lock(); MU2.Lock(); GLOB=1; MU2.Unlock(); MU1.Unlock(); }
6867 void Worker2() { MU1.Lock(); MU2.Lock(); GLOB=3; MU2.Unlock(); MU1.Unlock(); }
6990 Mutex mu2; // Unrelated to PTR.
7000 MutexLock lock2(&mu2); // This lock is unrelated to PTR.
7010 MutexLock lock2(&mu2); // Oh, gosh, this is a wrong mutex!
7049 Mutex mu2; // Unrelated to PTR.
7059 MutexLock lock2(&mu2); // This lock is unrelated to PTR.
7070 MutexLock lock2(&mu2); // Wrong mutex!
