Hi,
In TI SYS/BIOS Real-time Operating System v6.x User’s Guide, I found below statemnt.
Binary semaphores provide better performance than counting semaphores.
Do you have some detial data about the performance difference with Binary semaphores vs counting semaphores?