Automatically exported from code.google.com/p/dme-socd2009

Event driven framework for implementing mutual exclusion in distributed systems.

It uses Linux real-time extensions, which allow signals to behave as message queues.

Some algorithms area already implemented: lamport, ricart, singhal, suzuki.