結果 : is mutex a binary semaphore