dead_lock_detector.hpp

// Copyright Take Vos 2021.
// Distributed under the Boost Software License, Version 1.0.
// (See accompanying file LICENSE_1_0.txt or copy at https://www.boost.org/LICENSE_1_0.txt)
 
#pragma once
 
#include "assert.hpp"
#include "architecture.hpp"
#include <vector>
#include <algorithm>
#include <compare>
 
namespace hi::inline v1 {
namespace detail {
 
struct dead_lock_detector_pair {
    void *before;
    void *after;
 
    friend bool operator==(dead_lock_detector_pair const &lhs, dead_lock_detector_pair const &rhs) noexcept = default;
    friend std::strong_ordering
    operator<=>(dead_lock_detector_pair const &lhs, dead_lock_detector_pair const &rhs) noexcept = default;
};
 
} // namespace detail
 
class dead_lock_detector {
public:
    static void *lock(void *object) noexcept;
 
    static bool unlock(void *object) noexcept;
 
    static void remove_object(void *object) noexcept;
 
    static void clear_stack() noexcept;
 
    static void clear_graph() noexcept;
 
private:
    thread_local inline static std::vector<void *> stack;
 
    inline static std::vector<detail::dead_lock_detector_pair> lock_graph;
 
    [[nodiscard]] static void *check_graph(void *object) noexcept;
};
 
} // namespace hi::inline v1