notification.h 5.3 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133
  1. // Copyright 2017 The Abseil Authors.
  2. //
  3. // Licensed under the Apache License, Version 2.0 (the "License");
  4. // you may not use this file except in compliance with the License.
  5. // You may obtain a copy of the License at
  6. //
  7. // https://www.apache.org/licenses/LICENSE-2.0
  8. //
  9. // Unless required by applicable law or agreed to in writing, software
  10. // distributed under the License is distributed on an "AS IS" BASIS,
  11. // WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
  12. // See the License for the specific language governing permissions and
  13. // limitations under the License.
  14. //
  15. // -----------------------------------------------------------------------------
  16. // notification.h
  17. // -----------------------------------------------------------------------------
  18. //
  19. // This header file defines a `Notification` abstraction, which allows threads
  20. // to receive notification of a single occurrence of a single event.
  21. //
  22. // The `Notification` object maintains a private boolean "notified" state that
  23. // transitions to `true` at most once. The `Notification` class provides the
  24. // following primary member functions:
  25. // * `HasBeenNotified()` to query its state
  26. // * `WaitForNotification*()` to have threads wait until the "notified" state
  27. // is `true`.
  28. // * `Notify()` to set the notification's "notified" state to `true` and
  29. // notify all waiting threads that the event has occurred.
  30. // This method may only be called once.
  31. //
  32. // Note that while `Notify()` may only be called once, it is perfectly valid to
  33. // call any of the `WaitForNotification*()` methods multiple times, from
  34. // multiple threads -- even after the notification's "notified" state has been
  35. // set -- in which case those methods will immediately return.
  36. //
  37. // Note that the lifetime of a `Notification` requires careful consideration;
  38. // it might not be safe to destroy a notification after calling `Notify()` since
  39. // it is still legal for other threads to call `WaitForNotification*()` methods
  40. // on the notification. However, observers responding to a "notified" state of
  41. // `true` can safely delete the notification without interfering with the call
  42. // to `Notify()` in the other thread.
  43. //
  44. // Memory ordering: For any threads X and Y, if X calls `Notify()`, then any
  45. // action taken by X before it calls `Notify()` is visible to thread Y after:
  46. // * Y returns from `WaitForNotification()`, or
  47. // * Y receives a `true` return value from either `HasBeenNotified()` or
  48. // `WaitForNotificationWithTimeout()`.
  49. #ifndef ABSL_SYNCHRONIZATION_NOTIFICATION_H_
  50. #define ABSL_SYNCHRONIZATION_NOTIFICATION_H_
  51. #include <atomic>
  52. #include "absl/base/attributes.h"
  53. #include "absl/base/internal/tracing.h"
  54. #include "absl/synchronization/mutex.h"
  55. #include "absl/time/time.h"
  56. namespace absl {
  57. ABSL_NAMESPACE_BEGIN
  58. // -----------------------------------------------------------------------------
  59. // Notification
  60. // -----------------------------------------------------------------------------
  61. class Notification {
  62. public:
  63. // Initializes the "notified" state to unnotified.
  64. Notification() : notified_yet_(false) {}
  65. explicit Notification(bool prenotify) : notified_yet_(prenotify) {}
  66. Notification(const Notification&) = delete;
  67. Notification& operator=(const Notification&) = delete;
  68. ~Notification();
  69. // Notification::HasBeenNotified()
  70. //
  71. // Returns the value of the notification's internal "notified" state.
  72. ABSL_MUST_USE_RESULT bool HasBeenNotified() const {
  73. if (HasBeenNotifiedInternal(&this->notified_yet_)) {
  74. base_internal::TraceObserved(this, TraceObjectKind());
  75. return true;
  76. }
  77. return false;
  78. }
  79. // Notification::WaitForNotification()
  80. //
  81. // Blocks the calling thread until the notification's "notified" state is
  82. // `true`. Note that if `Notify()` has been previously called on this
  83. // notification, this function will immediately return.
  84. void WaitForNotification() const;
  85. // Notification::WaitForNotificationWithTimeout()
  86. //
  87. // Blocks until either the notification's "notified" state is `true` (which
  88. // may occur immediately) or the timeout has elapsed, returning the value of
  89. // its "notified" state in either case.
  90. bool WaitForNotificationWithTimeout(absl::Duration timeout) const;
  91. // Notification::WaitForNotificationWithDeadline()
  92. //
  93. // Blocks until either the notification's "notified" state is `true` (which
  94. // may occur immediately) or the deadline has expired, returning the value of
  95. // its "notified" state in either case.
  96. bool WaitForNotificationWithDeadline(absl::Time deadline) const;
  97. // Notification::Notify()
  98. //
  99. // Sets the "notified" state of this notification to `true` and wakes waiting
  100. // threads. Note: do not call `Notify()` multiple times on the same
  101. // `Notification`; calling `Notify()` more than once on the same notification
  102. // results in undefined behavior.
  103. void Notify();
  104. private:
  105. // Convenience helper to reduce verbosity at call sites.
  106. static inline constexpr base_internal::ObjectKind TraceObjectKind() {
  107. return base_internal::ObjectKind::kNotification;
  108. }
  109. static inline bool HasBeenNotifiedInternal(
  110. const std::atomic<bool>* notified_yet) {
  111. return notified_yet->load(std::memory_order_acquire);
  112. }
  113. mutable Mutex mutex_;
  114. std::atomic<bool> notified_yet_; // written under mutex_
  115. };
  116. ABSL_NAMESPACE_END
  117. } // namespace absl
  118. #endif // ABSL_SYNCHRONIZATION_NOTIFICATION_H_