deadlock topic
os
:book: Operating Systems - A Friendly Handbook :book: (Open Notes)
mulint
Go lint which detects recursive locks, which may lead to dead locks
rumpsteak
:meat_on_bone: Session types for asynchronous communication between multiple parties.
ddsv-go
A toy deadlock detector written in Go. 🔍
cppguard
C++ developer tool for detecting deadlocks
pg-deadlock-playground
Playground for verifying that queries cannot deadlock
BugInsight
A memory leak and deadlock finder for C, C++
Deadlock-cheat
deadlock-cheat
deadlock deadlock-detection deadlock-free deadlock-avoidance deadlocks deadlock-avoidance-algorithm deadlock-cheat deadlock-aim deadlock-external