Struct DeadlockChecker 

pub struct DeadlockChecker { /* private fields */ }

A simple graph-based deadlock freedom checker.

Represents the communication graph of a system of sessions and checks for cycles (which would indicate potential deadlocks).

Implementations

impl DeadlockChecker

pub fn new() -> Self

Create a new deadlock checker.

pub fn add_wait( &mut self, channel: impl Into<String>, waiter: impl Into<String>, provider: impl Into<String>, )

Add a wait edge: waiter waits for provider on channel.

pub fn is_deadlock_free(&self) -> bool

Check if the wait graph is cycle-free (deadlock-free).

Trait Implementations

impl Default for DeadlockChecker

fn default() -> Self

Returns the “default value” for a type.