Lines Matching refs:mu1
42 Mutex mu1; // This Mutex guards var.
44 int var; // GUARDED_BY(mu1)
47 MutexLock lock(&mu1); // Correct Mutex.
74 Mutex MU1;
81 MU1.Lock(); CHECK(GLOB >= 0); MU1.Unlock();
89 MU1.Lock(); CHECK(GLOB >= 0); MU1.Unlock();
93 MU1.Lock(); GLOB++; MU1.Unlock();
175 // In this test GLOB is protected by MU1 and MU2, but inconsistently.
184 Mutex MU1;
186 void Worker1() { MU1.Lock(); MU2.Lock(); GLOB=1; MU2.Unlock(); MU1.Unlock(); }
187 void Worker2() { MU1.Lock(); GLOB=2; MU1.Unlock(); }
188 void Worker3() { MU1.Lock(); MU2.Lock(); GLOB=3; MU2.Unlock(); MU1.Unlock(); }
209 Mutex MU1;
211 void Worker1() { MU1.Lock(); MU2.Lock(); GLOB=1; MU2.Unlock(); MU1.Unlock(); }
212 void Worker2() { MU1.Lock(); MU2.Lock(); GLOB=3; MU2.Unlock(); MU1.Unlock(); }
328 int *PTR = NULL; // GUARDED_BY(mu1)
330 Mutex mu1; // Protects PTR.
336 MutexLock lock1(&mu1); // Protect PTR.
342 MutexLock lock1(&mu1); // Protect PTR.
386 int *PTR = NULL; // GUARDED_BY(mu1)
388 Mutex mu1; // Protects PTR.
394 MutexLock lock1(&mu1); // Protect PTR.
400 MutexLock lock1(&mu1); // Protect PTR.
405 MutexLock lock1(&mu1); // Protect PTR.
