Mutexes/Semaphore page shows an overview of mutexes and semaphores in the kernel. Following figure shows the screen shot of the screen. In order to see mutexes and semaphores, user has to set configQUEUE_REGISTRY_SIZE in FreeRTOS.h and add the mutexes and semaphores to the queue registry by calling vQueueAddToRegistry.
The description of mutex parameters shown in GUI is given below.
MutexName : Friendly name that identifies the mutex
MutexHolder : Current owner of the mutex if acquired
WaitingTasksToTakeMutex : Tasks waiting to take this mutex
The description of semaphore parameters shown in GUI is given below.
SemaphoreName : Friendly name that identifies the semaphore
MaximumCount : Maximum count that can be reached
CurrentCount : Available count that can be used now
WaitingTaskToGiveSemaphore : WaitingTaskToGiveSemaphore
WaitingTaskToTakeSemaphore : Tasks waiting to take this semaphore