Assertion: semaphore's use | /r/CapableOf | provide mutual exclusion
Facets:
Source sentences:
text: The use of shared memory and an atomic test-and-set instruction provide the mutual exclusion.