1
0
mirror of https://github.com/RPCS3/rpcs3.git synced 2024-11-23 03:02:53 +01:00
rpcs3/Utilities/sema.h

136 lines
2.4 KiB
C
Raw Normal View History

#pragma once
2020-12-12 13:01:29 +01:00
#include "util/types.hpp"
#include "util/atomic.hpp"
// Lightweight semaphore helper class
class semaphore_base
{
2017-02-15 16:07:42 +01:00
// Semaphore value
2023-09-11 11:52:10 +02:00
atomic_t<u32> m_value;
enum : u32
{
c_value = 1u << 0,
c_value_mask = +c_value * 0xffff,
c_waiter = 1u << 16,
c_waiter_mask = +c_waiter * 0xffff,
};
2017-02-15 16:07:42 +01:00
void imp_wait();
2023-09-11 11:52:10 +02:00
void imp_post(u32 _old);
protected:
2023-09-11 11:52:10 +02:00
explicit constexpr semaphore_base(u32 value) noexcept
: m_value{value}
{
}
void wait()
{
2017-02-15 16:07:42 +01:00
// Load value
2023-09-11 11:52:10 +02:00
const u32 value = m_value.load();
2017-02-15 16:07:42 +01:00
// Conditional decrement
2023-09-11 11:52:10 +02:00
if ((value & c_value_mask) == 0 || !m_value.compare_and_swap_test(value, value - c_value)) [[unlikely]]
{
2017-02-15 16:07:42 +01:00
imp_wait();
}
}
bool try_wait()
{
2023-09-11 11:52:10 +02:00
return m_value.fetch_op([](u32& value)
{
if (value & c_value_mask)
{
value -= c_value;
return true;
}
return false;
}).second;
}
2023-09-11 11:52:10 +02:00
void post(u32 _max)
{
// Unconditional increment
2023-09-11 11:52:10 +02:00
const u32 value = m_value.fetch_add(c_value);
2023-09-11 11:52:10 +02:00
if (value & c_waiter_mask || (value & c_value_mask) >= std::min<u32>(c_value_mask, _max)) [[unlikely]]
{
2017-02-15 16:07:42 +01:00
imp_post(value);
}
}
2023-09-11 11:52:10 +02:00
bool try_post(u32 _max);
public:
// Get current semaphore value
s32 get() const
{
// Load value
2023-09-11 11:52:10 +02:00
const u32 raw_value = m_value;
const u32 waiters = (raw_value & c_waiter_mask) / c_waiter;
const u32 value = (raw_value & c_value_mask) / c_value;
// Return only positive value
2023-09-11 11:52:10 +02:00
return static_cast<s32>(waiters >= value ? 0 : value - waiters);
}
};
// Lightweight semaphore template (default arguments define binary semaphore and Def == Max)
2023-09-11 11:52:10 +02:00
template <s16 Max = 1, s16 Def = Max>
class semaphore final : public semaphore_base
{
2017-02-15 16:07:42 +01:00
static_assert(Max >= 0, "semaphore<>: Max is out of bounds");
static_assert(Def >= 0, "semaphore<>: Def is out of bounds");
static_assert(Def <= Max, "semaphore<>: Def is too big");
using base = semaphore_base;
public:
// Default constructor (recommended)
2023-09-11 11:52:10 +02:00
constexpr semaphore() noexcept
: base(Def)
{
}
// Explicit value constructor (not recommended)
2023-09-11 11:52:10 +02:00
explicit constexpr semaphore(s16 value) noexcept
: base(value)
{
}
// Obtain a semaphore
void lock()
{
return base::wait();
}
// Try to obtain a semaphore
bool try_lock()
{
return base::try_wait();
}
// Return a semaphore
void unlock()
{
2017-02-15 16:07:42 +01:00
return base::post(Max);
}
// Try to return a semaphore
bool try_unlock()
{
2017-02-15 16:07:42 +01:00
return base::try_post(Max);
}
// Get max semaphore value
static constexpr s32 size()
{
return Max;
}
};