Region memory management
|Handle to region. More...|
A region provides a handle to temporary memory owned by a space. The memory will be managed in a stack fashion, that is, the memory allocated through a region will be released only after the region is deleted and all other regions created later also have been deleted.
In case a memory request cannot be fulfilled from a space's region, heap memory is allocated and returned to the operating system as soon as the region is deleted.