Assertion: semaphore | /r/Causes | unbounded priority inversions
Facets:
Source sentences:
text: This is because semaphores may cause unbounded priority inversions (described later).