Module deadlock

Module deadlock 

Source
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§

DeadlockCycle
A cycle in the wait-for graph (deadlock)
DeadlockDetector
Deadlock detector
ResourceId
Unique identifier for a resource (lock, channel, etc.)
ResourceInfo
Information about a resource
WaitEdge
An edge in the wait-for graph

Enums§

ResourceKind
Type of resource that can be waited on