846e5dbeda
-- 90ecacd2a3db96ee64ef23af37a80fad404e2b32 by Gennadiy Rozental <rogeeff@google.com>: Fixes MSVC regression by making MSVC version of class Flag into an aggregate type. PiperOrigin-RevId: 277767054 -- 018f3b040df51d91a988fa146fee163721e605e9 by Abseil Team <absl-team@google.com>: Change libstdc++ lacking std::unique_ptr check from a gcc version check to based on feature macros. PiperOrigin-RevId: 277736042 -- 475844775ae343e2414318f08549ee3fa6676a8d by CJ Johnson <johnsoncj@google.com>: Pass allocator_type through allocator_traits before extracting the typedefs PiperOrigin-RevId: 277730393 -- d843bc4bc30bf5b11af76db8beda8634b6111a62 by Abseil Team <absl-team@google.com>: Convert the Waiter::Init() method to the default constructor and define a destructor for the Waiter class. Use placement new and delete with Waiter objects. PiperOrigin-RevId: 277728823 -- 1ba6edf421dd2dfe13c55970a03c99592cb6677d by Derek Mauro <dmauro@google.com>: Use lowercase spelling for include of dbghelp.h When cross-compiling under MinGW this is important PiperOrigin-RevId: 277629783 -- cfc662a6fa357a84ddda8037156c7f26cee40c36 by Abseil Team <absl-team@google.com>: Don't use atomic ops on waiter and wakeup counts in WIN32 waiter mode. Port the new CONDVAR waiter mode code in CL 277366017 to the WIN32 waiter mode. PiperOrigin-RevId: 277603611 -- 833106542e61fa0832900adf3c1b2afc6890b94b by Abseil Team <absl-team@google.com>: Add the PerThreadSem::Destroy() method. For ABSL_WAITER_MODE_CONDVAR or ABSL_WAITER_MODE_SEM, PerThreadSem::Destroy() is used to destroy the pthread mutex and condition variable or the POSIX semaphore. PiperOrigin-RevId: 277586675 -- 7814da4a59106cf1e0e4db1a31b9592ebbd2094b by Samuel Benzaquen <sbenza@google.com>: Enable the assertion in the iterator's operator* and operator-> PiperOrigin-RevId: 277563401 GitOrigin-RevId: 90ecacd2a3db96ee64ef23af37a80fad404e2b32 Change-Id: Ib19be3680da74f0b94055c9039115ec6bcaea7b0
153 lines
4.7 KiB
C++
153 lines
4.7 KiB
C++
// Copyright 2017 The Abseil Authors.
|
|
//
|
|
// Licensed under the Apache License, Version 2.0 (the "License");
|
|
// you may not use this file except in compliance with the License.
|
|
// You may obtain a copy of the License at
|
|
//
|
|
// https://www.apache.org/licenses/LICENSE-2.0
|
|
//
|
|
// Unless required by applicable law or agreed to in writing, software
|
|
// distributed under the License is distributed on an "AS IS" BASIS,
|
|
// WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
|
|
// See the License for the specific language governing permissions and
|
|
// limitations under the License.
|
|
//
|
|
|
|
#ifndef ABSL_SYNCHRONIZATION_INTERNAL_WAITER_H_
|
|
#define ABSL_SYNCHRONIZATION_INTERNAL_WAITER_H_
|
|
|
|
#include "absl/base/config.h"
|
|
|
|
#ifdef _WIN32
|
|
#include <sdkddkver.h>
|
|
#else
|
|
#include <pthread.h>
|
|
#endif
|
|
|
|
#ifdef ABSL_HAVE_SEMAPHORE_H
|
|
#include <semaphore.h>
|
|
#endif
|
|
|
|
#include <atomic>
|
|
#include <cstdint>
|
|
|
|
#include "absl/base/internal/thread_identity.h"
|
|
#include "absl/synchronization/internal/kernel_timeout.h"
|
|
|
|
// May be chosen at compile time via -DABSL_FORCE_WAITER_MODE=<index>
|
|
#define ABSL_WAITER_MODE_FUTEX 0
|
|
#define ABSL_WAITER_MODE_SEM 1
|
|
#define ABSL_WAITER_MODE_CONDVAR 2
|
|
#define ABSL_WAITER_MODE_WIN32 3
|
|
|
|
#if defined(ABSL_FORCE_WAITER_MODE)
|
|
#define ABSL_WAITER_MODE ABSL_FORCE_WAITER_MODE
|
|
#elif defined(_WIN32) && _WIN32_WINNT >= _WIN32_WINNT_VISTA
|
|
#define ABSL_WAITER_MODE ABSL_WAITER_MODE_WIN32
|
|
#elif defined(__linux__)
|
|
#define ABSL_WAITER_MODE ABSL_WAITER_MODE_FUTEX
|
|
#elif defined(ABSL_HAVE_SEMAPHORE_H)
|
|
#define ABSL_WAITER_MODE ABSL_WAITER_MODE_SEM
|
|
#else
|
|
#define ABSL_WAITER_MODE ABSL_WAITER_MODE_CONDVAR
|
|
#endif
|
|
|
|
namespace absl {
|
|
namespace synchronization_internal {
|
|
|
|
// Waiter is an OS-specific semaphore.
|
|
class Waiter {
|
|
public:
|
|
// Prepare any data to track waits.
|
|
Waiter();
|
|
|
|
// Not copyable or movable
|
|
Waiter(const Waiter&) = delete;
|
|
Waiter& operator=(const Waiter&) = delete;
|
|
|
|
// Destroy any data to track waits.
|
|
~Waiter();
|
|
|
|
// Blocks the calling thread until a matching call to `Post()` or
|
|
// `t` has passed. Returns `true` if woken (`Post()` called),
|
|
// `false` on timeout.
|
|
bool Wait(KernelTimeout t);
|
|
|
|
// Restart the caller of `Wait()` as with a normal semaphore.
|
|
void Post();
|
|
|
|
// If anyone is waiting, wake them up temporarily and cause them to
|
|
// call `MaybeBecomeIdle()`. They will then return to waiting for a
|
|
// `Post()` or timeout.
|
|
void Poke();
|
|
|
|
// Returns the Waiter associated with the identity.
|
|
static Waiter* GetWaiter(base_internal::ThreadIdentity* identity) {
|
|
static_assert(
|
|
sizeof(Waiter) <= sizeof(base_internal::ThreadIdentity::WaiterState),
|
|
"Insufficient space for Waiter");
|
|
return reinterpret_cast<Waiter*>(identity->waiter_state.data);
|
|
}
|
|
|
|
// How many periods to remain idle before releasing resources
|
|
#ifndef THREAD_SANITIZER
|
|
static const int kIdlePeriods = 60;
|
|
#else
|
|
// Memory consumption under ThreadSanitizer is a serious concern,
|
|
// so we release resources sooner. The value of 1 leads to 1 to 2 second
|
|
// delay before marking a thread as idle.
|
|
static const int kIdlePeriods = 1;
|
|
#endif
|
|
|
|
private:
|
|
#if ABSL_WAITER_MODE == ABSL_WAITER_MODE_FUTEX
|
|
// Futexes are defined by specification to be 32-bits.
|
|
// Thus std::atomic<int32_t> must be just an int32_t with lockfree methods.
|
|
std::atomic<int32_t> futex_;
|
|
static_assert(sizeof(int32_t) == sizeof(futex_), "Wrong size for futex");
|
|
|
|
#elif ABSL_WAITER_MODE == ABSL_WAITER_MODE_CONDVAR
|
|
// REQUIRES: mu_ must be held.
|
|
void InternalCondVarPoke();
|
|
|
|
pthread_mutex_t mu_;
|
|
pthread_cond_t cv_;
|
|
int waiter_count_;
|
|
int wakeup_count_; // Unclaimed wakeups.
|
|
|
|
#elif ABSL_WAITER_MODE == ABSL_WAITER_MODE_SEM
|
|
sem_t sem_;
|
|
// This seems superfluous, but for Poke() we need to cause spurious
|
|
// wakeups on the semaphore. Hence we can't actually use the
|
|
// semaphore's count.
|
|
std::atomic<int> wakeups_;
|
|
|
|
#elif ABSL_WAITER_MODE == ABSL_WAITER_MODE_WIN32
|
|
// We can't include Windows.h in our headers, so we use aligned storage
|
|
// buffers to define the storage of SRWLOCK and CONDITION_VARIABLE.
|
|
using SRWLockStorage =
|
|
typename std::aligned_storage<sizeof(void*), alignof(void*)>::type;
|
|
using ConditionVariableStorage =
|
|
typename std::aligned_storage<sizeof(void*), alignof(void*)>::type;
|
|
|
|
// WinHelper - Used to define utilities for accessing the lock and
|
|
// condition variable storage once the types are complete.
|
|
class WinHelper;
|
|
|
|
// REQUIRES: WinHelper::GetLock(this) must be held.
|
|
void InternalCondVarPoke();
|
|
|
|
SRWLockStorage mu_storage_;
|
|
ConditionVariableStorage cv_storage_;
|
|
int waiter_count_;
|
|
int wakeup_count_;
|
|
|
|
#else
|
|
#error Unknown ABSL_WAITER_MODE
|
|
#endif
|
|
};
|
|
|
|
} // namespace synchronization_internal
|
|
} // namespace absl
|
|
|
|
#endif // ABSL_SYNCHRONIZATION_INTERNAL_WAITER_H_
|