![]() |
Contur 2
Educational OS kernel simulator
|
Deadlock detection and prevention utilities. More...
Go to the source code of this file.
Classes | |
| struct | contur::ResourceAllocation |
| Per-process resource vector used by Banker's safety check. More... | |
| class | contur::DeadlockDetector |
| Deadlock detection/prevention helper. More... | |
Namespaces | |
| namespace | contur |
Typedefs | |
| using | contur::ThreadToken = std::uint64_t |
| Host-thread token used by thread-aware deadlock tracking. | |
Deadlock detection and prevention utilities.
Definition in file deadlock_detector.h.