A semaphore is not guaranteed to have atomic operations contains an integer value uses the same accuire$()$ and release$()$ operations as a mutex lock