Synchronization¶ Race condition¶ A semaphore is an integer variable that, apart from initialization, is accessed only through two atomic operations called wait() and signal().