|
contur2
|
Per-process resource vector used by Banker's safety check. More...
#include <deadlock_detector.h>
Public Attributes | |
| ProcessId | pid = INVALID_PID |
| Process identifier for this allocation row. | |
| std::vector< std::uint32_t > | resources |
| Resource vector indexed by resource type. | |
Per-process resource vector used by Banker's safety check.
Definition at line 15 of file deadlock_detector.h.
| ProcessId contur::ResourceAllocation::pid = INVALID_PID |
Process identifier for this allocation row.
Definition at line 18 of file deadlock_detector.h.
| std::vector<std::uint32_t> contur::ResourceAllocation::resources |
Resource vector indexed by resource type.
Definition at line 20 of file deadlock_detector.h.