Confusion between mutex and semaphore naming