Expand description
Deadlock detection Deadlock detection and analysis
This module provides automatic detection of deadlocks caused by circular dependencies between tasks waiting on resources (mutexes, channels, etc.).
Structs§
- Deadlock
Cycle - A cycle in the wait-for graph (deadlock)
- Deadlock
Detector - Deadlock detector
- Resource
Id - Unique identifier for a resource (lock, channel, etc.)
- Resource
Info - Information about a resource
- Wait
Edge - An edge in the wait-for graph
Enums§
- Resource
Kind - Type of resource that can be waited on