Mutex is now implemented as a wrapper of semaphore.