mirror of
https://github.com/LadybirdBrowser/ladybird.git
synced 2024-11-26 17:40:27 +00:00
815d39886f
Tag methods at where not obvserving the return value is an obvious error with [[nodiscard]] to catch potential future bugs.
190 lines
5.1 KiB
C++
190 lines
5.1 KiB
C++
/*
|
|
* Copyright (c) 2020, Andreas Kling <kling@serenityos.org>
|
|
* All rights reserved.
|
|
*
|
|
* Redistribution and use in source and binary forms, with or without
|
|
* modification, are permitted provided that the following conditions are met:
|
|
*
|
|
* 1. Redistributions of source code must retain the above copyright notice, this
|
|
* list of conditions and the following disclaimer.
|
|
*
|
|
* 2. Redistributions in binary form must reproduce the above copyright notice,
|
|
* this list of conditions and the following disclaimer in the documentation
|
|
* and/or other materials provided with the distribution.
|
|
*
|
|
* THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS"
|
|
* AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
|
|
* IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE
|
|
* DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT HOLDER OR CONTRIBUTORS BE LIABLE
|
|
* FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
|
|
* DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR
|
|
* SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER
|
|
* CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY,
|
|
* OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
|
|
* OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
|
|
*/
|
|
|
|
#pragma once
|
|
|
|
#include <AK/Atomic.h>
|
|
#include <AK/Types.h>
|
|
#include <Kernel/Arch/i386/CPU.h>
|
|
#include <Kernel/Forward.h>
|
|
|
|
namespace Kernel {
|
|
|
|
template<typename BaseType = u32>
|
|
class SpinLock {
|
|
AK_MAKE_NONCOPYABLE(SpinLock);
|
|
AK_MAKE_NONMOVABLE(SpinLock);
|
|
|
|
public:
|
|
SpinLock() = default;
|
|
|
|
ALWAYS_INLINE u32 lock()
|
|
{
|
|
u32 prev_flags;
|
|
Processor::current().enter_critical(prev_flags);
|
|
while (m_lock.exchange(1, AK::memory_order_acquire) != 0) {
|
|
Processor::wait_check();
|
|
}
|
|
return prev_flags;
|
|
}
|
|
|
|
ALWAYS_INLINE void unlock(u32 prev_flags)
|
|
{
|
|
ASSERT(is_locked());
|
|
m_lock.store(0, AK::memory_order_release);
|
|
Processor::current().leave_critical(prev_flags);
|
|
}
|
|
|
|
[[nodiscard]] ALWAYS_INLINE bool is_locked() const
|
|
{
|
|
return m_lock.load(AK::memory_order_relaxed) != 0;
|
|
}
|
|
|
|
ALWAYS_INLINE void initialize()
|
|
{
|
|
m_lock.store(0, AK::memory_order_relaxed);
|
|
}
|
|
|
|
private:
|
|
AK::Atomic<BaseType> m_lock { 0 };
|
|
};
|
|
|
|
class RecursiveSpinLock {
|
|
AK_MAKE_NONCOPYABLE(RecursiveSpinLock);
|
|
AK_MAKE_NONMOVABLE(RecursiveSpinLock);
|
|
|
|
public:
|
|
RecursiveSpinLock() = default;
|
|
|
|
ALWAYS_INLINE u32 lock()
|
|
{
|
|
auto& proc = Processor::current();
|
|
FlatPtr cpu = FlatPtr(&proc);
|
|
u32 prev_flags;
|
|
proc.enter_critical(prev_flags);
|
|
FlatPtr expected = 0;
|
|
while (!m_lock.compare_exchange_strong(expected, cpu, AK::memory_order_acq_rel)) {
|
|
if (expected == cpu)
|
|
break;
|
|
Processor::wait_check();
|
|
expected = 0;
|
|
}
|
|
m_recursions++;
|
|
return prev_flags;
|
|
}
|
|
|
|
ALWAYS_INLINE void unlock(u32 prev_flags)
|
|
{
|
|
ASSERT(m_recursions > 0);
|
|
ASSERT(m_lock.load(AK::memory_order_relaxed) == FlatPtr(&Processor::current()));
|
|
if (--m_recursions == 0)
|
|
m_lock.store(0, AK::memory_order_release);
|
|
Processor::current().leave_critical(prev_flags);
|
|
}
|
|
|
|
[[nodiscard]] ALWAYS_INLINE bool is_locked() const
|
|
{
|
|
return m_lock.load(AK::memory_order_relaxed) != 0;
|
|
}
|
|
|
|
[[nodiscard]] ALWAYS_INLINE bool own_lock() const
|
|
{
|
|
return m_lock.load(AK::memory_order_relaxed) == FlatPtr(&Processor::current());
|
|
}
|
|
|
|
ALWAYS_INLINE void initialize()
|
|
{
|
|
m_lock.store(0, AK::memory_order_relaxed);
|
|
}
|
|
|
|
private:
|
|
AK::Atomic<FlatPtr> m_lock { 0 };
|
|
u32 m_recursions { 0 };
|
|
};
|
|
|
|
template<typename LockType>
|
|
class NO_DISCARD ScopedSpinLock {
|
|
|
|
AK_MAKE_NONCOPYABLE(ScopedSpinLock);
|
|
|
|
public:
|
|
ScopedSpinLock() = delete;
|
|
ScopedSpinLock& operator=(ScopedSpinLock&&) = delete;
|
|
|
|
ScopedSpinLock(LockType& lock)
|
|
: m_lock(&lock)
|
|
{
|
|
ASSERT(m_lock);
|
|
m_prev_flags = m_lock->lock();
|
|
m_have_lock = true;
|
|
}
|
|
|
|
ScopedSpinLock(ScopedSpinLock&& from)
|
|
: m_lock(from.m_lock)
|
|
, m_prev_flags(from.m_prev_flags)
|
|
, m_have_lock(from.m_have_lock)
|
|
{
|
|
from.m_lock = nullptr;
|
|
from.m_prev_flags = 0;
|
|
from.m_have_lock = false;
|
|
}
|
|
|
|
~ScopedSpinLock()
|
|
{
|
|
if (m_lock && m_have_lock) {
|
|
m_lock->unlock(m_prev_flags);
|
|
}
|
|
}
|
|
|
|
ALWAYS_INLINE void lock()
|
|
{
|
|
ASSERT(m_lock);
|
|
ASSERT(!m_have_lock);
|
|
m_prev_flags = m_lock->lock();
|
|
m_have_lock = true;
|
|
}
|
|
|
|
ALWAYS_INLINE void unlock()
|
|
{
|
|
ASSERT(m_lock);
|
|
ASSERT(m_have_lock);
|
|
m_lock->unlock(m_prev_flags);
|
|
m_prev_flags = 0;
|
|
m_have_lock = false;
|
|
}
|
|
|
|
[[nodiscard]] ALWAYS_INLINE bool have_lock() const
|
|
{
|
|
return m_have_lock;
|
|
}
|
|
|
|
private:
|
|
LockType* m_lock { nullptr };
|
|
u32 m_prev_flags { 0 };
|
|
bool m_have_lock { false };
|
|
};
|
|
|
|
}
|