This independent study covers the general theory of synchronization mechanisms in operating systems, discussing critical sections, mutex, semaphores, monitors, and condition variables