Deadlock prevention for multi-AI-agent systems -extends Dijkstra’s Banker’s Algorithm with progress monitoring, delegation cycle detection, and adaptive demand estimation.
AgentGuard is a library that brings formal deadlock prevention to multi-AI-agent systems by extending Dijkstra’s Banker’s Algorithm with three novel subsystems: Progress Monitor for silent stall detection, Delegation Tracker for authority cycle prevention, and Adaptive Demand Estimator for runtime resource pattern learning.