1*9356374aSAndroid Build Coastguard Worker // Copyright 2023 The Abseil Authors.
2*9356374aSAndroid Build Coastguard Worker //
3*9356374aSAndroid Build Coastguard Worker // Licensed under the Apache License, Version 2.0 (the "License");
4*9356374aSAndroid Build Coastguard Worker // you may not use this file except in compliance with the License.
5*9356374aSAndroid Build Coastguard Worker // You may obtain a copy of the License at
6*9356374aSAndroid Build Coastguard Worker //
7*9356374aSAndroid Build Coastguard Worker // https://www.apache.org/licenses/LICENSE-2.0
8*9356374aSAndroid Build Coastguard Worker //
9*9356374aSAndroid Build Coastguard Worker // Unless required by applicable law or agreed to in writing, software
10*9356374aSAndroid Build Coastguard Worker // distributed under the License is distributed on an "AS IS" BASIS,
11*9356374aSAndroid Build Coastguard Worker // WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
12*9356374aSAndroid Build Coastguard Worker // See the License for the specific language governing permissions and
13*9356374aSAndroid Build Coastguard Worker // limitations under the License.
14*9356374aSAndroid Build Coastguard Worker
15*9356374aSAndroid Build Coastguard Worker #include "absl/synchronization/internal/futex_waiter.h"
16*9356374aSAndroid Build Coastguard Worker
17*9356374aSAndroid Build Coastguard Worker #ifdef ABSL_INTERNAL_HAVE_FUTEX_WAITER
18*9356374aSAndroid Build Coastguard Worker
19*9356374aSAndroid Build Coastguard Worker #include <atomic>
20*9356374aSAndroid Build Coastguard Worker #include <cstdint>
21*9356374aSAndroid Build Coastguard Worker #include <cerrno>
22*9356374aSAndroid Build Coastguard Worker
23*9356374aSAndroid Build Coastguard Worker #include "absl/base/config.h"
24*9356374aSAndroid Build Coastguard Worker #include "absl/base/internal/raw_logging.h"
25*9356374aSAndroid Build Coastguard Worker #include "absl/base/internal/thread_identity.h"
26*9356374aSAndroid Build Coastguard Worker #include "absl/base/optimization.h"
27*9356374aSAndroid Build Coastguard Worker #include "absl/synchronization/internal/kernel_timeout.h"
28*9356374aSAndroid Build Coastguard Worker #include "absl/synchronization/internal/futex.h"
29*9356374aSAndroid Build Coastguard Worker
30*9356374aSAndroid Build Coastguard Worker namespace absl {
31*9356374aSAndroid Build Coastguard Worker ABSL_NAMESPACE_BEGIN
32*9356374aSAndroid Build Coastguard Worker namespace synchronization_internal {
33*9356374aSAndroid Build Coastguard Worker
34*9356374aSAndroid Build Coastguard Worker #ifdef ABSL_INTERNAL_NEED_REDUNDANT_CONSTEXPR_DECL
35*9356374aSAndroid Build Coastguard Worker constexpr char FutexWaiter::kName[];
36*9356374aSAndroid Build Coastguard Worker #endif
37*9356374aSAndroid Build Coastguard Worker
WaitUntil(std::atomic<int32_t> * v,int32_t val,KernelTimeout t)38*9356374aSAndroid Build Coastguard Worker int FutexWaiter::WaitUntil(std::atomic<int32_t>* v, int32_t val,
39*9356374aSAndroid Build Coastguard Worker KernelTimeout t) {
40*9356374aSAndroid Build Coastguard Worker #ifdef CLOCK_MONOTONIC
41*9356374aSAndroid Build Coastguard Worker constexpr bool kHasClockMonotonic = true;
42*9356374aSAndroid Build Coastguard Worker #else
43*9356374aSAndroid Build Coastguard Worker constexpr bool kHasClockMonotonic = false;
44*9356374aSAndroid Build Coastguard Worker #endif
45*9356374aSAndroid Build Coastguard Worker
46*9356374aSAndroid Build Coastguard Worker // We can't call Futex::WaitUntil() here because the prodkernel implementation
47*9356374aSAndroid Build Coastguard Worker // does not know about KernelTimeout::SupportsSteadyClock().
48*9356374aSAndroid Build Coastguard Worker if (!t.has_timeout()) {
49*9356374aSAndroid Build Coastguard Worker return Futex::Wait(v, val);
50*9356374aSAndroid Build Coastguard Worker } else if (kHasClockMonotonic && KernelTimeout::SupportsSteadyClock() &&
51*9356374aSAndroid Build Coastguard Worker t.is_relative_timeout()) {
52*9356374aSAndroid Build Coastguard Worker auto rel_timespec = t.MakeRelativeTimespec();
53*9356374aSAndroid Build Coastguard Worker return Futex::WaitRelativeTimeout(v, val, &rel_timespec);
54*9356374aSAndroid Build Coastguard Worker } else {
55*9356374aSAndroid Build Coastguard Worker auto abs_timespec = t.MakeAbsTimespec();
56*9356374aSAndroid Build Coastguard Worker return Futex::WaitAbsoluteTimeout(v, val, &abs_timespec);
57*9356374aSAndroid Build Coastguard Worker }
58*9356374aSAndroid Build Coastguard Worker }
59*9356374aSAndroid Build Coastguard Worker
Wait(KernelTimeout t)60*9356374aSAndroid Build Coastguard Worker bool FutexWaiter::Wait(KernelTimeout t) {
61*9356374aSAndroid Build Coastguard Worker // Loop until we can atomically decrement futex from a positive
62*9356374aSAndroid Build Coastguard Worker // value, waiting on a futex while we believe it is zero.
63*9356374aSAndroid Build Coastguard Worker // Note that, since the thread ticker is just reset, we don't need to check
64*9356374aSAndroid Build Coastguard Worker // whether the thread is idle on the very first pass of the loop.
65*9356374aSAndroid Build Coastguard Worker bool first_pass = true;
66*9356374aSAndroid Build Coastguard Worker while (true) {
67*9356374aSAndroid Build Coastguard Worker int32_t x = futex_.load(std::memory_order_relaxed);
68*9356374aSAndroid Build Coastguard Worker while (x != 0) {
69*9356374aSAndroid Build Coastguard Worker if (!futex_.compare_exchange_weak(x, x - 1,
70*9356374aSAndroid Build Coastguard Worker std::memory_order_acquire,
71*9356374aSAndroid Build Coastguard Worker std::memory_order_relaxed)) {
72*9356374aSAndroid Build Coastguard Worker continue; // Raced with someone, retry.
73*9356374aSAndroid Build Coastguard Worker }
74*9356374aSAndroid Build Coastguard Worker return true; // Consumed a wakeup, we are done.
75*9356374aSAndroid Build Coastguard Worker }
76*9356374aSAndroid Build Coastguard Worker
77*9356374aSAndroid Build Coastguard Worker if (!first_pass) MaybeBecomeIdle();
78*9356374aSAndroid Build Coastguard Worker const int err = WaitUntil(&futex_, 0, t);
79*9356374aSAndroid Build Coastguard Worker if (err != 0) {
80*9356374aSAndroid Build Coastguard Worker if (err == -EINTR || err == -EWOULDBLOCK) {
81*9356374aSAndroid Build Coastguard Worker // Do nothing, the loop will retry.
82*9356374aSAndroid Build Coastguard Worker } else if (err == -ETIMEDOUT) {
83*9356374aSAndroid Build Coastguard Worker return false;
84*9356374aSAndroid Build Coastguard Worker } else {
85*9356374aSAndroid Build Coastguard Worker ABSL_RAW_LOG(FATAL, "Futex operation failed with error %d\n", err);
86*9356374aSAndroid Build Coastguard Worker }
87*9356374aSAndroid Build Coastguard Worker }
88*9356374aSAndroid Build Coastguard Worker first_pass = false;
89*9356374aSAndroid Build Coastguard Worker }
90*9356374aSAndroid Build Coastguard Worker }
91*9356374aSAndroid Build Coastguard Worker
Post()92*9356374aSAndroid Build Coastguard Worker void FutexWaiter::Post() {
93*9356374aSAndroid Build Coastguard Worker if (futex_.fetch_add(1, std::memory_order_release) == 0) {
94*9356374aSAndroid Build Coastguard Worker // We incremented from 0, need to wake a potential waiter.
95*9356374aSAndroid Build Coastguard Worker Poke();
96*9356374aSAndroid Build Coastguard Worker }
97*9356374aSAndroid Build Coastguard Worker }
98*9356374aSAndroid Build Coastguard Worker
Poke()99*9356374aSAndroid Build Coastguard Worker void FutexWaiter::Poke() {
100*9356374aSAndroid Build Coastguard Worker // Wake one thread waiting on the futex.
101*9356374aSAndroid Build Coastguard Worker const int err = Futex::Wake(&futex_, 1);
102*9356374aSAndroid Build Coastguard Worker if (ABSL_PREDICT_FALSE(err < 0)) {
103*9356374aSAndroid Build Coastguard Worker ABSL_RAW_LOG(FATAL, "Futex operation failed with error %d\n", err);
104*9356374aSAndroid Build Coastguard Worker }
105*9356374aSAndroid Build Coastguard Worker }
106*9356374aSAndroid Build Coastguard Worker
107*9356374aSAndroid Build Coastguard Worker } // namespace synchronization_internal
108*9356374aSAndroid Build Coastguard Worker ABSL_NAMESPACE_END
109*9356374aSAndroid Build Coastguard Worker } // namespace absl
110*9356374aSAndroid Build Coastguard Worker
111*9356374aSAndroid Build Coastguard Worker #endif // ABSL_INTERNAL_HAVE_FUTEX_WAITER
112