Represents a binary semaphore.

make initial creates a new binary semaphore with count of 1 in case initial is true and count of 0 otherwise.

release semaphore sets the count of the semaphore to 1.

acquire semaphore waits until the count of the semaphore is 1 and then atomically changes the count to 0.

try_acquire semaphore attempts to atomically change the count of the semaphore from 1 to 0.