Deloxide - Deadlock Detection Visualization

Loading visualization...

Step Information

Select a step or use the controls to navigate through the visualization.

Wait-for Graph

The wait-for graph will appear here once resources are being requested.

Thread

Resource

Attempt

Acquired

Released

Spawn

Exit

Deadlock

Developed by Emirhan Tala and Ulaş Can Demirbağ for the Yeditepe University - CSE 336 Operating Systems Practice course.

GitHub Help

How to Use This Visualization

Controls

Previous/Next: Navigate between steps
Play/Stop: Automatically advance through steps
Faster/Slower: Adjust animation playback speed
Reset: Return to the first step

Keyboard Shortcuts

Left Arrow: Previous step
Right Arrow: Next step
Up Arrow: Increase animation speed
Down Arrow: Decrease animation speed
Space: Play/Stop animation
R: Reset to first step

Visualization Legend

The visualization shows threads and resources as nodes, with different types of relationships between them:

Thread Nodes: Shown as circles labeled with the thread ID (T{id})

Resource Nodes: Shown as circles labeled with the resource ID (R{id})

Attempt: A thread is attempting to acquire a resource

Acquired: A thread has successfully acquired a resource

Released: A resource has been released

Spawn: A thread is created or a resource is generated

Exit: A thread exits or a resource is dropped

Deadlock: A circular wait condition has been detected

Wait-for Graph

The wait-for graph shows which threads are waiting for resources held by other threads. When a cycle appears in this graph, a deadlock has been detected.

Share This Visualization

Use the link below to share this visualization with others:

Link copied to clipboard!

Upload Deadlock Log File

Drag and drop a single Deloxide log file here to load automatically

Step Information

Wait-for Graph

How to Use This Visualization

Controls

Keyboard Shortcuts

Visualization Legend

Wait-for Graph

Share This Visualization

Upload Deadlock Log File

Log Content Preview