Assertion: condition variable | /r/HasProperty | one or more monitors
Facets:
Source sentences:
text: A mutex used by one or more condition variables (one or more monitors) may also be shared with code that does not use condition variables (and which simply acquires/releases it without any wait/signal operations), if those critical sections do not happen to require waiting for a certain condition on the concurrent data.