Distributed Deadlock Detection
Wait-for graph chéo giữa các node tạo thành chu trình deadlock
Phím tắt: ←/→ từng bước · Space tự chạy/tạm dừng
Wait-for graph chéo giữa các node tạo thành chu trình deadlock
Phím tắt: ←/→ từng bước · Space tự chạy/tạm dừng