StuBS
IPC Subsystem

The IPC subsystem provides a synchronization interface for the thread abstraction level. This synchronization includes synchronization between threads (semaphores), as well as with their surroundings (bells).