mirror of
https://github.com/Atmosphere-NX/Atmosphere
synced 2024-09-20 15:18:59 +00:00
226 lines
12 KiB
C++
226 lines
12 KiB
C++
/*
|
|
* Copyright (c) Atmosphère-NX
|
|
*
|
|
* This program is free software; you can redistribute it and/or modify it
|
|
* under the terms and conditions of the GNU General Public License,
|
|
* version 2, as published by the Free Software Foundation.
|
|
*
|
|
* This program is distributed in the hope it will be useful, but WITHOUT
|
|
* ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
|
|
* FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for
|
|
* more details.
|
|
*
|
|
* You should have received a copy of the GNU General Public License
|
|
* along with this program. If not, see <http://www.gnu.org/licenses/>.
|
|
*/
|
|
#pragma once
|
|
#include <vapours/common.hpp>
|
|
#include <vapours/assert.hpp>
|
|
|
|
namespace ams::util {
|
|
|
|
namespace impl {
|
|
|
|
template<typename T>
|
|
struct AtomicIntegerStorage;
|
|
|
|
template<typename T> requires (sizeof(T) == sizeof(u8))
|
|
struct AtomicIntegerStorage<T> {
|
|
using Type = u8;
|
|
};
|
|
|
|
template<typename T> requires (sizeof(T) == sizeof(u16))
|
|
struct AtomicIntegerStorage<T> {
|
|
using Type = u16;
|
|
};
|
|
|
|
template<typename T> requires (sizeof(T) == sizeof(u32))
|
|
struct AtomicIntegerStorage<T> {
|
|
using Type = u32;
|
|
};
|
|
|
|
template<typename T> requires (sizeof(T) == sizeof(u64))
|
|
struct AtomicIntegerStorage<T> {
|
|
using Type = u64;
|
|
};
|
|
|
|
template<typename T>
|
|
concept UsableAtomicType = (sizeof(T) <= sizeof(u64)) && !std::is_const<T>::value && !std::is_volatile<T>::value && (std::is_pointer<T>::value || requires (const T &t) {
|
|
std::bit_cast<typename AtomicIntegerStorage<T>::Type, T>(t);
|
|
});
|
|
|
|
}
|
|
|
|
template<impl::UsableAtomicType T>
|
|
class Atomic {
|
|
NON_COPYABLE(Atomic);
|
|
NON_MOVEABLE(Atomic);
|
|
private:
|
|
static constexpr bool IsIntegral = std::integral<T>;
|
|
static constexpr bool IsPointer = std::is_pointer<T>::value;
|
|
|
|
static constexpr bool HasArithmeticFunctions = IsIntegral || IsPointer;
|
|
|
|
using DifferenceType = typename std::conditional<IsIntegral, T, typename std::conditional<IsPointer, std::ptrdiff_t, void>::type>::type;
|
|
private:
|
|
static_assert(std::atomic<T>::is_always_lock_free);
|
|
private:
|
|
std::atomic<T> m_v;
|
|
public:
|
|
ALWAYS_INLINE Atomic() { /* ... */ }
|
|
constexpr ALWAYS_INLINE Atomic(T v) : m_v(v) { /* ... */ }
|
|
|
|
ALWAYS_INLINE T operator=(T desired) {
|
|
return (m_v = desired);
|
|
}
|
|
|
|
ALWAYS_INLINE operator T() const { return this->Load(); }
|
|
|
|
template<std::memory_order Order = std::memory_order_seq_cst>
|
|
ALWAYS_INLINE T Load() const {
|
|
return m_v.load(Order);
|
|
}
|
|
|
|
template<std::memory_order Order = std::memory_order_seq_cst>
|
|
ALWAYS_INLINE void Store(T arg) {
|
|
return m_v.store(arg, Order);
|
|
}
|
|
|
|
template<std::memory_order Order = std::memory_order_seq_cst>
|
|
ALWAYS_INLINE T Exchange(T arg) {
|
|
return m_v.exchange(arg, Order);
|
|
}
|
|
|
|
template<std::memory_order Order = std::memory_order_seq_cst>
|
|
ALWAYS_INLINE bool CompareExchangeWeak(T &expected, T desired) {
|
|
return m_v.compare_exchange_weak(expected, desired, Order);
|
|
}
|
|
|
|
template<std::memory_order Order = std::memory_order_seq_cst>
|
|
ALWAYS_INLINE bool CompareExchangeStrong(T &expected, T desired) {
|
|
return m_v.compare_exchange_strong(expected, desired, Order);
|
|
}
|
|
|
|
#define AMS_UTIL_IMPL_DEFINE_ATOMIC_FETCH_OPERATE_FUNCTION(_OPERATION_, _OPERATION_LOWER_, _OPERATOR_, _POINTER_ALLOWED_) \
|
|
template<bool Enable = (IsIntegral || (_POINTER_ALLOWED_ && IsPointer)), typename = typename std::enable_if<Enable, void>::type> \
|
|
ALWAYS_INLINE T Fetch ## _OPERATION_(DifferenceType arg) { \
|
|
static_assert(Enable == (IsIntegral || (_POINTER_ALLOWED_ && IsPointer))); \
|
|
return m_v.fetch_##_OPERATION_LOWER_(arg); \
|
|
} \
|
|
\
|
|
template<bool Enable = (IsIntegral || (_POINTER_ALLOWED_ && IsPointer)), typename = typename std::enable_if<Enable, void>::type> \
|
|
ALWAYS_INLINE T operator _OPERATOR_##=(DifferenceType arg) { \
|
|
static_assert(Enable == (IsIntegral || (_POINTER_ALLOWED_ && IsPointer))); \
|
|
return this->Fetch##_OPERATION_(arg) _OPERATOR_ arg; \
|
|
}
|
|
|
|
AMS_UTIL_IMPL_DEFINE_ATOMIC_FETCH_OPERATE_FUNCTION(Add, add, +, true)
|
|
AMS_UTIL_IMPL_DEFINE_ATOMIC_FETCH_OPERATE_FUNCTION(Sub, sub, -, true)
|
|
AMS_UTIL_IMPL_DEFINE_ATOMIC_FETCH_OPERATE_FUNCTION(And, and, &, false)
|
|
AMS_UTIL_IMPL_DEFINE_ATOMIC_FETCH_OPERATE_FUNCTION(Or, or, |, false)
|
|
AMS_UTIL_IMPL_DEFINE_ATOMIC_FETCH_OPERATE_FUNCTION(Xor, xor, ^, false)
|
|
|
|
#undef AMS_UTIL_IMPL_DEFINE_ATOMIC_FETCH_OPERATE_FUNCTION
|
|
|
|
template<bool Enable = HasArithmeticFunctions, typename = typename std::enable_if<Enable, void>::type>
|
|
ALWAYS_INLINE T operator++() { static_assert(Enable == HasArithmeticFunctions); return this->FetchAdd(1) + 1; }
|
|
|
|
template<bool Enable = HasArithmeticFunctions, typename = typename std::enable_if<Enable, void>::type>
|
|
ALWAYS_INLINE T operator++(int) { static_assert(Enable == HasArithmeticFunctions); return this->FetchAdd(1); }
|
|
|
|
template<bool Enable = HasArithmeticFunctions, typename = typename std::enable_if<Enable, void>::type>
|
|
ALWAYS_INLINE T operator--() { static_assert(Enable == HasArithmeticFunctions); return this->FetchSub(1) - 1; }
|
|
|
|
template<bool Enable = HasArithmeticFunctions, typename = typename std::enable_if<Enable, void>::type>
|
|
ALWAYS_INLINE T operator--(int) { static_assert(Enable == HasArithmeticFunctions); return this->FetchSub(1); }
|
|
};
|
|
|
|
/* TODO: Clang does not yet define std::atomic_ref, so if we want this we will have to implement it ourselves. */
|
|
#if !defined(ATMOSPHERE_COMPILER_CLANG)
|
|
template<impl::UsableAtomicType T>
|
|
class AtomicRef {
|
|
NON_MOVEABLE(AtomicRef);
|
|
public:
|
|
static constexpr size_t RequiredAlignment = std::atomic_ref<T>::required_alignment;
|
|
private:
|
|
static constexpr bool IsIntegral = std::integral<T>;
|
|
static constexpr bool IsPointer = std::is_pointer<T>::value;
|
|
|
|
static constexpr bool HasArithmeticFunctions = IsIntegral || IsPointer;
|
|
|
|
using DifferenceType = typename std::conditional<IsIntegral, T, typename std::conditional<IsPointer, std::ptrdiff_t, void>::type>::type;
|
|
private:
|
|
static_assert(std::atomic_ref<T>::is_always_lock_free);
|
|
private:
|
|
std::atomic_ref<T> m_ref;
|
|
public:
|
|
explicit ALWAYS_INLINE AtomicRef(T &t) : m_ref(t) { /* ... */ }
|
|
ALWAYS_INLINE AtomicRef(const AtomicRef &) noexcept = default;
|
|
|
|
AtomicRef() = delete;
|
|
AtomicRef &operator=(const AtomicRef &) = delete;
|
|
|
|
ALWAYS_INLINE T operator=(T desired) const { return (m_ref = desired); }
|
|
|
|
template<std::memory_order Order = std::memory_order_seq_cst>
|
|
ALWAYS_INLINE T Load() const {
|
|
return m_ref.load(Order);
|
|
}
|
|
|
|
template<std::memory_order Order = std::memory_order_seq_cst>
|
|
ALWAYS_INLINE void Store(T arg) const {
|
|
return m_ref.store(arg, Order);
|
|
}
|
|
|
|
template<std::memory_order Order = std::memory_order_seq_cst>
|
|
ALWAYS_INLINE T Exchange(T arg) const {
|
|
return m_ref.exchange(arg, Order);
|
|
}
|
|
|
|
template<std::memory_order Order = std::memory_order_seq_cst>
|
|
ALWAYS_INLINE bool CompareExchangeWeak(T &expected, T desired) const {
|
|
return m_ref.compare_exchange_weak(expected, desired, Order);
|
|
}
|
|
|
|
template<std::memory_order Order = std::memory_order_seq_cst>
|
|
ALWAYS_INLINE bool CompareExchangeStrong(T &expected, T desired) const {
|
|
return m_ref.compare_exchange_strong(expected, desired, Order);
|
|
}
|
|
|
|
#define AMS_UTIL_IMPL_DEFINE_ATOMIC_FETCH_OPERATE_FUNCTION(_OPERATION_, _OPERATION_LOWER_, _OPERATOR_, _POINTER_ALLOWED_) \
|
|
template<bool Enable = (IsIntegral || (_POINTER_ALLOWED_ && IsPointer)), typename = typename std::enable_if<Enable, void>::type> \
|
|
ALWAYS_INLINE T Fetch ## _OPERATION_(DifferenceType arg) const { \
|
|
static_assert(Enable == (IsIntegral || (_POINTER_ALLOWED_ && IsPointer))); \
|
|
return m_ref.fetch_##_OPERATION_LOWER_(arg); \
|
|
} \
|
|
\
|
|
template<bool Enable = (IsIntegral || (_POINTER_ALLOWED_ && IsPointer)), typename = typename std::enable_if<Enable, void>::type> \
|
|
ALWAYS_INLINE T operator _OPERATOR_##=(DifferenceType arg) const { \
|
|
static_assert(Enable == (IsIntegral || (_POINTER_ALLOWED_ && IsPointer))); \
|
|
return this->Fetch##_OPERATION_(arg) _OPERATOR_ arg; \
|
|
}
|
|
|
|
AMS_UTIL_IMPL_DEFINE_ATOMIC_FETCH_OPERATE_FUNCTION(Add, add, +, true)
|
|
AMS_UTIL_IMPL_DEFINE_ATOMIC_FETCH_OPERATE_FUNCTION(Sub, sub, -, true)
|
|
AMS_UTIL_IMPL_DEFINE_ATOMIC_FETCH_OPERATE_FUNCTION(And, and, &, false)
|
|
AMS_UTIL_IMPL_DEFINE_ATOMIC_FETCH_OPERATE_FUNCTION(Or, or, |, false)
|
|
AMS_UTIL_IMPL_DEFINE_ATOMIC_FETCH_OPERATE_FUNCTION(Xor, xor, ^, false)
|
|
|
|
#undef AMS_UTIL_IMPL_DEFINE_ATOMIC_FETCH_OPERATE_FUNCTION
|
|
|
|
template<bool Enable = HasArithmeticFunctions, typename = typename std::enable_if<Enable, void>::type>
|
|
ALWAYS_INLINE T operator++() const { static_assert(Enable == HasArithmeticFunctions); return this->FetchAdd(1) + 1; }
|
|
|
|
template<bool Enable = HasArithmeticFunctions, typename = typename std::enable_if<Enable, void>::type>
|
|
ALWAYS_INLINE T operator++(int) const { static_assert(Enable == HasArithmeticFunctions); return this->FetchAdd(1); }
|
|
|
|
template<bool Enable = HasArithmeticFunctions, typename = typename std::enable_if<Enable, void>::type>
|
|
ALWAYS_INLINE T operator--() const { static_assert(Enable == HasArithmeticFunctions); return this->FetchSub(1) - 1; }
|
|
|
|
template<bool Enable = HasArithmeticFunctions, typename = typename std::enable_if<Enable, void>::type>
|
|
ALWAYS_INLINE T operator--(int) const { static_assert(Enable == HasArithmeticFunctions); return this->FetchSub(1); }
|
|
};
|
|
#endif
|
|
|
|
|
|
} |