Concurrency control using semaphores and monitors plus deadlock detection, prevention and avoidance.
Open Synchronization and Deadlocks on ExamMaster