Assertion: semaphore | /r/CapableOf | produce classic tocttou problem
Facets:
Source sentences:
text: And then, it produces classic TOCTTOU problem: there is a period of time while semaphore is already either signaled or waited, but FIFO isn't yet modified.