Assertion: semaphore's implementation | /r/HasProperty | based on the __down_common
Facets:
Source sentences:
text: Before we will consider implementation of the __down_common function, notice that implementation of the down_trylock , down_timeout and down_killable functions based on the __down_common too: