Simple examples about the difference between a binary semaphore and a mutex