在《161204_Mastering_the_FreeRTOS_Real_Time_Kernel-A_Hands-On_Tutorial_Guide.pdf》中的原文:
Even though mutexes and binary semaphores share many characteristics, the scenario shownin Figure 63 ( where a mutex is used for mutual exclusion) is completely different to that shownin Figure 53 ( where a binary semaphore is used for synchronization). The primary differenceis what happens to the semaphore after it has been obtained: A semaphore that is used for mutual exclusion must always be returned.