Partitioning service

The partitioning service of POK isolates code in time and space. Each partition has one or more time slots to execute their code and they are isolated in a memory segment.

Using this design guideline, one partition cannot access the memory of other partitions (and vice-versa). During partitions initialization, POK automatically creates a memory segment for each partition and copy its code into this protected space.

However, partitions can communicate with other partitions using so-called ports. Inter-partitions ports are also supervised by the kernel in order to avoid unallowed communication channel. See section 7.3.4 for more information.

Partitions have time slots to execute their threads. During this execution time, they schedule their threads according to their own scheduling protocol so that partitions can schedule their threads in an independent way. This scheduling strategy is often described as a hierarchical scheduling.