shared_mutex fix (linux)

This commit is contained in:
Nekotekina 2017-02-24 18:48:53 +03:00
parent 8369cb2af6
commit f35babad98
3 changed files with 88 additions and 22 deletions

View File

@ -1,6 +1,10 @@
#include "cond.h"
#include "sync.h"
#ifndef _WIN32
#include <thread>
#endif
bool cond_variable::imp_wait(u32 _old, u64 _timeout) noexcept
{
verify(HERE), _old != -1; // Very unlikely: it requires 2^32 distinct threads to wait simultaneously
@ -69,7 +73,7 @@ void cond_variable::imp_wake(u32 _count) noexcept
NtReleaseKeyedEvent(nullptr, &m_value, false, nullptr);
}
#else
for (u32 i = _count; i > 0; sched_yield())
for (u32 i = _count; i > 0; std::this_thread::yield())
{
const u32 value = m_value;
@ -87,7 +91,7 @@ void cond_variable::imp_wake(u32 _count) noexcept
if (const int res = futex((int*)&m_value.raw(), FUTEX_WAKE_PRIVATE, i > INT_MAX ? INT_MAX : i, nullptr, nullptr, 0))
{
verify(HERE), res >= 0 && res <= i;
verify(HERE), res >= 0 && (u32)res <= i;
i -= res;
}

View File

@ -17,6 +17,7 @@ void shared_mutex::imp_lock_shared(s64 _old)
}
}
#ifdef _WIN32
// Acquire writer lock
imp_wait(m_value.load());
@ -27,21 +28,72 @@ void shared_mutex::imp_lock_shared(s64 _old)
{
imp_unlock(value);
}
#ifdef _WIN32
// Wait as a reader if necessary
if (value + c_one - c_min < 0)
{
NtWaitForKeyedEvent(nullptr, (int*)&m_value + 1, false, nullptr);
}
#else
// Use resulting value
value += c_one - c_min;
while (value < 0)
while (true)
{
futex((int*)&m_value.raw() + IS_LE_MACHINE, FUTEX_WAIT_PRIVATE, int(value >> 32), nullptr, nullptr, 0);
const s64 value0 = m_value.fetch_op([](s64& value)
{
if (value >= c_min)
{
value -= c_min;
}
});
value = m_value.load();
if (value0 >= c_min)
{
return;
}
// Acquire writer lock
imp_wait(value0);
// Convert to reader lock
s64 value1 = m_value.fetch_add(c_one - c_min);
if (value1 != 0)
{
imp_unlock(value1);
}
value1 += c_one - c_min;
if (value1 >= 0)
{
return;
}
// Wait as a reader if necessary
while (futex((int*)&m_value.raw() + IS_LE_MACHINE, FUTEX_WAIT_PRIVATE, int(value1 >> 32), nullptr, nullptr, 0))
{
value1 = m_value.load();
if (value1 >= 0)
{
return;
}
}
// If blocked by writers, release the reader lock and try again
const s64 value2 = m_value.fetch_op([](s64& value)
{
if (value < 0)
{
value += c_min;
}
});
if (value2 >= 0)
{
return;
}
imp_unlock_shared(value2);
}
#endif
}
@ -56,12 +108,14 @@ void shared_mutex::imp_unlock_shared(s64 _old)
#ifdef _WIN32
NtReleaseKeyedEvent(nullptr, &m_value, false, nullptr);
#else
m_value -= c_sig;
futex((int*)&m_value.raw() + IS_BE_MACHINE, FUTEX_WAKE_PRIVATE, 1, nullptr, nullptr, 0);
#endif
}
}
void shared_mutex::imp_wait(s64 _old)
void shared_mutex::imp_wait(s64)
{
#ifdef _WIN32
if (m_value.sub_fetch(c_one))
@ -69,24 +123,29 @@ void shared_mutex::imp_wait(s64 _old)
NtWaitForKeyedEvent(nullptr, &m_value, false, nullptr);
}
#else
_old = m_value.fetch_sub(c_one);
// Return immediately if locked
while (_old != c_one)
if (!m_value.sub_fetch(c_one))
{
// Load new value
const s64 value = m_value.load();
// Return immediately if locked
return;
}
// Detect addition (unlock op)
if (value / c_one > _old / c_one)
while (true)
{
// Load new value, try to acquire c_sig
const s64 value = m_value.fetch_op([](s64& value)
{
if (value <= c_one - c_sig)
{
value += c_sig;
}
});
if (value <= c_one - c_sig)
{
return;
}
futex((int*)&m_value.raw() + IS_BE_MACHINE, FUTEX_WAIT_PRIVATE, value, nullptr, nullptr, 0);
// Update old value
_old = value;
futex((int*)&m_value.raw() + IS_BE_MACHINE, FUTEX_WAIT_PRIVATE, int(value), nullptr, nullptr, 0);
}
#endif
}
@ -131,6 +190,8 @@ void shared_mutex::imp_unlock(s64 _old)
#else
if (_old + c_one <= 0)
{
m_value -= c_sig;
futex((int*)&m_value.raw() + IS_BE_MACHINE, FUTEX_WAKE_PRIVATE, 1, nullptr, nullptr, 0);
}
else if (s64 count = -_old / c_min)

View File

@ -10,6 +10,7 @@ class shared_mutex final
{
c_one = 1ull << 31, // Fixed-point 1.0 value (one writer)
c_min = 0x00000001, // Fixed-point 1.0/max_readers value
c_sig = 1ull << 62,
c_max = c_one
};