Занимательные факты о представителях фауны (стр. 29 )

                                                                       Else {Звено с заданным ключом найдено}

                                       Begin

{1}                                        Q := D; {Занесение в Q адреса удаляемого звена (он взят из поля Lev или Prav звена - предшественника)}

                                               If Q^.Prav = Nil        Then {Второй случай удаления}

{4}                                                D := Q^.Lev {Занесение в поле Lev или Prav звена - предшественника удаляемому ссылки

                                                                                        на звено, следующее за удаляемым}

                                                                       Else

                                                       If Q^.Lev = Nil Then {Второй случай удаления}

{5}                                                        D := Q^.Prav {Занесение в поле Lev или Prav звена - предшественника удаляемому ссылки на звено, следующее за удаляемым}

{10}                                                                Else {Третий случай удаления}

                                                               Ud (Q^.Lev) {Вызов процедуры Ud; переход в левое для удаляемой вершины поддерево}

                                       End

End; {Конец процедуры Udder}

В данном примере параметр D оформлен как параметр-переменная процедуры Udder. При рекурсивном вызове процедуры Udder в качестве соответствующего D фактического параметра используется поле Lev (см. оператор {2}) или Prav (см. оператор {3}) того звена, от которого мы перешли к текущему звену (то есть звена-предшественника). Поэтому операторы {4} и {5} обеспечивают занесение в поле Lev или Prav звена-предшественника ссылки на звено, следующее за удаляемым, из удаляемого звена.

Аналогичные пояснения справедливы и для переменной R (R оформлена как параметр-переменная процедуры Ud).

Процедура Ud предназначена для поиска подходящей замещающей вершины, для занесения значений из полей замещающего звена в поля удаляемого звена и для удаления замещающего звена со своего предыдущего места.

содержит схематические пояснения к примеру 7.27 (в привязке к примерам 7.21 и 7.25). Удаляется звено с ключом 50. Замещающее звено – звено с ключом 35.

Номера в фигурных скобках соответствуют номерам операторов в примере 7.27.

Исходное значение D – адрес корня дерева. По оператору {2} осуществляется переход к вершине 20, по оператору {3} – к вершине 50, по оператору {10} – к вершине 30, по оператору {11} – к вершине 35.

Рисунок 7.28  - Схематические пояснения к примеру 7.27

D^.Lev, D^.Lev^.Prav (см.

) соответствуют значению фактического параметра, передаваемому на вход формального параметра D на текущем шаге выполнения программы; Q^.Lev, Q^.Lev^.Prav – значению фактического параметра, передаваемому на вход формального параметра R на текущем шаге выполнения программы.

Выделенные поля звеньев дерева (см.

) представляют собой значения фактического параметра (D^.Lev^.Prav), соответствующего формальному параметру D для удаляемого звена, и фактического параметра (Q^.Lev^.Prav), соответствующего формальному параметру R для замещающего звена.

Для физического удаления удаляемого звена необходимо вместо оператора {4} в процедуре использовать составной оператор

Begin

       D := Q^.Lev;

       Dispose (Q)

End;

а вместо оператора {5} – оператор

Begin

D := Q^.Prav;

Dispose(Q)

End;

Для физического удаления замещающего звена после оператора {9} в процедуре нужно добавить оператор

Dispose (Q).

Раздел 8. Оверлеи

8.1. Общие сведения

После компиляции программы может оказаться, что она слишком большая. В этом случае при запуске программы выдается сообщение типа «Не хватает памяти». Один из выходов в данной ситуации – использование оверлейной технологии составления программ.

       Модуль Overlay – средство для разбиения программы на отдельные части. Суммарный объем этих частей может значительно превышать объем доступной памяти компьютера.

       Оверлейная программа состоит из двух частей – файла с расширением ехе и файла с тем же именем, но с расширением ovr. Ехе-файл содержит постоянную часть программы. Оvr-файл хранит части программы, которые подгружаются в память по мере необходимости. При этом в памяти находятся лишь необходимые в данный момент процедуры и функции. Затем они перекрываются другими оверлейными процедурами и функциями. Оверлейные части программы по очереди ипользуют одну и ту же область памяти. Она называется оверлейным буфером.

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

8.2. Правила оформления оверлейных программ

Паскаль позволяет создавать оверлеи только на уровне модулей, Таким образом, минимальной оверлейной единицей является модуль Unit. При этом программа должна удовлетворять следующим требованиям:

Все оверлейные модули должны быть откомпилированы в состоянии {$O+}.

Опция {$O+} – это глобальная опция «Генерация оверлейного кода» компилятора. По умолчанию она выключена ({$O-}). Использование опции эквивалентно установке пункта меню Options / Compiler / Overlays Allowed в среде языка Паскаль.

Модули, откомпилированные в состоянии {$O+}, могут быть (но не обязательно будут) оверлейными.

Все подпрограммы, прямо или косвенно вызывающие оверлейные подпрограммы, должны быть откомпилированы в состоянии {$F+}. Опция {$F+} – это локальная опция компилятора «Дальний (межсегментный) вызов процедур и функций (Far)». По умолчанию данная опция выключена ({$F-}), что соответствует ее значению «Ближний (внутрисегментный) вызов процедур и функций (Near)».

Для удовлетворения данных требований в начале каждого оверлейного модуля устанавливаются опции {$F+, $O+}, а в начало всех других модулей и главной программы помещается опция {$F+}.

Кроме того, в основной программе в предложении использования Uses необходимо подключить стандартный модуль Overlay и все используемые оверлейные модули. Модуль Overlay должен быть записан перед именами оверлейных модулей.

Затем в основной программе необходимо указать, какие модули из перечисленных в предложении Uses будут оверлейными. Для этого используется локальная директива компилятора {$O <Имя_модуля>} – «Имя оверлейного модуля». Она определяет при компиляции программы, какой из модулей помещается в файл с расширением ovr, а не в файл с расширением ехе.

(Обратите внимание на терминологию. Директива компилятора отличается от опции компилятора тем, что имеет параметр. В качестве параметра может использоваться <Имя_файла>, <Имя_модуля>, размеры (стека, области динамической памяти и т. п.). В опциях используется только ключ (+ или –)).

Директива {$O <Имя_модуля>} помещается в основной программе сразу после предложения использования Uses.

Пример 8.1.

Размещение в основной программе директив и опций.

Program Main;

       {$F+}

       Uses Overlay, Unit1, Unit2;

       {$O Unit1}         

       {$O Unit2}

       ...

       <Текст_программы> 

При компиляции вышеприведенной программы (см. пример 8.1) модули Unit1, Unit2 помещаются в файл <Имя>.ovr, все остальные части программы – в файл <Имя>.ехе. <Имя> у обоих файлов должно быть одним и тем же.

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

Раздел инициализации (если он есть) оверлейного модуля также имеет ограничения:

В нем запрещено включать администратор оверлеев. В нем нельзя производить какие-либо действия до включения администратора оверлеев.

Так как разделы инициализации выполняются до выполнения основной программы, то реализация данных ограничений возможна за счет введения дополнительного неоверлейного модуля. В его разделе инициализации необходимо включить администратор оверлеев. Данный модуль необходимо подключить в предложении Uses основной программы перед оверлейными модулями.