diff options
author | Mike Crowe <mac@mcrowe.com> | 2019-12-02 16:23:10 +0000 |
---|---|---|
committer | Jonathan Wakely <redi@gcc.gnu.org> | 2019-12-02 16:23:10 +0000 |
commit | ab40695a46c6649bac40f4251e37993d73fa7a13 (patch) | |
tree | 1bdab64d9d7ca9afe4f3b1d7c4affbcb4be178f3 /libstdc++-v3/include/std/shared_mutex | |
parent | a7334019b11798a9e791edef62a690b521e78a5b (diff) | |
download | gcc-ab40695a46c6649bac40f4251e37993d73fa7a13.zip gcc-ab40695a46c6649bac40f4251e37993d73fa7a13.tar.gz gcc-ab40695a46c6649bac40f4251e37993d73fa7a13.tar.bz2 |
libstdc++: Add full steady_clock support to shared_timed_mutex
The pthread_rwlock_clockrdlock and pthread_rwlock_clockwrlock functions
were added to glibc in v2.30. They have also been added to Android
Bionic. If these functions are available in the C library then they can
be used to implement shared_timed_mutex::try_lock_until,
shared_timed_mutex::try_lock_for,
shared_timed_mutex::try_lock_shared_until and
shared_timed_mutex::try_lock_shared_for so that they are no longer
unaffected by the system clock being warped. (This is the shared_mutex
equivalent of PR libstdc++/78237 for mutex.)
If the new functions are available then steady_clock is deemed to be the
"best" clock available which means that it is used for the relative
try_lock_for calls and absolute try_lock_until calls using steady_clock
and user-defined clocks. It's not possible to have
_GLIBCXX_USE_PTHREAD_RWLOCK_CLOCKLOCK defined without
_GLIBCXX_USE_PTHREAD_RWLOCK_T, so the requirement that the clock be the
same as condition_variable is maintained. Calls explicitly using
system_clock (aka high_resolution_clock) continue to use CLOCK_REALTIME
via the old pthread_rwlock_timedrdlock and pthread_rwlock_timedwrlock
functions.
If the new functions are not available then system_clock is deemed to be
the "best" clock available which means that the previous suboptimal
behaviour remains.
Additionally, the user-defined clock used with
shared_timed_mutex::try_lock_for and shared_mutex::try_lock_shared_for
may have higher precision than __clock_t. We may need to round the
duration up to ensure that the timeout is long enough. (See
__timed_mutex_impl::_M_try_lock_for)
2019-12-02 Mike Crowe <mac@mcrowe.com>
Add full steady_clock support to shared_timed_mutex
* acinclude.m4 (GLIBCXX_CHECK_PTHREAD_RWLOCK_CLOCKLOCK): Define
to check for the presence of both pthread_rwlock_clockrdlock and
pthread_rwlock_clockwrlock.
* config.h.in: Regenerate.
* configure.ac: Call GLIBCXX_USE_PTHREAD_RWLOCK_CLOCKLOCK.
* configure: Regenerate.
* include/std/shared_mutex (shared_timed_mutex): Define __clock_t as
the best clock to use for relative waits.
(shared_timed_mutex::try_lock_for) Round up wait duration if necessary.
(shared_timed_mutex::try_lock_shared_for): Likewise.
(shared_timed_mutex::try_lock_until): Use existing try_lock_until
implementation for system_clock (which matches __clock_t when
_GLIBCCXX_USE_PTHREAD_RWLOCK_CLOCKLOCK is not defined). Add new
overload for steady_clock that uses pthread_rwlock_clockwrlock if it
is available. Simplify overload for non-standard clock to just call
try_lock_for with a relative timeout.
(shared_timed_mutex::try_lock_shared_until): Likewise.
From-SVN: r278903
Diffstat (limited to 'libstdc++-v3/include/std/shared_mutex')
-rw-r--r-- | libstdc++-v3/include/std/shared_mutex | 101 |
1 files changed, 80 insertions, 21 deletions
diff --git a/libstdc++-v3/include/std/shared_mutex b/libstdc++-v3/include/std/shared_mutex index ffd93fb..cfe2ec0 100644 --- a/libstdc++-v3/include/std/shared_mutex +++ b/libstdc++-v3/include/std/shared_mutex @@ -450,7 +450,11 @@ _GLIBCXX_BEGIN_NAMESPACE_VERSION using _Base = __shared_timed_mutex_base; // Must use the same clock as condition_variable for __shared_mutex_cv. - typedef chrono::system_clock __clock_t; +#ifdef _GLIBCXX_USE_PTHREAD_RWLOCK_CLOCKLOCK + using __clock_t = chrono::steady_clock; +#else + using __clock_t = chrono::system_clock; +#endif public: shared_timed_mutex() = default; @@ -467,9 +471,12 @@ _GLIBCXX_BEGIN_NAMESPACE_VERSION template<typename _Rep, typename _Period> bool - try_lock_for(const chrono::duration<_Rep, _Period>& __rel_time) + try_lock_for(const chrono::duration<_Rep, _Period>& __rtime) { - return try_lock_until(__clock_t::now() + __rel_time); + auto __rt = chrono::duration_cast<__clock_t::duration>(__rtime); + if (ratio_greater<__clock_t::period, _Period>()) + ++__rt; + return try_lock_until(__clock_t::now() + __rt); } // Shared ownership @@ -480,9 +487,12 @@ _GLIBCXX_BEGIN_NAMESPACE_VERSION template<typename _Rep, typename _Period> bool - try_lock_shared_for(const chrono::duration<_Rep, _Period>& __rel_time) + try_lock_shared_for(const chrono::duration<_Rep, _Period>& __rtime) { - return try_lock_shared_until(__clock_t::now() + __rel_time); + auto __rt = chrono::duration_cast<__clock_t::duration>(__rtime); + if (ratio_greater<__clock_t::period, _Period>()) + ++__rt; + return try_lock_shared_until(__clock_t::now() + __rt); } #if _GLIBCXX_USE_PTHREAD_RWLOCK_T && _GTHREAD_USE_MUTEX_TIMEDLOCK @@ -491,7 +501,8 @@ _GLIBCXX_BEGIN_NAMESPACE_VERSION template<typename _Duration> bool - try_lock_until(const chrono::time_point<__clock_t, _Duration>& __atime) + try_lock_until(const chrono::time_point<chrono::system_clock, + _Duration>& __atime) { auto __s = chrono::time_point_cast<chrono::seconds>(__atime); auto __ns = chrono::duration_cast<chrono::nanoseconds>(__atime - __s); @@ -512,23 +523,47 @@ _GLIBCXX_BEGIN_NAMESPACE_VERSION return true; } +#ifdef _GLIBCXX_USE_PTHREAD_RWLOCK_CLOCKLOCK + template<typename _Duration> + bool + try_lock_until(const chrono::time_point<chrono::steady_clock, + _Duration>& __atime) + { + auto __s = chrono::time_point_cast<chrono::seconds>(__atime); + auto __ns = chrono::duration_cast<chrono::nanoseconds>(__atime - __s); + + __gthread_time_t __ts = + { + static_cast<std::time_t>(__s.time_since_epoch().count()), + static_cast<long>(__ns.count()) + }; + + int __ret = pthread_rwlock_clockwrlock(&_M_rwlock, CLOCK_MONOTONIC, + &__ts); + // On self-deadlock, we just fail to acquire the lock. Technically, + // the program violated the precondition. + if (__ret == ETIMEDOUT || __ret == EDEADLK) + return false; + // Errors not handled: EINVAL + __glibcxx_assert(__ret == 0); + return true; + } +#endif + template<typename _Clock, typename _Duration> bool - try_lock_until(const chrono::time_point<_Clock, _Duration>& __abs_time) + try_lock_until(const chrono::time_point<_Clock, _Duration>& __atime) { - // DR 887 - Sync unknown clock to known clock. - const typename _Clock::time_point __c_entry = _Clock::now(); - const __clock_t::time_point __s_entry = __clock_t::now(); - const auto __delta = __abs_time - __c_entry; - const auto __s_atime = __s_entry + __delta; - return try_lock_until(__s_atime); + typename _Clock::time_point __now = _Clock::now(); + auto __rtime = __atime - __now; + return try_lock_for(__rtime); } // Shared ownership template<typename _Duration> bool - try_lock_shared_until(const chrono::time_point<__clock_t, + try_lock_shared_until(const chrono::time_point<chrono::system_clock, _Duration>& __atime) { auto __s = chrono::time_point_cast<chrono::seconds>(__atime); @@ -564,17 +599,41 @@ _GLIBCXX_BEGIN_NAMESPACE_VERSION return true; } +#ifdef _GLIBCXX_USE_PTHREAD_RWLOCK_CLOCKLOCK + template<typename _Duration> + bool + try_lock_shared_until(const chrono::time_point<chrono::steady_clock, + _Duration>& __atime) + { + auto __s = chrono::time_point_cast<chrono::seconds>(__atime); + auto __ns = chrono::duration_cast<chrono::nanoseconds>(__atime - __s); + + __gthread_time_t __ts = + { + static_cast<std::time_t>(__s.time_since_epoch().count()), + static_cast<long>(__ns.count()) + }; + + int __ret = pthread_rwlock_clockrdlock(&_M_rwlock, CLOCK_MONOTONIC, + &__ts); + // On self-deadlock, we just fail to acquire the lock. Technically, + // the program violated the precondition. + if (__ret == ETIMEDOUT || __ret == EDEADLK) + return false; + // Errors not handled: EINVAL + __glibcxx_assert(__ret == 0); + return true; + } +#endif + template<typename _Clock, typename _Duration> bool try_lock_shared_until(const chrono::time_point<_Clock, - _Duration>& __abs_time) + _Duration>& __atime) { - // DR 887 - Sync unknown clock to known clock. - const typename _Clock::time_point __c_entry = _Clock::now(); - const __clock_t::time_point __s_entry = __clock_t::now(); - const auto __delta = __abs_time - __c_entry; - const auto __s_atime = __s_entry + __delta; - return try_lock_shared_until(__s_atime); + typename _Clock::time_point __now = _Clock::now(); + auto __rtime = __atime - __now; + return try_lock_shared_for(__rtime); } #else // ! (_GLIBCXX_USE_PTHREAD_RWLOCK_T && _GTHREAD_USE_MUTEX_TIMEDLOCK) |