Synchronization: Semaphore Used to co-ordinate accesses to shared resources such as memory or hardware by asynchronous entities, modeled as CONDITION sub type. Supported with special operators: get(SEM1) (gt!) release(SEM1) (rl!) The actual implementation of those operators is defined in the OSI. Note: Once defined as Semaphore, the condition can no longer be used as a regular condition.
Used to co-ordinate accesses to shared resources such as memory or hardware by asynchronous entities, modeled as CONDITION sub type. Supported with special operators:
The actual implementation of those operators is defined in the OSI.