MicroC Overview : Time Model and Related Time Operators : Synchronization : Synchronization: Semaphore

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.