Branch data Line data Source code
1 : : // Copyright (c) 2009-2010 Satoshi Nakamoto
2 : : // Copyright (c) 2009-2022 The Bitcoin Core developers
3 : : // Distributed under the MIT software license, see the accompanying
4 : : // file COPYING or http://www.opensource.org/licenses/mit-license.php.
5 : :
6 : : #ifndef BITCOIN_SYNC_H
7 : : #define BITCOIN_SYNC_H
8 : :
9 : : #ifdef DEBUG_LOCKCONTENTION
10 : : #include <logging.h>
11 : : #include <logging/timer.h>
12 : : #endif
13 : :
14 : : #include <threadsafety.h> // IWYU pragma: export
15 : : #include <util/macros.h>
16 : :
17 : : #include <condition_variable>
18 : : #include <mutex>
19 : : #include <string>
20 : : #include <thread>
21 : :
22 : : ////////////////////////////////////////////////
23 : : // //
24 : : // THE SIMPLE DEFINITION, EXCLUDING DEBUG CODE //
25 : : // //
26 : : ////////////////////////////////////////////////
27 : :
28 : : /*
29 : : RecursiveMutex mutex;
30 : : std::recursive_mutex mutex;
31 : :
32 : : LOCK(mutex);
33 : : std::unique_lock<std::recursive_mutex> criticalblock(mutex);
34 : :
35 : : LOCK2(mutex1, mutex2);
36 : : std::unique_lock<std::recursive_mutex> criticalblock1(mutex1);
37 : : std::unique_lock<std::recursive_mutex> criticalblock2(mutex2);
38 : :
39 : : TRY_LOCK(mutex, name);
40 : : std::unique_lock<std::recursive_mutex> name(mutex, std::try_to_lock_t);
41 : :
42 : : ENTER_CRITICAL_SECTION(mutex); // no RAII
43 : : mutex.lock();
44 : :
45 : : LEAVE_CRITICAL_SECTION(mutex); // no RAII
46 : : mutex.unlock();
47 : : */
48 : :
49 : : ///////////////////////////////
50 : : // //
51 : : // THE ACTUAL IMPLEMENTATION //
52 : : // //
53 : : ///////////////////////////////
54 : :
55 : : #ifdef DEBUG_LOCKORDER
56 : : template <typename MutexType>
57 : : void EnterCritical(const char* pszName, const char* pszFile, int nLine, MutexType* cs, bool fTry = false);
58 : : void LeaveCritical();
59 : : void CheckLastCritical(void* cs, std::string& lockname, const char* guardname, const char* file, int line);
60 : : template <typename MutexType>
61 : : void AssertLockHeldInternal(const char* pszName, const char* pszFile, int nLine, MutexType* cs) EXCLUSIVE_LOCKS_REQUIRED(cs);
62 : : template <typename MutexType>
63 : : void AssertLockNotHeldInternal(const char* pszName, const char* pszFile, int nLine, MutexType* cs) LOCKS_EXCLUDED(cs);
64 : : void DeleteLock(void* cs);
65 : : bool LockStackEmpty();
66 : :
67 : : /**
68 : : * Call abort() if a potential lock order deadlock bug is detected, instead of
69 : : * just logging information and throwing a logic_error. Defaults to true, and
70 : : * set to false in DEBUG_LOCKORDER unit tests.
71 : : */
72 : : extern bool g_debug_lockorder_abort;
73 : : #else
74 : : template <typename MutexType>
75 : 2600245 : inline void EnterCritical(const char* pszName, const char* pszFile, int nLine, MutexType* cs, bool fTry = false) {}
76 [ + - + - : 37862097 : inline void LeaveCritical() {}
+ - + - +
- ]
[ + - + - ]
[ + - + -
+ - + - +
- ][ + - +
- + - + -
+ - + - ]
[ + - + -
+ - # # ]
[ + - + -
+ - + - #
# ]
77 : 2600246 : inline void CheckLastCritical(void* cs, std::string& lockname, const char* guardname, const char* file, int line) {}
78 : : template <typename MutexType>
79 : 146749 : inline void AssertLockHeldInternal(const char* pszName, const char* pszFile, int nLine, MutexType* cs) EXCLUSIVE_LOCKS_REQUIRED(cs) {}
80 : : template <typename MutexType>
81 : : void AssertLockNotHeldInternal(const char* pszName, const char* pszFile, int nLine, MutexType* cs) LOCKS_EXCLUDED(cs) {}
82 : 84009 : inline void DeleteLock(void* cs) {}
83 : : inline bool LockStackEmpty() { return true; }
84 : : #endif
85 : :
86 : : /**
87 : : * Template mixin that adds -Wthread-safety locking annotations and lock order
88 : : * checking to a subset of the mutex API.
89 : : */
90 : : template <typename PARENT>
91 [ + - + - ]: 87484 : class LOCKABLE AnnotatedMixin : public PARENT
[ + + ][ + -
+ + + - +
- + - +
- ][ + - +
+ + - + -
+ - + - +
+ + + ][ +
- + + + -
+ - + - +
- + + +
+ ]
92 : : {
93 : : public:
94 : 84009 : ~AnnotatedMixin() {
95 : 84006 : DeleteLock((void*)this);
96 : 77691 : }
97 : :
98 : 11 : void lock() EXCLUSIVE_LOCK_FUNCTION()
99 : : {
100 [ + - ]: 7 : PARENT::lock();
101 : 3 : }
102 : :
103 : 11 : void unlock() UNLOCK_FUNCTION()
104 : : {
105 : 7 : PARENT::unlock();
106 : : }
107 : :
108 : 200 : bool try_lock() EXCLUSIVE_TRYLOCK_FUNCTION(true)
109 : : {
110 : 200 : return PARENT::try_lock();
111 : : }
112 : :
113 : : using unique_lock = std::unique_lock<PARENT>;
114 : : #ifdef __clang__
115 : : //! For negative capabilities in the Clang Thread Safety Analysis.
116 : : //! A negative requirement uses the EXCLUSIVE_LOCKS_REQUIRED attribute, in conjunction
117 : : //! with the ! operator, to indicate that a mutex should not be held.
118 : : const AnnotatedMixin& operator!() const { return *this; }
119 : : #endif // __clang__
120 : : };
121 : :
122 : : /**
123 : : * Wrapped mutex: supports recursive locking, but no waiting
124 : : * TODO: We should move away from using the recursive lock by default.
125 : : */
126 : : using RecursiveMutex = AnnotatedMixin<std::recursive_mutex>;
127 : :
128 : : /** Wrapped mutex: supports waiting but not recursive locking */
129 : : using Mutex = AnnotatedMixin<std::mutex>;
130 : :
131 : : /** Different type to mark Mutex at global scope
132 : : *
133 : : * Thread safety analysis can't handle negative assertions about mutexes
134 : : * with global scope well, so mark them with a separate type, and
135 : : * eventually move all the mutexes into classes so they are not globally
136 : : * visible.
137 : : *
138 : : * See: https://github.com/bitcoin/bitcoin/pull/20272#issuecomment-720755781
139 : : */
140 : : class GlobalMutex : public Mutex { };
141 : :
142 : : #define AssertLockHeld(cs) AssertLockHeldInternal(#cs, __FILE__, __LINE__, &cs)
143 : :
144 : 926 : inline void AssertLockNotHeldInline(const char* name, const char* file, int line, Mutex* cs) EXCLUSIVE_LOCKS_REQUIRED(!cs) { AssertLockNotHeldInternal(name, file, line, cs); }
145 : : inline void AssertLockNotHeldInline(const char* name, const char* file, int line, RecursiveMutex* cs) LOCKS_EXCLUDED(cs) { AssertLockNotHeldInternal(name, file, line, cs); }
146 : : inline void AssertLockNotHeldInline(const char* name, const char* file, int line, GlobalMutex* cs) LOCKS_EXCLUDED(cs) { AssertLockNotHeldInternal(name, file, line, cs); }
147 : : #define AssertLockNotHeld(cs) AssertLockNotHeldInline(#cs, __FILE__, __LINE__, &cs)
148 : :
149 : : /** Wrapper around std::unique_lock style lock for MutexType. */
150 : : template <typename MutexType>
151 : : class SCOPED_LOCKABLE UniqueLock : public MutexType::unique_lock
152 : : {
153 : : private:
154 : : using Base = typename MutexType::unique_lock;
155 : :
156 : 84797913 : void Enter(const char* pszName, const char* pszFile, int nLine)
157 : : {
158 : 84797913 : EnterCritical(pszName, pszFile, nLine, Base::mutex());
159 : : #ifdef DEBUG_LOCKCONTENTION
160 : : if (Base::try_lock()) return;
161 : : LOG_TIME_MICROS_WITH_CATEGORY(strprintf("lock contention %s, %s:%d", pszName, pszFile, nLine), BCLog::LOCK);
162 : : #endif
163 [ + - # # ]: 84797913 : Base::lock();
[ + - + -
- - ][ + -
+ - # # ]
164 : 84797913 : }
165 : :
166 : 1066 : bool TryEnter(const char* pszName, const char* pszFile, int nLine)
167 : : {
168 : 1066 : EnterCritical(pszName, pszFile, nLine, Base::mutex(), true);
169 [ + - # # ]: 1066 : if (Base::try_lock()) {
[ # # # #
# # ][ + -
- - # # ]
170 : : return true;
171 : : }
172 : : LeaveCritical();
173 : : return false;
174 : : }
175 : :
176 : : public:
177 [ + + ]: 84643341 : UniqueLock(MutexType& mutexIn, const char* pszName, const char* pszFile, int nLine, bool fTry = false) EXCLUSIVE_LOCK_FUNCTION(mutexIn) : Base(mutexIn, std::defer_lock)
178 : : {
179 [ + + ]: 84643341 : if (fTry)
180 : 84643341 : TryEnter(pszName, pszFile, nLine);
181 : : else
182 : 84643341 : Enter(pszName, pszFile, nLine);
183 [ - - ]: 84643341 : }
184 : :
185 : 157449 : UniqueLock(MutexType* pmutexIn, const char* pszName, const char* pszFile, int nLine, bool fTry = false) EXCLUSIVE_LOCK_FUNCTION(pmutexIn)
186 [ + + ]: 157449 : {
187 [ + + ]: 157449 : if (!pmutexIn) return;
188 : :
189 [ - + ]: 155638 : *static_cast<Base*>(this) = Base(*pmutexIn, std::defer_lock);
190 [ - + ]: 155638 : if (fTry)
191 : 157449 : TryEnter(pszName, pszFile, nLine);
192 : : else
193 : 157449 : Enter(pszName, pszFile, nLine);
194 [ - - ]: 0 : }
195 : :
196 : 87401036 : ~UniqueLock() UNLOCK_FUNCTION()
197 : : {
198 [ + - + - : 84799681 : if (Base::owns_lock())
+ - + - +
- - - + -
- - + - +
- - - + -
- - # # #
# ][ + - +
- + - + -
+ - - - +
- - - ][ +
- + - + -
+ - + - +
- + - + -
+ - + - +
- + - + -
+ - + - +
- + - - -
- - - - -
- - - - -
- - - - -
- + - -
- ][ + - +
- + - + -
+ - + - -
- - - + -
+ - + - +
- + - + -
+ - + - -
- - - + -
+ - - - -
- ][ + - +
- + - + -
+ - + - +
- + - + -
+ - + - +
- # # # #
# # # # #
# ][ + - +
- + - - -
+ - - - +
- - - + -
+ - - - -
- + - - -
+ - - - +
- - - + -
+ - + - +
- + - + -
- - - - -
- - - - -
- - + - -
- + - + -
+ - - - -
- - - + -
- - + - -
- + - - -
+ - + - -
- - - + -
+ - + - +
- + - + -
+ - + - +
- + - - -
- - - - -
- - - - -
- - - - -
- - - + -
- - + - -
- + - - -
+ - - - +
- - - ][ +
- + - + -
+ - + - +
- + - - -
+ - + - #
# ][ + - +
- + - + -
+ - + - +
- + - + -
- - + - -
- + - - -
+ - + - +
- + - + -
+ - + - +
- + - + -
- - + - +
- + - + -
+ - + - +
- + - - -
+ - - - #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # ][ +
- + - + -
+ - - - +
- + - - -
+ - - - +
- - - + -
- - + - -
- + - - -
- - - - -
- ][ + - +
- - - + -
+ - + - -
- + - + -
+ - + - +
- - - - -
+ - - - +
- - - + -
- - + - -
- + - - -
+ - - - +
- - - + -
- - + - -
- + - - -
+ - - - +
- - - + -
- - + - -
- + - - -
+ - - - -
- - - - -
- - + - -
- + - - -
+ - - - -
- - - - -
- - - - -
- - - - -
- - - - -
- - - - -
- - - - -
- - - ][ +
- + - + -
+ - - - +
- + - # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# ][ + - +
- + - + -
+ - + - +
- + - + -
+ - + - +
- + - + -
+ - - - +
- + - - -
+ - - - +
- - - - -
+ - + - -
- + - + -
+ - + - +
- - - - -
- - - - +
- + - - -
- - + - -
- ][ + - +
- + - ][ +
- + - + -
+ - + - +
- + - + -
+ - + - +
- + - - -
+ - - - +
- - - ][ +
- + - + -
+ - + - +
- + - + -
+ - + - +
- - - + -
+ - + - -
- + - + -
+ - + - +
- + - + -
- - + - -
- + - + -
+ - + - +
- - - + -
+ - + - +
- + - + -
+ - + - +
- + - + -
+ - + - +
- + - + -
+ - + - +
- + - + -
+ - + - +
- + - + -
+ - + - +
- + - + -
+ - + - -
- - - - -
- - - - -
- - - - -
- - - - -
- - - - -
- - - - -
- - - - -
- - + - -
- + - - -
+ - - - -
- + - - -
+ - + - +
- + - + -
- - + - +
- - - - -
+ - + - -
- + - + -
- - - - -
- + - + -
+ - + - -
- - - - -
+ - - - +
- - - + -
- - + - -
- + - + -
- - + - -
- + - + -
- - + - +
- + - + -
+ - + - +
- + - - -
- - - - -
- - - - -
- - - - +
- - - + -
+ - + - -
- - - + -
+ - - - +
- + - - -
- - + - +
- + - - -
+ - - - +
- - - + -
- - + - -
- + - - -
+ - - - +
- + - + -
- - + - +
- + - + -
+ - + - -
- - - + -
- - + - +
- - - - -
+ - - - -
- + - - -
+ - + - -
- + - - -
+ - - - +
- + - - -
- - ][ + -
+ - + - -
- + - - -
+ - + - +
- + - + -
- - + - -
- - - - -
+ - - - +
- - - + -
- - + - +
- + - + -
+ - + - +
- - - - -
- - - - +
- + - + -
+ - + - +
- + - + -
+ - + - +
- + - + -
- - + - +
- + - + -
+ - + - +
- + - - -
+ + + - +
- + - + -
+ - - - +
- + - + -
+ - + - +
- + - - -
+ - + - +
- + - - -
+ - + - +
- - - + -
+ - + - +
+ + + + -
+ - + - +
- + - + -
- - + - +
- - - + -
+ - + - +
- + - + -
+ - + - -
- + - + -
+ - + - +
- + - + -
+ - + - -
- + - - -
+ - - - +
- - - +
- ][ + - +
- + - + -
+ - + - +
- + - + -
+ - + - +
- + - + -
+ - + - +
- - - + -
- - + - +
- + - - -
# # # # #
# # # ][ +
- + - + -
- - + - +
- + - + -
+ - + - +
- - - + -
+ - - - -
- + - + -
- - - - +
- + - - -
- - + - -
- - - ][ +
- - - + -
- - + - +
- - - + -
+ - + - +
- + - + -
+ - + - +
- + - + -
+ - - - +
- - - + -
+ - + - +
- - - + -
+ - - - +
- + - - -
+ - + - +
- + - + -
+ - + - +
- + - + -
+ - + - +
- + - - -
+ - + - -
- + - + -
- - - - -
- + - + -
+ - + - +
- - - + -
+ - + - +
- + - - -
+ - + - +
- + - - -
+ - - - +
- - - + -
- - + - -
- + - + -
- - + - +
- - - - -
- - - - -
- - - - -
- - - - ]
[ + - - -
+ - + - -
- - - - -
+ - - - +
- - - # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # ][ +
- + - + -
+ - + - +
- + - + -
+ - + - +
- - - + -
+ - + - +
- + - + -
+ - - - -
- - - - -
- - - - -
- - - - -
- - - - -
- - - - -
- - - - -
- - - - -
- - + - -
- - - - -
+ - - - -
- + - + -
- - - - -
- - - + -
- - + - -
- - - - -
- - + - -
- + - - -
+ - - - -
- - - - -
+ - - - +
- - - - -
+ - - - +
- - - + -
+ - + - -
- + - - -
+ - + - -
- + - - -
- - - - +
- + - - -
- - - - -
- + - + -
- - + - -
- + - + -
- - - - -
- - - - -
- - - - +
- - - - -
- - + - -
- - - - -
- - - - -
- - - - -
- - + - -
- - - - -
- - - - -
- - - - -
- - - - -
- - - - -
- - - - -
- + - + -
- - - - -
- + - + -
- - + - -
- + - - -
- - + - -
- - - - -
- - - - -
- - - -
- ][ + - -
- + - + -
- - + - -
- + - - -
- - + - -
- + - - -
+ - - - +
- + - + -
+ - - - +
- - - - -
+ - - - #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # ][ +
- + - + -
+ - + - -
- + - + -
+ - + - +
- - - + -
- - + - +
- + - + -
+ - - - +
- - - + -
+ - + - -
- + - + -
+ - + - +
- + - + -
+ - + - +
- + - - -
- - + - -
- + - + -
- - - - +
- - - + -
+ - - - -
- - - - -
+ - + - +
- + - + -
- - + - -
- + - - -
+ - - - +
- - - + -
+ - - - +
- + - + -
- - + - +
- + - - -
+ - + - -
- - - + -
- - - - +
- + - + -
+ - + - +
- + - + -
+ - + - +
- + - + -
+ - + - +
- + - + -
+ - + - -
- + - + -
- - + - +
- + - - -
- - - - +
- - - + -
+ - - - -
- + - + -
+ - - - -
- - - + -
+ - - - +
- + - - -
+ - - - -
- - - - -
- - - - -
- - - - -
+ - - - +
- - - + -
- - + - +
- - - + -
- - + - +
- - - -
- ][ + - +
- + - + -
+ - + - +
- + - - -
- - + - +
- + - + -
+ - ][ + -
+ - + - +
- + - + -
- - - - -
- + - + -
+ - + - -
- + - - -
+ - + - +
- + - + -
- - - - -
- + - - -
- - - - +
- - - + -
- - + - -
- + - - -
+ - - - +
- - - + -
- - - - -
- + - - -
+ - - - -
- - - - -
- - + - -
- + - - -
- - - - -
- - - - -
- - - - -
- - - - -
- - - - -
- - - - -
- - - - ]
[ + - - -
+ - + - -
- - - + -
- - + - +
- + - - -
+ - - - +
- - - + -
+ - + - +
- + - + -
+ - - - +
- + - + -
+ - + - +
- - - - -
- - - - -
- - - - -
- - - - -
- + - - -
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # ][ + -
+ - + - +
- + - + -
+ - + - +
- + - + -
+ - - - -
- - - - -
- - - - -
- + - - -
+ - + - -
- + - - -
+ - - - +
- + - + -
- - - - +
- + - + -
+ - + - +
- + - - -
- - - - -
- - - - -
- - - - -
- - - - -
- - - - -
- - - - -
- - - - -
- - - - -
- - - - -
- - - - -
- - - - -
- - - - -
- - - - -
- - - - -
- - - - -
- - - - -
- - - - -
- - - - -
- - - - -
- - - - -
- - - - -
- + - - -
- - - - -
- - - - -
- - - - -
- - - - -
+ - + - -
- - - - -
- - - - -
- - - - -
- - - - -
- - - - -
- - - - -
- - - - -
- - - - -
- - - - -
- - - - -
- - - - -
- - - - -
- - - - -
- - - - -
- - - - -
- - - - -
- - - - -
- - - - -
- - - - -
- - - - +
- - - - -
+ - - - -
- - - - -
- - - - -
- - - + -
- - + - -
- - - - -
+ - - - -
- - - - -
+ - + - -
- + - + -
+ - + - +
- + - - -
- - + - -
- + - + -
- - - - +
- - - + -
- - - - +
- + - - -
- - - - -
- - - - -
+ - - - -
- ][ + - -
- + - - -
+ - - - +
- + - + -
+ - + - -
- + - - -
+ - + - +
- - - + -
- - + - -
- + - + -
+ - + - +
- + - + -
- - + - -
- + - + -
- - + - -
- + - + -
+ - + - -
- + - - -
+ - - - -
- - - - -
+ - - - +
- - - + -
+ - - - +
- - - - -
- - - - +
- - - + -
- - - - +
- + - + -
+ - - - +
- + - - -
- - - - -
- - - + -
- - - - -
- - - + +
+ + + - -
- - - + -
+ - + - -
- - - - -
- - + - +
- + - - -
+ - - - +
- - - - -
+ - - - +
- - - + -
- - + - -
- - - - -
- - - - -
- ][ + - -
- + - - -
+ - - - +
- - - + -
- - + - -
- + - - -
+ - - - +
- - - + -
- - + - +
- + - - -
# # # # #
# # # # #
# # # # ]
[ # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # ][ -
- - - + -
- - - - -
- - - - -
- - - - -
- - - - -
- - - - -
- - - - -
- - - - -
- - - - -
- - - - -
- - - - -
- - - - -
- - - - -
- - - - -
- - - - -
- - - - -
- - - - -
- - - - -
- - - - -
- - - - -
- - - - -
- - - - -
- - - - -
- - - - -
- - - - -
- - - - -
- - - - -
- - - - -
- - - - -
- - - - -
- - - - -
- - - - -
- - - - -
- - - - -
- ][ + - -
- - - + -
- - + - -
- - - + -
- - + - -
- + - - -
+ - - - +
- + - + -
+ - - - +
- - - - -
+ - - - #
# # # # #
# # # # #
# # # # #
# # # # ]
[ - - - -
+ - - - +
- - - + -
+ - - - -
- - - - -
- - - - -
- - - - -
- - + - -
- - - - -
- - - - -
- - - + -
+ - - - +
- - - + -
+ - - - -
- - - - -
- - - - -
- - - + -
+ - - - -
- - - - -
- - - - -
- - - - -
- - + - +
- - - - -
- - - - +
- - - - -
- - - - -
- - - - -
- - - - -
- - - - -
- - - - -
- - - - -
- - - - -
- - - - -
- - + - -
- + - - -
- - - - -
- + - + -
+ - + - +
- + - + -
+ - + - +
- + - + -
+ - + - +
- - - + -
+ - - - -
- - - - -
- - - - -
- + - - -
+ - - - -
- + - - -
- - - - -
- - - - -
- - + - -
- - - + -
- - + - -
- - - - -
+ - - - +
- - - - -
- - + - -
- - - - -
- - - - -
- - - - -
- - - - -
- - - - -
- - ][ # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # #
# ][ + - +
- + - + -
+ - + - +
- + - + -
+ - + - +
- + - + -
+ - + - +
- + - + -
- - + - +
- - - + -
- - + - -
- + - + -
- - + - +
- - - + -
- - + - -
- + - - -
+ - - - +
- - - + -
- - + - -
- + - - -
+ - - - +
- + - - -
+ - - - +
- - - + -
- - + - -
- + - - -
+ - - - +
- - - + -
- - + - +
- + - - -
+ - - - +
- - - + -
- - + - +
- - - + -
+ - - - +
- - - + -
- - + - -
- - - + -
- - ][ + -
- - + - -
- + - - -
+ - - - -
- - - - -
- - - - -
- - - - -
+ - - - +
- - - + -
- - + - -
- - - - -
+ - - - +
- - - + -
- - + - +
- - - + -
- - + - +
- - - + -
- - + - -
- + - -
- ][ + - +
- + - + -
+ - + - +
- + - + -
+ - + - -
- # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # ]
[ + - + -
+ - - - +
- + - + -
+ - + - -
- + - - -
+ - - - +
- - - + -
- - + - ]
[ + - + -
+ - + - -
- - - + -
- - + - +
- - - - -
- - + - +
- - - + -
+ - + - +
- - - - -
- - + - -
- + - - -
+ - - - -
- + - - -
+ - + - -
- - - + -
+ - - - +
- - - - -
- - + - -
- - - + -
+ - + - -
- + - - -
+ - - - +
- - - + -
- - - - +
- - - + -
- - + - +
- - - + -
- - + - -
- + - - -
- - + - -
- + - - -
+ - + - +
- + - + -
- - + - +
- - - + -
- - + - -
- + - + -
- - + - +
- - - + -
+ - - - +
- - - + -
- - + - +
- - - + -
- - - - -
- + - - -
+ - - - +
- - - - -
- - - - +
- + - - -
- - + - +
- - - - -
- - + - +
- - - - -
+ - + - -
- - - + -
- - + - +
- - - + -
+ - - - -
- + - + -
+ - - - -
- - - - -
+ - + - +
- - - - -
+ - + - -
- + - - -
- - ][ + -
+ - + - +
- + - + -
+ - + - +
- + - + -
- - + - +
- + - + -
+ - + - +
- - - ][ +
- + - + -
+ - + - +
- + - + -
+ - + - +
- - - + -
- - + - +
- # # # #
# # # # ]
199 : : LeaveCritical();
200 [ + - + + : 124160363 : }
+ - + - +
- - - + -
- - + - +
- - - + -
- - # # #
# # # ][ +
- + + + -
+ - + - +
- - - + -
+ - ][ + -
+ - + - +
- + - + -
+ - + - +
- + - + -
+ - + - +
- + + + -
+ - + - +
- + - + -
+ - - - -
- ][ + - +
- + - + -
+ - + - +
- + + + -
+ - + - +
- + - + -
+ - + - +
- + - + -
+ - + - +
- - - # #
# # # # #
# ][ + - +
- + - + +
+ - + - +
- + - + -
+ - + - +
- + - + -
+ - + - +
- + - + -
+ - + - +
- + - + -
+ - + - +
- - - - -
- - - - -
- - - - -
- - - - +
- - - ][ +
- + + + -
+ + + - -
- - - -
- ][ + - -
- + - - -
+ - - - +
- - - + -
- - # # #
# ][ + - +
- + - + -
+ - + - +
- + - + -
+ - + - +
- + - + -
+ - + - +
- + - + -
+ - + - +
- + - + -
+ - + - +
- + - + -
+ - + - +
- + - + -
+ - - - -
- - - - -
- - + - -
- + - + -
+ - + - -
- - - - -
+ - - - +
- - - + -
- - + - +
- - - - -
+ - + - +
- + - + -
+ - + - +
- + - + -
+ - + - +
- + - - -
- - - - -
- - - - -
- - - - -
- - - + -
- - + - -
- + - - -
+ - - - +
- - - ][ +
- + - - -
+ - - - +
- - - ][ +
- + - + -
+ - - + -
- - - - -
- - - - -
- - - + -
+ - - - -
- + - - -
+ - - - +
- - - + -
- - + - -
- + - - -
+ - - - +
- - - + -
- - + - -
- + - - -
+ - - - +
- - - + -
- - + - -
- + - - -
- - - - -
- - - + -
- - + - -
- + - - -
- - - - -
- - - - -
- - - - -
- - - - -
- - - - -
- - - - -
- - - - ]
[ + - + -
+ - + - -
- - - - -
+ - - - +
- - - + -
- - + - -
- + - - -
+ - - - -
- - - -
- ][ + - +
- + - - -
+ - + - +
- - - + -
+ - + - -
- + - - -
+ - - - +
- + - - -
+ - - - +
- - - - -
+ - + - +
- - - + -
+ - + - +
- + - - -
- - - - -
- + - + -
- - - - +
- - - ][ +
- + - + +
- - ][ + -
+ - + - +
- - - + -
+ + + - +
- - - + -
+ - + - +
- - - + -
+ - + - +
- - - + -
+ - + + +
- - - + -
+ - + - +
- - - + -
+ - - - +
- + + - -
+ - + + -
- + - + +
- - + - +
+ - - + -
+ - + - +
- + - + -
+ - - - +
- - - ][ +
- + + + -
+ - + - +
- + - + -
+ - + - +
- + - + -
+ + + - +
- + - - -
- - - - -
- - - - -
- - - - +
- - - + -
+ - - - +
- - - + -
+ - + - +
- + + + -
+ - + - -
- - - + -
+ - + + +
- + + + -
+ + + - +
+ + - + -
+ - + - +
- + - + -
+ - + - +
- + + + -
+ - + + +
- + - + -
+ - + - +
- + - + -
+ + + - +
- + - + -
+ - + - +
- + - + -
+ - + - +
+ + - + -
- - - - -
- - - - -
- - - - -
- - - - -
- - - - -
- - - - -
- - - - -
- - - + -
- - + - -
- + - - -
- - + - -
- + - + -
+ - + - +
+ + - - -
+ - + - -
- - - + -
+ - + + -
- + - + -
- - - - -
- + - + -
+ - + - +
+ - - - -
- - + - -
- + - - -
+ - - - +
- - - + -
+ - - - +
- - - + -
+ - - - +
- + - + -
+ - + - +
+ + - + +
+ - + - +
+ + - + +
- - - - -
- - - - -
- - - - -
- + - - -
+ - + - +
- - - - -
+ - + - -
- + - + -
+ - - - -
- + - + -
+ - + - +
- - - + -
- - + - -
- + - - -
+ - - - +
- - - + -
- - + - +
- + - - -
+ - + - +
- + - + +
+ - + + +
- - - - -
+ - - - +
- + - + -
- - - - +
- - - - -
+ - - - +
- + - - -
+ - - - +
- - - + -
+ - - - -
- ][ + - +
- + + + -
- - + - +
+ - - + -
+ - + - +
- + - - -
+ - - - -
- - - + -
+ - + - -
- + - - -
+ - + - +
- + - + -
+ - + - -
- - - + -
- - - - +
- - - + -
- - + - +
- + - + -
+ - - - +
- + + + -
+ - - - +
- + - + -
- - + - +
- + - + -
- - + - -
- + - - -
+ + + - +
- + - + -
+ - + - +
- + - + -
+ - + - +
+ + - - -
+ - - - +
- - - + -
+ - + - +
- + - - -
+ + + - +
+ + - + -
+ - + - +
+ + - + -
- - + - -
- + - + -
+ - + - +
+ - - + -
+ + + - +
- + - + -
+ - + - +
- + - + -
- - + - -
- + - - -
+ - + - -
- + - - -
+ - - - +
- - - +
- ][ + + +
- + - + -
+ - + - +
- + - + -
+ - + - +
- + - + -
+ - + - +
- - - + -
- - + - -
- + - + -
+ - - - #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # #
# ][ + - +
- + - + -
+ - + - +
- + - + -
+ - + - -
- + - + -
- - - - +
- + - - -
- - + - +
- - - - -
+ - - - -
- ][ + - +
- + - + -
+ - + - +
- + - + -
+ - + - +
- + - + -
+ - + - +
- + - + -
+ - + - +
- - - - -
- - + - +
- + - + -
- - - - -
- + - + -
- - + - +
- - - + -
+ - + - -
- + - + -
+ - + - +
- - - + -
- - + - -
- + - - -
+ - - - +
- + - - -
- - + - +
- - - - -
- - + - +
- + - + -
+ - + - -
- + - + -
+ - + - +
- + - + -
+ + - - +
- + - + -
+ - - - +
- - - + -
- - + - -
- + - - -
+ - + - -
- + - +
- ][ + - +
- + - + -
+ - + - +
- + - + -
+ - + - +
- + - + -
+ - + - +
- - - + -
- - + - -
- - - + -
- - + - -
- + - + -
- - + - +
- - - - -
- - + - -
- + - - -
+ - - - +
- - - + -
- - + - -
- - - - -
- - - - +
- + - - -
- - - - -
- - - - -
- - - - -
- - - - -
- - - - -
- - - - -
- - - - -
- - - - -
- - - - -
- - - - -
- - - - -
- - - - -
- - - - -
- - - - -
- - - - -
- - - - -
- - - - ]
[ + - + -
+ - + - -
- + - - -
+ - - - +
- - - + -
- - + - -
- + - + -
- - + - +
- - - # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # ][ +
- + - + +
+ - + - +
- + - + -
- - - - -
- + - + -
- - + - +
- + - + -
+ - + - +
- + - + -
+ - + - +
+ + - - -
- - - - -
- - - - -
- - - - -
- - - - -
- - - - +
- - - - -
- - + - -
- - - + -
+ - - - -
- - - - -
+ - - - +
- - - - -
- - - - -
- + - - -
+ - - - +
- - - - -
- - - - +
- - - + -
+ + - - -
- + - - -
+ - - - +
- + - + -
- - + - -
- + - + -
- - + - -
- - - - -
+ - + - -
- - - - -
- - + - +
- - - + -
- - + - +
- - - - -
- - - - -
- - - - -
+ - - - -
- - - + -
- - - - -
- - - - -
- - - - -
- - - - -
+ - - - -
- - - - -
- - - - -
- - - - -
- - - - -
- - - - -
- - - - -
- + - + -
- - - - -
- + - + -
- - + - -
- + - - -
- - + - -
- - - - -
- - - - -
- - - - -
- - ][ + -
+ - + - +
- - - + -
+ + - - +
- + - + -
+ - + - -
- + - - -
+ - + - +
- - - + -
- - + - -
- + - - -
- - - - +
- + - + -
+ - - - +
- + - + -
+ - + - +
- + - - -
- - + - -
- + - + -
+ - - - -
- + - - -
+ - + - +
- + + - -
- - - - -
- + - - +
+ - - + +
- + - + -
+ - - - +
- - - + -
+ + - - +
- + + - -
+ - - - +
- + + + -
- - + - +
+ + - + -
+ - - - +
- + - - +
+ - - - +
- + - + -
- - - - +
- + - - -
- - + - +
- + - + -
+ - + - +
- + - + -
+ - + - +
- + - + -
+ - + - +
- + - + -
+ - - - +
- + - - -
+ - + - +
- - - - -
- - + - -
- + - + -
- - - - +
- + - + -
+ - - - -
- - - + -
+ - - - +
- + - - -
+ - - - -
- - - - -
- - - - -
- - - - -
+ - - + -
- + - - -
+ - + + -
- + - + -
- - + - -
- + - + -
- - - - ]
[ + - - -
+ - - - +
- - - + -
- - + - -
- + - - -
+ - + - -
- + - ][ +
- - - + -
+ - + - -
- + - - -
+ - + - +
- + - + -
+ - - - -
- + - - -
+ - + - +
- + - + -
- - - - -
- + - + -
+ - + - +
- + - -
- ][ + - -
- + - + -
+ - - - +
- - - + -
- - + - +
- - - # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # #
# ][ + - +
- + - + -
+ - - - +
- - - + -
- - + - -
- + - - -
+ - + - +
- + - + -
- - + - -
- + - + -
+ - - - +
- - - + -
+ - + - +
- + - + -
+ - + - -
- + - + -
- - + - -
- + - - -
+ - - - ]
[ + - + -
+ - - - -
+ + - - -
+ - - - -
- - - - -
+ - + - -
- - - - -
- - - - -
- + - - -
+ - - - -
- - - + -
- - - - -
- + - - -
+ - - - +
- - - + -
- - + - -
- + - - -
+ - - - -
- - - + -
- - + - -
- - - - -
- - - - +
- - - + -
- - - - -
- - - - -
- - - - -
- - - - -
- - - - -
- - - - -
- - - - -
- ][ + - -
- + - - -
- - - - -
- - - + -
+ - + - -
- + - - -
+ - - - +
- + - - -
+ - - - +
- + - - -
+ - + - +
- - - + -
- - - - -
- - - - -
- - - - -
- - - - -
- - - - +
- - - # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # ][ - -
- - + - +
- + - + -
+ - + - -
- + - + -
+ - + - -
+ + - + -
- - - - -
- - - - -
- - - - -
- - - + -
- - + - +
- - - + -
- - + - +
- - - + -
+ - + - +
- + - - -
- - + - +
- - + + -
+ - + - +
- + - + -
+ - + - -
- - - - -
- - - - -
- - - - -
- - - - -
- - - - -
- - - - -
- - - - -
- - - - -
- - - - -
- - - - -
- - - - -
- - - - -
- - - - -
- - - - -
- - - - -
- - - - -
- - - - -
- - - - -
- - - - -
- - - - -
- - - - -
- - - - -
- - - - -
- - - - -
- - - - -
- - + - -
- - - - -
- - - - -
- - - - -
- - - - -
- - - - -
+ - + - -
- - - - -
- - - - -
- - - - -
- - - - -
- - - - -
- - - - -
- - - - -
- - - - -
- - - - -
- - - - -
- - - - -
- - - - -
- - - - -
- - - - -
- - - - -
- - - - -
- - - - -
- - - - -
- - - - -
- - - - -
- - - - -
- - - - -
- + - - -
- - + - +
- - - - -
- - - - -
- - - - -
- - - - -
- + - - -
+ - - - -
- - - + -
- - - - -
- - - + -
+ - - - +
- + - + -
+ - - + +
- + - + -
- - - - +
- - - + -
+ - + - -
- - - + -
- - + - -
- - - + -
+ - - - -
- - - - -
- - - - +
- - - -
- ][ - - -
- - - - -
- - - - -
- - - - -
+ - + - +
- + - - -
+ - - - -
- - - + -
- - + - -
- + - - -
+ - + - +
- + - + -
+ - + - -
- - - - -
- - - - +
- - - + -
- - + - -
- + - - -
- - - - -
- - - - -
- - - - -
- - - + -
- - + - -
- + - + -
- - + - -
- - - - -
- - + - -
- + - - -
- - + - +
- + - + -
- - + - +
+ + - - -
- - - - -
- - - + -
- - - - -
- - - - -
+ + + - +
+ + - - -
- - + - +
+ + - + -
- - - - -
- - - + -
+ - + - +
+ - - + -
+ + - - +
- - - - -
+ - - - +
- - - + -
- - + - -
- - - - -
- - - - -
- # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # ]
[ - - - -
+ - - - -
- - - - -
- - - - -
- - - - -
- - - - -
- - - - -
- - - - -
- - - - -
- - - - -
- - - - -
- - - - -
- - - - -
- - - - -
- - - - -
- - - - -
- - - - -
- - - - -
- - - - -
- - - - -
- - - - -
- - - - -
- - - - -
- - - - -
- - - - -
- - - - -
- - - - -
- - - - -
- - - - -
- - - - -
- - - - -
- - - - -
- - - - -
- - - - -
- - - - -
- - - - -
- - - - -
- - - - -
- - - - -
- - - - ]
[ + - - -
- - + - -
+ - - + -
- + - - -
- + - - -
+ - - - +
- - - + -
- - + - +
- + - + -
- - + - -
- - - + -
- - # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # #
# ][ - - -
- - - + -
- - + - -
+ - - + -
+ - - - -
- - - - -
- - - - -
- - - - -
- - + - -
- - - - -
- - - - -
- - - + -
+ - - - +
- - - + -
+ - - - -
- - - - -
- - - - -
- - - - -
+ - + - +
- - - - -
- - - - -
- - - - -
- - - - -
- - - - -
+ - + + +
- + + - -
- - - - -
- - - + -
- - - - -
- - - - -
- - - - -
- - - - -
- - - - -
- - - - -
- - - - -
- - - - -
- - - - -
- - - - -
- - - - -
- - - - -
- - + - -
- + - - -
- - - - -
- + - + -
+ - + - +
- + - + -
+ - + - +
- + - + -
+ - + - +
- - - + -
+ - - - -
- - - - -
- - - - -
- + - - -
+ - - - -
- + - - -
- - - - -
- - - - -
- - - - +
- - - - -
+ - - - +
- - - - -
- - + - -
- + - - -
- - - - +
- + + - -
- - - - -
- - - - -
- - - - -
- - - - -
- - - - -
- - - ][ +
- + - + -
- - + - +
- - - + -
+ - + - +
- + - - -
+ - + - -
- + - + -
+ - - - +
- + - - -
+ - - - +
- - - + -
+ - - - +
- + - - -
+ - - - +
- - - + -
- - + - -
- + - - -
+ - - - +
- - - + -
- - + - -
- + - + -
- - + - -
- + - - -
+ - - - +
- - - + -
- - + - -
- + - - -
+ - - - +
- + - + -
+ + - - +
- - - + -
- - + - -
- + - + -
- - + - +
- - - + -
- - + - -
- + - - -
- - + - -
- ][ # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # #
# ][ + - -
- + - - -
+ - - - +
- - - - -
- - - - -
- - - - -
- - - - +
- - - + -
- - + - -
- + - - -
- - - - +
- - - + -
- - + - -
- + - + -
- - + - -
- + - + -
- - + - -
- + - - -
+ - - - ]
[ # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # ][ +
+ + + + -
+ - + - +
- + - + -
+ - + - +
- - - # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# ][ + - +
- + - + -
+ - + - +
- + - + -
+ - + - +
- + - + -
+ - + - +
- + - + -
+ - ][ + -
+ - + - +
- + - + -
+ - + + +
- + - + -
+ - + - +
- + - + -
+ - + - +
- + - + -
- - + - +
- + - - -
+ - - - +
- - - - -
+ - - - +
- + - - -
- - + - +
- - - + -
- - - - -
- + - - -
- - + - +
- + - - -
+ - - - +
- - - + -
- - + - +
- - - - -
+ - - - +
- - - + -
+ - - - +
- - - + -
- - + - +
+ - - - -
+ - - - +
- - - + -
+ - + - +
- + - - -
+ - + - -
- + - - -
+ - - - +
- + - - -
+ - + - -
- + - + -
- - + - -
- + - - -
+ - + - -
- + - - -
- - - - +
- - - + -
- - + - -
- - - - -
- - + - +
- + - - -
- - + - +
- - - - -
- - + - +
- - - - -
+ - + - -
- - - + -
+ - - - +
- + - - -
+ - + - -
- - - + -
+ - + - -
- - - - -
- - + - +
- + - - -
- - + - +
- + - - -
+ - - - -
- ][ + - +
- + - + -
+ - + - +
- + - + -
+ - + - +
- + + + -
+ - + - +
- + - # #
# # # # #
# # # # #
# # ][ + -
+ - + - +
- + - + -
+ - + - +
- + - + -
+ - - - +
- - - +
- ]
201 : :
202 : 1066 : operator bool()
203 : : {
204 [ + - # # ]: 1066 : return Base::owns_lock();
[ - + # # ]
205 : : }
206 : :
207 : : protected:
208 : : // needed for reverse_lock
209 : 2600246 : UniqueLock() = default;
210 : :
211 : : public:
212 : : /**
213 : : * An RAII-style reverse lock. Unlocks on construction and locks on destruction.
214 : : */
215 : : class reverse_lock {
216 : : public:
217 [ + - ]: 2600247 : explicit reverse_lock(UniqueLock& _lock, const char* _guardname, const char* _file, int _line) : lock(_lock), file(_file), line(_line) {
218 [ + + ]: 2600246 : CheckLastCritical((void*)lock.mutex(), lockname, _guardname, _file, _line);
219 [ + + ]: 2600246 : lock.unlock();
220 : : LeaveCritical();
221 : 2600245 : lock.swap(templock);
222 [ - + ]: 2600246 : }
223 : :
224 : 2600245 : ~reverse_lock() {
225 : 2600245 : templock.swap(lock);
226 : 2600245 : EnterCritical(lockname.c_str(), file.c_str(), line, lock.mutex());
227 : 2600245 : lock.lock();
228 [ - + ]: 2600245 : }
229 : :
230 : : private:
231 : : reverse_lock(reverse_lock const&);
232 : : reverse_lock& operator=(reverse_lock const&);
233 : :
234 : : UniqueLock& lock;
235 : : UniqueLock templock;
236 : : std::string lockname;
237 : : const std::string file;
238 : : const int line;
239 : : };
240 : : friend class reverse_lock;
241 : : };
242 : :
243 : : #define REVERSE_LOCK(g) typename std::decay<decltype(g)>::type::reverse_lock UNIQUE_NAME(revlock)(g, #g, __FILE__, __LINE__)
244 : :
245 : : // When locking a Mutex, require negative capability to ensure the lock
246 : : // is not already held
247 [ + - ]: 1040837 : inline Mutex& MaybeCheckNotHeld(Mutex& cs) EXCLUSIVE_LOCKS_REQUIRED(!cs) LOCK_RETURNED(cs) { return cs; }
248 : : inline Mutex* MaybeCheckNotHeld(Mutex* cs) EXCLUSIVE_LOCKS_REQUIRED(!cs) LOCK_RETURNED(cs) { return cs; }
249 : :
250 : : // When locking a GlobalMutex or RecursiveMutex, just check it is not
251 : : // locked in the surrounding scope.
252 : : template <typename MutexType>
253 [ + - ]: 806392 : inline MutexType& MaybeCheckNotHeld(MutexType& m) LOCKS_EXCLUDED(m) LOCK_RETURNED(m) { return m; }
254 : : template <typename MutexType>
255 : : inline MutexType* MaybeCheckNotHeld(MutexType* m) LOCKS_EXCLUDED(m) LOCK_RETURNED(m) { return m; }
256 : :
257 : : #define LOCK(cs) UniqueLock UNIQUE_NAME(criticalblock)(MaybeCheckNotHeld(cs), #cs, __FILE__, __LINE__)
258 : : #define LOCK2(cs1, cs2) \
259 : : UniqueLock criticalblock1(MaybeCheckNotHeld(cs1), #cs1, __FILE__, __LINE__); \
260 : : UniqueLock criticalblock2(MaybeCheckNotHeld(cs2), #cs2, __FILE__, __LINE__)
261 : : #define LOCK_ARGS(cs) MaybeCheckNotHeld(cs), #cs, __FILE__, __LINE__
262 : : #define TRY_LOCK(cs, name) UniqueLock name(LOCK_ARGS(cs), true)
263 : : #define WAIT_LOCK(cs, name) UniqueLock name(LOCK_ARGS(cs))
264 : :
265 : : #define ENTER_CRITICAL_SECTION(cs) \
266 : : { \
267 : : EnterCritical(#cs, __FILE__, __LINE__, &cs); \
268 : : (cs).lock(); \
269 : : }
270 : :
271 : : #define LEAVE_CRITICAL_SECTION(cs) \
272 : : { \
273 : : std::string lockname; \
274 : : CheckLastCritical((void*)(&cs), lockname, #cs, __FILE__, __LINE__); \
275 : : (cs).unlock(); \
276 : : LeaveCritical(); \
277 : : }
278 : :
279 : : //! Run code while locking a mutex.
280 : : //!
281 : : //! Examples:
282 : : //!
283 : : //! WITH_LOCK(cs, shared_val = shared_val + 1);
284 : : //!
285 : : //! int val = WITH_LOCK(cs, return shared_val);
286 : : //!
287 : : //! Note:
288 : : //!
289 : : //! Since the return type deduction follows that of decltype(auto), while the
290 : : //! deduced type of:
291 : : //!
292 : : //! WITH_LOCK(cs, return {int i = 1; return i;});
293 : : //!
294 : : //! is int, the deduced type of:
295 : : //!
296 : : //! WITH_LOCK(cs, return {int j = 1; return (j);});
297 : : //!
298 : : //! is &int, a reference to a local variable
299 : : //!
300 : : //! The above is detectable at compile-time with the -Wreturn-local-addr flag in
301 : : //! gcc and the -Wreturn-stack-address flag in clang, both enabled by default.
302 : : #define WITH_LOCK(cs, code) (MaybeCheckNotHeld(cs), [&]() -> decltype(auto) { LOCK(cs); code; }())
303 : :
304 : : #endif // BITCOIN_SYNC_H
|
