Assertion: semaphore's use | /r/Causes | priority inversions
Facets:
Source sentences:
text: The mutex is much more complex in these cases than a binary semaphore, and using a semaphore in such an instance will cause priority inversions because the task manager is unaware of the priority inversion and cannot act to correct it.