rpcs3/Utilities/Thread.h

474 lines
8.7 KiB
C
Raw Normal View History

#pragma once
2014-12-24 22:24:17 +00:00
#include "Emu/Memory/atomic_type.h"
2014-07-11 11:59:13 +00:00
static std::thread::id main_thread;
class NamedThreadBase
{
2013-11-27 19:16:19 +00:00
std::string m_name;
std::condition_variable m_signal_cv;
std::mutex m_signal_mtx;
public:
2014-09-14 22:17:24 +00:00
std::atomic<bool> m_tls_assigned;
NamedThreadBase(const std::string& name) : m_name(name), m_tls_assigned(false)
{
}
2014-09-14 22:17:24 +00:00
NamedThreadBase() : m_tls_assigned(false)
{
}
2013-11-27 19:16:19 +00:00
virtual std::string GetThreadName() const;
virtual void SetThreadName(const std::string& name);
2014-09-12 19:27:33 +00:00
void WaitForAnySignal(u64 time = 1);
2014-08-25 18:09:48 +00:00
void Notify();
};
NamedThreadBase* GetCurrentNamedThread();
2014-08-20 14:23:48 +00:00
void SetCurrentNamedThread(NamedThreadBase* value);
class ThreadBase : public NamedThreadBase
{
protected:
std::atomic<bool> m_destroy;
std::atomic<bool> m_alive;
std::thread* m_executor;
mutable std::mutex m_main_mutex;
ThreadBase(const std::string& name);
~ThreadBase();
public:
void Start();
void Stop(bool wait = true, bool send_destroy = true);
bool Join() const;
bool IsAlive() const;
bool TestDestroy() const;
virtual void Task() = 0;
};
2015-01-16 14:36:53 +00:00
class thread_t
{
2015-01-16 14:36:53 +00:00
enum thread_state_t
{
TS_NON_EXISTENT,
TS_JOINABLE,
};
std::atomic<thread_state_t> m_state;
std::string m_name;
std::thread m_thr;
public:
2015-01-16 14:36:53 +00:00
thread_t(const std::string& name, std::function<void()> func);
thread_t(const std::string& name);
thread_t();
~thread_t();
thread_t(const thread_t& right) = delete;
thread_t(thread_t&& right) = delete;
2015-01-16 14:36:53 +00:00
thread_t& operator =(const thread_t& right) = delete;
thread_t& operator =(thread_t&& right) = delete;
2014-02-19 17:27:52 +00:00
public:
2015-01-16 14:36:53 +00:00
void set_name(const std::string& name);
void start(std::function<void()> func);
void detach();
void join();
bool joinable() const;
};
2014-10-17 20:13:25 +00:00
class slw_mutex_t
{
};
class slw_recursive_mutex_t
{
};
class slw_shared_mutex_t
{
};
class waiter_map_t
2014-10-10 22:37:20 +00:00
{
// TODO: optimize (use custom lightweight readers-writer lock)
std::mutex m_mutex;
2014-10-10 22:37:20 +00:00
struct waiter_t
{
u64 signal_id;
NamedThreadBase* thread;
};
2014-10-10 22:37:20 +00:00
std::vector<waiter_t> m_waiters;
std::string m_name;
struct waiter_reg_t
{
2014-10-17 20:13:25 +00:00
NamedThreadBase* thread;
const u64 signal_id;
waiter_map_t& map;
2014-10-17 20:13:25 +00:00
waiter_reg_t(waiter_map_t& map, u64 signal_id)
: thread(nullptr)
, signal_id(signal_id)
, map(map)
{
}
~waiter_reg_t();
2014-10-17 20:13:25 +00:00
void init();
};
bool is_stopped(u64 signal_id);
public:
2014-10-17 20:13:25 +00:00
waiter_map_t(const char* name)
: m_name(name)
{
}
// wait until waiter_func() returns true, signal_id is an arbitrary number
2014-10-16 19:34:17 +00:00
template<typename WT> __forceinline void wait_op(u64 signal_id, const WT waiter_func)
{
// register waiter
waiter_reg_t waiter(*this, signal_id);
2014-12-22 23:31:11 +00:00
// check the condition or if the emulator is stopped
2014-10-17 20:13:25 +00:00
while (!waiter_func() && !is_stopped(signal_id))
{
2014-12-22 23:31:11 +00:00
// initialize waiter (only once)
2014-10-17 20:13:25 +00:00
waiter.init();
// wait for 1 ms or until signal arrived
waiter.thread->WaitForAnySignal(1);
}
}
// signal all threads waiting on waiter_op() with the same signal_id (signaling only hints those threads that corresponding conditions are *probably* met)
void notify(u64 signal_id);
};
2014-12-24 22:24:17 +00:00
2014-12-25 20:30:34 +00:00
bool squeue_test_exit(const volatile bool* do_exit);
2014-12-24 22:24:17 +00:00
template<typename T, u32 sq_size = 256>
class squeue_t
{
struct squeue_sync_var_t
{
struct
{
u32 position : 31;
2014-12-25 22:58:43 +00:00
u32 pop_lock : 1;
2014-12-24 22:24:17 +00:00
};
struct
{
u32 count : 31;
2014-12-25 22:58:43 +00:00
u32 push_lock : 1;
2014-12-24 22:24:17 +00:00
};
};
atomic_le_t<squeue_sync_var_t> m_sync;
2014-12-28 13:15:22 +00:00
mutable std::mutex m_rcv_mutex;
mutable std::mutex m_wcv_mutex;
mutable std::condition_variable m_rcv;
mutable std::condition_variable m_wcv;
2014-12-24 22:24:17 +00:00
T m_data[sq_size];
2014-12-25 22:49:55 +00:00
enum squeue_sync_var_result : u32
{
SQSVR_OK = 0,
SQSVR_LOCKED = 1,
SQSVR_FAILED = 2,
};
2014-12-24 22:24:17 +00:00
public:
squeue_t()
{
m_sync.write_relaxed({});
}
u32 get_max_size() const
{
return sq_size;
}
bool is_full() const volatile
{
return m_sync.read_relaxed().count == sq_size;
}
bool push(const T& data, const volatile bool* do_exit = nullptr)
{
u32 pos = 0;
2014-12-25 22:49:55 +00:00
while (u32 res = m_sync.atomic_op_sync(SQSVR_OK, [&pos](squeue_sync_var_t& sync) -> u32
2014-12-24 22:24:17 +00:00
{
assert(sync.count <= sq_size);
assert(sync.position < sq_size);
2014-12-25 22:58:43 +00:00
if (sync.push_lock)
2014-12-24 22:24:17 +00:00
{
2014-12-25 22:49:55 +00:00
return SQSVR_LOCKED;
}
if (sync.count == sq_size)
{
return SQSVR_FAILED;
2014-12-24 22:24:17 +00:00
}
2014-12-25 22:58:43 +00:00
sync.push_lock = 1;
2014-12-24 22:24:17 +00:00
pos = sync.position + sync.count;
2014-12-25 22:49:55 +00:00
return SQSVR_OK;
2014-12-24 22:24:17 +00:00
}))
{
2014-12-25 22:49:55 +00:00
if (res == SQSVR_FAILED && squeue_test_exit(do_exit))
2014-12-24 22:24:17 +00:00
{
return false;
}
std::unique_lock<std::mutex> wcv_lock(m_wcv_mutex);
m_wcv.wait_for(wcv_lock, std::chrono::milliseconds(1));
}
m_data[pos >= sq_size ? pos - sq_size : pos] = data;
m_sync.atomic_op([](squeue_sync_var_t& sync)
{
assert(sync.count <= sq_size);
assert(sync.position < sq_size);
2014-12-25 22:58:43 +00:00
assert(sync.push_lock);
sync.push_lock = 0;
2014-12-24 22:24:17 +00:00
sync.count++;
});
m_rcv.notify_one();
m_wcv.notify_one();
return true;
}
bool try_push(const T& data)
{
static const volatile bool no_wait = true;
return push(data, &no_wait);
}
bool pop(T& data, const volatile bool* do_exit = nullptr)
{
u32 pos = 0;
2014-12-25 22:49:55 +00:00
while (u32 res = m_sync.atomic_op_sync(SQSVR_OK, [&pos](squeue_sync_var_t& sync) -> u32
2014-12-24 22:24:17 +00:00
{
assert(sync.count <= sq_size);
assert(sync.position < sq_size);
2014-12-25 22:49:55 +00:00
if (!sync.count)
{
return SQSVR_FAILED;
2014-12-24 22:24:17 +00:00
}
2014-12-25 22:58:43 +00:00
if (sync.pop_lock)
{
return SQSVR_LOCKED;
}
2014-12-24 22:24:17 +00:00
2014-12-25 22:58:43 +00:00
sync.pop_lock = 1;
2014-12-24 22:24:17 +00:00
pos = sync.position;
2014-12-25 22:49:55 +00:00
return SQSVR_OK;
2014-12-24 22:24:17 +00:00
}))
{
2014-12-25 22:49:55 +00:00
if (res == SQSVR_FAILED && squeue_test_exit(do_exit))
2014-12-24 22:24:17 +00:00
{
return false;
}
std::unique_lock<std::mutex> rcv_lock(m_rcv_mutex);
m_rcv.wait_for(rcv_lock, std::chrono::milliseconds(1));
}
data = m_data[pos];
m_sync.atomic_op([](squeue_sync_var_t& sync)
{
assert(sync.count <= sq_size);
assert(sync.position < sq_size);
2014-12-25 22:58:43 +00:00
assert(sync.pop_lock);
sync.pop_lock = 0;
2014-12-24 22:24:17 +00:00
sync.position++;
sync.count--;
if (sync.position == sq_size)
{
sync.position = 0;
}
});
m_rcv.notify_one();
m_wcv.notify_one();
return true;
}
bool try_pop(T& data)
{
static const volatile bool no_wait = true;
return pop(data, &no_wait);
}
bool peek(T& data, u32 start_pos = 0, const volatile bool* do_exit = nullptr)
{
assert(start_pos < sq_size);
u32 pos = 0;
2014-12-25 22:49:55 +00:00
while (u32 res = m_sync.atomic_op_sync(SQSVR_OK, [&pos, start_pos](squeue_sync_var_t& sync) -> u32
2014-12-24 22:24:17 +00:00
{
assert(sync.count <= sq_size);
assert(sync.position < sq_size);
2014-12-25 22:49:55 +00:00
if (sync.count <= start_pos)
{
return SQSVR_FAILED;
2014-12-24 22:24:17 +00:00
}
2014-12-25 22:58:43 +00:00
if (sync.pop_lock)
{
return SQSVR_LOCKED;
}
2014-12-24 22:24:17 +00:00
2014-12-25 22:58:43 +00:00
sync.pop_lock = 1;
2014-12-24 22:24:17 +00:00
pos = sync.position + start_pos;
2014-12-25 22:49:55 +00:00
return SQSVR_OK;
2014-12-24 22:24:17 +00:00
}))
{
2014-12-25 22:49:55 +00:00
if (res == SQSVR_FAILED && squeue_test_exit(do_exit))
2014-12-24 22:24:17 +00:00
{
return false;
}
std::unique_lock<std::mutex> rcv_lock(m_rcv_mutex);
m_rcv.wait_for(rcv_lock, std::chrono::milliseconds(1));
}
data = m_data[pos >= sq_size ? pos - sq_size : pos];
m_sync.atomic_op([](squeue_sync_var_t& sync)
{
assert(sync.count <= sq_size);
assert(sync.position < sq_size);
2014-12-25 22:58:43 +00:00
assert(sync.pop_lock);
sync.pop_lock = 0;
2014-12-24 22:24:17 +00:00
});
m_rcv.notify_one();
return true;
}
bool try_peek(T& data, u32 start_pos = 0)
{
static const volatile bool no_wait = true;
return peek(data, start_pos, &no_wait);
}
class squeue_data_t
{
T* const m_data;
const u32 m_pos;
const u32 m_count;
squeue_data_t(T* data, u32 pos, u32 count)
: m_data(data)
, m_pos(pos)
, m_count(count)
{
}
public:
T& operator [] (u32 index)
{
assert(index < m_count);
index += m_pos;
index = index < sq_size ? index : index - sq_size;
return m_data[index];
}
};
void process(void(*proc)(squeue_data_t data))
{
u32 pos, count;
while (m_sync.atomic_op_sync(SQSVR_OK, [&pos, &count](squeue_sync_var_t& sync) -> u32
{
assert(sync.count <= sq_size);
assert(sync.position < sq_size);
if (sync.pop_lock || sync.push_lock)
{
return SQSVR_LOCKED;
}
pos = sync.position;
count = sync.count;
sync.pop_lock = 1;
sync.push_lock = 1;
return SQSVR_OK;
}))
{
std::unique_lock<std::mutex> rcv_lock(m_rcv_mutex);
m_rcv.wait_for(rcv_lock, std::chrono::milliseconds(1));
}
proc(squeue_data_t(m_data, pos, count));
m_sync.atomic_op([](squeue_sync_var_t& sync)
{
assert(sync.count <= sq_size);
assert(sync.position < sq_size);
assert(sync.pop_lock && sync.push_lock);
sync.pop_lock = 0;
sync.push_lock = 0;
});
m_wcv.notify_one();
m_rcv.notify_one();
}
void clear()
{
while (m_sync.atomic_op_sync(SQSVR_OK, [](squeue_sync_var_t& sync) -> u32
{
assert(sync.count <= sq_size);
assert(sync.position < sq_size);
if (sync.pop_lock || sync.push_lock)
{
return SQSVR_LOCKED;
}
sync.pop_lock = 1;
sync.push_lock = 1;
return SQSVR_OK;
}))
{
std::unique_lock<std::mutex> rcv_lock(m_rcv_mutex);
m_rcv.wait_for(rcv_lock, std::chrono::milliseconds(1));
}
m_sync.exchange({});
m_wcv.notify_one();
m_rcv.notify_one();
}
2014-12-24 22:24:17 +00:00
};