Clone wiki

armus / Home

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

Our tool and benchmark data have been evaluated by the Artifact Evaluation Committee of PPoPP '15

Armus is based on the PhD thesis of Tiago Cogumbreiro (Programming Multicores Safely).