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:

• JArmus: dynamic deadlock verification for Java.

• Armus-X10: dynamic deadlock verification for X10.

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).