Assertion: semaphore | /r/HasProperty | given
Facets:
Source sentences:
text: The semaphore is created in the ’empty’ state, meaning the semaphore must first be given using the xSemaphoreGive() API function before it can subsequently be taken (obtained) using the xSemaphoreTake() function.
text: Let S be an integer variable, our semaphore, then the classical definition of wait is given by