The behavior of the sem_post function is not clear for a binary semaphore based implementation.
What happens when you call sem_wait after calling sem_post. Will it wo
