Lines Matching refs:Mutex
35 Mutex mu;
125 underlying implementation (e.g. the Mutex implementation) does the handoff in
169 Mutex mu;
199 Mutex mu1, mu2;
233 Mutex mu;
262 Mutex mu;
293 Mutex mu;
325 Mutex mu;
350 Mutex mu;
354 Mutex* getMu() RETURN_CAPABILITY(mu) { return μ }
371 Mutex m1;
372 Mutex m2 ACQUIRED_AFTER(m1);
375 // Mutex m2;
376 // Mutex m1 ACQUIRED_BEFORE(m2);
394 given above, or the ``Mutex`` class in :ref:`mutexheader`.
434 Mutex mu;
513 Mutex mu;
547 Mutex mu;
588 (Q) "*Mutex is not locked on every path through here?*" What does that mean?
618 Mutex mu;
641 Mutex mu;
645 Mutex* getMu() RETURN_CAPABILITY(mu);
679 ... // Warning! Mutex 'mu' is not held on every path through here.
721 Mutex mu;
724 AutoCleanup<Mutex>(&mu, &Mutex::Unlock);
746 Mutex* mu;
749 MutexUnlocker(Mutex* m) RELEASE(m) : mu(m) { mu->Unlock(); }
753 Mutex mutex;
862 class CAPABILITY("mutex") Mutex {
898 const Mutex& operator!() const { return *this; }
910 Mutex* mut;
915 MutexLocker(Mutex *mu) ACQUIRE(mu) : mut(mu), locked(true) {
920 MutexLocker(Mutex *mu, adopt_lock_t) REQUIRES(mu) : mut(mu), locked(true) {}
923 MutexLocker(Mutex *mu, shared_lock_t) ACQUIRE_SHARED(mu) : mut(mu), locked(true) {
928 MutexLocker(Mutex *mu, adopt_lock_t, shared_lock_t) REQUIRES_SHARED(mu)
932 MutexLocker(Mutex *mu, defer_lock_t) EXCLUDES(mu) : mut(mu), locked(false) {}
935 static MutexLocker Lock(Mutex *mu) ACQUIRE(mu);
936 static MutexLocker Adopt(Mutex *mu) REQUIRES(mu);
937 static MutexLocker ReaderLock(Mutex *mu) ACQUIRE_SHARED(mu);
938 static MutexLocker AdoptReaderLock(Mutex *mu) REQUIRES_SHARED(mu);
939 static MutexLocker DeferLock(Mutex *mu) EXCLUDES(mu);