A binary semaphore is like a traffic light. It has two states: green and red. The green state means that it is okay for other traffic (or, in this case, computer processes) to go, and the red state means that the traffic (or processes) need to wait. The semaphore tells whether it is safe to proceed or if it is still important to wait.