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

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

Наличие подпрограмм позволяет вести проектирование приложения сверху вниз, решая сначала глобальные задачи, а потом детализируя каждую из них. Подпрограммы бывают двух типов – процедуры и функции. Процедура выполняет некоторую группу операторов, а функция вдобавок вычисляет некоторое значение и возвращает его в главную программу. В неё же возвращается и поток управления командами программы, причем подпрограмма должна уметь вернуть управление независимо от того, откуда она была вызвана. Вызов подпрограмм может быть вложенным. Чтобы работа программы имела смысл, ей надо получить данные из внешней (вызывающей) программы. Данные передаются в виде параметров или аргументов в виде списка, метод доступа к которому стандартизован и имеет аппаратную поддержку. В микропроцессорах INTELтакой поддержкой является аппаратный стек и команды работы с ним. Подпрограмма может иметь свои собственные локальные переменные, существующие только в интервале времени от входа в подпрограмму до выхода из нее, а также разделять с другими подпрограммами и главной программой доступ к глобальным переменным.

Процесс взаимодействия вызывающей программы и вызываемой подпрограммы состоит из ряда последовательных этапов по следующему протоколу:

Вызывающая программа:

· Подготовить список параметров согласно соглашениям о связях;

· Подготовить для подпрограммы адрес возврата;

· Передать управление в подпрограмму.

Вызываемая подпрограмма:

· Сохранить состояние среды (контекст) вызывающей программы (в некоторых реализациях это действие выполняет операционная система);

· Выделить память для локальных переменных;

· Получить доступ к параметрам;

· Выполнить алгоритм, заложенный в подпрограмму; при необходимости воспользоваться списком параметров, правильно извлекая и изменяя из значения в соответствии с соглашениями о связях;

· Освободить память локальных переменных и восстановить контекст вызывавшей программы;

· Возвратить управление в вызывавшую программу;

Вызывающая программа:

· Воспользоваться результатами работы подпрограммы.

Параметры, передаваемые в подпрограмму в момент её вызова, называются фактическими. Они замещают формальные параметры, указываемые в заголовке подпрограммы. Параметры могут передаваться по адресу (по имени) или по значению. Последние не могут изменить свои значения в вызывающей программе. По адресу передаются изменяемые параметры, а также массивы и структуры. Подпрограммы бывают реентерабельные (или повторновходовые) – это те, которые допускают вызов какой-либо собственной функции изнутри себя самой. Для их написания необходимо соблюдать некоторые правила, например, не использовать локальные переменные. Рекурсивные подпрограммы позволяют делать вызов себя из себя самой (классический пример – рекурсивное определение факториала).

Реализация описанных понятий происходит по-разному в зависимости от архитектуры аппаратных средств и операционной системы. Для микропроцессоров INTELтрадиционным является использование аппаратного стека. Структура информации, соответствующая описанному выше протоколу, дана на следующем рисунке. Она образует «фрейм», или «кадр» стека. Следует помнить, что логический рост стека на данных микропроцессорах происходит «сверху вниз», от больших адресов к меньшим.

Программы и подпрограммы. связь по управлению и по данным - student2.ru

Рис. 1. Структура фрейма вызова подпрограммы

Перед вызовом подпрограммы вызывающая программа записывает адреса или значения параметров в стек. Вызов программы выполняется командой CALL, которая в зависимости от формата вызова (ближний или дальний), помещает в стек адрес возврата в виде регистра IP или пары регистров CS/IP. Вызванная подпрограмма должна сохранить в стеке все регистры, которые она будет использовать и модифицировать, а перед выходом восстановить их. Вызывающая программа после возврата к ней должна освободить место в стеке, занятое списком параметров. Подпрограмма при своей работе извлекает параметры из стека, пользуясь косвенной адресацией с помощью регистра BP. Если параметр передан по адресу, то этот адрес обычно переносится в регистр BX, и доступ к параметру также осуществляется с помощью косвенной адресации. Ниже приводится пример, в котором подпрограмма находит сумму элементов массива. Параметр n – число элементов в массиве – передаётся по значению, а адрес массива и результат в виде суммы – по адресу. Распределение параметров в фрейме подпрограммы смотрите в следующей таблице:

структура фрейма стека

смещение элемента от [BP]	содержимое слова
. . . . . . . . . . . .
+8	значение n
+6	базовый адрес X
+4	адрес sum
+2	IP возврата
	сохранённый BP
-2	сохранённый AX
-4	сохранённый BX
-6	сохранённый CX
-8	сохранённый DX
-10	сохранённый SI
. . . . . . . . . . . .