Lines Matching defs:mu1
1822 // 5. MU1.Lock() \-------> a. Q.Get() / E. MU1.Lock()
1826 // 9. MU1.Unlock() (sleep) I. MU1.Unlock()
1827 // c. MU1.Lock()
1829 // e. MU1.Unlock()
1832 Mutex MU, MU1;
1841 MU1.Lock();
1845 MU1.Unlock();
1852 MU1.Lock();
1854 MU1.Unlock();
1909 // MU1.Lock() MU1.Lock()
1911 // MU1.Unlock() MU1.Unlock()
1914 // MU1.Lock() MU1.Lock()
1918 // MU1.Unlock() MU1.Unlock() sleep sleep
1929 Mutex MU, MU1, MU2;
1932 MU1.Lock();
1934 MU1.Unlock();
1939 MU1.Lock();
1943 MU1.Unlock();
2015 // MU1.Lock() MU1.Lock()
2017 // MU1.Unlock() MU1.Unlock()
2026 // MU1.Lock() MU1.Lock()
2030 // MU1.Unlock() MU1.Unlock()
2035 Mutex MU, MU1, MU2;
2038 MU1.Lock();
2040 MU1.Unlock();
2046 MU1.Lock();
2050 MU1.Unlock();
2645 // 1. MU1.Lock()
2648 // 4. MU1.Unlock()
2649 // a. MU1.Lock()
2651 // c. MU1.Unlock()
2660 Mutex MU1, MU2;
2663 MU1.Lock();
2666 MU1.Unlock();
2673 MU1.Lock();
2675 MU1.Unlock();
2704 Mutex MU1, MU2;
2707 MU1.Lock();
2711 MU1.Unlock();
2718 MU1.Lock();
2720 MU1.Unlock();
3291 Mutex MU, MU1;
3301 MU1.Lock();
3303 MU1.Unlock();
3312 MU1.Lock();
3315 MU1.Unlock();
3344 Mutex MU, MU1;
3354 MU1.Lock();
3356 MU1.Unlock();
3367 MU1.Lock();
3370 MU1.Unlock();
4436 // The Publisher creates an object and safely publishes it under a mutex MU1.
4437 // Accessors get the object under MU1 and access it (read/write) under MU2.
4443 Mutex MU, MU1, MU2;
4446 MU1.Lock();
4451 MU1.Unlock();
4457 MU1.Lock();
4459 MU1.Unlock();
4489 // 1. MU1.Lock()
4492 // 4. MU1.Unlock() \ .
4493 // \ a. MU1.Lock()
4495 // \ c. MU1.Unlock()
4506 Mutex MU, MU1, MU2;
4509 MU1.Lock();
4516 MU1.Unlock();
4521 MU1.Lock();
4523 MU1.Unlock();
5382 Mutex mu1;
5397 mu1.Lock();
5401 mu1.Unlock();
6688 Mutex mu1; // This Mutex guards var.
6690 int var; // GUARDED_BY(mu1)
6693 MutexLock lock(&mu1); // Correct Mutex.
6721 Mutex MU1;
6728 MU1.Lock(); CHECK(GLOB >= 0); MU1.Unlock();
6736 MU1.Lock(); CHECK(GLOB >= 0); MU1.Unlock();
6740 MU1.Lock(); GLOB++; MU1.Unlock();
6825 // In this test GLOB is protected by MU1 and MU2, but inconsistently.
6834 Mutex MU1;
6836 void Worker1() { MU1.Lock(); MU2.Lock(); GLOB=1; MU2.Unlock(); MU1.Unlock(); }
6837 void Worker2() { MU1.Lock(); GLOB=2; MU1.Unlock(); }
6838 void Worker3() { MU1.Lock(); MU2.Lock(); GLOB=3; MU2.Unlock(); MU1.Unlock(); }
6860 Mutex MU1;
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(); }
6983 int *PTR = NULL; // GUARDED_BY(mu1)
6985 Mutex mu1; // Protects PTR.
6991 MutexLock lock1(&mu1); // Protect PTR.
6997 MutexLock lock1(&mu1); // Protect PTR.
7042 int *PTR = NULL; // GUARDED_BY(mu1)
7044 Mutex mu1; // Protects PTR.
7050 MutexLock lock1(&mu1); // Protect PTR.
7056 MutexLock lock1(&mu1); // Protect PTR.
7061 MutexLock lock1(&mu1); // Protect PTR.
