Assertion: shared variable | /r/HasProperty | atomic
Facets:
Source sentences:
text: Even if the shared variable is atomic, it must be modified under the mutex in order to correctly publish the modification to the waiting thread.