Armus: a framework for dynamic deadlock verification
The framework can perform:
- deadlock detection and periodically monitor a running program for deadlocks
- deadlock avoidance and intercept calls that lead to a deadlock by throwing an exception
There are two known applications of Armus:
Dynamic deadlock verification for general barrier synchronisation
Published in PPoPP15: resources page, download paper, download Coq proofs
Armus is based on the PhD thesis of Tiago Cogumbreiro (Programming Multicores Safely).