Skip to content

Latest commit

 

History

History
14 lines (11 loc) · 696 Bytes

README.md

File metadata and controls

14 lines (11 loc) · 696 Bytes

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.