UnDead

UnDead: Detecting and Tolerating Deadlocks in Production Software

Copyright (C) 2017 by Jinpeng Zhou, Sam Silvestro, Hongyu Liu, Yan Cai, and Tongping Liu.

Building UnDead

You can build UnDead (libundead.so) by running make. The default build provides deadlock detection and prevention. Optional flags are provided in the Makefile.

Using UnDead

UnDead is a drop-in library. Thus, you can use Undead by dynamicaly linking to it. E.g., use -rdynamic or set LD_PRELOAD.