Inspirel banner

Programming Distributed Systems with YAMI4

11.2 Private Memory Partitions

The YAMI4 core library provides its own memory allocator that can work within a given memory block.

The memory allocator included in the core library is used only when the pre-allocated memory block is provided by the user at the time when the agent is created - otherwise, the standard memory allocation scheme is used. This private memory allocator is able to provide two important guarantees: predictability of operation and isolation from other parts of the system.

11.2.1 Predictability

11.2.2 Isolation

11.2.3 Ada

11.2.4 C++