blob: 150bc7dbbce126f0b24bee18928e1bdd6563eac9 [file] [log] [blame]
Andrew Scull5e1ddfa2018-08-14 10:06:54 +01001//===- RWMutex.h - Reader/Writer Mutual Exclusion Lock ----------*- C++ -*-===//
2//
Andrew Walbran16937d02019-10-22 13:54:20 +01003// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4// See https://llvm.org/LICENSE.txt for license information.
5// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
Andrew Scull5e1ddfa2018-08-14 10:06:54 +01006//
7//===----------------------------------------------------------------------===//
8//
9// This file declares the llvm::sys::RWMutex class.
10//
11//===----------------------------------------------------------------------===//
12
13#ifndef LLVM_SUPPORT_RWMUTEX_H
14#define LLVM_SUPPORT_RWMUTEX_H
15
16#include "llvm/Config/llvm-config.h"
17#include "llvm/Support/Threading.h"
18#include <cassert>
Olivier Deprezf4ef2d02021-04-20 13:36:24 +020019#include <mutex>
20#include <shared_mutex>
21
22// std::shared_timed_mutex is only availble on macOS 10.12 and later.
23#if defined(__APPLE__) && defined(__ENVIRONMENT_MAC_OS_X_VERSION_MIN_REQUIRED__)
24#if __ENVIRONMENT_MAC_OS_X_VERSION_MIN_REQUIRED__ < 101200
25#define LLVM_USE_RW_MUTEX_IMPL
26#endif
27#endif
Andrew Scull5e1ddfa2018-08-14 10:06:54 +010028
29namespace llvm {
30namespace sys {
31
Olivier Deprezf4ef2d02021-04-20 13:36:24 +020032#if defined(LLVM_USE_RW_MUTEX_IMPL)
33/// Platform agnostic RWMutex class.
34class RWMutexImpl {
35 /// @name Constructors
36 /// @{
37public:
38 /// Initializes the lock but doesn't acquire it.
39 /// Default Constructor.
40 explicit RWMutexImpl();
Andrew Scull5e1ddfa2018-08-14 10:06:54 +010041
Olivier Deprezf4ef2d02021-04-20 13:36:24 +020042 /// @}
43 /// @name Do Not Implement
44 /// @{
45 RWMutexImpl(const RWMutexImpl &original) = delete;
46 RWMutexImpl &operator=(const RWMutexImpl &) = delete;
47 /// @}
Andrew Scull5e1ddfa2018-08-14 10:06:54 +010048
Olivier Deprezf4ef2d02021-04-20 13:36:24 +020049 /// Releases and removes the lock
50 /// Destructor
51 ~RWMutexImpl();
Andrew Scull5e1ddfa2018-08-14 10:06:54 +010052
Olivier Deprezf4ef2d02021-04-20 13:36:24 +020053 /// @}
54 /// @name Methods
55 /// @{
56public:
57 /// Attempts to unconditionally acquire the lock in reader mode. If the
58 /// lock is held by a writer, this method will wait until it can acquire
59 /// the lock.
60 /// @returns false if any kind of error occurs, true otherwise.
61 /// Unconditionally acquire the lock in reader mode.
62 bool lock_shared();
Andrew Scull5e1ddfa2018-08-14 10:06:54 +010063
Olivier Deprezf4ef2d02021-04-20 13:36:24 +020064 /// Attempts to release the lock in reader mode.
65 /// @returns false if any kind of error occurs, true otherwise.
66 /// Unconditionally release the lock in reader mode.
67 bool unlock_shared();
Andrew Scull5e1ddfa2018-08-14 10:06:54 +010068
Olivier Deprezf4ef2d02021-04-20 13:36:24 +020069 /// Attempts to unconditionally acquire the lock in reader mode. If the
70 /// lock is held by any readers, this method will wait until it can
71 /// acquire the lock.
72 /// @returns false if any kind of error occurs, true otherwise.
73 /// Unconditionally acquire the lock in writer mode.
74 bool lock();
Andrew Scull5e1ddfa2018-08-14 10:06:54 +010075
Olivier Deprezf4ef2d02021-04-20 13:36:24 +020076 /// Attempts to release the lock in writer mode.
77 /// @returns false if any kind of error occurs, true otherwise.
78 /// Unconditionally release the lock in write mode.
79 bool unlock();
Andrew Scull5e1ddfa2018-08-14 10:06:54 +010080
Olivier Deprezf4ef2d02021-04-20 13:36:24 +020081 //@}
82 /// @name Platform Dependent Data
83 /// @{
84private:
Andrew Scull5e1ddfa2018-08-14 10:06:54 +010085#if defined(LLVM_ENABLE_THREADS) && LLVM_ENABLE_THREADS != 0
Olivier Deprezf4ef2d02021-04-20 13:36:24 +020086 void *data_ = nullptr; ///< We don't know what the data will be
Andrew Scull5e1ddfa2018-08-14 10:06:54 +010087#endif
Olivier Deprezf4ef2d02021-04-20 13:36:24 +020088};
89#endif
Andrew Scull5e1ddfa2018-08-14 10:06:54 +010090
Olivier Deprezf4ef2d02021-04-20 13:36:24 +020091/// SmartMutex - An R/W mutex with a compile time constant parameter that
92/// indicates whether this mutex should become a no-op when we're not
93/// running in multithreaded mode.
94template <bool mt_only> class SmartRWMutex {
95 // shared_mutex (C++17) is more efficient than shared_timed_mutex (C++14)
96 // on Windows and always available on MSVC.
97#if defined(_MSC_VER) || __cplusplus > 201402L
98 std::shared_mutex impl;
99#else
100#if !defined(LLVM_USE_RW_MUTEX_IMPL)
101 std::shared_timed_mutex impl;
102#else
103 RWMutexImpl impl;
104#endif
105#endif
106 unsigned readers = 0;
107 unsigned writers = 0;
Andrew Scull5e1ddfa2018-08-14 10:06:54 +0100108
Olivier Deprezf4ef2d02021-04-20 13:36:24 +0200109public:
110 bool lock_shared() {
111 if (!mt_only || llvm_is_multithreaded()) {
112 impl.lock_shared();
113 return true;
114 }
Andrew Scull5e1ddfa2018-08-14 10:06:54 +0100115
Olivier Deprezf4ef2d02021-04-20 13:36:24 +0200116 // Single-threaded debugging code. This would be racy in multithreaded
117 // mode, but provides not sanity checks in single threaded mode.
118 ++readers;
119 return true;
120 }
Andrew Scull5e1ddfa2018-08-14 10:06:54 +0100121
Olivier Deprezf4ef2d02021-04-20 13:36:24 +0200122 bool unlock_shared() {
123 if (!mt_only || llvm_is_multithreaded()) {
124 impl.unlock_shared();
125 return true;
126 }
Andrew Scull5e1ddfa2018-08-14 10:06:54 +0100127
Olivier Deprezf4ef2d02021-04-20 13:36:24 +0200128 // Single-threaded debugging code. This would be racy in multithreaded
129 // mode, but provides not sanity checks in single threaded mode.
130 assert(readers > 0 && "Reader lock not acquired before release!");
131 --readers;
132 return true;
133 }
Andrew Scull5e1ddfa2018-08-14 10:06:54 +0100134
Olivier Deprezf4ef2d02021-04-20 13:36:24 +0200135 bool lock() {
136 if (!mt_only || llvm_is_multithreaded()) {
137 impl.lock();
138 return true;
139 }
Andrew Scull5e1ddfa2018-08-14 10:06:54 +0100140
Olivier Deprezf4ef2d02021-04-20 13:36:24 +0200141 // Single-threaded debugging code. This would be racy in multithreaded
142 // mode, but provides not sanity checks in single threaded mode.
143 assert(writers == 0 && "Writer lock already acquired!");
144 ++writers;
145 return true;
146 }
Andrew Scull5e1ddfa2018-08-14 10:06:54 +0100147
Olivier Deprezf4ef2d02021-04-20 13:36:24 +0200148 bool unlock() {
149 if (!mt_only || llvm_is_multithreaded()) {
150 impl.unlock();
151 return true;
152 }
Andrew Scull5e1ddfa2018-08-14 10:06:54 +0100153
Olivier Deprezf4ef2d02021-04-20 13:36:24 +0200154 // Single-threaded debugging code. This would be racy in multithreaded
155 // mode, but provides not sanity checks in single threaded mode.
156 assert(writers == 1 && "Writer lock not acquired before release!");
157 --writers;
158 return true;
159 }
160};
Andrew Scull5e1ddfa2018-08-14 10:06:54 +0100161
Olivier Deprezf4ef2d02021-04-20 13:36:24 +0200162typedef SmartRWMutex<false> RWMutex;
Andrew Scull5e1ddfa2018-08-14 10:06:54 +0100163
Olivier Deprezf4ef2d02021-04-20 13:36:24 +0200164/// ScopedReader - RAII acquisition of a reader lock
165#if !defined(LLVM_USE_RW_MUTEX_IMPL)
166template <bool mt_only>
167using SmartScopedReader = const std::shared_lock<SmartRWMutex<mt_only>>;
168#else
169template <bool mt_only> struct SmartScopedReader {
170 SmartRWMutex<mt_only> &mutex;
Andrew Scull5e1ddfa2018-08-14 10:06:54 +0100171
Olivier Deprezf4ef2d02021-04-20 13:36:24 +0200172 explicit SmartScopedReader(SmartRWMutex<mt_only> &m) : mutex(m) {
173 mutex.lock_shared();
174 }
Andrew Scull5e1ddfa2018-08-14 10:06:54 +0100175
Olivier Deprezf4ef2d02021-04-20 13:36:24 +0200176 ~SmartScopedReader() { mutex.unlock_shared(); }
177};
178#endif
179typedef SmartScopedReader<false> ScopedReader;
Andrew Scull5e1ddfa2018-08-14 10:06:54 +0100180
Olivier Deprezf4ef2d02021-04-20 13:36:24 +0200181/// ScopedWriter - RAII acquisition of a writer lock
182#if !defined(LLVM_USE_RW_MUTEX_IMPL)
183template <bool mt_only>
184using SmartScopedWriter = std::lock_guard<SmartRWMutex<mt_only>>;
185#else
186template <bool mt_only> struct SmartScopedWriter {
187 SmartRWMutex<mt_only> &mutex;
Andrew Scull5e1ddfa2018-08-14 10:06:54 +0100188
Olivier Deprezf4ef2d02021-04-20 13:36:24 +0200189 explicit SmartScopedWriter(SmartRWMutex<mt_only> &m) : mutex(m) {
190 mutex.lock();
191 }
Andrew Scull5e1ddfa2018-08-14 10:06:54 +0100192
Olivier Deprezf4ef2d02021-04-20 13:36:24 +0200193 ~SmartScopedWriter() { mutex.unlock(); }
194};
195#endif
196typedef SmartScopedWriter<false> ScopedWriter;
Andrew Scull5e1ddfa2018-08-14 10:06:54 +0100197
198} // end namespace sys
199} // end namespace llvm
200
201#endif // LLVM_SUPPORT_RWMUTEX_H