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++
