Synchronization and Mutual Exclusion

Synchronization facilities are provided through semaphores. The Semaphore object provides the following operations:

Semaphore(char* debugName, int initialValue)

The constructor creates a new counting semaphore having an initial value of initialValue. The string debugName is also associated with the semaphore to simplify debugging.

void P()

Decrement the semaphore's count, blocking the caller if the count is zero.

void V()

Increment the semaphore's count, releasing one thread if any are blocked waiting on the count.