Now that we have #16 and #18, it is extremely important to consider that thrown exceptions will not call xSemaphoreGive(), xSemaphoreGiveRecursive(), or portEXIT_CRITICAL() as the stack unwinds, leaving the IPMC in a deadlock-immanent state.
Upgrade MutexLock to support non-immediate locks and add RecursiveMutexLock and CriticalSection to handle these cases as well. Then convert all existing uses of semaphores and critical sections to use these mechanisms so that the semaphores and critical sections are handled properly as the stack unwinds.
Now that we have #16 and #18, it is extremely important to consider that thrown exceptions will not call
xSemaphoreGive(),xSemaphoreGiveRecursive(), orportEXIT_CRITICAL()as the stack unwinds, leaving the IPMC in a deadlock-immanent state.Upgrade
MutexLockto support non-immediate locks and addRecursiveMutexLockandCriticalSectionto handle these cases as well. Then convert all existing uses of semaphores and critical sections to use these mechanisms so that the semaphores and critical sections are handled properly as the stack unwinds.