Intertask Communication in Kernel
Messages
- Message header specifies destination
- Message body contains parameters and resource ids
- Messages written to and read from ports
Counting semaphores
- Bi-level signaling locations
- Used to synchronize inter-task resource sharing
- Example: ensure mutually exclusive memory access
32-bit event flag register may be bound to ports/semaphores