blob: 6bb44e0551de8d192e2c88a352a01c3466c5093f [file] [log] [blame]
Howard Hinnantc51e1022010-05-11 19:42:16 +00001//===------------------------- mutex.cpp ----------------------------------===//
2//
Chandler Carruthd2012102019-01-19 10:56:40 +00003// 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 Hinnantc51e1022010-05-11 19:42:16 +00006//
7//===----------------------------------------------------------------------===//
8
9#include "mutex"
10#include "limits"
11#include "system_error"
Eric Fiselier1366d262015-08-18 21:08:54 +000012#include "include/atomic_support.h"
Eric Fiselierf4433a32017-05-31 22:07:49 +000013#include "__undef_macros"
Howard Hinnantc51e1022010-05-11 19:42:16 +000014
15_LIBCPP_BEGIN_NAMESPACE_STD
Jonathan Roelofs39cb6bf2014-09-05 19:45:05 +000016#ifndef _LIBCPP_HAS_NO_THREADS
Howard Hinnantc51e1022010-05-11 19:42:16 +000017
18const defer_lock_t defer_lock = {};
19const try_to_lock_t try_to_lock = {};
20const adopt_lock_t adopt_lock = {};
21
22mutex::~mutex()
23{
Asiri Rathnayakefa2e2032016-05-06 14:06:29 +000024 __libcpp_mutex_destroy(&__m_);
Howard Hinnantc51e1022010-05-11 19:42:16 +000025}
26
27void
28mutex::lock()
29{
Asiri Rathnayakefa2e2032016-05-06 14:06:29 +000030 int ec = __libcpp_mutex_lock(&__m_);
Howard Hinnantc51e1022010-05-11 19:42:16 +000031 if (ec)
32 __throw_system_error(ec, "mutex lock failed");
33}
34
35bool
Howard Hinnantbd05d6a2012-07-21 16:13:09 +000036mutex::try_lock() _NOEXCEPT
Howard Hinnantc51e1022010-05-11 19:42:16 +000037{
Eric Fiselier0ec14472017-01-14 10:27:12 +000038 return __libcpp_mutex_trylock(&__m_);
Howard Hinnantc51e1022010-05-11 19:42:16 +000039}
40
41void
Howard Hinnantbd05d6a2012-07-21 16:13:09 +000042mutex::unlock() _NOEXCEPT
Howard Hinnantc51e1022010-05-11 19:42:16 +000043{
Asiri Rathnayakefa2e2032016-05-06 14:06:29 +000044 int ec = __libcpp_mutex_unlock(&__m_);
Howard Hinnant9ad56f32013-09-21 21:26:37 +000045 (void)ec;
Eric Fiselier59cd98b2017-02-04 23:22:28 +000046 _LIBCPP_ASSERT(ec == 0, "call to mutex::unlock failed");
Howard Hinnantc51e1022010-05-11 19:42:16 +000047}
48
49// recursive_mutex
50
51recursive_mutex::recursive_mutex()
52{
Asiri Rathnayakefa2e2032016-05-06 14:06:29 +000053 int ec = __libcpp_recursive_mutex_init(&__m_);
Howard Hinnantc51e1022010-05-11 19:42:16 +000054 if (ec)
Asiri Rathnayakefa2e2032016-05-06 14:06:29 +000055 __throw_system_error(ec, "recursive_mutex constructor failed");
Howard Hinnantc51e1022010-05-11 19:42:16 +000056}
57
58recursive_mutex::~recursive_mutex()
59{
Saleem Abdulrasool0bc37ca2017-01-05 17:54:45 +000060 int e = __libcpp_recursive_mutex_destroy(&__m_);
Howard Hinnant9ad56f32013-09-21 21:26:37 +000061 (void)e;
Eric Fiselier59cd98b2017-02-04 23:22:28 +000062 _LIBCPP_ASSERT(e == 0, "call to ~recursive_mutex() failed");
Howard Hinnantc51e1022010-05-11 19:42:16 +000063}
64
65void
66recursive_mutex::lock()
67{
Saleem Abdulrasool0bc37ca2017-01-05 17:54:45 +000068 int ec = __libcpp_recursive_mutex_lock(&__m_);
Howard Hinnantc51e1022010-05-11 19:42:16 +000069 if (ec)
70 __throw_system_error(ec, "recursive_mutex lock failed");
71}
72
73void
Howard Hinnantbd05d6a2012-07-21 16:13:09 +000074recursive_mutex::unlock() _NOEXCEPT
Howard Hinnantc51e1022010-05-11 19:42:16 +000075{
Saleem Abdulrasool0bc37ca2017-01-05 17:54:45 +000076 int e = __libcpp_recursive_mutex_unlock(&__m_);
Howard Hinnant9ad56f32013-09-21 21:26:37 +000077 (void)e;
Eric Fiselier59cd98b2017-02-04 23:22:28 +000078 _LIBCPP_ASSERT(e == 0, "call to recursive_mutex::unlock() failed");
Howard Hinnantc51e1022010-05-11 19:42:16 +000079}
80
81bool
Howard Hinnantbd05d6a2012-07-21 16:13:09 +000082recursive_mutex::try_lock() _NOEXCEPT
Howard Hinnantc51e1022010-05-11 19:42:16 +000083{
Eric Fiselier0ec14472017-01-14 10:27:12 +000084 return __libcpp_recursive_mutex_trylock(&__m_);
Howard Hinnantc51e1022010-05-11 19:42:16 +000085}
86
87// timed_mutex
88
89timed_mutex::timed_mutex()
90 : __locked_(false)
91{
92}
93
94timed_mutex::~timed_mutex()
95{
96 lock_guard<mutex> _(__m_);
97}
98
99void
100timed_mutex::lock()
101{
102 unique_lock<mutex> lk(__m_);
103 while (__locked_)
104 __cv_.wait(lk);
105 __locked_ = true;
106}
107
108bool
Howard Hinnantbd05d6a2012-07-21 16:13:09 +0000109timed_mutex::try_lock() _NOEXCEPT
Howard Hinnantc51e1022010-05-11 19:42:16 +0000110{
111 unique_lock<mutex> lk(__m_, try_to_lock);
112 if (lk.owns_lock() && !__locked_)
113 {
114 __locked_ = true;
115 return true;
116 }
117 return false;
118}
119
120void
Howard Hinnantbd05d6a2012-07-21 16:13:09 +0000121timed_mutex::unlock() _NOEXCEPT
Howard Hinnantc51e1022010-05-11 19:42:16 +0000122{
123 lock_guard<mutex> _(__m_);
124 __locked_ = false;
125 __cv_.notify_one();
126}
127
128// recursive_timed_mutex
129
130recursive_timed_mutex::recursive_timed_mutex()
131 : __count_(0),
Howard Hinnant155c2af2010-05-24 17:49:41 +0000132 __id_(0)
Howard Hinnantc51e1022010-05-11 19:42:16 +0000133{
134}
135
136recursive_timed_mutex::~recursive_timed_mutex()
137{
138 lock_guard<mutex> _(__m_);
139}
140
141void
142recursive_timed_mutex::lock()
143{
Asiri Rathnayakefa2e2032016-05-06 14:06:29 +0000144 __libcpp_thread_id id = __libcpp_thread_get_current_id();
Howard Hinnantc51e1022010-05-11 19:42:16 +0000145 unique_lock<mutex> lk(__m_);
Asiri Rathnayakefa2e2032016-05-06 14:06:29 +0000146 if (__libcpp_thread_id_equal(id, __id_))
Howard Hinnantc51e1022010-05-11 19:42:16 +0000147 {
148 if (__count_ == numeric_limits<size_t>::max())
149 __throw_system_error(EAGAIN, "recursive_timed_mutex lock limit reached");
150 ++__count_;
151 return;
152 }
153 while (__count_ != 0)
154 __cv_.wait(lk);
155 __count_ = 1;
156 __id_ = id;
157}
158
159bool
Howard Hinnantbd05d6a2012-07-21 16:13:09 +0000160recursive_timed_mutex::try_lock() _NOEXCEPT
Howard Hinnantc51e1022010-05-11 19:42:16 +0000161{
Asiri Rathnayakefa2e2032016-05-06 14:06:29 +0000162 __libcpp_thread_id id = __libcpp_thread_get_current_id();
Howard Hinnantc51e1022010-05-11 19:42:16 +0000163 unique_lock<mutex> lk(__m_, try_to_lock);
Asiri Rathnayakefa2e2032016-05-06 14:06:29 +0000164 if (lk.owns_lock() && (__count_ == 0 || __libcpp_thread_id_equal(id, __id_)))
Howard Hinnantc51e1022010-05-11 19:42:16 +0000165 {
166 if (__count_ == numeric_limits<size_t>::max())
167 return false;
168 ++__count_;
169 __id_ = id;
170 return true;
171 }
172 return false;
173}
174
175void
Howard Hinnantbd05d6a2012-07-21 16:13:09 +0000176recursive_timed_mutex::unlock() _NOEXCEPT
Howard Hinnantc51e1022010-05-11 19:42:16 +0000177{
178 unique_lock<mutex> lk(__m_);
179 if (--__count_ == 0)
180 {
Howard Hinnant155c2af2010-05-24 17:49:41 +0000181 __id_ = 0;
Howard Hinnantc51e1022010-05-11 19:42:16 +0000182 lk.unlock();
183 __cv_.notify_one();
184 }
185}
186
Jonathan Roelofs39cb6bf2014-09-05 19:45:05 +0000187#endif // !_LIBCPP_HAS_NO_THREADS
188
Howard Hinnantc51e1022010-05-11 19:42:16 +0000189// If dispatch_once_f ever handles C++ exceptions, and if one can get to it
190// without illegal macros (unexpected macros not beginning with _UpperCase or
191// __lowercase), and if it stops spinning waiting threads, then call_once should
192// call into dispatch_once_f instead of here. Relevant radar this code needs to
193// keep in sync with: 7741191.
194
Jonathan Roelofs39cb6bf2014-09-05 19:45:05 +0000195#ifndef _LIBCPP_HAS_NO_THREADS
Eric Fiselier637dd952016-09-28 22:08:13 +0000196_LIBCPP_SAFE_STATIC static __libcpp_mutex_t mut = _LIBCPP_MUTEX_INITIALIZER;
197_LIBCPP_SAFE_STATIC static __libcpp_condvar_t cv = _LIBCPP_CONDVAR_INITIALIZER;
Jonathan Roelofs39cb6bf2014-09-05 19:45:05 +0000198#endif
Howard Hinnantc51e1022010-05-11 19:42:16 +0000199
Nico Weber03776e72019-03-20 22:55:03 +0000200void __call_once(volatile once_flag::_State_type& flag, void* arg,
201 void (*func)(void*))
Howard Hinnantc51e1022010-05-11 19:42:16 +0000202{
Jonathan Roelofs39cb6bf2014-09-05 19:45:05 +0000203#if defined(_LIBCPP_HAS_NO_THREADS)
204 if (flag == 0)
205 {
206#ifndef _LIBCPP_NO_EXCEPTIONS
207 try
208 {
209#endif // _LIBCPP_NO_EXCEPTIONS
210 flag = 1;
211 func(arg);
Nico Weber03776e72019-03-20 22:55:03 +0000212 flag = ~once_flag::_State_type(0);
Jonathan Roelofs39cb6bf2014-09-05 19:45:05 +0000213#ifndef _LIBCPP_NO_EXCEPTIONS
214 }
215 catch (...)
216 {
Nico Weber03776e72019-03-20 22:55:03 +0000217 flag = 0;
Jonathan Roelofs39cb6bf2014-09-05 19:45:05 +0000218 throw;
219 }
220#endif // _LIBCPP_NO_EXCEPTIONS
221 }
222#else // !_LIBCPP_HAS_NO_THREADS
Asiri Rathnayakefa2e2032016-05-06 14:06:29 +0000223 __libcpp_mutex_lock(&mut);
Howard Hinnantc51e1022010-05-11 19:42:16 +0000224 while (flag == 1)
Asiri Rathnayakefa2e2032016-05-06 14:06:29 +0000225 __libcpp_condvar_wait(&cv, &mut);
Howard Hinnantc51e1022010-05-11 19:42:16 +0000226 if (flag == 0)
227 {
Howard Hinnant72f73582010-08-11 17:04:31 +0000228#ifndef _LIBCPP_NO_EXCEPTIONS
Howard Hinnantc51e1022010-05-11 19:42:16 +0000229 try
230 {
Howard Hinnantffb308e2010-08-22 00:03:27 +0000231#endif // _LIBCPP_NO_EXCEPTIONS
Nico Weber03776e72019-03-20 22:55:03 +0000232 __libcpp_relaxed_store(&flag, once_flag::_State_type(1));
Asiri Rathnayakefa2e2032016-05-06 14:06:29 +0000233 __libcpp_mutex_unlock(&mut);
Howard Hinnantc51e1022010-05-11 19:42:16 +0000234 func(arg);
Asiri Rathnayakefa2e2032016-05-06 14:06:29 +0000235 __libcpp_mutex_lock(&mut);
Nico Weber03776e72019-03-20 22:55:03 +0000236 __libcpp_atomic_store(&flag, ~once_flag::_State_type(0),
237 _AO_Release);
Asiri Rathnayakefa2e2032016-05-06 14:06:29 +0000238 __libcpp_mutex_unlock(&mut);
239 __libcpp_condvar_broadcast(&cv);
Howard Hinnant72f73582010-08-11 17:04:31 +0000240#ifndef _LIBCPP_NO_EXCEPTIONS
Howard Hinnantc51e1022010-05-11 19:42:16 +0000241 }
242 catch (...)
243 {
Asiri Rathnayakefa2e2032016-05-06 14:06:29 +0000244 __libcpp_mutex_lock(&mut);
Nico Weber03776e72019-03-20 22:55:03 +0000245 __libcpp_relaxed_store(&flag, once_flag::_State_type(0));
Asiri Rathnayakefa2e2032016-05-06 14:06:29 +0000246 __libcpp_mutex_unlock(&mut);
247 __libcpp_condvar_broadcast(&cv);
Howard Hinnantc51e1022010-05-11 19:42:16 +0000248 throw;
249 }
Howard Hinnantffb308e2010-08-22 00:03:27 +0000250#endif // _LIBCPP_NO_EXCEPTIONS
Howard Hinnantc51e1022010-05-11 19:42:16 +0000251 }
252 else
Asiri Rathnayakefa2e2032016-05-06 14:06:29 +0000253 __libcpp_mutex_unlock(&mut);
Jonathan Roelofs39cb6bf2014-09-05 19:45:05 +0000254#endif // !_LIBCPP_HAS_NO_THREADS
Howard Hinnantc51e1022010-05-11 19:42:16 +0000255}
256
257_LIBCPP_END_NAMESPACE_STD