Assertion: semaphore's fairness | /r/HasProperty | compromised
Facets:
Source sentences:
text: Fairness and safety are likely to be compromised (which practically means a program may behave slowly, act erratically, hang or crash) if even a single process acts incorrectly.