Assertion: set | /r/HasProperty | finished
Facets:
Source sentences:
text: If multiple processes may access the same memory location, and if a process is currently performing a test-and-set, no other process may begin another test-and-set until the first process's test-and-set is finished.