Jiayang Liu | bef8d2d | 2015-03-26 14:38:46 -0700 | [diff] [blame] | 1 | /* |
| 2 | * Copyright 2015 The WebRTC Project Authors. All rights reserved. |
| 3 | * |
| 4 | * Use of this source code is governed by a BSD-style license |
| 5 | * that can be found in the LICENSE file in the root of the source |
| 6 | * tree. An additional intellectual property rights grant can be found |
| 7 | * in the file PATENTS. All contributing project authors may |
| 8 | * be found in the AUTHORS file in the root of the source tree. |
| 9 | */ |
| 10 | |
Mirko Bonadei | 92ea95e | 2017-09-15 06:47:31 +0200 | [diff] [blame] | 11 | #include "rtc_base/criticalsection.h" |
Jiayang Liu | bef8d2d | 2015-03-26 14:38:46 -0700 | [diff] [blame] | 12 | |
Tommi | 8d2c5a8 | 2018-03-19 11:12:48 +0100 | [diff] [blame] | 13 | #include "rtc_base/atomicops.h" |
Mirko Bonadei | 92ea95e | 2017-09-15 06:47:31 +0200 | [diff] [blame] | 14 | #include "rtc_base/checks.h" |
Tommi | 1f3f3c2 | 2018-02-17 11:46:14 +0100 | [diff] [blame] | 15 | #include "rtc_base/platform_thread_types.h" |
Niels Möller | a12c42a | 2018-07-25 16:05:48 +0200 | [diff] [blame^] | 16 | #include "rtc_base/system/unused.h" |
Jiayang Liu | bef8d2d | 2015-03-26 14:38:46 -0700 | [diff] [blame] | 17 | |
tommi | ed281e9 | 2016-01-21 23:47:25 -0800 | [diff] [blame] | 18 | // TODO(tommi): Split this file up to per-platform implementation files. |
| 19 | |
Jiayang Liu | bef8d2d | 2015-03-26 14:38:46 -0700 | [diff] [blame] | 20 | namespace rtc { |
| 21 | |
Tommi | 494f209 | 2015-04-27 17:39:23 +0200 | [diff] [blame] | 22 | CriticalSection::CriticalSection() { |
| 23 | #if defined(WEBRTC_WIN) |
| 24 | InitializeCriticalSection(&crit_); |
eladalon | d6e9466 | 2017-06-28 07:31:30 -0700 | [diff] [blame] | 25 | #elif defined(WEBRTC_POSIX) |
Yves Gerey | 665174f | 2018-06-19 15:03:05 +0200 | [diff] [blame] | 26 | #if defined(WEBRTC_MAC) && !USE_NATIVE_MUTEX_ON_MAC |
tommi | ed281e9 | 2016-01-21 23:47:25 -0800 | [diff] [blame] | 27 | lock_queue_ = 0; |
| 28 | owning_thread_ = 0; |
| 29 | recursion_ = 0; |
| 30 | semaphore_ = dispatch_semaphore_create(0); |
Yves Gerey | 665174f | 2018-06-19 15:03:05 +0200 | [diff] [blame] | 31 | #else |
Tommi | 494f209 | 2015-04-27 17:39:23 +0200 | [diff] [blame] | 32 | pthread_mutexattr_t mutex_attribute; |
| 33 | pthread_mutexattr_init(&mutex_attribute); |
| 34 | pthread_mutexattr_settype(&mutex_attribute, PTHREAD_MUTEX_RECURSIVE); |
| 35 | pthread_mutex_init(&mutex_, &mutex_attribute); |
| 36 | pthread_mutexattr_destroy(&mutex_attribute); |
Yves Gerey | 665174f | 2018-06-19 15:03:05 +0200 | [diff] [blame] | 37 | #endif |
Tommi | 494f209 | 2015-04-27 17:39:23 +0200 | [diff] [blame] | 38 | CS_DEBUG_CODE(thread_ = 0); |
| 39 | CS_DEBUG_CODE(recursion_count_ = 0); |
eladalon | d6e9466 | 2017-06-28 07:31:30 -0700 | [diff] [blame] | 40 | RTC_UNUSED(thread_); |
| 41 | RTC_UNUSED(recursion_count_); |
| 42 | #else |
Yves Gerey | 665174f | 2018-06-19 15:03:05 +0200 | [diff] [blame] | 43 | #error Unsupported platform. |
Tommi | 494f209 | 2015-04-27 17:39:23 +0200 | [diff] [blame] | 44 | #endif |
| 45 | } |
| 46 | |
| 47 | CriticalSection::~CriticalSection() { |
| 48 | #if defined(WEBRTC_WIN) |
| 49 | DeleteCriticalSection(&crit_); |
eladalon | d6e9466 | 2017-06-28 07:31:30 -0700 | [diff] [blame] | 50 | #elif defined(WEBRTC_POSIX) |
Yves Gerey | 665174f | 2018-06-19 15:03:05 +0200 | [diff] [blame] | 51 | #if defined(WEBRTC_MAC) && !USE_NATIVE_MUTEX_ON_MAC |
tommi | ed281e9 | 2016-01-21 23:47:25 -0800 | [diff] [blame] | 52 | dispatch_release(semaphore_); |
eladalon | d6e9466 | 2017-06-28 07:31:30 -0700 | [diff] [blame] | 53 | #else |
Yves Gerey | 665174f | 2018-06-19 15:03:05 +0200 | [diff] [blame] | 54 | pthread_mutex_destroy(&mutex_); |
| 55 | #endif |
| 56 | #else |
| 57 | #error Unsupported platform. |
tommi | ed281e9 | 2016-01-21 23:47:25 -0800 | [diff] [blame] | 58 | #endif |
Tommi | 494f209 | 2015-04-27 17:39:23 +0200 | [diff] [blame] | 59 | } |
| 60 | |
danilchap | 3c6abd2 | 2017-09-06 05:46:29 -0700 | [diff] [blame] | 61 | void CriticalSection::Enter() const RTC_EXCLUSIVE_LOCK_FUNCTION() { |
Tommi | 494f209 | 2015-04-27 17:39:23 +0200 | [diff] [blame] | 62 | #if defined(WEBRTC_WIN) |
| 63 | EnterCriticalSection(&crit_); |
eladalon | d6e9466 | 2017-06-28 07:31:30 -0700 | [diff] [blame] | 64 | #elif defined(WEBRTC_POSIX) |
Yves Gerey | 665174f | 2018-06-19 15:03:05 +0200 | [diff] [blame] | 65 | #if defined(WEBRTC_MAC) && !USE_NATIVE_MUTEX_ON_MAC |
tommi | ed281e9 | 2016-01-21 23:47:25 -0800 | [diff] [blame] | 66 | int spin = 3000; |
tommi | 7406b96 | 2016-01-22 05:13:33 -0800 | [diff] [blame] | 67 | PlatformThreadRef self = CurrentThreadRef(); |
tommi | ed281e9 | 2016-01-21 23:47:25 -0800 | [diff] [blame] | 68 | bool have_lock = false; |
| 69 | do { |
| 70 | // Instead of calling TryEnter() in this loop, we do two interlocked |
| 71 | // operations, first a read-only one in order to avoid affecting the lock |
| 72 | // cache-line while spinning, in case another thread is using the lock. |
tommi | 7406b96 | 2016-01-22 05:13:33 -0800 | [diff] [blame] | 73 | if (!IsThreadRefEqual(owning_thread_, self)) { |
tommi | ed281e9 | 2016-01-21 23:47:25 -0800 | [diff] [blame] | 74 | if (AtomicOps::AcquireLoad(&lock_queue_) == 0) { |
| 75 | if (AtomicOps::CompareAndSwap(&lock_queue_, 0, 1) == 0) { |
| 76 | have_lock = true; |
| 77 | break; |
| 78 | } |
| 79 | } |
| 80 | } else { |
| 81 | AtomicOps::Increment(&lock_queue_); |
| 82 | have_lock = true; |
| 83 | break; |
| 84 | } |
| 85 | |
| 86 | sched_yield(); |
| 87 | } while (--spin); |
| 88 | |
| 89 | if (!have_lock && AtomicOps::Increment(&lock_queue_) > 1) { |
| 90 | // Owning thread cannot be the current thread since TryEnter() would |
| 91 | // have succeeded. |
tommi | 7406b96 | 2016-01-22 05:13:33 -0800 | [diff] [blame] | 92 | RTC_DCHECK(!IsThreadRefEqual(owning_thread_, self)); |
tommi | ed281e9 | 2016-01-21 23:47:25 -0800 | [diff] [blame] | 93 | // Wait for the lock to become available. |
| 94 | dispatch_semaphore_wait(semaphore_, DISPATCH_TIME_FOREVER); |
| 95 | RTC_DCHECK(owning_thread_ == 0); |
| 96 | RTC_DCHECK(!recursion_); |
| 97 | } |
| 98 | |
| 99 | owning_thread_ = self; |
| 100 | ++recursion_; |
| 101 | |
Yves Gerey | 665174f | 2018-06-19 15:03:05 +0200 | [diff] [blame] | 102 | #else |
Tommi | 494f209 | 2015-04-27 17:39:23 +0200 | [diff] [blame] | 103 | pthread_mutex_lock(&mutex_); |
Yves Gerey | 665174f | 2018-06-19 15:03:05 +0200 | [diff] [blame] | 104 | #endif |
tommi | ed281e9 | 2016-01-21 23:47:25 -0800 | [diff] [blame] | 105 | |
Yves Gerey | 665174f | 2018-06-19 15:03:05 +0200 | [diff] [blame] | 106 | #if CS_DEBUG_CHECKS |
Tommi | 494f209 | 2015-04-27 17:39:23 +0200 | [diff] [blame] | 107 | if (!recursion_count_) { |
henrikg | 91d6ede | 2015-09-17 00:24:34 -0700 | [diff] [blame] | 108 | RTC_DCHECK(!thread_); |
tommi | 7406b96 | 2016-01-22 05:13:33 -0800 | [diff] [blame] | 109 | thread_ = CurrentThreadRef(); |
Tommi | 494f209 | 2015-04-27 17:39:23 +0200 | [diff] [blame] | 110 | } else { |
henrikg | 91d6ede | 2015-09-17 00:24:34 -0700 | [diff] [blame] | 111 | RTC_DCHECK(CurrentThreadIsOwner()); |
Tommi | 494f209 | 2015-04-27 17:39:23 +0200 | [diff] [blame] | 112 | } |
| 113 | ++recursion_count_; |
Yves Gerey | 665174f | 2018-06-19 15:03:05 +0200 | [diff] [blame] | 114 | #endif |
eladalon | d6e9466 | 2017-06-28 07:31:30 -0700 | [diff] [blame] | 115 | #else |
Yves Gerey | 665174f | 2018-06-19 15:03:05 +0200 | [diff] [blame] | 116 | #error Unsupported platform. |
Tommi | 494f209 | 2015-04-27 17:39:23 +0200 | [diff] [blame] | 117 | #endif |
| 118 | } |
| 119 | |
danilchap | 3c6abd2 | 2017-09-06 05:46:29 -0700 | [diff] [blame] | 120 | bool CriticalSection::TryEnter() const RTC_EXCLUSIVE_TRYLOCK_FUNCTION(true) { |
Tommi | 494f209 | 2015-04-27 17:39:23 +0200 | [diff] [blame] | 121 | #if defined(WEBRTC_WIN) |
| 122 | return TryEnterCriticalSection(&crit_) != FALSE; |
eladalon | d6e9466 | 2017-06-28 07:31:30 -0700 | [diff] [blame] | 123 | #elif defined(WEBRTC_POSIX) |
Yves Gerey | 665174f | 2018-06-19 15:03:05 +0200 | [diff] [blame] | 124 | #if defined(WEBRTC_MAC) && !USE_NATIVE_MUTEX_ON_MAC |
tommi | 7406b96 | 2016-01-22 05:13:33 -0800 | [diff] [blame] | 125 | if (!IsThreadRefEqual(owning_thread_, CurrentThreadRef())) { |
tommi | ed281e9 | 2016-01-21 23:47:25 -0800 | [diff] [blame] | 126 | if (AtomicOps::CompareAndSwap(&lock_queue_, 0, 1) != 0) |
| 127 | return false; |
tommi | 7406b96 | 2016-01-22 05:13:33 -0800 | [diff] [blame] | 128 | owning_thread_ = CurrentThreadRef(); |
tommi | ed281e9 | 2016-01-21 23:47:25 -0800 | [diff] [blame] | 129 | RTC_DCHECK(!recursion_); |
| 130 | } else { |
| 131 | AtomicOps::Increment(&lock_queue_); |
| 132 | } |
| 133 | ++recursion_; |
Yves Gerey | 665174f | 2018-06-19 15:03:05 +0200 | [diff] [blame] | 134 | #else |
Tommi | 494f209 | 2015-04-27 17:39:23 +0200 | [diff] [blame] | 135 | if (pthread_mutex_trylock(&mutex_) != 0) |
| 136 | return false; |
Yves Gerey | 665174f | 2018-06-19 15:03:05 +0200 | [diff] [blame] | 137 | #endif |
| 138 | #if CS_DEBUG_CHECKS |
Tommi | 494f209 | 2015-04-27 17:39:23 +0200 | [diff] [blame] | 139 | if (!recursion_count_) { |
henrikg | 91d6ede | 2015-09-17 00:24:34 -0700 | [diff] [blame] | 140 | RTC_DCHECK(!thread_); |
tommi | 7406b96 | 2016-01-22 05:13:33 -0800 | [diff] [blame] | 141 | thread_ = CurrentThreadRef(); |
Tommi | 494f209 | 2015-04-27 17:39:23 +0200 | [diff] [blame] | 142 | } else { |
henrikg | 91d6ede | 2015-09-17 00:24:34 -0700 | [diff] [blame] | 143 | RTC_DCHECK(CurrentThreadIsOwner()); |
Tommi | 494f209 | 2015-04-27 17:39:23 +0200 | [diff] [blame] | 144 | } |
| 145 | ++recursion_count_; |
Yves Gerey | 665174f | 2018-06-19 15:03:05 +0200 | [diff] [blame] | 146 | #endif |
Tommi | 494f209 | 2015-04-27 17:39:23 +0200 | [diff] [blame] | 147 | return true; |
eladalon | d6e9466 | 2017-06-28 07:31:30 -0700 | [diff] [blame] | 148 | #else |
Yves Gerey | 665174f | 2018-06-19 15:03:05 +0200 | [diff] [blame] | 149 | #error Unsupported platform. |
Tommi | 494f209 | 2015-04-27 17:39:23 +0200 | [diff] [blame] | 150 | #endif |
| 151 | } |
eladalon | d6e9466 | 2017-06-28 07:31:30 -0700 | [diff] [blame] | 152 | |
danilchap | 3c6abd2 | 2017-09-06 05:46:29 -0700 | [diff] [blame] | 153 | void CriticalSection::Leave() const RTC_UNLOCK_FUNCTION() { |
henrikg | 91d6ede | 2015-09-17 00:24:34 -0700 | [diff] [blame] | 154 | RTC_DCHECK(CurrentThreadIsOwner()); |
Tommi | 494f209 | 2015-04-27 17:39:23 +0200 | [diff] [blame] | 155 | #if defined(WEBRTC_WIN) |
| 156 | LeaveCriticalSection(&crit_); |
eladalon | d6e9466 | 2017-06-28 07:31:30 -0700 | [diff] [blame] | 157 | #elif defined(WEBRTC_POSIX) |
Yves Gerey | 665174f | 2018-06-19 15:03:05 +0200 | [diff] [blame] | 158 | #if CS_DEBUG_CHECKS |
Tommi | 494f209 | 2015-04-27 17:39:23 +0200 | [diff] [blame] | 159 | --recursion_count_; |
henrikg | 91d6ede | 2015-09-17 00:24:34 -0700 | [diff] [blame] | 160 | RTC_DCHECK(recursion_count_ >= 0); |
Tommi | 494f209 | 2015-04-27 17:39:23 +0200 | [diff] [blame] | 161 | if (!recursion_count_) |
| 162 | thread_ = 0; |
Yves Gerey | 665174f | 2018-06-19 15:03:05 +0200 | [diff] [blame] | 163 | #endif |
| 164 | #if defined(WEBRTC_MAC) && !USE_NATIVE_MUTEX_ON_MAC |
tommi | 7406b96 | 2016-01-22 05:13:33 -0800 | [diff] [blame] | 165 | RTC_DCHECK(IsThreadRefEqual(owning_thread_, CurrentThreadRef())); |
tommi | ed281e9 | 2016-01-21 23:47:25 -0800 | [diff] [blame] | 166 | RTC_DCHECK_GE(recursion_, 0); |
| 167 | --recursion_; |
| 168 | if (!recursion_) |
| 169 | owning_thread_ = 0; |
| 170 | |
| 171 | if (AtomicOps::Decrement(&lock_queue_) > 0 && !recursion_) |
| 172 | dispatch_semaphore_signal(semaphore_); |
eladalon | d6e9466 | 2017-06-28 07:31:30 -0700 | [diff] [blame] | 173 | #else |
Yves Gerey | 665174f | 2018-06-19 15:03:05 +0200 | [diff] [blame] | 174 | pthread_mutex_unlock(&mutex_); |
| 175 | #endif |
| 176 | #else |
| 177 | #error Unsupported platform. |
tommi | ed281e9 | 2016-01-21 23:47:25 -0800 | [diff] [blame] | 178 | #endif |
Tommi | 494f209 | 2015-04-27 17:39:23 +0200 | [diff] [blame] | 179 | } |
| 180 | |
| 181 | bool CriticalSection::CurrentThreadIsOwner() const { |
| 182 | #if defined(WEBRTC_WIN) |
brucedawson | a10492f | 2015-10-06 13:34:30 -0700 | [diff] [blame] | 183 | // OwningThread has type HANDLE but actually contains the Thread ID: |
| 184 | // http://stackoverflow.com/questions/12675301/why-is-the-owningthread-member-of-critical-section-of-type-handle-when-it-is-de |
| 185 | // Converting through size_t avoids the VS 2015 warning C4312: conversion from |
| 186 | // 'type1' to 'type2' of greater size |
| 187 | return crit_.OwningThread == |
| 188 | reinterpret_cast<HANDLE>(static_cast<size_t>(GetCurrentThreadId())); |
eladalon | d6e9466 | 2017-06-28 07:31:30 -0700 | [diff] [blame] | 189 | #elif defined(WEBRTC_POSIX) |
Yves Gerey | 665174f | 2018-06-19 15:03:05 +0200 | [diff] [blame] | 190 | #if CS_DEBUG_CHECKS |
tommi | 7406b96 | 2016-01-22 05:13:33 -0800 | [diff] [blame] | 191 | return IsThreadRefEqual(thread_, CurrentThreadRef()); |
eladalon | d6e9466 | 2017-06-28 07:31:30 -0700 | [diff] [blame] | 192 | #else |
Yves Gerey | 665174f | 2018-06-19 15:03:05 +0200 | [diff] [blame] | 193 | return true; |
| 194 | #endif // CS_DEBUG_CHECKS |
| 195 | #else |
| 196 | #error Unsupported platform. |
Tommi | 494f209 | 2015-04-27 17:39:23 +0200 | [diff] [blame] | 197 | #endif |
| 198 | } |
| 199 | |
Yves Gerey | 665174f | 2018-06-19 15:03:05 +0200 | [diff] [blame] | 200 | CritScope::CritScope(const CriticalSection* cs) : cs_(cs) { |
| 201 | cs_->Enter(); |
| 202 | } |
| 203 | CritScope::~CritScope() { |
| 204 | cs_->Leave(); |
| 205 | } |
Tommi | 494f209 | 2015-04-27 17:39:23 +0200 | [diff] [blame] | 206 | |
Peter Boström | af9e663 | 2016-01-21 16:56:52 +0100 | [diff] [blame] | 207 | TryCritScope::TryCritScope(const CriticalSection* cs) |
Tommi | 494f209 | 2015-04-27 17:39:23 +0200 | [diff] [blame] | 208 | : cs_(cs), locked_(cs->TryEnter()) { |
| 209 | CS_DEBUG_CODE(lock_was_called_ = false); |
eladalon | d6e9466 | 2017-06-28 07:31:30 -0700 | [diff] [blame] | 210 | RTC_UNUSED(lock_was_called_); |
Tommi | 494f209 | 2015-04-27 17:39:23 +0200 | [diff] [blame] | 211 | } |
| 212 | |
| 213 | TryCritScope::~TryCritScope() { |
henrikg | 91d6ede | 2015-09-17 00:24:34 -0700 | [diff] [blame] | 214 | CS_DEBUG_CODE(RTC_DCHECK(lock_was_called_)); |
Tommi | 494f209 | 2015-04-27 17:39:23 +0200 | [diff] [blame] | 215 | if (locked_) |
| 216 | cs_->Leave(); |
| 217 | } |
| 218 | |
| 219 | bool TryCritScope::locked() const { |
| 220 | CS_DEBUG_CODE(lock_was_called_ = true); |
| 221 | return locked_; |
| 222 | } |
| 223 | |
Jiayang Liu | bef8d2d | 2015-03-26 14:38:46 -0700 | [diff] [blame] | 224 | void GlobalLockPod::Lock() { |
tommi | ed281e9 | 2016-01-21 23:47:25 -0800 | [diff] [blame] | 225 | #if !defined(WEBRTC_WIN) && (!defined(WEBRTC_MAC) || USE_NATIVE_MUTEX_ON_MAC) |
Tommi | 494f209 | 2015-04-27 17:39:23 +0200 | [diff] [blame] | 226 | const struct timespec ts_null = {0}; |
| 227 | #endif |
| 228 | |
pbos | 46ad542 | 2015-12-07 14:29:14 -0800 | [diff] [blame] | 229 | while (AtomicOps::CompareAndSwap(&lock_acquired, 0, 1)) { |
Tommi | 494f209 | 2015-04-27 17:39:23 +0200 | [diff] [blame] | 230 | #if defined(WEBRTC_WIN) |
| 231 | ::Sleep(0); |
tommi | ed281e9 | 2016-01-21 23:47:25 -0800 | [diff] [blame] | 232 | #elif defined(WEBRTC_MAC) && !USE_NATIVE_MUTEX_ON_MAC |
| 233 | sched_yield(); |
Tommi | 494f209 | 2015-04-27 17:39:23 +0200 | [diff] [blame] | 234 | #else |
| 235 | nanosleep(&ts_null, nullptr); |
| 236 | #endif |
Jiayang Liu | bef8d2d | 2015-03-26 14:38:46 -0700 | [diff] [blame] | 237 | } |
| 238 | } |
| 239 | |
| 240 | void GlobalLockPod::Unlock() { |
pbos | 46ad542 | 2015-12-07 14:29:14 -0800 | [diff] [blame] | 241 | int old_value = AtomicOps::CompareAndSwap(&lock_acquired, 1, 0); |
henrikg | 91d6ede | 2015-09-17 00:24:34 -0700 | [diff] [blame] | 242 | RTC_DCHECK_EQ(1, old_value) << "Unlock called without calling Lock first"; |
Jiayang Liu | bef8d2d | 2015-03-26 14:38:46 -0700 | [diff] [blame] | 243 | } |
| 244 | |
pbos | 46ad542 | 2015-12-07 14:29:14 -0800 | [diff] [blame] | 245 | GlobalLock::GlobalLock() { |
| 246 | lock_acquired = 0; |
| 247 | } |
pbos | 3c12f4d | 2015-11-17 03:21:02 -0800 | [diff] [blame] | 248 | |
Yves Gerey | 665174f | 2018-06-19 15:03:05 +0200 | [diff] [blame] | 249 | GlobalLockScope::GlobalLockScope(GlobalLockPod* lock) : lock_(lock) { |
Joachim Bauch | fec2c6d | 2015-05-27 23:41:43 +0200 | [diff] [blame] | 250 | lock_->Lock(); |
| 251 | } |
| 252 | |
| 253 | GlobalLockScope::~GlobalLockScope() { |
| 254 | lock_->Unlock(); |
| 255 | } |
| 256 | |
Jiayang Liu | bef8d2d | 2015-03-26 14:38:46 -0700 | [diff] [blame] | 257 | } // namespace rtc |