blob: 33a8197dadf84932f7f692546887f3e98aa62932 [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
Petr Hosek99575aa2019-05-30 01:34:41 +000015#ifndef _LIBCPP_HAS_NO_THREADS
Petr Hosek10ed4282019-05-30 04:40:21 +000016#if defined(__unix__) && defined(__ELF__) && defined(_LIBCPP_HAS_COMMENT_LIB_PRAGMA)
Petr Hosek99575aa2019-05-30 01:34:41 +000017#pragma comment(lib, "pthread")
18#endif
19#endif
20
Howard Hinnantc51e1022010-05-11 19:42:16 +000021_LIBCPP_BEGIN_NAMESPACE_STD
Jonathan Roelofs39cb6bf2014-09-05 19:45:05 +000022#ifndef _LIBCPP_HAS_NO_THREADS
Howard Hinnantc51e1022010-05-11 19:42:16 +000023
24const defer_lock_t defer_lock = {};
25const try_to_lock_t try_to_lock = {};
26const adopt_lock_t adopt_lock = {};
27
Chandler Carruthf38b8262019-04-26 05:04:33 +000028mutex::~mutex() _NOEXCEPT
Howard Hinnantc51e1022010-05-11 19:42:16 +000029{
Asiri Rathnayakefa2e2032016-05-06 14:06:29 +000030 __libcpp_mutex_destroy(&__m_);
Howard Hinnantc51e1022010-05-11 19:42:16 +000031}
32
33void
34mutex::lock()
35{
Asiri Rathnayakefa2e2032016-05-06 14:06:29 +000036 int ec = __libcpp_mutex_lock(&__m_);
Howard Hinnantc51e1022010-05-11 19:42:16 +000037 if (ec)
38 __throw_system_error(ec, "mutex lock failed");
39}
40
41bool
Howard Hinnantbd05d6a2012-07-21 16:13:09 +000042mutex::try_lock() _NOEXCEPT
Howard Hinnantc51e1022010-05-11 19:42:16 +000043{
Eric Fiselier0ec14472017-01-14 10:27:12 +000044 return __libcpp_mutex_trylock(&__m_);
Howard Hinnantc51e1022010-05-11 19:42:16 +000045}
46
47void
Howard Hinnantbd05d6a2012-07-21 16:13:09 +000048mutex::unlock() _NOEXCEPT
Howard Hinnantc51e1022010-05-11 19:42:16 +000049{
Asiri Rathnayakefa2e2032016-05-06 14:06:29 +000050 int ec = __libcpp_mutex_unlock(&__m_);
Howard Hinnant9ad56f32013-09-21 21:26:37 +000051 (void)ec;
Eric Fiselier59cd98b2017-02-04 23:22:28 +000052 _LIBCPP_ASSERT(ec == 0, "call to mutex::unlock failed");
Howard Hinnantc51e1022010-05-11 19:42:16 +000053}
54
55// recursive_mutex
56
57recursive_mutex::recursive_mutex()
58{
Asiri Rathnayakefa2e2032016-05-06 14:06:29 +000059 int ec = __libcpp_recursive_mutex_init(&__m_);
Howard Hinnantc51e1022010-05-11 19:42:16 +000060 if (ec)
Asiri Rathnayakefa2e2032016-05-06 14:06:29 +000061 __throw_system_error(ec, "recursive_mutex constructor failed");
Howard Hinnantc51e1022010-05-11 19:42:16 +000062}
63
64recursive_mutex::~recursive_mutex()
65{
Saleem Abdulrasool0bc37ca2017-01-05 17:54:45 +000066 int e = __libcpp_recursive_mutex_destroy(&__m_);
Howard Hinnant9ad56f32013-09-21 21:26:37 +000067 (void)e;
Eric Fiselier59cd98b2017-02-04 23:22:28 +000068 _LIBCPP_ASSERT(e == 0, "call to ~recursive_mutex() failed");
Howard Hinnantc51e1022010-05-11 19:42:16 +000069}
70
71void
72recursive_mutex::lock()
73{
Saleem Abdulrasool0bc37ca2017-01-05 17:54:45 +000074 int ec = __libcpp_recursive_mutex_lock(&__m_);
Howard Hinnantc51e1022010-05-11 19:42:16 +000075 if (ec)
76 __throw_system_error(ec, "recursive_mutex lock failed");
77}
78
79void
Howard Hinnantbd05d6a2012-07-21 16:13:09 +000080recursive_mutex::unlock() _NOEXCEPT
Howard Hinnantc51e1022010-05-11 19:42:16 +000081{
Saleem Abdulrasool0bc37ca2017-01-05 17:54:45 +000082 int e = __libcpp_recursive_mutex_unlock(&__m_);
Howard Hinnant9ad56f32013-09-21 21:26:37 +000083 (void)e;
Eric Fiselier59cd98b2017-02-04 23:22:28 +000084 _LIBCPP_ASSERT(e == 0, "call to recursive_mutex::unlock() failed");
Howard Hinnantc51e1022010-05-11 19:42:16 +000085}
86
87bool
Howard Hinnantbd05d6a2012-07-21 16:13:09 +000088recursive_mutex::try_lock() _NOEXCEPT
Howard Hinnantc51e1022010-05-11 19:42:16 +000089{
Eric Fiselier0ec14472017-01-14 10:27:12 +000090 return __libcpp_recursive_mutex_trylock(&__m_);
Howard Hinnantc51e1022010-05-11 19:42:16 +000091}
92
93// timed_mutex
94
95timed_mutex::timed_mutex()
96 : __locked_(false)
97{
98}
99
100timed_mutex::~timed_mutex()
101{
102 lock_guard<mutex> _(__m_);
103}
104
105void
106timed_mutex::lock()
107{
108 unique_lock<mutex> lk(__m_);
109 while (__locked_)
110 __cv_.wait(lk);
111 __locked_ = true;
112}
113
114bool
Howard Hinnantbd05d6a2012-07-21 16:13:09 +0000115timed_mutex::try_lock() _NOEXCEPT
Howard Hinnantc51e1022010-05-11 19:42:16 +0000116{
117 unique_lock<mutex> lk(__m_, try_to_lock);
118 if (lk.owns_lock() && !__locked_)
119 {
120 __locked_ = true;
121 return true;
122 }
123 return false;
124}
125
126void
Howard Hinnantbd05d6a2012-07-21 16:13:09 +0000127timed_mutex::unlock() _NOEXCEPT
Howard Hinnantc51e1022010-05-11 19:42:16 +0000128{
129 lock_guard<mutex> _(__m_);
130 __locked_ = false;
131 __cv_.notify_one();
132}
133
134// recursive_timed_mutex
135
136recursive_timed_mutex::recursive_timed_mutex()
137 : __count_(0),
Howard Hinnant155c2af2010-05-24 17:49:41 +0000138 __id_(0)
Howard Hinnantc51e1022010-05-11 19:42:16 +0000139{
140}
141
142recursive_timed_mutex::~recursive_timed_mutex()
143{
144 lock_guard<mutex> _(__m_);
145}
146
147void
148recursive_timed_mutex::lock()
149{
Asiri Rathnayakefa2e2032016-05-06 14:06:29 +0000150 __libcpp_thread_id id = __libcpp_thread_get_current_id();
Howard Hinnantc51e1022010-05-11 19:42:16 +0000151 unique_lock<mutex> lk(__m_);
Asiri Rathnayakefa2e2032016-05-06 14:06:29 +0000152 if (__libcpp_thread_id_equal(id, __id_))
Howard Hinnantc51e1022010-05-11 19:42:16 +0000153 {
154 if (__count_ == numeric_limits<size_t>::max())
155 __throw_system_error(EAGAIN, "recursive_timed_mutex lock limit reached");
156 ++__count_;
157 return;
158 }
159 while (__count_ != 0)
160 __cv_.wait(lk);
161 __count_ = 1;
162 __id_ = id;
163}
164
165bool
Howard Hinnantbd05d6a2012-07-21 16:13:09 +0000166recursive_timed_mutex::try_lock() _NOEXCEPT
Howard Hinnantc51e1022010-05-11 19:42:16 +0000167{
Asiri Rathnayakefa2e2032016-05-06 14:06:29 +0000168 __libcpp_thread_id id = __libcpp_thread_get_current_id();
Howard Hinnantc51e1022010-05-11 19:42:16 +0000169 unique_lock<mutex> lk(__m_, try_to_lock);
Asiri Rathnayakefa2e2032016-05-06 14:06:29 +0000170 if (lk.owns_lock() && (__count_ == 0 || __libcpp_thread_id_equal(id, __id_)))
Howard Hinnantc51e1022010-05-11 19:42:16 +0000171 {
172 if (__count_ == numeric_limits<size_t>::max())
173 return false;
174 ++__count_;
175 __id_ = id;
176 return true;
177 }
178 return false;
179}
180
181void
Howard Hinnantbd05d6a2012-07-21 16:13:09 +0000182recursive_timed_mutex::unlock() _NOEXCEPT
Howard Hinnantc51e1022010-05-11 19:42:16 +0000183{
184 unique_lock<mutex> lk(__m_);
185 if (--__count_ == 0)
186 {
Howard Hinnant155c2af2010-05-24 17:49:41 +0000187 __id_ = 0;
Howard Hinnantc51e1022010-05-11 19:42:16 +0000188 lk.unlock();
189 __cv_.notify_one();
190 }
191}
192
Jonathan Roelofs39cb6bf2014-09-05 19:45:05 +0000193#endif // !_LIBCPP_HAS_NO_THREADS
194
Howard Hinnantc51e1022010-05-11 19:42:16 +0000195// If dispatch_once_f ever handles C++ exceptions, and if one can get to it
196// without illegal macros (unexpected macros not beginning with _UpperCase or
197// __lowercase), and if it stops spinning waiting threads, then call_once should
198// call into dispatch_once_f instead of here. Relevant radar this code needs to
199// keep in sync with: 7741191.
200
Jonathan Roelofs39cb6bf2014-09-05 19:45:05 +0000201#ifndef _LIBCPP_HAS_NO_THREADS
Eric Fiselier637dd952016-09-28 22:08:13 +0000202_LIBCPP_SAFE_STATIC static __libcpp_mutex_t mut = _LIBCPP_MUTEX_INITIALIZER;
203_LIBCPP_SAFE_STATIC static __libcpp_condvar_t cv = _LIBCPP_CONDVAR_INITIALIZER;
Jonathan Roelofs39cb6bf2014-09-05 19:45:05 +0000204#endif
Howard Hinnantc51e1022010-05-11 19:42:16 +0000205
Nico Weber03776e72019-03-20 22:55:03 +0000206void __call_once(volatile once_flag::_State_type& flag, void* arg,
207 void (*func)(void*))
Howard Hinnantc51e1022010-05-11 19:42:16 +0000208{
Jonathan Roelofs39cb6bf2014-09-05 19:45:05 +0000209#if defined(_LIBCPP_HAS_NO_THREADS)
210 if (flag == 0)
211 {
212#ifndef _LIBCPP_NO_EXCEPTIONS
213 try
214 {
215#endif // _LIBCPP_NO_EXCEPTIONS
216 flag = 1;
217 func(arg);
Nico Weber03776e72019-03-20 22:55:03 +0000218 flag = ~once_flag::_State_type(0);
Jonathan Roelofs39cb6bf2014-09-05 19:45:05 +0000219#ifndef _LIBCPP_NO_EXCEPTIONS
220 }
221 catch (...)
222 {
Nico Weber03776e72019-03-20 22:55:03 +0000223 flag = 0;
Jonathan Roelofs39cb6bf2014-09-05 19:45:05 +0000224 throw;
225 }
226#endif // _LIBCPP_NO_EXCEPTIONS
227 }
228#else // !_LIBCPP_HAS_NO_THREADS
Asiri Rathnayakefa2e2032016-05-06 14:06:29 +0000229 __libcpp_mutex_lock(&mut);
Howard Hinnantc51e1022010-05-11 19:42:16 +0000230 while (flag == 1)
Asiri Rathnayakefa2e2032016-05-06 14:06:29 +0000231 __libcpp_condvar_wait(&cv, &mut);
Howard Hinnantc51e1022010-05-11 19:42:16 +0000232 if (flag == 0)
233 {
Howard Hinnant72f73582010-08-11 17:04:31 +0000234#ifndef _LIBCPP_NO_EXCEPTIONS
Howard Hinnantc51e1022010-05-11 19:42:16 +0000235 try
236 {
Howard Hinnantffb308e2010-08-22 00:03:27 +0000237#endif // _LIBCPP_NO_EXCEPTIONS
Nico Weber03776e72019-03-20 22:55:03 +0000238 __libcpp_relaxed_store(&flag, once_flag::_State_type(1));
Asiri Rathnayakefa2e2032016-05-06 14:06:29 +0000239 __libcpp_mutex_unlock(&mut);
Howard Hinnantc51e1022010-05-11 19:42:16 +0000240 func(arg);
Asiri Rathnayakefa2e2032016-05-06 14:06:29 +0000241 __libcpp_mutex_lock(&mut);
Nico Weber03776e72019-03-20 22:55:03 +0000242 __libcpp_atomic_store(&flag, ~once_flag::_State_type(0),
243 _AO_Release);
Asiri Rathnayakefa2e2032016-05-06 14:06:29 +0000244 __libcpp_mutex_unlock(&mut);
245 __libcpp_condvar_broadcast(&cv);
Howard Hinnant72f73582010-08-11 17:04:31 +0000246#ifndef _LIBCPP_NO_EXCEPTIONS
Howard Hinnantc51e1022010-05-11 19:42:16 +0000247 }
248 catch (...)
249 {
Asiri Rathnayakefa2e2032016-05-06 14:06:29 +0000250 __libcpp_mutex_lock(&mut);
Nico Weber03776e72019-03-20 22:55:03 +0000251 __libcpp_relaxed_store(&flag, once_flag::_State_type(0));
Asiri Rathnayakefa2e2032016-05-06 14:06:29 +0000252 __libcpp_mutex_unlock(&mut);
253 __libcpp_condvar_broadcast(&cv);
Howard Hinnantc51e1022010-05-11 19:42:16 +0000254 throw;
255 }
Howard Hinnantffb308e2010-08-22 00:03:27 +0000256#endif // _LIBCPP_NO_EXCEPTIONS
Howard Hinnantc51e1022010-05-11 19:42:16 +0000257 }
258 else
Asiri Rathnayakefa2e2032016-05-06 14:06:29 +0000259 __libcpp_mutex_unlock(&mut);
Jonathan Roelofs39cb6bf2014-09-05 19:45:05 +0000260#endif // !_LIBCPP_HAS_NO_THREADS
Howard Hinnantc51e1022010-05-11 19:42:16 +0000261}
262
263_LIBCPP_END_NAMESPACE_STD