166 lines
5.8 KiB
C++
Executable File
166 lines
5.8 KiB
C++
Executable File
// 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
|
|
//
|
|
// http://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_BASE_INTERNAL_ATOMIC_HOOK_H_
|
|
#define ABSL_BASE_INTERNAL_ATOMIC_HOOK_H_
|
|
|
|
#include <atomic>
|
|
#include <cassert>
|
|
#include <cstdint>
|
|
#include <utility>
|
|
|
|
#ifdef _MSC_FULL_VER
|
|
#define ABSL_HAVE_WORKING_ATOMIC_POINTER 0
|
|
#else
|
|
#define ABSL_HAVE_WORKING_ATOMIC_POINTER 1
|
|
#endif
|
|
|
|
namespace absl {
|
|
namespace base_internal {
|
|
|
|
template <typename T>
|
|
class AtomicHook;
|
|
|
|
// AtomicHook is a helper class, templatized on a raw function pointer type, for
|
|
// implementing Abseil customization hooks. It is a callable object that
|
|
// dispatches to the registered hook.
|
|
//
|
|
// A default constructed object performs a no-op (and returns a default
|
|
// constructed object) if no hook has been registered.
|
|
//
|
|
// Hooks can be pre-registered via constant initialization, for example,
|
|
// ABSL_CONST_INIT static AtomicHook<void(*)()> my_hook(DefaultAction);
|
|
// and then changed at runtime via a call to Store().
|
|
//
|
|
// Reads and writes guarantee memory_order_acquire/memory_order_release
|
|
// semantics.
|
|
template <typename ReturnType, typename... Args>
|
|
class AtomicHook<ReturnType (*)(Args...)> {
|
|
public:
|
|
using FnPtr = ReturnType (*)(Args...);
|
|
|
|
// Constructs an object that by default performs a no-op (and
|
|
// returns a default constructed object) when no hook as been registered.
|
|
constexpr AtomicHook() : AtomicHook(DummyFunction) {}
|
|
|
|
// Constructs an object that by default dispatches to/returns the
|
|
// pre-registered default_fn when no hook has been registered at runtime.
|
|
#if ABSL_HAVE_WORKING_ATOMIC_POINTER
|
|
explicit constexpr AtomicHook(FnPtr default_fn)
|
|
: hook_(default_fn), default_fn_(default_fn) {}
|
|
#else
|
|
explicit constexpr AtomicHook(FnPtr default_fn)
|
|
: hook_(kUninitialized), default_fn_(default_fn) {}
|
|
#endif
|
|
|
|
// Stores the provided function pointer as the value for this hook.
|
|
//
|
|
// This is intended to be called once. Multiple calls are legal only if the
|
|
// same function pointer is provided for each call. The store is implemented
|
|
// as a memory_order_release operation, and read accesses are implemented as
|
|
// memory_order_acquire.
|
|
void Store(FnPtr fn) {
|
|
bool success = DoStore(fn);
|
|
static_cast<void>(success);
|
|
assert(success);
|
|
}
|
|
|
|
// Invokes the registered callback. If no callback has yet been registered, a
|
|
// default-constructed object of the appropriate type is returned instead.
|
|
template <typename... CallArgs>
|
|
ReturnType operator()(CallArgs&&... args) const {
|
|
return DoLoad()(std::forward<CallArgs>(args)...);
|
|
}
|
|
|
|
// Returns the registered callback, or nullptr if none has been registered.
|
|
// Useful if client code needs to conditionalize behavior based on whether a
|
|
// callback was registered.
|
|
//
|
|
// Note that atomic_hook.Load()() and atomic_hook() have different semantics:
|
|
// operator()() will perform a no-op if no callback was registered, while
|
|
// Load()() will dereference a null function pointer. Prefer operator()() to
|
|
// Load()() unless you must conditionalize behavior on whether a hook was
|
|
// registered.
|
|
FnPtr Load() const {
|
|
FnPtr ptr = DoLoad();
|
|
return (ptr == DummyFunction) ? nullptr : ptr;
|
|
}
|
|
|
|
private:
|
|
static ReturnType DummyFunction(Args...) {
|
|
return ReturnType();
|
|
}
|
|
|
|
// Current versions of MSVC (as of September 2017) have a broken
|
|
// implementation of std::atomic<T*>: Its constructor attempts to do the
|
|
// equivalent of a reinterpret_cast in a constexpr context, which is not
|
|
// allowed.
|
|
//
|
|
// This causes an issue when building with LLVM under Windows. To avoid this,
|
|
// we use a less-efficient, intptr_t-based implementation on Windows.
|
|
#if ABSL_HAVE_WORKING_ATOMIC_POINTER
|
|
// Return the stored value, or DummyFunction if no value has been stored.
|
|
FnPtr DoLoad() const { return hook_.load(std::memory_order_acquire); }
|
|
|
|
// Store the given value. Returns false if a different value was already
|
|
// stored to this object.
|
|
bool DoStore(FnPtr fn) {
|
|
assert(fn);
|
|
FnPtr expected = default_fn_;
|
|
const bool store_succeeded = hook_.compare_exchange_strong(
|
|
expected, fn, std::memory_order_acq_rel, std::memory_order_acquire);
|
|
const bool same_value_already_stored = (expected == fn);
|
|
return store_succeeded || same_value_already_stored;
|
|
}
|
|
|
|
std::atomic<FnPtr> hook_;
|
|
#else // !ABSL_HAVE_WORKING_ATOMIC_POINTER
|
|
// Use a sentinel value unlikely to be the address of an actual function.
|
|
static constexpr intptr_t kUninitialized = 0;
|
|
|
|
static_assert(sizeof(intptr_t) >= sizeof(FnPtr),
|
|
"intptr_t can't contain a function pointer");
|
|
|
|
FnPtr DoLoad() const {
|
|
const intptr_t value = hook_.load(std::memory_order_acquire);
|
|
if (value == kUninitialized) {
|
|
return default_fn_;
|
|
}
|
|
return reinterpret_cast<FnPtr>(value);
|
|
}
|
|
|
|
bool DoStore(FnPtr fn) {
|
|
assert(fn);
|
|
const auto value = reinterpret_cast<intptr_t>(fn);
|
|
intptr_t expected = kUninitialized;
|
|
const bool store_succeeded = hook_.compare_exchange_strong(
|
|
expected, value, std::memory_order_acq_rel, std::memory_order_acquire);
|
|
const bool same_value_already_stored = (expected == value);
|
|
return store_succeeded || same_value_already_stored;
|
|
}
|
|
|
|
std::atomic<intptr_t> hook_;
|
|
#endif
|
|
|
|
const FnPtr default_fn_;
|
|
};
|
|
|
|
#undef ABSL_HAVE_WORKING_ATOMIC_POINTER
|
|
|
|
} // namespace base_internal
|
|
} // namespace absl
|
|
|
|
#endif // ABSL_BASE_INTERNAL_ATOMIC_HOOK_H_
|