Communication service

Libpok provides two kind of communication services:

• Inter-partition communication which consists in kernel-interfacing functions to use kernel communication ports.
• Intra-partition communication service which provides communication facilities to communicate inside a partition.

In the following, we detail intra-partition communication services.

Intra-partition communication service provides four communication patterns:

1. Buffer : thread send data. New data are queued according to a specific queueing policy. Items are dequeued when a task reads the buffer. We can store several instance of the same data.

   You need to define the POK_NEEDS_BUFFERS maccro to activate this service.

2. Blackboard : a shared memory space to store a data. New instances of the data replace the older value. We can store only one instance of the same data.

   You need to define the POK_NEEDS_BLACKBOARDS maccro to activate this service.

3. Events : are used to synchronized tasks. It corresponds to POSIX mutexes and conditions.

   You need to define the POK_NEEDS_EVENTS maccro to activate this service.

4. Semaphores : counting semaphores, as in the POSIX standard.

   You need to define the POK_NEEDS_SEMAPHORES maccro to activate this service.