Kernel

General

Memory Management

Timing

Multitasking

Synchronization and IPC

Building Blocks

Primitives

  • auto-reset events
  • barriers
  • binary semaphores
  • condition variables
  • counting semaphores
  • exchanges
  • mail
  • manual-reset events
  • monitors
  • mutexes
  • numbers
  • priority mail
  • queues for acquired memory block
  • queues for objects
  • queues for pointers
  • readers-writer locks preferring readers
  • readers-writer locks preferring writers
  • receiving
  • receiving acquired memory blocks
  • receiving objects
  • receiving pointers
  • rendezvous
  • sending
  • sending acquired memory blocks
  • sending objects
  • sending pointers
  • signals
  • sleeping
  • streams
  • streams for acquired memory blocks
  • streams for objects
  • streams for pointers
  • thresholds

Drivers