2023-01-05 20:25:55 +08:00
|
|
|
/**************************************************************************/
|
|
|
|
/* mutex.h */
|
|
|
|
/**************************************************************************/
|
|
|
|
/* This file is part of: */
|
|
|
|
/* GODOT ENGINE */
|
|
|
|
/* https://godotengine.org */
|
|
|
|
/**************************************************************************/
|
|
|
|
/* Copyright (c) 2014-present Godot Engine contributors (see AUTHORS.md). */
|
|
|
|
/* Copyright (c) 2007-2014 Juan Linietsky, Ariel Manzur. */
|
|
|
|
/* */
|
|
|
|
/* Permission is hereby granted, free of charge, to any person obtaining */
|
|
|
|
/* a copy of this software and associated documentation files (the */
|
|
|
|
/* "Software"), to deal in the Software without restriction, including */
|
|
|
|
/* without limitation the rights to use, copy, modify, merge, publish, */
|
|
|
|
/* distribute, sublicense, and/or sell copies of the Software, and to */
|
|
|
|
/* permit persons to whom the Software is furnished to do so, subject to */
|
|
|
|
/* the following conditions: */
|
|
|
|
/* */
|
|
|
|
/* The above copyright notice and this permission notice shall be */
|
|
|
|
/* included in all copies or substantial portions of the Software. */
|
|
|
|
/* */
|
|
|
|
/* THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, */
|
|
|
|
/* EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF */
|
|
|
|
/* MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. */
|
|
|
|
/* IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY */
|
|
|
|
/* CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION OF CONTRACT, */
|
|
|
|
/* TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION WITH THE */
|
|
|
|
/* SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE. */
|
|
|
|
/**************************************************************************/
|
2018-01-05 07:50:27 +08:00
|
|
|
|
2014-02-10 09:10:30 +08:00
|
|
|
#ifndef MUTEX_H
|
|
|
|
#define MUTEX_H
|
|
|
|
|
2023-02-21 01:57:31 +08:00
|
|
|
#include "core/error/error_macros.h"
|
2020-02-26 18:28:13 +08:00
|
|
|
#include "core/typedefs.h"
|
2014-02-10 09:10:30 +08:00
|
|
|
|
2020-02-26 18:28:13 +08:00
|
|
|
#include <mutex>
|
|
|
|
|
2023-02-21 01:57:31 +08:00
|
|
|
template <class MutexT>
|
|
|
|
class MutexLock;
|
|
|
|
|
2020-02-26 18:28:13 +08:00
|
|
|
template <class StdMutexT>
|
|
|
|
class MutexImpl {
|
2023-02-21 01:57:31 +08:00
|
|
|
friend class MutexLock<MutexImpl<StdMutexT>>;
|
|
|
|
|
|
|
|
using StdMutexType = StdMutexT;
|
|
|
|
|
2020-02-26 18:28:13 +08:00
|
|
|
mutable StdMutexT mutex;
|
2016-03-09 07:00:52 +08:00
|
|
|
|
2014-02-10 09:10:30 +08:00
|
|
|
public:
|
2020-02-26 18:28:13 +08:00
|
|
|
_ALWAYS_INLINE_ void lock() const {
|
|
|
|
mutex.lock();
|
|
|
|
}
|
2014-02-10 09:10:30 +08:00
|
|
|
|
2020-02-26 18:28:13 +08:00
|
|
|
_ALWAYS_INLINE_ void unlock() const {
|
|
|
|
mutex.unlock();
|
|
|
|
}
|
2016-03-09 07:00:52 +08:00
|
|
|
|
2023-01-27 18:04:41 +08:00
|
|
|
_ALWAYS_INLINE_ bool try_lock() const {
|
|
|
|
return mutex.try_lock();
|
2020-02-26 18:28:13 +08:00
|
|
|
}
|
2014-02-10 09:10:30 +08:00
|
|
|
};
|
|
|
|
|
2023-02-21 01:57:31 +08:00
|
|
|
// A very special kind of mutex, used in scenarios where these
|
|
|
|
// requirements hold at the same time:
|
|
|
|
// - Must be used with a condition variable (only binary mutexes are suitable).
|
|
|
|
// - Must have recursive semnantics (or simulate, as this one does).
|
|
|
|
// The implementation keeps the lock count in TS. Therefore, only
|
|
|
|
// one object of each version of the template can exists; hence the Tag argument.
|
|
|
|
// Tags must be unique across the Godot codebase.
|
|
|
|
// Also, don't forget to declare the thread_local variable on each use.
|
|
|
|
template <int Tag>
|
|
|
|
class SafeBinaryMutex {
|
|
|
|
friend class MutexLock<SafeBinaryMutex>;
|
|
|
|
|
|
|
|
using StdMutexType = std::mutex;
|
|
|
|
|
|
|
|
mutable std::mutex mutex;
|
|
|
|
static thread_local uint32_t count;
|
|
|
|
|
|
|
|
public:
|
|
|
|
_ALWAYS_INLINE_ void lock() const {
|
|
|
|
if (++count == 1) {
|
|
|
|
mutex.lock();
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
_ALWAYS_INLINE_ void unlock() const {
|
|
|
|
DEV_ASSERT(count);
|
|
|
|
if (--count == 0) {
|
|
|
|
mutex.unlock();
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
_ALWAYS_INLINE_ bool try_lock() const {
|
|
|
|
if (count) {
|
|
|
|
count++;
|
|
|
|
return true;
|
|
|
|
} else {
|
|
|
|
if (mutex.try_lock()) {
|
|
|
|
count++;
|
|
|
|
return true;
|
|
|
|
} else {
|
|
|
|
return false;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
~SafeBinaryMutex() {
|
|
|
|
DEV_ASSERT(!count);
|
|
|
|
}
|
|
|
|
};
|
|
|
|
|
2020-02-26 18:28:13 +08:00
|
|
|
template <class MutexT>
|
2014-02-10 09:10:30 +08:00
|
|
|
class MutexLock {
|
2023-02-21 01:57:31 +08:00
|
|
|
friend class ConditionVariable;
|
|
|
|
|
|
|
|
std::unique_lock<typename MutexT::StdMutexType> lock;
|
2014-02-10 09:10:30 +08:00
|
|
|
|
2017-03-05 23:44:50 +08:00
|
|
|
public:
|
2020-02-26 18:28:13 +08:00
|
|
|
_ALWAYS_INLINE_ explicit MutexLock(const MutexT &p_mutex) :
|
2023-03-05 08:09:18 +08:00
|
|
|
lock(p_mutex.mutex){};
|
|
|
|
};
|
|
|
|
|
|
|
|
// This specialization is needed so manual locking and MutexLock can be used
|
|
|
|
// at the same time on a SafeBinaryMutex.
|
|
|
|
template <int Tag>
|
|
|
|
class MutexLock<SafeBinaryMutex<Tag>> {
|
|
|
|
friend class ConditionVariable;
|
|
|
|
|
|
|
|
std::unique_lock<std::mutex> lock;
|
|
|
|
|
|
|
|
public:
|
|
|
|
_ALWAYS_INLINE_ explicit MutexLock(const SafeBinaryMutex<Tag> &p_mutex) :
|
2023-02-21 01:57:31 +08:00
|
|
|
lock(p_mutex.mutex) {
|
2023-03-05 08:09:18 +08:00
|
|
|
SafeBinaryMutex<Tag>::count++;
|
|
|
|
};
|
|
|
|
_ALWAYS_INLINE_ ~MutexLock() {
|
|
|
|
SafeBinaryMutex<Tag>::count--;
|
|
|
|
};
|
2014-02-10 09:10:30 +08:00
|
|
|
};
|
|
|
|
|
2020-03-08 07:06:57 +08:00
|
|
|
using Mutex = MutexImpl<std::recursive_mutex>; // Recursive, for general use
|
|
|
|
using BinaryMutex = MutexImpl<std::mutex>; // Non-recursive, handle with care
|
|
|
|
|
|
|
|
extern template class MutexImpl<std::recursive_mutex>;
|
|
|
|
extern template class MutexImpl<std::mutex>;
|
2020-03-17 14:33:00 +08:00
|
|
|
extern template class MutexLock<MutexImpl<std::recursive_mutex>>;
|
|
|
|
extern template class MutexLock<MutexImpl<std::mutex>>;
|
2020-03-08 07:06:57 +08:00
|
|
|
|
2020-03-25 18:10:34 +08:00
|
|
|
#endif // MUTEX_H
|