This interface defines platform (machine + OS) dependent types and constants.
INTERFACE------------------------------------------------------------------ heap ---RTMachine ;
CONST
The heap page size used to be machine-dependent, since it could depend on the architecture's VM page size (if VM was TRUE). VM is now always FALSE. Otherwise, 8192 bytes is a reasonable page size. The page size must be a power of two.
BytesPerHeapPage = 8192; (* bytes per page *) LogBytesPerHeapPage = 13; AdrPerHeapPage = BytesPerHeapPage; (* addresses per page *) LogAdrPerHeapPage = LogBytesPerHeapPage;--------------------------------------------------------- thread stacks ---
PointerAlignment = BYTESIZE(INTEGER);
(* The C compiler allocates all pointers on 'PointerAlignment'-byte
boundaries. The garbage collector scans thread stacks, but only
looks at these possible pointer locations. Setting this value
smaller than is needed will only make your system run slower.
Setting it too large will cause the collector to collect storage
that is not free. *)
----------------------------------------------- exception stack walking ---
The FrameInfo type must minimally include fields named pc and sp.
Has_stack_walker = FALSE;
(* Indicates whether this platform supports the stack walking functions
defined in the "RTStack" interface. *)
TYPE FrameInfo = RECORD pc, sp: ADDRESS END;
END RTMachine.