Реферат: Распределение памяти

Записи по Хоору

Определение нового типа данных имеет вид

RECORD <идентификатор> ( <компонента>,

<компонента>, . . . , <компонента> )

где каждая компонента имеет вид

<простой тип> <идентификатор>

Причем <простой тип> является одним из основных типов языка -

REAL, INTEGER, POINTER и т.д. Здесь во время компиляции известны

все характеристики всех компонент, включая тип данных, на которые

могут ссылаться указатели. Во время счета не нужны описатели ни

для самой структуры, ни для ее компонент, причем может быть

сгенерирована эффективная программа.

Любая структурная величина с n компонентами может храниться в

памяти в виде:

┌──────────────┬──────────────┬─────────┬──────────────┐

│ Компонента 1 │ Компонента 2 │ ... │ Компонента n │

└──────────────┴──────────────┴─────────┴──────────────┘

Поскольку при компиляции известны все характеристики, то

известен также объем памяти, необходимый для каждой компоненты,

и, следовательно, компилятор знает смещение каждой компоненты

относительно начала структурной величины. Для упрощения сбора

мусора лучше всего присвоить номер каждому типу данных ( включая

типы, определенные программистом) и иметь описатель для каждого

указателя. Описатель будет содержать номер, описывающий тип

величины, на которую в данный момент ссылается указатель.

Память для указателей и их описателей может быть выделена

компилятором в области данных, с которой они связаны; это не

трудно, так как они имеют фиксированную длину. Для хранения

текущих значений структурных величин может быть использована