Deadlock prevention testbench
C
Switch branches/tags
Nothing to show
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Failed to load latest commit information.
.gitignore
Makefile
README
lockarena.c

README

LockArena

A small C program to test various deadlock prevention methods.

Suppose you have a program with many threads, many locks, and locks
ordering is unpredictable. You then have no other choice than to either
detect or prevent deadlocks. This small programm reproduce this setting
and let you implement/tests various algorithms.

Build with:

CPPFLAGS=-DNDEBUG make