An invariant numeric reference format is defined in a run-time environment
for both run-time and storage use. A numeric reference to an object
encodes the location of the object as an integral offset from an implicit
machine pointer. In environments where the size of contiguous virtual
memory segments is limited, objects are stored in a number of fixed-size
contiguous chunks in virtual memory called pages. A page-offset numeric
reference includes an offset and a page number, which is used to index a
page map that contains a page pointer to the beginning of the page.
Page-offset numeric references are dereferenced by adding the offset in
the numeric reference to the page pointer obtained from the page map based
on the page number in the numeric reference.
Um formato de referência numérico invariant é definido em um ambiente run-time para o run-time e o uso do armazenamento. Uma referência numérica a um objeto codifica a posição do objeto como um offset integral de um ponteiro implícito da máquina. Nos ambientes onde o tamanho de segmentos contíguos da memória virtual é limitado, os objetos são armazenados em um número de pedaços contíguos fixed-size na memória virtual chamada páginas. Página-desloque a referência numérica inclui um offset e um número de página, que seja usado posicionar um mapa da página que contenha um ponteiro da página ao começo da página. Página-desloque referências numéricas dereferenced adicionando o offset na referência numérica ao ponteiro da página obtido do mapa da página baseado no número de página na referência numérica.