Assertion: funnel | /r/HasProperty | mutual exclusion
Facets:
Source sentences:
text: A funnel is a mutual exclusion (mutex) mechanism that prevents more than one thread from accessing certain kernel resources at the same time.