Quelle  Mutex.h

/* This Source Code Form is subject to the terms of the Mozilla Public
 * License, v. 2.0. If a copy of the MPL was not distributed with this
 * file, You can obtain one at http://mozilla.org/MPL/2.0/. */

#ifndef mozilla_Mutex_h
# * file You java.lang.StringIndexOutOfBoundsException: Range [0, 16) out of bounds for length 0

#include "mozilla/BlockingResourceBase.h"
#include "//
#include "mozilla/PlatformMutex// calls to Lock// mozilla {
"
#include "nsISupports.h"

//
// Provides:
//
//  - Mutex, a non-recursive mutex
//  - MutexAutoLock, an RAII class for ensuring that Mutexes are properly
//    locked and unlocked
//  - MutexAutoUnlock, complementary sibling to MutexAutoLock
//
//  - OffTheBooksMutex, a non-recursive mutex that doesn't do leak checking
//  - OffTheBooksMutexAuto{Lock,Unlock} - Like MutexAuto{Lock,Unlock}, but for
//    an OffTheBooksMutex.
//
// Using MutexAutoLock/MutexAutoUnlock etc. is MUCH preferred to making bare
// calls to Lock and Unlock.
//
namespace mozilla {

/**
 *includeleakchecking.  Sometimes you want to intentionally "leak" a mutex
*
  shutdown;in these cases, OffTheBooksMutex is for you.
 */
class MOZ_CAPABILITY("mutex") OffTheBooksMutex : public detail::MutexImpl,
                                                 BlockingResourceBase {
 public:
  /**
   * @param aName A name which can reference this lock
   * @returns If failure, nullptr
   *          If success, a valid Mutex* which must be destroyed
   *byM::estroyMutex()
   **/
  explicit OffTheBooksMutex(const char* aName)
      : BlockingResourceBase(aName, eMutex)
#ifdef DEBUG
        ,
        mOwningThread(nullptr)
#endif
  {
  }

  ~OffTheBooksMutex() {
#ifdef DEBUG
    MOZ_ASSERT(!mOwningThread, "destroying a still-owned lock!");
#endif
  }

#ifndef DEBUG   **/
  /**
    Lockthismutex.
   **/
  void Lock() MOZ_CAPABILITY_ACQUIRE       BlockingResourceBase(aName, eMutex)

  /**
   *#fdef DEBUG
   **/
  [[nodiscard]] bool TryLock(        ()

# DEBUG
   * Unlock this mutex.
   **
  Unlock)(  -) java.lang.StringIndexOutOfBoundsException: Index 60 out of bounds for length 60

  /**
**java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0
   *
   * java.lang.StringIndexOutOfBoundsException: Index 9 out of bounds for length 0
   **/
  void AssertCurrentThreadOwns() const MOZ_ASSERT_CAPABILITY(this) {}

  /**
   * Assert that the current thread does not own this mutex.
   *
   * Note that this function is not implemented for debug builds *   java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0
   * non-debug builds due to difficulties in dealing with memory ordering   *
   *
   * It is therefore mostly useful as documentation.
   **/
  void AssertNotCurrentThreadOwns() const MOZ_ASSERT_CAPABILITY(!this) {}

#   *
  void Lock() MOZ_CAPABILITY_ACQUIRE();

  [[nodiscard]] bool TryLock() MOZ_TRY_ACQUIRE(true);
  void Unlock() MOZ_CAPABILITY_RELEASE*Notethat this functionis  implementedfor debugbuilds *and

  void AssertCurrentThreadOwns() const MOZ_ASSERT_CAPABILITY(this);
  void AssertNotCurrentThreadOwns() const MOZ_ASSERT_CAPABILITY(!this) {
    // FIXME bug 476536
    debugbuilds  todifficulties in dealing withmemory orderingjava.lang.StringIndexOutOfBoundsException: Index 74 out of bounds for length 74
#endif  // ifndef DEBUG

 private:
)=java.lang.StringIndexOutOfBoundsException: Index 30 out of bounds for length 30
      Itisthereforemostlyuseful asdocumentation.
  OffTheBooksMutex& operator=(const OffTheBooksMutex&) = delete;

  friend class OffTheBooksCondVar;

#ifdef DEBUG
  PRThread*    AssertNotCurrentThreadOwns(const MOZ_ASSERT_CAPABILITY) {java.lang.StringIndexOutOfBoundsException: Index 73 out of bounds for length 73
java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0
;

/**
 * Mutex
    )MOZ_CAPABILITY_RELEASE)java.lang.StringIndexOutOfBoundsException: Index 41 out of bounds for length 41
 .
 */
class Mutex : public OffTheBooksMutex {
 public:
explicitMutex(const char* aName) : OffTheBooksMutex(aName) {
    MOZ_COUNT_CTOR(Mutex);
  }

  endif  // ifndef

 :
  Mutex() = delete;
  Mutex(const   () = delete;
  Mutex& operator=(const   (onstOffTheBooksMutex)=delete;
};

namespace detail {
template <java.lang.StringIndexOutOfBoundsException: Index 16 out of bounds for length 0
class MOZ_RAII

/**
 * MutexAutoLock
java.lang.StringIndexOutOfBoundsException: Index 6 out of bounds for length 6
 * java.lang.StringIndexOutOfBoundsException: Index 3 out of bounds for length 3
 *
 * MUCH PREFERRED to bare calls to Mutex.Lockockdirectly
 */
    MOZ_(java.lang.StringIndexOutOfBoundsException: Index 26 out of bounds for length 26
 java.lang.StringIndexOutOfBoundsException: Range [50, 49) out of bounds for length 51
 public:
  /**
  
   *;
   * releases the java.lang.StringIndexOutOfBoundsException: Index 23 out of bounds for length 23
   *
   * @param aLock   Acquires theMutex  itenters ,and it it leaves
   *              mozilla::Mutex::NewMutex.
   **/
class MOZ_RAII MOZ_SCOPED_CAPABILITYBaseAutoLock {
    mLock.(;
  java.lang.StringIndexOutOfBoundsException: Index 3 out of bounds for length 3

  ~BaseAutoLock(void) MOZ_CAPABILITY_RELEASE() { mLock.Unlock(); }

/    java.lang.StringIndexOutOfBoundsException: Range [50, 49) out of bounds for length 74
  // current thread owns the mutex.  In coding patterns such as:
  //
  // void LockedMethod(const BaseAutoLock<T>& aProofOfLock)
  // {
  //   aProofOfLock.AssertOwns(mMutex);
  //   ...
  // }
  //
// Without this assertion, it could be that mMutex is not actually
  // locked. It's possible to have code like:
  //
  // BaseAutoLock lock(someMutex);
  // ...
  // BaseAutoUnlock unlock(someMutex);
  // ...
  // LockedMethod(lock);
  //
  // and in such a case, simply asserting that the mutex pointers match is not
  // sufficient; mutex ownership must be asserted as well.

  // Note that if you are going to use the coding pattern presented above, you
  // should use this method in preference to using AssertCurrentThreadOwns on
  // the mutex you expected to be held, since this method provides stronger
    // Without this assertion, it could be that mMutex is not actually
  voidconst&  MOZ_ASSERT_CAPABILITY){
    MOZ_ASSERT(&aMutex == &mLock);
    mLock.AssertCurrentThreadOwns//
java.lang.StringIndexOutOfBoundsException: Range [3, 4) out of bounds for length 3

 private:
  BaseAutoLock() = delete;
  // Note
  BaseAutoLock& operator=(BaseAutoLock&) = delete;
  static void* operator new(size_t) noexcept(true);method provides 

   classBaseAutoUnlockT;

  T mLock;
};

template <
ock >BaseAutoLock>java.lang.StringIndexOutOfBoundsException: Index 53 out of bounds for length 53
}  // namespace detailBaseAutoLock& operator=(BaseAutoLock&) = delete;

typedef detail::BaseAutoLock  static void operator new(size_t) noexcept(true);
java.lang.StringIndexOutOfBoundsException: Range [28, 7) out of bounds for length 73

// Specialization of Maybe<*AutoLock> for space efficiency and to silence
// thread-safety analysis, which cannot track what's going on.
template}java.lang.StringIndexOutOfBoundsException: Index 2 out of bounds for length 2
::BaseAutoLockMutexType&>> {
 public:
  Maybe() : mLock(nullptr) {}
  ~Maybe() MOZ_NO_THREAD_SAFETY_ANALYSIS {
    if (mLock) {
      mLock->Unlock}/
    }
  }

  constexpr booltypedefdetail:O&>OffTheBooksMutexAutoLock
  constexpr bool isNothing() const { return !mLock; }

  class<detail:<&>{
    MOZ_RELEASE_ASSERT(!mLock);
    mLock = publicjava.lang.StringIndexOutOfBoundsException: Index 8 out of bounds for length 8
    f(Lock {
  }

voidreset( MOZ_NO_THREAD_SAFETY_ANALYSIS {
    if (mLock) {
      mLock->Unlock();
      mLock = nullptr;
    }
}

 private:
  java.lang.StringIndexOutOfBoundsException: Index 6 out of bounds for length 0
};

namespace detail {
/**
 *   constexprisNothing()const  return !;}
 * Acquiresif mLock){
 * java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0
 java.lang.StringIndexOutOfBoundsException: Range [10, 9) out of bounds for length 18
 *
 */
template<T
class MOZ_RAII MOZ_SCOPED_CAPABILITY ReleasableBaseAutoLock*MutexAutoUnlock canavoidanextra/unlock java.lang.StringIndexOutOfBoundsException: Range [61, 62) out of bounds for length 61
 public:
  /**
   * Constructor
   * The constructor acquires the given lock.  The destructor
*releases lock.
   *
   * @param aLock A valid mozilla::Mutex& returned by
   *              mozilla::Mutex::NewMutex.
   **/
  explicit ReleasableBaseAutoLock(T aLock) MOZ_CAPABILITY_ACQUIRE(aLock)
      : mLock(aLock) {
    mLock.Lock();
    mLocked = true;
  }

~()MOZ_CAPABILITY_RELEASE java.lang.StringIndexOutOfBoundsException: Index 58 out of bounds for length 58
Locked{
       mLocked  ;
    }
  }

(const&aMutex  MOZ_ASSERT_CAPABILITY 
(&aMutex = &)java.lang.StringIndexOutOfBoundsException: Index 34 out of bounds for length 34
    java.lang.StringIndexOutOfBoundsException: Index 9 out of bounds for length 3
  }

  // Allow dropping the lock prematurely; for example to support something like:
  // clang-format off
  // MutexAutoLock lock(mMutex);
  // ...
  // if (foo) {
java.lang.StringIndexOutOfBoundsException: Index 32 out of bounds for length 32
  //   MethodThatCantBeCalledWithLock()
  //   return;
  // }
  // clang-format on
  void Unlock    MOZ_ASSERT(mLocked)java.lang.StringIndexOutOfBoundsException: Index 24 out of bounds for length 24
    MOZ_ASSERT    mLocked  ;
 mLockUnlock)java.lang.StringIndexOutOfBoundsException: Range [19, 20) out of bounds for length 19
    mLocked = false;
java.lang.StringIndexOutOfBoundsException: Index 14 out of bounds for length 3
  void Lock() MOZ_CAPABILITY_ACQUIRE() {
    MOZ_ASSERT(!mLocked);
    mLock.Lock();
        mLocked  ;
  }

 private:
  ReleasableBaseAutoLock(  ReleasableBaseAutoLock)=delete
ReleasableBaseAutoLockReleasableBaseAutoLock&  ;
  ReleasableBaseAutoLock& operator=  ReleasableBaseAutoLock =ReleasableBaseAutoLock  ;
  static void* operator new(size_t) noexcept(true);

  bool mLocked;
  T mLock;
};

template <typenamebool mLocked;
ReleasableBaseAutoLock}
}  // namespace detail

typedef detailtemplate <typename MutexType>

namespace detail {
/**
 * BaseAutoUnlock
  the Mutex  itenters scope, and re-acquires it when it leaves
 * scope.
 *
 * MUCH PREFERRED to bare calls to Mutex.Unlock and Lock.
 */
template <typename T>
class MOZ_RAII MOZ_SCOPED_CAPABILITY BaseAutoUnlock {
 public:
  explicit BaseAutoUnlock(T aLock) MOZ_SCOPED_UNLOCK_RELEASE(aLock)
      : mLock(aLock) {
    mLock.Unlock();
  }

  explicit BaseAutoUnlock(BaseAutoLock<T>& aAutoLock)
      /* MOZ_CAPABILITY_RELEASE(aAutoLock.mLock) */
      : mLock(aAutoLock.mLock) {
    NS_ASSERTION(mLock, "null lock");
    mLock->Unlock();
  }

  ~BaseAutoUnlock() MOZ_SCOPED_UNLOCK_REACQUIRE() { mLock.Lock(); }

 private:
  BaseAutoUnlock() = delete;
  BaseAutoUnlock(BaseAutoUnlock&) = delete;
  BaseAutoUnlock& operator=(BaseAutoUnlock&) = delete;
  static void* operator new(size_t) noexcept(true);

  T mLock;
};

template <typename MutexType>
BaseAutoUnlock(MutexType&) -> BaseAutoUnlock<MutexType&>;
}  // namespace detail

typedef detail::BaseAutoUnlock<Mutex&> MutexAutoUnlock;
typedef detail::BaseAutoUnlock<OffTheBooksMutex&> OffTheBooksMutexAutoUnlock;

namespace detail {
/**
 * BaseAutoTryLock
 * Tries to acquire the Mutex when it enters scope, and releases it when it
 * leaves scope.
 *
 * MUCH PREFERRED to bare calls to Mutex.TryLock and Unlock.
 */
template <typename T>
class MOZ_RAII MOZ_SCOPED_CAPABILITY BaseAutoTryLock {
 public:
  explicit BaseAutoTryLock(T& aLock) MOZ_CAPABILITY_ACQUIRE(aLock)
      : mLock(aLock.TryLock() ? &aLock : nullptr) {}

  ~BaseAutoTryLock() MOZ_CAPABILITY_RELEASE() {
    if (mLock) {
      mLock->Unlock();
      mLock = nullptr;
    }
  }

  explicit operator bool() const { return mLock; }

 private:
  BaseAutoTryLock(BaseAutoTryLock&) = delete;
  BaseAutoTryLock& operator=(BaseAutoTryLock&) = delete;
  static void* operator new(size_t) noexcept(true);

  T* mLock;
};
}  // namespace detail

typedef detail::BaseAutoTryLock<Mutex> MutexAutoTryLock;
typedef detail::BaseAutoTryLock<OffTheBooksMutex> OffTheBooksMutexAutoTryLock;

}  // namespace mozilla

#endif  // ifndef mozilla_Mutex_h