post: mutex vs. binary semaphore