Louis Dionne | eb8650a | 2021-11-17 21:25:01 | [diff] [blame] | 1 | //===----------------------------------------------------------------------===// |
Howard Hinnant | 3e51952 | 2010-05-11 19:42:16 | [diff] [blame] | 2 | // |
Chandler Carruth | 57b08b0 | 2019-01-19 10:56:40 | [diff] [blame] | 3 | // 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 |
Howard Hinnant | 3e51952 | 2010-05-11 19:42:16 | [diff] [blame] | 6 | // |
| 7 | //===----------------------------------------------------------------------===// |
| 8 | |
Louis Dionne | f87aa19 | 2022-02-14 18:41:09 | [diff] [blame] | 9 | #include <__assert> |
Louis Dionne | 053d9e5 | 2023-07-04 20:10:45 | [diff] [blame] | 10 | #include <__thread/id.h> |
Daniel McIntosh | be8c2df | 2023-09-13 20:57:13 | [diff] [blame] | 11 | #include <__utility/exception_guard.h> |
Arthur O'Dwyer | bbb0f2c | 2022-02-11 18:00:39 | [diff] [blame] | 12 | #include <limits> |
| 13 | #include <mutex> |
Arthur O'Dwyer | bbb0f2c | 2022-02-11 18:00:39 | [diff] [blame] | 14 | |
Eric Fiselier | e8fd164 | 2015-08-18 21:08:54 | [diff] [blame] | 15 | #include "include/atomic_support.h" |
Howard Hinnant | 3e51952 | 2010-05-11 19:42:16 | [diff] [blame] | 16 | |
Louis Dionne | cf7d4f5 | 2023-11-06 00:08:24 | [diff] [blame] | 17 | #if defined(__ELF__) && defined(_LIBCPP_LINK_PTHREAD_LIB) |
| 18 | # pragma comment(lib, "pthread") |
Petr Hosek | 996e62e | 2019-05-30 01:34:41 | [diff] [blame] | 19 | #endif |
| 20 | |
Arthur O'Dwyer | bbb0f2c | 2022-02-11 18:00:39 | [diff] [blame] | 21 | _LIBCPP_PUSH_MACROS |
| 22 | #include <__undef_macros> |
| 23 | |
Howard Hinnant | 3e51952 | 2010-05-11 19:42:16 | [diff] [blame] | 24 | _LIBCPP_BEGIN_NAMESPACE_STD |
Arthur O'Dwyer | bbb0f2c | 2022-02-11 18:00:39 | [diff] [blame] | 25 | |
Eric Fiselier | 8baf838 | 2019-07-07 01:20:54 | [diff] [blame] | 26 | // ~mutex is defined elsewhere |
Howard Hinnant | 3e51952 | 2010-05-11 19:42:16 | [diff] [blame] | 27 | |
Louis Dionne | 9783f28 | 2023-12-18 19:01:33 | [diff] [blame] | 28 | void mutex::lock() { |
| 29 | int ec = __libcpp_mutex_lock(&__m_); |
| 30 | if (ec) |
| 31 | __throw_system_error(ec, "mutex lock failed"); |
Howard Hinnant | 3e51952 | 2010-05-11 19:42:16 | [diff] [blame] | 32 | } |
| 33 | |
Louis Dionne | 9783f28 | 2023-12-18 19:01:33 | [diff] [blame] | 34 | bool mutex::try_lock() noexcept { return __libcpp_mutex_trylock(&__m_); } |
Howard Hinnant | 3e51952 | 2010-05-11 19:42:16 | [diff] [blame] | 35 | |
Louis Dionne | 9783f28 | 2023-12-18 19:01:33 | [diff] [blame] | 36 | void mutex::unlock() noexcept { |
| 37 | int ec = __libcpp_mutex_unlock(&__m_); |
| 38 | (void)ec; |
Konstantin Varlamov | 6082478 | 2024-01-23 02:12:58 | [diff] [blame] | 39 | _LIBCPP_ASSERT_VALID_EXTERNAL_API_CALL( |
| 40 | ec == 0, "call to mutex::unlock failed. A possible reason is that the mutex wasn't locked"); |
Howard Hinnant | 3e51952 | 2010-05-11 19:42:16 | [diff] [blame] | 41 | } |
| 42 | |
| 43 | // recursive_mutex |
| 44 | |
Louis Dionne | 9783f28 | 2023-12-18 19:01:33 | [diff] [blame] | 45 | recursive_mutex::recursive_mutex() { |
| 46 | int ec = __libcpp_recursive_mutex_init(&__m_); |
| 47 | if (ec) |
| 48 | __throw_system_error(ec, "recursive_mutex constructor failed"); |
Howard Hinnant | 3e51952 | 2010-05-11 19:42:16 | [diff] [blame] | 49 | } |
| 50 | |
Louis Dionne | 9783f28 | 2023-12-18 19:01:33 | [diff] [blame] | 51 | recursive_mutex::~recursive_mutex() { |
| 52 | int e = __libcpp_recursive_mutex_destroy(&__m_); |
| 53 | (void)e; |
Konstantin Varlamov | 6082478 | 2024-01-23 02:12:58 | [diff] [blame] | 54 | _LIBCPP_ASSERT_VALID_EXTERNAL_API_CALL(e == 0, "call to ~recursive_mutex() failed"); |
Howard Hinnant | 3e51952 | 2010-05-11 19:42:16 | [diff] [blame] | 55 | } |
| 56 | |
Louis Dionne | 9783f28 | 2023-12-18 19:01:33 | [diff] [blame] | 57 | void recursive_mutex::lock() { |
| 58 | int ec = __libcpp_recursive_mutex_lock(&__m_); |
| 59 | if (ec) |
| 60 | __throw_system_error(ec, "recursive_mutex lock failed"); |
Howard Hinnant | 3e51952 | 2010-05-11 19:42:16 | [diff] [blame] | 61 | } |
| 62 | |
Louis Dionne | 9783f28 | 2023-12-18 19:01:33 | [diff] [blame] | 63 | void recursive_mutex::unlock() noexcept { |
| 64 | int e = __libcpp_recursive_mutex_unlock(&__m_); |
| 65 | (void)e; |
Konstantin Varlamov | 6082478 | 2024-01-23 02:12:58 | [diff] [blame] | 66 | _LIBCPP_ASSERT_VALID_EXTERNAL_API_CALL( |
| 67 | e == 0, "call to recursive_mutex::unlock() failed. A possible reason is that the mutex wasn't locked"); |
Howard Hinnant | 3e51952 | 2010-05-11 19:42:16 | [diff] [blame] | 68 | } |
| 69 | |
Louis Dionne | 9783f28 | 2023-12-18 19:01:33 | [diff] [blame] | 70 | bool recursive_mutex::try_lock() noexcept { return __libcpp_recursive_mutex_trylock(&__m_); } |
Howard Hinnant | 3e51952 | 2010-05-11 19:42:16 | [diff] [blame] | 71 | |
| 72 | // timed_mutex |
| 73 | |
Louis Dionne | 9783f28 | 2023-12-18 19:01:33 | [diff] [blame] | 74 | timed_mutex::timed_mutex() : __locked_(false) {} |
| 75 | |
| 76 | timed_mutex::~timed_mutex() { lock_guard<mutex> _(__m_); } |
| 77 | |
| 78 | void timed_mutex::lock() { |
| 79 | unique_lock<mutex> lk(__m_); |
| 80 | while (__locked_) |
| 81 | __cv_.wait(lk); |
| 82 | __locked_ = true; |
Howard Hinnant | 3e51952 | 2010-05-11 19:42:16 | [diff] [blame] | 83 | } |
| 84 | |
Louis Dionne | 9783f28 | 2023-12-18 19:01:33 | [diff] [blame] | 85 | bool timed_mutex::try_lock() noexcept { |
| 86 | unique_lock<mutex> lk(__m_, try_to_lock); |
| 87 | if (lk.owns_lock() && !__locked_) { |
Howard Hinnant | 3e51952 | 2010-05-11 19:42:16 | [diff] [blame] | 88 | __locked_ = true; |
Louis Dionne | 9783f28 | 2023-12-18 19:01:33 | [diff] [blame] | 89 | return true; |
| 90 | } |
| 91 | return false; |
Howard Hinnant | 3e51952 | 2010-05-11 19:42:16 | [diff] [blame] | 92 | } |
| 93 | |
Louis Dionne | 9783f28 | 2023-12-18 19:01:33 | [diff] [blame] | 94 | void timed_mutex::unlock() noexcept { |
| 95 | lock_guard<mutex> _(__m_); |
| 96 | __locked_ = false; |
| 97 | __cv_.notify_one(); |
Howard Hinnant | 3e51952 | 2010-05-11 19:42:16 | [diff] [blame] | 98 | } |
| 99 | |
| 100 | // recursive_timed_mutex |
| 101 | |
Louis Dionne | 9783f28 | 2023-12-18 19:01:33 | [diff] [blame] | 102 | recursive_timed_mutex::recursive_timed_mutex() : __count_(0), __id_{} {} |
| 103 | |
| 104 | recursive_timed_mutex::~recursive_timed_mutex() { lock_guard<mutex> _(__m_); } |
| 105 | |
| 106 | void recursive_timed_mutex::lock() { |
| 107 | __thread_id id = this_thread::get_id(); |
| 108 | unique_lock<mutex> lk(__m_); |
| 109 | if (id == __id_) { |
| 110 | if (__count_ == numeric_limits<size_t>::max()) |
| 111 | __throw_system_error(EAGAIN, "recursive_timed_mutex lock limit reached"); |
| 112 | ++__count_; |
| 113 | return; |
| 114 | } |
| 115 | while (__count_ != 0) |
| 116 | __cv_.wait(lk); |
| 117 | __count_ = 1; |
| 118 | __id_ = id; |
Howard Hinnant | 3e51952 | 2010-05-11 19:42:16 | [diff] [blame] | 119 | } |
| 120 | |
Louis Dionne | 9783f28 | 2023-12-18 19:01:33 | [diff] [blame] | 121 | bool recursive_timed_mutex::try_lock() noexcept { |
| 122 | __thread_id id = this_thread::get_id(); |
| 123 | unique_lock<mutex> lk(__m_, try_to_lock); |
| 124 | if (lk.owns_lock() && (__count_ == 0 || id == __id_)) { |
| 125 | if (__count_ == numeric_limits<size_t>::max()) |
| 126 | return false; |
| 127 | ++__count_; |
Howard Hinnant | 3e51952 | 2010-05-11 19:42:16 | [diff] [blame] | 128 | __id_ = id; |
Louis Dionne | 9783f28 | 2023-12-18 19:01:33 | [diff] [blame] | 129 | return true; |
| 130 | } |
| 131 | return false; |
Howard Hinnant | 3e51952 | 2010-05-11 19:42:16 | [diff] [blame] | 132 | } |
| 133 | |
Louis Dionne | 9783f28 | 2023-12-18 19:01:33 | [diff] [blame] | 134 | void recursive_timed_mutex::unlock() noexcept { |
| 135 | unique_lock<mutex> lk(__m_); |
| 136 | if (--__count_ == 0) { |
| 137 | __id_.__reset(); |
| 138 | lk.unlock(); |
| 139 | __cv_.notify_one(); |
| 140 | } |
Howard Hinnant | 3e51952 | 2010-05-11 19:42:16 | [diff] [blame] | 141 | } |
| 142 | |
Howard Hinnant | 3e51952 | 2010-05-11 19:42:16 | [diff] [blame] | 143 | _LIBCPP_END_NAMESPACE_STD |
Arthur O'Dwyer | bbb0f2c | 2022-02-11 18:00:39 | [diff] [blame] | 144 | |
| 145 | _LIBCPP_POP_MACROS |