deadlock_detector.h

Go to the documentation of this file.

 
#pragma once
 
#include <cstdint>
#include <memory>
#include <vector>
 
#include "contur/core/types.h"
 
namespace contur {

    struct ResourceAllocation
    {
        ProcessId pid = INVALID_PID;
        std::vector<std::uint32_t> resources;
    };

    class DeadlockDetector
    {
        public:
        DeadlockDetector();
        ~DeadlockDetector();
 
        DeadlockDetector(const DeadlockDetector &) = delete;
        DeadlockDetector &operator=(const DeadlockDetector &) = delete;
        DeadlockDetector(DeadlockDetector &&) noexcept;
        DeadlockDetector &operator=(DeadlockDetector &&) noexcept;

        void onAcquire(ProcessId pid, ResourceId resource);

        void onRelease(ProcessId pid, ResourceId resource);

        void onWait(ProcessId pid, ResourceId resource);

        [[nodiscard]] bool hasDeadlock() const;

        [[nodiscard]] std::vector<ProcessId> getDeadlockedProcesses() const;

        [[nodiscard]] bool isSafeState(
            const std::vector<ResourceAllocation> &current,
            const std::vector<ResourceAllocation> &maximum,
            const std::vector<std::uint32_t> &available
        ) const;
 
        private:
        struct Impl;
        std::unique_ptr<Impl> impl_;
    };
 
} // namespace contur