21.3. При этом, поскольку производится обращение к процедуре

Маrk, освобождается память, выделенная под все указатели.

Примечание: Выполнение процедуры Rеleаsе(НеаpОrg) пол-

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

ти, поскольку переменная НеаpOrg указывает на нижнюю грани-

B.Pascal 7 & Objects/LR - 353 -

цу динамически распределяемой области.

HeapEnd ──>┌──────────────────────────┐ Верхняя граница

│ │ памяти

│ │

│ │

│ │

│ │

│ │

HeapPtr ──>├──────────────────────────┤

│ содержимое Ptr2^ │

Ptr2 ──>├──────────────────────────┤

│ содержимое Ptr1^ │

Ptr1 ──>└──────────────────────────┘ Нижняя граница памяти

Рис. 21.3 Схема динамически распределяемой области при вы-

полнении процедуры Rеleаsе(P).

Применение процедур Маrk и Rеlеаsе для освобождения памяти,

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

затели, выполняемое в порядке, в точности обратном порядку выде-

ления памяти, весьма эффективно. Однако в большинстве программ

имеется тенденция в более случайному выделению и освобождению па-

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

ся указатели, что влечет за собой необходимость использования бо-

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

мощью процедур Dispose и FrееMem. Эти процедуры позволяют в любой

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

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

Когда с помощью процедур Dispose и FrееМем освобождается па-

мять, отведенная для динамической переменной, не являющаяся "са-

мой верхней" переменной в динамически распределяемой области, то

динамически распределяемая область становится фрагментированной.

Предположим, что выполнялась та же последовательности операторов,

что и в предыдущем примере. Тогда после выполнения процедуры

Dispose(Ptr3) в центре динамически распределяемой области памяти

образуется незанятое пространство ("дыра"). Это показано на Рис.

21.4.

B.Pascal 7 & Objects/LR - 354 -

HeapEnd ──>┌──────────────────────────┐ Верхняя граница

│ │ памяти

│ │

HeapPtr ──>├──────────────────────────┤

│ содержимое Ptr5^ │

Ptr5 ──>├──────────────────────────┤

│ содержимое Ptr4^ │

Ptr4 ──>├──────────────────────────┤

│▒▒▒▒▒▒▒▒▒▒▒▒▒▒▒▒▒▒▒▒▒▒▒▒▒▒│

│▒▒▒▒▒▒▒▒▒▒▒▒▒▒▒▒▒▒▒▒▒▒▒▒▒▒│

├──────────────────────────┤

│ содержимое Ptr2^ │

Ptr2 ──>├──────────────────────────┤

│ содержимое Ptr1^ │

Ptr1 ──>└──────────────────────────┘ Нижняя граница памяти

Рис. 21.4 Создание незанятой области ("дыры") в динамически

распределяемой области памяти.

Если в данный момент выполняется процедура New(Ptr3), то это

опять приведет к выделению той же области памяти. С другой сторо-

ны, выполнение процедуры Dispose(Ptr4) увеличит размер свободного

блока, так как Ptr3 и Ptr4 были соседними блоками (см. Рис.

21.5).

HeapEnd ──>┌──────────────────────────┐ Верхняя граница

│ │ памяти

│ │

HeapPtr ──>├──────────────────────────┤

│ содержимое Ptr5^ │

Ptr5 ──>├──────────────────────────┤

│▒▒▒▒▒▒▒▒▒▒▒▒▒▒▒▒▒▒▒▒▒▒▒▒▒▒│

│▒▒▒▒▒▒▒▒▒▒▒▒▒▒▒▒▒▒▒▒▒▒▒▒▒▒│

│▒▒▒▒▒▒▒▒▒▒▒▒▒▒▒▒▒▒▒▒▒▒▒▒▒▒│

│▒▒▒▒▒▒▒▒▒▒▒▒▒▒▒▒▒▒▒▒▒▒▒▒▒▒│

├──────────────────────────┤

│ содержимое Ptr2^ │

Ptr2 ──>├──────────────────────────┤

│ содержимое Ptr1^ │

Ptr1 ──>└──────────────────────────┘ Нижняя граница памяти

Рис. 21.5 Увеличение размера незанятого блока памяти.

В конечном итоге выполнение процедуры Dispose(Ptr5) приведет

сначала к созданию незанятого блока большего размера, а затем

НеаpPtr переместится в более младшие адреса памяти. Поскольку

последним допустимым указателем теперь будет Ptr2 (см. Рис.