Description
Defines the representation contract shared by caller-owned allocation algorithms. Stored allocator state contains only fixed-width scalar values and payload bytes; a Region_View's native address belongs only to the local attachment and is never copied into its backing bytes. Linking this hierarchy has no scheduler, timer, or allocation side effect. Every attached structure view caches a persisted initialization epoch. Reinitializing an extent advances that epoch, so an older local view fails closed instead of applying cached geometry to replacement bytes. If out-of-band corruption destroys the epoch itself, recovery Initialize treats the bytes as fresh; all earlier views must first be retired.
Busy_Error
Busy_Error : exception;
Byte_Count
type Byte_Count is new Interfaces.Unsigned_64;
Handle_Error
Handle_Error : exception;
Layout_Error
Layout_Error : exception;
Null_Offset
Null_Offset : constant Region_Offset := 0;
Open_Result
type Open_Result is (Initialized_New, Attached_Existing, Initialization_In_Progress);
Enumeration literals
- Initialized_New
- Attached_Existing
- Initialization_In_Progress
Poison_Error
Poison_Error : exception;
Region_Error
Region_Error : exception;
Region_Offset
type Region_Offset is new Interfaces.Unsigned_64;
Region_View
type Region_View is limited private;
Timeout_Error
Timeout_Error : exception;
Wait_Timeout
subtype Wait_Timeout is Duration range 0.0 .. 86_400.0;