Where Online Learning is simpler!
The C and C++ Include Header Files
/usr/include/c++/11/shared_mutex
$ cat -n /usr/include/c++/11/shared_mutex 1 // <shared_mutex> -*- C++ -*- 2 3 // Copyright (C) 2013-2021 Free Software Foundation, Inc. 4 // 5 // This file is part of the GNU ISO C++ Library. This library is free 6 // software; you can redistribute it and/or modify it under the 7 // terms of the GNU General Public License as published by the 8 // Free Software Foundation; either version 3, or (at your option) 9 // any later version. 10 11 // This library is distributed in the hope that it will be useful, 12 // but WITHOUT ANY WARRANTY; without even the implied warranty of 13 // MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the 14 // GNU General Public License for more details. 15 16 // Under Section 7 of GPL version 3, you are granted additional 17 // permissions described in the GCC Runtime Library Exception, version 18 // 3.1, as published by the Free Software Foundation. 19 20 // You should have received a copy of the GNU General Public License and 21 // a copy of the GCC Runtime Library Exception along with this program; 22 // see the files COPYING3 and COPYING.RUNTIME respectively. If not, see 23 // <http://www.gnu.org/licenses/>. 24 25 /** @file include/shared_mutex 26 * This is a Standard C++ Library header. 27 */ 28 29 #ifndef _GLIBCXX_SHARED_MUTEX 30 #define _GLIBCXX_SHARED_MUTEX 1 31 32 #pragma GCC system_header 33 34 #if __cplusplus >= 201402L 35 36 #include <chrono> 37 #include <bits/functexcept.h> 38 #include <bits/move.h> // move, __exchange 39 #include <bits/std_mutex.h> // defer_lock_t 40 41 #if ! (_GLIBCXX_USE_PTHREAD_RWLOCK_T && _GTHREAD_USE_MUTEX_TIMEDLOCK) 42 # include <condition_variable> 43 #endif 44 45 namespace std _GLIBCXX_VISIBILITY(default) 46 { 47 _GLIBCXX_BEGIN_NAMESPACE_VERSION 48 49 /** 50 * @addtogroup mutexes 51 * @{ 52 */ 53 54 #ifdef _GLIBCXX_HAS_GTHREADS 55 56 #if __cplusplus >= 201703L 57 #define __cpp_lib_shared_mutex 201505L 58 class shared_mutex; 59 #endif 60 61 #define __cpp_lib_shared_timed_mutex 201402L 62 class shared_timed_mutex; 63 64 /// @cond undocumented 65 66 #if _GLIBCXX_USE_PTHREAD_RWLOCK_T 67 #ifdef __gthrw 68 #define _GLIBCXX_GTHRW(name) \ 69 __gthrw(pthread_ ## name); \ 70 static inline int \ 71 __glibcxx_ ## name (pthread_rwlock_t *__rwlock) \ 72 { \ 73 if (__gthread_active_p ()) \ 74 return __gthrw_(pthread_ ## name) (__rwlock); \ 75 else \ 76 return 0; \ 77 } 78 _GLIBCXX_GTHRW(rwlock_rdlock) 79 _GLIBCXX_GTHRW(rwlock_tryrdlock) 80 _GLIBCXX_GTHRW(rwlock_wrlock) 81 _GLIBCXX_GTHRW(rwlock_trywrlock) 82 _GLIBCXX_GTHRW(rwlock_unlock) 83 # ifndef PTHREAD_RWLOCK_INITIALIZER 84 _GLIBCXX_GTHRW(rwlock_destroy) 85 __gthrw(pthread_rwlock_init); 86 static inline int 87 __glibcxx_rwlock_init (pthread_rwlock_t *__rwlock) 88 { 89 if (__gthread_active_p ()) 90 return __gthrw_(pthread_rwlock_init) (__rwlock, NULL); 91 else 92 return 0; 93 } 94 # endif 95 # if _GTHREAD_USE_MUTEX_TIMEDLOCK 96 __gthrw(pthread_rwlock_timedrdlock); 97 static inline int 98 __glibcxx_rwlock_timedrdlock (pthread_rwlock_t *__rwlock, 99 const timespec *__ts) 100 { 101 if (__gthread_active_p ()) 102 return __gthrw_(pthread_rwlock_timedrdlock) (__rwlock, __ts); 103 else 104 return 0; 105 } 106 __gthrw(pthread_rwlock_timedwrlock); 107 static inline int 108 __glibcxx_rwlock_timedwrlock (pthread_rwlock_t *__rwlock, 109 const timespec *__ts) 110 { 111 if (__gthread_active_p ()) 112 return __gthrw_(pthread_rwlock_timedwrlock) (__rwlock, __ts); 113 else 114 return 0; 115 } 116 # endif 117 #else 118 static inline int 119 __glibcxx_rwlock_rdlock (pthread_rwlock_t *__rwlock) 120 { return pthread_rwlock_rdlock (__rwlock); } 121 static inline int 122 __glibcxx_rwlock_tryrdlock (pthread_rwlock_t *__rwlock) 123 { return pthread_rwlock_tryrdlock (__rwlock); } 124 static inline int 125 __glibcxx_rwlock_wrlock (pthread_rwlock_t *__rwlock) 126 { return pthread_rwlock_wrlock (__rwlock); } 127 static inline int 128 __glibcxx_rwlock_trywrlock (pthread_rwlock_t *__rwlock) 129 { return pthread_rwlock_trywrlock (__rwlock); } 130 static inline int 131 __glibcxx_rwlock_unlock (pthread_rwlock_t *__rwlock) 132 { return pthread_rwlock_unlock (__rwlock); } 133 static inline int 134 __glibcxx_rwlock_destroy(pthread_rwlock_t *__rwlock) 135 { return pthread_rwlock_destroy (__rwlock); } 136 static inline int 137 __glibcxx_rwlock_init(pthread_rwlock_t *__rwlock) 138 { return pthread_rwlock_init (__rwlock, NULL); } 139 # if _GTHREAD_USE_MUTEX_TIMEDLOCK 140 static inline int 141 __glibcxx_rwlock_timedrdlock (pthread_rwlock_t *__rwlock, 142 const timespec *__ts) 143 { return pthread_rwlock_timedrdlock (__rwlock, __ts); } 144 static inline int 145 __glibcxx_rwlock_timedwrlock (pthread_rwlock_t *__rwlock, 146 const timespec *__ts) 147 { return pthread_rwlock_timedwrlock (__rwlock, __ts); } 148 # endif 149 #endif 150 151 /// A shared mutex type implemented using pthread_rwlock_t. 152 class __shared_mutex_pthread 153 { 154 friend class shared_timed_mutex; 155 156 #ifdef PTHREAD_RWLOCK_INITIALIZER 157 pthread_rwlock_t _M_rwlock = PTHREAD_RWLOCK_INITIALIZER; 158 159 public: 160 __shared_mutex_pthread() = default; 161 ~__shared_mutex_pthread() = default; 162 #else 163 pthread_rwlock_t _M_rwlock; 164 165 public: 166 __shared_mutex_pthread() 167 { 168 int __ret = __glibcxx_rwlock_init(&_M_rwlock); 169 if (__ret == ENOMEM) 170 __throw_bad_alloc(); 171 else if (__ret == EAGAIN) 172 __throw_system_error(int(errc::resource_unavailable_try_again)); 173 else if (__ret == EPERM) 174 __throw_system_error(int(errc::operation_not_permitted)); 175 // Errors not handled: EBUSY, EINVAL 176 __glibcxx_assert(__ret == 0); 177 } 178 179 ~__shared_mutex_pthread() 180 { 181 int __ret __attribute((__unused__)) = __glibcxx_rwlock_destroy(&_M_rwlock); 182 // Errors not handled: EBUSY, EINVAL 183 __glibcxx_assert(__ret == 0); 184 } 185 #endif 186 187 __shared_mutex_pthread(const __shared_mutex_pthread&) = delete; 188 __shared_mutex_pthread& operator=(const __shared_mutex_pthread&) = delete; 189 190 void 191 lock() 192 { 193 int __ret = __glibcxx_rwlock_wrlock(&_M_rwlock); 194 if (__ret == EDEADLK) 195 __throw_system_error(int(errc::resource_deadlock_would_occur)); 196 // Errors not handled: EINVAL 197 __glibcxx_assert(__ret == 0); 198 } 199 200 bool 201 try_lock() 202 { 203 int __ret = __glibcxx_rwlock_trywrlock(&_M_rwlock); 204 if (__ret == EBUSY) return false; 205 // Errors not handled: EINVAL 206 __glibcxx_assert(__ret == 0); 207 return true; 208 } 209 210 void 211 unlock() 212 { 213 int __ret __attribute((__unused__)) = __glibcxx_rwlock_unlock(&_M_rwlock); 214 // Errors not handled: EPERM, EBUSY, EINVAL 215 __glibcxx_assert(__ret == 0); 216 } 217 218 // Shared ownership 219 220 void 221 lock_shared() 222 { 223 int __ret; 224 // We retry if we exceeded the maximum number of read locks supported by 225 // the POSIX implementation; this can result in busy-waiting, but this 226 // is okay based on the current specification of forward progress 227 // guarantees by the standard. 228 do 229 __ret = __glibcxx_rwlock_rdlock(&_M_rwlock); 230 while (__ret == EAGAIN); 231 if (__ret == EDEADLK) 232 __throw_system_error(int(errc::resource_deadlock_would_occur)); 233 // Errors not handled: EINVAL 234 __glibcxx_assert(__ret == 0); 235 } 236 237 bool 238 try_lock_shared() 239 { 240 int __ret = __glibcxx_rwlock_tryrdlock(&_M_rwlock); 241 // If the maximum number of read locks has been exceeded, we just fail 242 // to acquire the lock. Unlike for lock(), we are not allowed to throw 243 // an exception. 244 if (__ret == EBUSY || __ret == EAGAIN) return false; 245 // Errors not handled: EINVAL 246 __glibcxx_assert(__ret == 0); 247 return true; 248 } 249 250 void 251 unlock_shared() 252 { 253 unlock(); 254 } 255 256 void* native_handle() { return &_M_rwlock; } 257 }; 258 #endif 259 260 #if ! (_GLIBCXX_USE_PTHREAD_RWLOCK_T && _GTHREAD_USE_MUTEX_TIMEDLOCK) 261 /// A shared mutex type implemented using std::condition_variable. 262 class __shared_mutex_cv 263 { 264 friend class shared_timed_mutex; 265 266 // Based on Howard Hinnant's reference implementation from N2406. 267 268 // The high bit of _M_state is the write-entered flag which is set to 269 // indicate a writer has taken the lock or is queuing to take the lock. 270 // The remaining bits are the count of reader locks. 271 // 272 // To take a reader lock, block on gate1 while the write-entered flag is 273 // set or the maximum number of reader locks is held, then increment the 274 // reader lock count. 275 // To release, decrement the count, then if the write-entered flag is set 276 // and the count is zero then signal gate2 to wake a queued writer, 277 // otherwise if the maximum number of reader locks was held signal gate1 278 // to wake a reader. 279 // 280 // To take a writer lock, block on gate1 while the write-entered flag is 281 // set, then set the write-entered flag to start queueing, then block on 282 // gate2 while the number of reader locks is non-zero. 283 // To release, unset the write-entered flag and signal gate1 to wake all 284 // blocked readers and writers. 285 // 286 // This means that when no reader locks are held readers and writers get 287 // equal priority. When one or more reader locks is held a writer gets 288 // priority and no more reader locks can be taken while the writer is 289 // queued. 290 291 // Only locked when accessing _M_state or waiting on condition variables. 292 mutex _M_mut; 293 // Used to block while write-entered is set or reader count at maximum. 294 condition_variable _M_gate1; 295 // Used to block queued writers while reader count is non-zero. 296 condition_variable _M_gate2; 297 // The write-entered flag and reader count. 298 unsigned _M_state; 299 300 static constexpr unsigned _S_write_entered 301 = 1U << (sizeof(unsigned)*__CHAR_BIT__ - 1); 302 static constexpr unsigned _S_max_readers = ~_S_write_entered; 303 304 // Test whether the write-entered flag is set. _M_mut must be locked. 305 bool _M_write_entered() const { return _M_state & _S_write_entered; } 306 307 // The number of reader locks currently held. _M_mut must be locked. 308 unsigned _M_readers() const { return _M_state & _S_max_readers; } 309 310 public: 311 __shared_mutex_cv() : _M_state(0) {} 312 313 ~__shared_mutex_cv() 314 { 315 __glibcxx_assert( _M_state == 0 ); 316 } 317 318 __shared_mutex_cv(const __shared_mutex_cv&) = delete; 319 __shared_mutex_cv& operator=(const __shared_mutex_cv&) = delete; 320 321 // Exclusive ownership 322 323 void 324 lock() 325 { 326 unique_lock<mutex> __lk(_M_mut); 327 // Wait until we can set the write-entered flag. 328 _M_gate1.wait(__lk, [=]{ return !_M_write_entered(); }); 329 _M_state |= _S_write_entered; 330 // Then wait until there are no more readers. 331 _M_gate2.wait(__lk, [=]{ return _M_readers() == 0; }); 332 } 333 334 bool 335 try_lock() 336 { 337 unique_lock<mutex> __lk(_M_mut, try_to_lock); 338 if (__lk.owns_lock() && _M_state == 0) 339 { 340 _M_state = _S_write_entered; 341 return true; 342 } 343 return false; 344 } 345 346 void 347 unlock() 348 { 349 lock_guard<mutex> __lk(_M_mut); 350 __glibcxx_assert( _M_write_entered() ); 351 _M_state = 0; 352 // call notify_all() while mutex is held so that another thread can't 353 // lock and unlock the mutex then destroy *this before we make the call. 354 _M_gate1.notify_all(); 355 } 356 357 // Shared ownership 358 359 void 360 lock_shared() 361 { 362 unique_lock<mutex> __lk(_M_mut); 363 _M_gate1.wait(__lk, [=]{ return _M_state < _S_max_readers; }); 364 ++_M_state; 365 } 366 367 bool 368 try_lock_shared() 369 { 370 unique_lock<mutex> __lk(_M_mut, try_to_lock); 371 if (!__lk.owns_lock()) 372 return false; 373 if (_M_state < _S_max_readers) 374 { 375 ++_M_state; 376 return true; 377 } 378 return false; 379 } 380 381 void 382 unlock_shared() 383 { 384 lock_guard<mutex> __lk(_M_mut); 385 __glibcxx_assert( _M_readers() > 0 ); 386 auto __prev = _M_state--; 387 if (_M_write_entered()) 388 { 389 // Wake the queued writer if there are no more readers. 390 if (_M_readers() == 0) 391 _M_gate2.notify_one(); 392 // No need to notify gate1 because we give priority to the queued 393 // writer, and that writer will eventually notify gate1 after it 394 // clears the write-entered flag. 395 } 396 else 397 { 398 // Wake any thread that was blocked on reader overflow. 399 if (__prev == _S_max_readers) 400 _M_gate1.notify_one(); 401 } 402 } 403 }; 404 #endif 405 /// @endcond 406 407 #if __cplusplus >= 201703L 408 /// The standard shared mutex type. 409 class shared_mutex 410 { 411 public: 412 shared_mutex() = default; 413 ~shared_mutex() = default; 414 415 shared_mutex(const shared_mutex&) = delete; 416 shared_mutex& operator=(const shared_mutex&) = delete; 417 418 // Exclusive ownership 419 420 void lock() { _M_impl.lock(); } 421 bool try_lock() { return _M_impl.try_lock(); } 422 void unlock() { _M_impl.unlock(); } 423 424 // Shared ownership 425 426 void lock_shared() { _M_impl.lock_shared(); } 427 bool try_lock_shared() { return _M_impl.try_lock_shared(); } 428 void unlock_shared() { _M_impl.unlock_shared(); } 429 430 #if _GLIBCXX_USE_PTHREAD_RWLOCK_T 431 typedef void* native_handle_type; 432 native_handle_type native_handle() { return _M_impl.native_handle(); } 433 434 private: 435 __shared_mutex_pthread _M_impl; 436 #else 437 private: 438 __shared_mutex_cv _M_impl; 439 #endif 440 }; 441 #endif // C++17 442 443 /// @cond undocumented 444 #if _GLIBCXX_USE_PTHREAD_RWLOCK_T && _GTHREAD_USE_MUTEX_TIMEDLOCK 445 using __shared_timed_mutex_base = __shared_mutex_pthread; 446 #else 447 using __shared_timed_mutex_base = __shared_mutex_cv; 448 #endif 449 /// @endcond 450 451 /// The standard shared timed mutex type. 452 class shared_timed_mutex 453 : private __shared_timed_mutex_base 454 { 455 using _Base = __shared_timed_mutex_base; 456 457 // Must use the same clock as condition_variable for __shared_mutex_cv. 458 #ifdef _GLIBCXX_USE_PTHREAD_RWLOCK_CLOCKLOCK 459 using __clock_t = chrono::steady_clock; 460 #else 461 using __clock_t = chrono::system_clock; 462 #endif 463 464 public: 465 shared_timed_mutex() = default; 466 ~shared_timed_mutex() = default; 467 468 shared_timed_mutex(const shared_timed_mutex&) = delete; 469 shared_timed_mutex& operator=(const shared_timed_mutex&) = delete; 470 471 // Exclusive ownership 472 473 void lock() { _Base::lock(); } 474 bool try_lock() { return _Base::try_lock(); } 475 void unlock() { _Base::unlock(); } 476 477 template<typename _Rep, typename _Period> 478 bool 479 try_lock_for(const chrono::duration<_Rep, _Period>& __rtime) 480 { 481 auto __rt = chrono::duration_cast<__clock_t::duration>(__rtime); 482 if (ratio_greater<__clock_t::period, _Period>()) 483 ++__rt; 484 return try_lock_until(__clock_t::now() + __rt); 485 } 486 487 // Shared ownership 488 489 void lock_shared() { _Base::lock_shared(); } 490 bool try_lock_shared() { return _Base::try_lock_shared(); } 491 void unlock_shared() { _Base::unlock_shared(); } 492 493 template<typename _Rep, typename _Period> 494 bool 495 try_lock_shared_for(const chrono::duration<_Rep, _Period>& __rtime) 496 { 497 auto __rt = chrono::duration_cast<__clock_t::duration>(__rtime); 498 if (ratio_greater<__clock_t::period, _Period>()) 499 ++__rt; 500 return try_lock_shared_until(__clock_t::now() + __rt); 501 } 502 503 #if _GLIBCXX_USE_PTHREAD_RWLOCK_T && _GTHREAD_USE_MUTEX_TIMEDLOCK 504 505 // Exclusive ownership 506 507 template<typename _Duration> 508 bool 509 try_lock_until(const chrono::time_point<chrono::system_clock, 510 _Duration>& __atime) 511 { 512 auto __s = chrono::time_point_cast<chrono::seconds>(__atime); 513 auto __ns = chrono::duration_cast<chrono::nanoseconds>(__atime - __s); 514 515 __gthread_time_t __ts = 516 { 517 static_cast<std::time_t>(__s.time_since_epoch().count()), 518 static_cast<long>(__ns.count()) 519 }; 520 521 int __ret = __glibcxx_rwlock_timedwrlock(&_M_rwlock, &__ts); 522 // On self-deadlock, we just fail to acquire the lock. Technically, 523 // the program violated the precondition. 524 if (__ret == ETIMEDOUT || __ret == EDEADLK) 525 return false; 526 // Errors not handled: EINVAL 527 __glibcxx_assert(__ret == 0); 528 return true; 529 } 530 531 #ifdef _GLIBCXX_USE_PTHREAD_RWLOCK_CLOCKLOCK 532 template<typename _Duration> 533 bool 534 try_lock_until(const chrono::time_point<chrono::steady_clock, 535 _Duration>& __atime) 536 { 537 auto __s = chrono::time_point_cast<chrono::seconds>(__atime); 538 auto __ns = chrono::duration_cast<chrono::nanoseconds>(__atime - __s); 539 540 __gthread_time_t __ts = 541 { 542 static_cast<std::time_t>(__s.time_since_epoch().count()), 543 static_cast<long>(__ns.count()) 544 }; 545 546 int __ret = pthread_rwlock_clockwrlock(&_M_rwlock, CLOCK_MONOTONIC, 547 &__ts); 548 // On self-deadlock, we just fail to acquire the lock. Technically, 549 // the program violated the precondition. 550 if (__ret == ETIMEDOUT || __ret == EDEADLK) 551 return false; 552 // Errors not handled: EINVAL 553 __glibcxx_assert(__ret == 0); 554 return true; 555 } 556 #endif 557 558 template<typename _Clock, typename _Duration> 559 bool 560 try_lock_until(const chrono::time_point<_Clock, _Duration>& __atime) 561 { 562 #if __cplusplus > 201703L 563 static_assert(chrono::is_clock_v<_Clock>); 564 #endif 565 // The user-supplied clock may not tick at the same rate as 566 // steady_clock, so we must loop in order to guarantee that 567 // the timeout has expired before returning false. 568 typename _Clock::time_point __now = _Clock::now(); 569 do { 570 auto __rtime = __atime - __now; 571 if (try_lock_for(__rtime)) 572 return true; 573 __now = _Clock::now(); 574 } while (__atime > __now); 575 return false; 576 } 577 578 // Shared ownership 579 580 template<typename _Duration> 581 bool 582 try_lock_shared_until(const chrono::time_point<chrono::system_clock, 583 _Duration>& __atime) 584 { 585 auto __s = chrono::time_point_cast<chrono::seconds>(__atime); 586 auto __ns = chrono::duration_cast<chrono::nanoseconds>(__atime - __s); 587 588 __gthread_time_t __ts = 589 { 590 static_cast<std::time_t>(__s.time_since_epoch().count()), 591 static_cast<long>(__ns.count()) 592 }; 593 594 int __ret; 595 // Unlike for lock(), we are not allowed to throw an exception so if 596 // the maximum number of read locks has been exceeded, or we would 597 // deadlock, we just try to acquire the lock again (and will time out 598 // eventually). 599 // In cases where we would exceed the maximum number of read locks 600 // throughout the whole time until the timeout, we will fail to 601 // acquire the lock even if it would be logically free; however, this 602 // is allowed by the standard, and we made a "strong effort" 603 // (see C++14 30.4.1.4p26). 604 // For cases where the implementation detects a deadlock we 605 // intentionally block and timeout so that an early return isn't 606 // mistaken for a spurious failure, which might help users realise 607 // there is a deadlock. 608 do 609 __ret = __glibcxx_rwlock_timedrdlock(&_M_rwlock, &__ts); 610 while (__ret == EAGAIN || __ret == EDEADLK); 611 if (__ret == ETIMEDOUT) 612 return false; 613 // Errors not handled: EINVAL 614 __glibcxx_assert(__ret == 0); 615 return true; 616 } 617 618 #ifdef _GLIBCXX_USE_PTHREAD_RWLOCK_CLOCKLOCK 619 template<typename _Duration> 620 bool 621 try_lock_shared_until(const chrono::time_point<chrono::steady_clock, 622 _Duration>& __atime) 623 { 624 auto __s = chrono::time_point_cast<chrono::seconds>(__atime); 625 auto __ns = chrono::duration_cast<chrono::nanoseconds>(__atime - __s); 626 627 __gthread_time_t __ts = 628 { 629 static_cast<std::time_t>(__s.time_since_epoch().count()), 630 static_cast<long>(__ns.count()) 631 }; 632 633 int __ret = pthread_rwlock_clockrdlock(&_M_rwlock, CLOCK_MONOTONIC, 634 &__ts); 635 // On self-deadlock, we just fail to acquire the lock. Technically, 636 // the program violated the precondition. 637 if (__ret == ETIMEDOUT || __ret == EDEADLK) 638 return false; 639 // Errors not handled: EINVAL 640 __glibcxx_assert(__ret == 0); 641 return true; 642 } 643 #endif 644 645 template<typename _Clock, typename _Duration> 646 bool 647 try_lock_shared_until(const chrono::time_point<_Clock, 648 _Duration>& __atime) 649 { 650 #if __cplusplus > 201703L 651 static_assert(chrono::is_clock_v<_Clock>); 652 #endif 653 // The user-supplied clock may not tick at the same rate as 654 // steady_clock, so we must loop in order to guarantee that 655 // the timeout has expired before returning false. 656 typename _Clock::time_point __now = _Clock::now(); 657 do { 658 auto __rtime = __atime - __now; 659 if (try_lock_shared_for(__rtime)) 660 return true; 661 __now = _Clock::now(); 662 } while (__atime > __now); 663 return false; 664 } 665 666 #else // ! (_GLIBCXX_USE_PTHREAD_RWLOCK_T && _GTHREAD_USE_MUTEX_TIMEDLOCK) 667 668 // Exclusive ownership 669 670 template<typename _Clock, typename _Duration> 671 bool 672 try_lock_until(const chrono::time_point<_Clock, _Duration>& __abs_time) 673 { 674 unique_lock<mutex> __lk(_M_mut); 675 if (!_M_gate1.wait_until(__lk, __abs_time, 676 [=]{ return !_M_write_entered(); })) 677 { 678 return false; 679 } 680 _M_state |= _S_write_entered; 681 if (!_M_gate2.wait_until(__lk, __abs_time, 682 [=]{ return _M_readers() == 0; })) 683 { 684 _M_state ^= _S_write_entered; 685 // Wake all threads blocked while the write-entered flag was set. 686 _M_gate1.notify_all(); 687 return false; 688 } 689 return true; 690 } 691 692 // Shared ownership 693 694 template <typename _Clock, typename _Duration> 695 bool 696 try_lock_shared_until(const chrono::time_point<_Clock, 697 _Duration>& __abs_time) 698 { 699 unique_lock<mutex> __lk(_M_mut); 700 if (!_M_gate1.wait_until(__lk, __abs_time, 701 [=]{ return _M_state < _S_max_readers; })) 702 { 703 return false; 704 } 705 ++_M_state; 706 return true; 707 } 708 709 #endif // _GLIBCXX_USE_PTHREAD_RWLOCK_T && _GTHREAD_USE_MUTEX_TIMEDLOCK 710 }; 711 #endif // _GLIBCXX_HAS_GTHREADS 712 713 /// shared_lock 714 template<typename _Mutex> 715 class shared_lock 716 { 717 public: 718 typedef _Mutex mutex_type; 719 720 // Shared locking 721 722 shared_lock() noexcept : _M_pm(nullptr), _M_owns(false) { } 723 724 explicit 725 shared_lock(mutex_type& __m) 726 : _M_pm(std::__addressof(__m)), _M_owns(true) 727 { __m.lock_shared(); } 728 729 shared_lock(mutex_type& __m, defer_lock_t) noexcept 730 : _M_pm(std::__addressof(__m)), _M_owns(false) { } 731 732 shared_lock(mutex_type& __m, try_to_lock_t) 733 : _M_pm(std::__addressof(__m)), _M_owns(__m.try_lock_shared()) { } 734 735 shared_lock(mutex_type& __m, adopt_lock_t) 736 : _M_pm(std::__addressof(__m)), _M_owns(true) { } 737 738 template<typename _Clock, typename _Duration> 739 shared_lock(mutex_type& __m, 740 const chrono::time_point<_Clock, _Duration>& __abs_time) 741 : _M_pm(std::__addressof(__m)), 742 _M_owns(__m.try_lock_shared_until(__abs_time)) { } 743 744 template<typename _Rep, typename _Period> 745 shared_lock(mutex_type& __m, 746 const chrono::duration<_Rep, _Period>& __rel_time) 747 : _M_pm(std::__addressof(__m)), 748 _M_owns(__m.try_lock_shared_for(__rel_time)) { } 749 750 ~shared_lock() 751 { 752 if (_M_owns) 753 _M_pm->unlock_shared(); 754 } 755 756 shared_lock(shared_lock const&) = delete; 757 shared_lock& operator=(shared_lock const&) = delete; 758 759 shared_lock(shared_lock&& __sl) noexcept : shared_lock() 760 { swap(__sl); } 761 762 shared_lock& 763 operator=(shared_lock&& __sl) noexcept 764 { 765 shared_lock(std::move(__sl)).swap(*this); 766 return *this; 767 } 768 769 void 770 lock() 771 { 772 _M_lockable(); 773 _M_pm->lock_shared(); 774 _M_owns = true; 775 } 776 777 bool 778 try_lock() 779 { 780 _M_lockable(); 781 return _M_owns = _M_pm->try_lock_shared(); 782 } 783 784 template<typename _Rep, typename _Period> 785 bool 786 try_lock_for(const chrono::duration<_Rep, _Period>& __rel_time) 787 { 788 _M_lockable(); 789 return _M_owns = _M_pm->try_lock_shared_for(__rel_time); 790 } 791 792 template<typename _Clock, typename _Duration> 793 bool 794 try_lock_until(const chrono::time_point<_Clock, _Duration>& __abs_time) 795 { 796 _M_lockable(); 797 return _M_owns = _M_pm->try_lock_shared_until(__abs_time); 798 } 799 800 void 801 unlock() 802 { 803 if (!_M_owns) 804 __throw_system_error(int(errc::resource_deadlock_would_occur)); 805 _M_pm->unlock_shared(); 806 _M_owns = false; 807 } 808 809 // Setters 810 811 void 812 swap(shared_lock& __u) noexcept 813 { 814 std::swap(_M_pm, __u._M_pm); 815 std::swap(_M_owns, __u._M_owns); 816 } 817 818 mutex_type* 819 release() noexcept 820 { 821 _M_owns = false; 822 return std::__exchange(_M_pm, nullptr); 823 } 824 825 // Getters 826 827 bool owns_lock() const noexcept { return _M_owns; } 828 829 explicit operator bool() const noexcept { return _M_owns; } 830 831 mutex_type* mutex() const noexcept { return _M_pm; } 832 833 private: 834 void 835 _M_lockable() const 836 { 837 if (_M_pm == nullptr) 838 __throw_system_error(int(errc::operation_not_permitted)); 839 if (_M_owns) 840 __throw_system_error(int(errc::resource_deadlock_would_occur)); 841 } 842 843 mutex_type* _M_pm; 844 bool _M_owns; 845 }; 846 847 /// Swap specialization for shared_lock 848 /// @relates shared_mutex 849 template<typename _Mutex> 850 void 851 swap(shared_lock<_Mutex>& __x, shared_lock<_Mutex>& __y) noexcept 852 { __x.swap(__y); } 853 854 /// @} group mutexes 855 _GLIBCXX_END_NAMESPACE_VERSION 856 } // namespace 857 858 #endif // C++14 859 860 #endif // _GLIBCXX_SHARED_MUTEX
Contact us
|
About us
|
Term of use
|
Copyright © 2000-2025 MyWebUniversity.com ™
