Synchronisation
Race conditions, mutexes, semaphores, deadlock, and strategies for correct concurrent programs.
Concurrent programs share resources and can interfere in subtle ways. This chapter covers race conditions, critical sections, mutexes, semaphores, monitors, and the conditions for deadlock — along with strategies such as lock ordering for avoiding it.