deadlock-detection topic

List deadlock-detection repositories

MemoScope.Net

685
Stars
74
Forks
Watchers

Dump and analyze .Net applications memory ( a gui for WinDbg and ClrMd )

lockbud

353
Stars
20
Forks
Watchers

Statically detect Rust deadlocks bugs

dingo-hunter

313
Stars
27
Forks
Watchers

Static analyser for finding Deadlocks in Go

gdb-automatic-deadlock-detector

69
Stars
13
Forks
Watchers

Script adds new command to GDB which allows automatically detect C/C++ thread locking and deadlocks in GDB debugger

BankersAlgorithm

22
Stars
25
Forks
Watchers

:vertical_traffic_light: Dijkstra's famous algorithm

simpledbm

52
Stars
11
Forks
Watchers

SimpleDBM is an Open Source Multi-Threaded Embeddable Transactional Database Engine in Java.

cppguard

44
Stars
2
Forks
Watchers

C++ developer tool for detecting deadlocks

pg-lock-tracer

131
Stars
15
Forks
Watchers

A eBPF based lock tracer for the PostgreSQL database

locklib

20
Stars
1
Forks
Watchers

When there are not enough locks from the standard library

BugInsight

54
Stars
2
Forks
Watchers

A memory leak and deadlock finder for C, C++