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