29#ifndef _GLIBCXX_SHARED_MUTEX
30#define _GLIBCXX_SHARED_MUTEX 1
33#pragma GCC system_header
38#if __cplusplus >= 201402L
47#define __glibcxx_want_shared_mutex
48#define __glibcxx_want_shared_timed_mutex
51#if ! (_GLIBCXX_USE_PTHREAD_RWLOCK_T && _GTHREAD_USE_MUTEX_TIMEDLOCK)
55namespace std _GLIBCXX_VISIBILITY(default)
57_GLIBCXX_BEGIN_NAMESPACE_VERSION
64#ifdef _GLIBCXX_HAS_GTHREADS
66#ifdef __cpp_lib_shared_mutex
74#if _GLIBCXX_USE_PTHREAD_RWLOCK_T
76#define _GLIBCXX_GTHRW(name) \
77 __gthrw(pthread_ ## name); \
79 __glibcxx_ ## name (pthread_rwlock_t *__rwlock) \
81 if (__gthread_active_p ()) \
82 return __gthrw_(pthread_ ## name) (__rwlock); \
86 _GLIBCXX_GTHRW(rwlock_rdlock)
87 _GLIBCXX_GTHRW(rwlock_tryrdlock)
88 _GLIBCXX_GTHRW(rwlock_wrlock)
89 _GLIBCXX_GTHRW(rwlock_trywrlock)
90 _GLIBCXX_GTHRW(rwlock_unlock)
91# ifndef PTHREAD_RWLOCK_INITIALIZER
92 _GLIBCXX_GTHRW(rwlock_destroy)
93 __gthrw(pthread_rwlock_init);
95 __glibcxx_rwlock_init (pthread_rwlock_t *__rwlock)
97 if (__gthread_active_p ())
98 return __gthrw_(pthread_rwlock_init) (__rwlock, NULL);
103# if _GTHREAD_USE_MUTEX_TIMEDLOCK
104 __gthrw(pthread_rwlock_timedrdlock);
106 __glibcxx_rwlock_timedrdlock (pthread_rwlock_t *__rwlock,
107 const timespec *__ts)
109 if (__gthread_active_p ())
110 return __gthrw_(pthread_rwlock_timedrdlock) (__rwlock, __ts);
114 __gthrw(pthread_rwlock_timedwrlock);
116 __glibcxx_rwlock_timedwrlock (pthread_rwlock_t *__rwlock,
117 const timespec *__ts)
119 if (__gthread_active_p ())
120 return __gthrw_(pthread_rwlock_timedwrlock) (__rwlock, __ts);
127 __glibcxx_rwlock_rdlock (pthread_rwlock_t *__rwlock)
128 {
return pthread_rwlock_rdlock (__rwlock); }
130 __glibcxx_rwlock_tryrdlock (pthread_rwlock_t *__rwlock)
131 {
return pthread_rwlock_tryrdlock (__rwlock); }
133 __glibcxx_rwlock_wrlock (pthread_rwlock_t *__rwlock)
134 {
return pthread_rwlock_wrlock (__rwlock); }
136 __glibcxx_rwlock_trywrlock (pthread_rwlock_t *__rwlock)
137 {
return pthread_rwlock_trywrlock (__rwlock); }
139 __glibcxx_rwlock_unlock (pthread_rwlock_t *__rwlock)
140 {
return pthread_rwlock_unlock (__rwlock); }
142 __glibcxx_rwlock_destroy(pthread_rwlock_t *__rwlock)
143 {
return pthread_rwlock_destroy (__rwlock); }
145 __glibcxx_rwlock_init(pthread_rwlock_t *__rwlock)
146 {
return pthread_rwlock_init (__rwlock, NULL); }
147# if _GTHREAD_USE_MUTEX_TIMEDLOCK
149 __glibcxx_rwlock_timedrdlock (pthread_rwlock_t *__rwlock,
150 const timespec *__ts)
151 {
return pthread_rwlock_timedrdlock (__rwlock, __ts); }
153 __glibcxx_rwlock_timedwrlock (pthread_rwlock_t *__rwlock,
154 const timespec *__ts)
155 {
return pthread_rwlock_timedwrlock (__rwlock, __ts); }
160 class __shared_mutex_pthread
162 friend class shared_timed_mutex;
164#ifdef PTHREAD_RWLOCK_INITIALIZER
165 pthread_rwlock_t _M_rwlock = PTHREAD_RWLOCK_INITIALIZER;
168 __shared_mutex_pthread() =
default;
169 ~__shared_mutex_pthread() =
default;
171 pthread_rwlock_t _M_rwlock;
174 __shared_mutex_pthread()
176 int __ret = __glibcxx_rwlock_init(&_M_rwlock);
179 else if (__ret == EAGAIN)
180 __throw_system_error(
int(errc::resource_unavailable_try_again));
181 else if (__ret == EPERM)
182 __throw_system_error(
int(errc::operation_not_permitted));
184 __glibcxx_assert(__ret == 0);
187 ~__shared_mutex_pthread()
189 int __ret __attribute((__unused__)) = __glibcxx_rwlock_destroy(&_M_rwlock);
191 __glibcxx_assert(__ret == 0);
195 __shared_mutex_pthread(
const __shared_mutex_pthread&) =
delete;
196 __shared_mutex_pthread& operator=(
const __shared_mutex_pthread&) =
delete;
201 int __ret = __glibcxx_rwlock_wrlock(&_M_rwlock);
202 if (__ret == EDEADLK)
203 __throw_system_error(
int(errc::resource_deadlock_would_occur));
205 __glibcxx_assert(__ret == 0);
211 int __ret = __glibcxx_rwlock_trywrlock(&_M_rwlock);
217 __glibcxx_assert(__ret == 0);
225 int __ret __attribute((__unused__)) = __glibcxx_rwlock_unlock(&_M_rwlock);
227 __glibcxx_assert(__ret == 0);
241 __ret = __glibcxx_rwlock_rdlock(&_M_rwlock);
242 while (__ret == EAGAIN);
243 if (__ret == EDEADLK)
244 __throw_system_error(
int(errc::resource_deadlock_would_occur));
246 __glibcxx_assert(__ret == 0);
252 int __ret = __glibcxx_rwlock_tryrdlock(&_M_rwlock);
256 if (__ret == EBUSY || __ret == EAGAIN)
return false;
258 __glibcxx_assert(__ret == 0);
268 void* native_handle() {
return &_M_rwlock; }
272#if ! (_GLIBCXX_USE_PTHREAD_RWLOCK_T && _GTHREAD_USE_MUTEX_TIMEDLOCK)
274 class __shared_mutex_cv
276 friend class shared_timed_mutex;
306 condition_variable _M_gate1;
308 condition_variable _M_gate2;
312 static constexpr unsigned _S_write_entered
313 = 1U << (
sizeof(unsigned)*__CHAR_BIT__ - 1);
314 static constexpr unsigned _S_max_readers = ~_S_write_entered;
317 bool _M_write_entered()
const {
return _M_state & _S_write_entered; }
320 unsigned _M_readers()
const {
return _M_state & _S_max_readers; }
323 __shared_mutex_cv() : _M_state(0) {}
327 __glibcxx_assert( _M_state == 0 );
330 __shared_mutex_cv(
const __shared_mutex_cv&) =
delete;
331 __shared_mutex_cv& operator=(
const __shared_mutex_cv&) =
delete;
338 unique_lock<mutex> __lk(_M_mut);
340 _M_gate1.wait(__lk, [
this]{
return !_M_write_entered(); });
341 _M_state |= _S_write_entered;
343 _M_gate2.wait(__lk, [
this]{
return _M_readers() == 0; });
349 unique_lock<mutex> __lk(_M_mut, try_to_lock);
350 if (__lk.owns_lock() && _M_state == 0)
352 _M_state = _S_write_entered;
361 lock_guard<mutex> __lk(_M_mut);
362 __glibcxx_assert( _M_write_entered() );
366 _M_gate1.notify_all();
374 unique_lock<mutex> __lk(_M_mut);
375 _M_gate1.wait(__lk, [
this]{
return _M_state < _S_max_readers; });
382 unique_lock<mutex> __lk(_M_mut, try_to_lock);
383 if (!__lk.owns_lock())
385 if (_M_state < _S_max_readers)
396 lock_guard<mutex> __lk(_M_mut);
397 __glibcxx_assert( _M_readers() > 0 );
398 auto __prev = _M_state--;
399 if (_M_write_entered())
402 if (_M_readers() == 0)
403 _M_gate2.notify_one();
411 if (__prev == _S_max_readers)
412 _M_gate1.notify_one();
419#ifdef __cpp_lib_shared_mutex
424 shared_mutex() =
default;
425 ~shared_mutex() =
default;
427 shared_mutex(
const shared_mutex&) =
delete;
428 shared_mutex& operator=(
const shared_mutex&) =
delete;
432 void lock() { _M_impl.lock(); }
433 [[nodiscard]]
bool try_lock() {
return _M_impl.try_lock(); }
434 void unlock() { _M_impl.unlock(); }
438 void lock_shared() { _M_impl.lock_shared(); }
439 [[nodiscard]]
bool try_lock_shared() {
return _M_impl.try_lock_shared(); }
440 void unlock_shared() { _M_impl.unlock_shared(); }
442#if _GLIBCXX_USE_PTHREAD_RWLOCK_T
443 typedef void* native_handle_type;
444 native_handle_type native_handle() {
return _M_impl.native_handle(); }
447 __shared_mutex_pthread _M_impl;
450 __shared_mutex_cv _M_impl;
456#if _GLIBCXX_USE_PTHREAD_RWLOCK_T && _GTHREAD_USE_MUTEX_TIMEDLOCK
457 using __shared_timed_mutex_base = __shared_mutex_pthread;
459 using __shared_timed_mutex_base = __shared_mutex_cv;
464 class shared_timed_mutex
465 :
private __shared_timed_mutex_base
467 using _Base = __shared_timed_mutex_base;
470#ifdef _GLIBCXX_USE_PTHREAD_RWLOCK_CLOCKLOCK
477 shared_timed_mutex() =
default;
478 ~shared_timed_mutex() =
default;
480 shared_timed_mutex(
const shared_timed_mutex&) =
delete;
481 shared_timed_mutex& operator=(
const shared_timed_mutex&) =
delete;
485 void lock() { _Base::lock(); }
486 _GLIBCXX_NODISCARD
bool try_lock() {
return _Base::try_lock(); }
487 void unlock() { _Base::unlock(); }
489 template<
typename _Rep,
typename _Period>
497 return try_lock_until(__clock_t::now() + __rt);
502 void lock_shared() { _Base::lock_shared(); }
504 bool try_lock_shared() {
return _Base::try_lock_shared(); }
505 void unlock_shared() { _Base::unlock_shared(); }
507 template<
typename _Rep,
typename _Period>
515 return try_lock_shared_until(__clock_t::now() + __rt);
518#if _GLIBCXX_USE_PTHREAD_RWLOCK_T && _GTHREAD_USE_MUTEX_TIMEDLOCK
522 template<
typename _Duration>
528 struct timespec __ts = chrono::__to_timeout_timespec(__atime);
529 int __ret = __glibcxx_rwlock_timedwrlock(&_M_rwlock, &__ts);
532 if (__ret == ETIMEDOUT)
535 __glibcxx_assert(__ret == 0);
539#ifdef _GLIBCXX_USE_PTHREAD_RWLOCK_CLOCKLOCK
540 template<
typename _Duration>
546 struct timespec __ts = chrono::__to_timeout_timespec(__atime);
547 int __ret = pthread_rwlock_clockwrlock(&_M_rwlock, CLOCK_MONOTONIC,
551 if (__ret == ETIMEDOUT)
554 __glibcxx_assert(__ret == 0);
559 template<
typename _Clock,
typename _Duration>
564#if __cplusplus > 201703L
565 static_assert(chrono::is_clock_v<_Clock>);
570 typename _Clock::time_point __now = _Clock::now();
572 auto __rtime = __atime - __now;
573 if (try_lock_for(__rtime))
575 __now = _Clock::now();
576 }
while (__atime > __now);
582 template<
typename _Duration>
588 struct timespec __ts = chrono::__to_timeout_timespec(__atime);
601 __ret = __glibcxx_rwlock_timedrdlock(&_M_rwlock, &__ts);
602 while (__ret == EAGAIN);
605 if (__ret == ETIMEDOUT)
608 __glibcxx_assert(__ret == 0);
612#ifdef _GLIBCXX_USE_PTHREAD_RWLOCK_CLOCKLOCK
613 template<
typename _Duration>
619 struct timespec __ts = chrono::__to_timeout_timespec(__atime);
620 int __ret = pthread_rwlock_clockrdlock(&_M_rwlock, CLOCK_MONOTONIC,
627 if (__ret == ETIMEDOUT)
630 __glibcxx_assert(__ret == 0);
635 template<
typename _Clock,
typename _Duration>
641#if __cplusplus > 201703L
642 static_assert(chrono::is_clock_v<_Clock>);
647 typename _Clock::time_point __now = _Clock::now();
649 auto __rtime = __atime - __now;
650 if (try_lock_shared_for(__rtime))
652 __now = _Clock::now();
653 }
while (__atime > __now);
661 template<
typename _Clock,
typename _Duration>
667 if (!_M_gate1.wait_until(__lk, __abs_time,
668 [
this]{ return !_M_write_entered(); }))
672 _M_state |= _S_write_entered;
673 if (!_M_gate2.wait_until(__lk, __abs_time,
674 [
this]{ return _M_readers() == 0; }))
676 _M_state ^= _S_write_entered;
678 _M_gate1.notify_all();
686 template <
typename _Clock,
typename _Duration>
690 _Duration>& __abs_time)
693 if (!_M_gate1.wait_until(__lk, __abs_time,
694 [
this]{ return _M_state < _S_max_readers; }))
707 template<
typename _Mutex>
711 typedef _Mutex mutex_type;
715 shared_lock() noexcept : _M_pm(
nullptr), _M_owns(
false) { }
718 shared_lock(mutex_type& __m)
720 { __m.lock_shared(); }
731 template<
typename _Clock,
typename _Duration>
732 shared_lock(mutex_type& __m,
735 _M_owns(__m.try_lock_shared_until(__abs_time)) { }
737 template<
typename _Rep,
typename _Period>
738 shared_lock(mutex_type& __m,
741 _M_owns(__m.try_lock_shared_for(__rel_time)) { }
746 _M_pm->unlock_shared();
749 shared_lock(shared_lock
const&) =
delete;
750 shared_lock& operator=(shared_lock
const&) =
delete;
752 shared_lock(shared_lock&& __sl) noexcept : shared_lock()
756 operator=(shared_lock&& __sl)
noexcept
760 shared_lock(
std::move(__sl)).swap(*
this);
768 _M_pm->lock_shared();
777 return _M_owns = _M_pm->try_lock_shared();
780 template<
typename _Rep,
typename _Period>
786 return _M_owns = _M_pm->try_lock_shared_for(__rel_time);
789 template<
typename _Clock,
typename _Duration>
795 return _M_owns = _M_pm->try_lock_shared_until(__abs_time);
802 __throw_system_error(
int(errc::operation_not_permitted));
803 _M_pm->unlock_shared();
810 swap(shared_lock& __u)
noexcept
812 std::swap(_M_pm, __u._M_pm);
813 std::swap(_M_owns, __u._M_owns);
820 return std::__exchange(_M_pm,
nullptr);
826 bool owns_lock()
const noexcept {
return _M_owns; }
828 explicit operator bool()
const noexcept {
return _M_owns; }
831 mutex_type* mutex()
const noexcept {
return _M_pm; }
837 if (_M_pm ==
nullptr)
838 __throw_system_error(
int(errc::operation_not_permitted));
840 __throw_system_error(
int(errc::resource_deadlock_would_occur));
849 template<
typename _Mutex>
855_GLIBCXX_END_NAMESPACE_VERSION
constexpr __enable_if_is_duration< _ToDur > duration_cast(const duration< _Rep, _Period > &__d)
constexpr std::remove_reference< _Tp >::type && move(_Tp &&__t) noexcept
Convert a value to an rvalue.
constexpr _Tp * __addressof(_Tp &__r) noexcept
Same as C++11 std::addressof.
void lock(_L1 &__l1, _L2 &__l2, _L3 &... __l3)
Generic lock.
int try_lock(_L1 &__l1, _L2 &__l2, _L3 &... __l3)
Generic try_lock.
ISO C++ entities toplevel namespace is std.
The standard shared timed mutex type.
chrono::duration represents a distance between two points in time
chrono::time_point represents a point in time as measured by a clock
Do not acquire ownership of the mutex.
Try to acquire ownership of the mutex without blocking.
Assume the calling thread has already obtained mutex ownership and manage it.
A movable scoped lock type.