Assertion: binary semaphore | /r/ObjectUse | used for synchronization
Facets:
value: between interrupt
type: TEMPORAL
value: between tasks
type: TEMPORAL
Source sentences:
text: From the above example, it can be said that binary semaphore is used for synchronization between tasks or between tasks and interrupt.
text: A binary semaphore used for synchronization does not need to be ‘given’ back after it has been successfully ‘taken’ (obtained).