2014-05-21 03:03:45 +00:00
|
|
|
// Copyright 2014 Citra Emulator Project
|
2014-12-17 05:38:14 +00:00
|
|
|
// Licensed under GPLv2 or any later version
|
2014-11-19 08:49:13 +00:00
|
|
|
// Refer to the license.txt file included.
|
2014-05-21 03:03:45 +00:00
|
|
|
|
|
|
|
#include <map>
|
|
|
|
#include <vector>
|
2015-01-31 21:22:40 +00:00
|
|
|
#include <boost/range/algorithm_ext/erase.hpp>
|
2015-05-06 07:06:12 +00:00
|
|
|
#include "common/assert.h"
|
2017-01-01 21:59:30 +00:00
|
|
|
#include "core/core.h"
|
2017-10-23 20:52:23 +00:00
|
|
|
#include "core/hle/kernel/errors.h"
|
2014-05-21 03:03:45 +00:00
|
|
|
#include "core/hle/kernel/kernel.h"
|
2016-09-21 06:52:38 +00:00
|
|
|
#include "core/hle/kernel/mutex.h"
|
2018-08-02 02:40:00 +00:00
|
|
|
#include "core/hle/kernel/object.h"
|
2014-05-21 03:03:45 +00:00
|
|
|
#include "core/hle/kernel/thread.h"
|
|
|
|
|
|
|
|
namespace Kernel {
|
|
|
|
|
2015-01-20 23:33:23 +00:00
|
|
|
void ReleaseThreadMutexes(Thread* thread) {
|
2015-01-31 21:22:40 +00:00
|
|
|
for (auto& mtx : thread->held_mutexes) {
|
2017-01-01 21:59:30 +00:00
|
|
|
mtx->lock_count = 0;
|
|
|
|
mtx->holding_thread = nullptr;
|
|
|
|
mtx->WakeupAllWaitingThreads();
|
2014-12-07 20:44:21 +00:00
|
|
|
}
|
2015-01-31 21:22:40 +00:00
|
|
|
thread->held_mutexes.clear();
|
2014-12-07 20:44:21 +00:00
|
|
|
}
|
|
|
|
|
2018-10-11 20:00:09 +00:00
|
|
|
Mutex::Mutex(KernelSystem& kernel) {}
|
2016-09-19 01:01:46 +00:00
|
|
|
Mutex::~Mutex() {}
|
2015-02-01 00:56:59 +00:00
|
|
|
|
2018-10-11 20:00:09 +00:00
|
|
|
SharedPtr<Mutex> KernelSystem::CreateMutex(bool initial_locked, std::string name) {
|
|
|
|
SharedPtr<Mutex> mutex(new Mutex(*this));
|
2014-05-21 03:03:45 +00:00
|
|
|
|
2015-02-10 03:06:09 +00:00
|
|
|
mutex->lock_count = 0;
|
2015-01-23 01:12:19 +00:00
|
|
|
mutex->name = std::move(name);
|
2015-01-20 23:33:23 +00:00
|
|
|
mutex->holding_thread = nullptr;
|
2014-05-21 03:03:45 +00:00
|
|
|
|
2017-01-01 21:53:22 +00:00
|
|
|
// Acquire mutex with current thread if initialized as locked
|
2015-01-23 01:12:19 +00:00
|
|
|
if (initial_locked)
|
2017-01-01 21:53:22 +00:00
|
|
|
mutex->Acquire(GetCurrentThread());
|
2014-05-21 03:03:45 +00:00
|
|
|
|
2015-02-01 02:14:40 +00:00
|
|
|
return mutex;
|
2014-05-21 03:03:45 +00:00
|
|
|
}
|
|
|
|
|
2017-01-01 21:53:22 +00:00
|
|
|
bool Mutex::ShouldWait(Thread* thread) const {
|
|
|
|
return lock_count > 0 && thread != holding_thread;
|
2015-01-23 01:12:19 +00:00
|
|
|
}
|
|
|
|
|
2017-01-01 21:53:22 +00:00
|
|
|
void Mutex::Acquire(Thread* thread) {
|
|
|
|
ASSERT_MSG(!ShouldWait(thread), "object unavailable!");
|
2015-01-23 01:12:19 +00:00
|
|
|
|
2017-01-01 21:59:30 +00:00
|
|
|
// Actually "acquire" the mutex only if we don't already have it
|
2015-02-10 03:06:09 +00:00
|
|
|
if (lock_count == 0) {
|
2017-01-01 21:59:30 +00:00
|
|
|
priority = thread->current_priority;
|
2015-02-10 03:06:09 +00:00
|
|
|
thread->held_mutexes.insert(this);
|
2017-01-01 21:59:30 +00:00
|
|
|
holding_thread = thread;
|
2017-01-03 00:38:08 +00:00
|
|
|
thread->UpdatePriority();
|
2017-01-01 21:59:30 +00:00
|
|
|
Core::System::GetInstance().PrepareReschedule();
|
2015-02-10 03:06:09 +00:00
|
|
|
}
|
2015-01-23 01:12:19 +00:00
|
|
|
|
2015-02-10 03:06:09 +00:00
|
|
|
lock_count++;
|
2015-01-23 01:12:19 +00:00
|
|
|
}
|
|
|
|
|
2017-10-23 20:52:23 +00:00
|
|
|
ResultCode Mutex::Release(Thread* thread) {
|
|
|
|
// We can only release the mutex if it's held by the calling thread.
|
|
|
|
if (thread != holding_thread) {
|
|
|
|
if (holding_thread) {
|
2018-06-29 11:18:07 +00:00
|
|
|
LOG_ERROR(
|
2017-10-23 20:52:23 +00:00
|
|
|
Kernel,
|
2018-06-22 22:49:31 +00:00
|
|
|
"Tried to release a mutex (owned by thread id {}) from a different thread id {}",
|
2017-10-23 20:52:23 +00:00
|
|
|
holding_thread->thread_id, thread->thread_id);
|
2015-02-10 03:06:09 +00:00
|
|
|
}
|
2017-10-23 20:52:23 +00:00
|
|
|
return ResultCode(ErrCodes::WrongLockingThread, ErrorModule::Kernel,
|
|
|
|
ErrorSummary::InvalidArgument, ErrorLevel::Permanent);
|
|
|
|
}
|
|
|
|
|
|
|
|
// Note: It should not be possible for the situation where the mutex has a holding thread with a
|
|
|
|
// zero lock count to occur. The real kernel still checks for this, so we do too.
|
|
|
|
if (lock_count <= 0)
|
|
|
|
return ResultCode(ErrorDescription::InvalidResultValue, ErrorModule::Kernel,
|
|
|
|
ErrorSummary::InvalidState, ErrorLevel::Permanent);
|
|
|
|
|
|
|
|
lock_count--;
|
|
|
|
|
|
|
|
// Yield to the next thread only if we've fully released the mutex
|
|
|
|
if (lock_count == 0) {
|
|
|
|
holding_thread->held_mutexes.erase(this);
|
|
|
|
holding_thread->UpdatePriority();
|
|
|
|
holding_thread = nullptr;
|
|
|
|
WakeupAllWaitingThreads();
|
|
|
|
Core::System::GetInstance().PrepareReschedule();
|
2015-02-10 03:06:09 +00:00
|
|
|
}
|
2017-11-06 11:57:06 +00:00
|
|
|
|
2017-11-06 02:31:22 +00:00
|
|
|
return RESULT_SUCCESS;
|
2014-12-07 20:57:28 +00:00
|
|
|
}
|
2015-01-20 23:16:45 +00:00
|
|
|
|
2017-01-01 21:59:30 +00:00
|
|
|
void Mutex::AddWaitingThread(SharedPtr<Thread> thread) {
|
|
|
|
WaitObject::AddWaitingThread(thread);
|
2017-01-03 00:38:08 +00:00
|
|
|
thread->pending_mutexes.insert(this);
|
|
|
|
UpdatePriority();
|
2017-01-02 18:53:10 +00:00
|
|
|
}
|
2017-01-01 21:59:30 +00:00
|
|
|
|
2017-01-02 18:53:10 +00:00
|
|
|
void Mutex::RemoveWaitingThread(Thread* thread) {
|
|
|
|
WaitObject::RemoveWaitingThread(thread);
|
2017-01-03 00:38:08 +00:00
|
|
|
thread->pending_mutexes.erase(this);
|
|
|
|
UpdatePriority();
|
|
|
|
}
|
|
|
|
|
|
|
|
void Mutex::UpdatePriority() {
|
|
|
|
if (!holding_thread)
|
|
|
|
return;
|
|
|
|
|
2018-09-21 14:39:10 +00:00
|
|
|
u32 best_priority = ThreadPrioLowest;
|
2017-01-03 00:38:08 +00:00
|
|
|
for (auto& waiter : GetWaitingThreads()) {
|
|
|
|
if (waiter->current_priority < best_priority)
|
|
|
|
best_priority = waiter->current_priority;
|
|
|
|
}
|
|
|
|
|
|
|
|
if (best_priority != priority) {
|
|
|
|
priority = best_priority;
|
|
|
|
holding_thread->UpdatePriority();
|
|
|
|
}
|
2017-01-01 21:59:30 +00:00
|
|
|
}
|
|
|
|
|
2017-10-23 20:52:23 +00:00
|
|
|
} // namespace Kernel
|