Files
ARMSX3/Utilities/sema.cpp
T

98 lines
1.4 KiB
C++
Raw Normal View History

2017-01-24 23:19:52 +03:00
#include "sema.h"
2020-12-18 09:47:08 +03:00
#include "util/asm.hpp"
2017-02-15 18:07:42 +03:00
void semaphore_base::imp_wait()
2017-01-24 23:19:52 +03:00
{
2017-02-15 18:07:42 +03:00
for (int i = 0; i < 10; i++)
{
busy_wait();
2023-09-11 12:52:10 +03:00
const u32 value = m_value.load();
2017-02-15 18:07:42 +03:00
2023-09-11 12:52:10 +03:00
if (value & c_value_mask && m_value.compare_and_swap_test(value, value - c_value))
2017-02-15 18:07:42 +03:00
{
return;
}
}
2017-01-24 23:19:52 +03:00
2023-09-11 12:52:10 +03:00
bool waits = false;
2017-02-15 18:07:42 +03:00
while (true)
2017-01-24 23:19:52 +03:00
{
2017-02-15 18:07:42 +03:00
// Try hard way
2023-09-11 12:52:10 +03:00
const u32 value = m_value.fetch_op([&](u32& value)
2017-02-15 18:07:42 +03:00
{
2023-09-11 12:52:10 +03:00
ensure(value != c_waiter_mask); // "semaphore_base: overflow"
2017-01-24 23:19:52 +03:00
2023-09-11 12:52:10 +03:00
if (value & c_value_mask)
{
// Obtain signal
value -= c_value;
if (waits)
2017-02-15 18:07:42 +03:00
{
2023-09-11 12:52:10 +03:00
// Remove waiter
value -= c_waiter;
2017-02-15 18:07:42 +03:00
}
}
2023-09-11 12:52:10 +03:00
else if (!waits)
2017-02-15 18:07:42 +03:00
{
2023-09-11 12:52:10 +03:00
// Add waiter
value += c_waiter;
2017-02-15 18:07:42 +03:00
}
2026-05-22 15:10:16 +03:00
else
{
return false;
}
return true;
}).first;
2017-02-15 18:07:42 +03:00
2023-09-11 12:52:10 +03:00
if (value & c_value_mask)
2017-02-15 18:07:42 +03:00
{
2023-09-11 12:52:10 +03:00
break;
2017-02-15 18:07:42 +03:00
}
2023-09-11 12:52:10 +03:00
m_value.wait(value + (waits ? 0 : c_waiter));
waits = true;
2017-01-24 23:19:52 +03:00
}
}
2023-09-11 12:52:10 +03:00
void semaphore_base::imp_post(u32 _old)
2017-01-24 23:19:52 +03:00
{
2023-09-11 12:52:10 +03:00
ensure(~_old & c_value_mask); // "semaphore_base: overflow"
2017-01-24 23:19:52 +03:00
2023-09-11 12:52:10 +03:00
if ((_old & c_waiter_mask) / c_waiter > (_old & c_value_mask) / c_value)
{
m_value.notify_one();
}
2017-01-24 23:19:52 +03:00
}
2023-09-11 12:52:10 +03:00
bool semaphore_base::try_post(u32 _max)
2017-01-24 23:19:52 +03:00
{
// Conditional increment
2023-09-11 12:52:10 +03:00
const auto [value, ok] = m_value.fetch_op([&](u32& value)
2017-01-24 23:19:52 +03:00
{
2023-09-11 12:52:10 +03:00
if ((value & c_value_mask) <= _max)
2017-01-24 23:19:52 +03:00
{
2023-09-11 12:52:10 +03:00
value += c_value;
return true;
2017-01-24 23:19:52 +03:00
}
2023-09-11 12:52:10 +03:00
return false;
2017-01-24 23:19:52 +03:00
});
2023-09-11 12:52:10 +03:00
if (!ok)
{
return false;
}
if (value & c_waiter_mask)
2017-01-24 23:19:52 +03:00
{
2017-02-15 18:07:42 +03:00
imp_post(value);
2017-01-24 23:19:52 +03:00
}
2023-09-11 12:52:10 +03:00
return true;
2017-01-24 23:19:52 +03:00
}