М.М. ГОРБУНОВ-ПОСАДОВ - Системное обеспечение пакетов прикладных программ (1184225), страница 22
Текст из файла (страница 22)
в них необходимо предусмотреть предложения,задающие в соответствии с принятыми в мониторной системе соглашениямитранслятор, применяемый к данной программной единице, и, возможно,некоторую дополнительную информацию. Все оформленные таким образомпрограммные единицы должны быть включены в часть ДУБНАпосредством предложений INSERT, причем записанное в таком предложениифункциональное имя должно совпадать с именем подпрограммы, хранящейсяв подставляемом на место INSERT архивном модуле.Задачи, порождаемые в результате выполнения пункта EXECUTE,снабжаются «шапкой», в которой печатаются все соответствия вида<функциональное имя> = <архивное имя>, заданные в теле пункта, и списокфункциональных имен транслируемых программных единиц.
Кроме того,распечатываются в алфавитном порядке имена всех модулей, участвующих врасчете. Листинг, выдаваемый вслед за шапкой, представляет собой обычнуюраспечатку мониторной системы Дубна.Модули типа вариант (VARIANT). В расчетах, выполняемых с помощьюсистемы Сафра, используется обычно от 50 до 150 модулей. Явноевыписывание всех необходимых для этого соответствий между функциональными и архивными именами в теле формирующего расчетную задачу пунктаEXECUTE довольно обременительно.
Облегчить формирование варианта,сократив объем задаваемой в пункте EXECUTE информации, позволяетиспользование модулей типа вариант (VARIANT).Дело в том, что обычно от расчета к расчету набор соответствий меняетсялишь незначительно. В этом случае можно выделить общую часть соответствий, оформить ее в виде модуля типа вариант, записать этот модуль в архивСафры и в дальнейшем ссылаться на него в пунктах EXECUTE. Тогда в телепункта EXECUTE явно будет записываться лишь необходимый минимум пар.Ссылка на модуль типа вариант оформляется в пункте EXECUTE в видепредложения INSERT. Текст модуля типа вариант, помимо явных указанийсоответствий между именами посредством MATCH-предложений, можеттакже содержать записанные в виде предложений INSERT ссылки навложенные модули этого типа.
Интерпретация пункта EXECUTE начинаетсяс расширения всех входящих в него предложений INSERT. Результатомрасширения является последовательность MATCH-предложений, которая ииспользуется затем при формировании расчетного варианта.Альтернативные схемы сборки. Рассмотренная выше схема сборкиСафры-БЭСМ-6 в некоторых случаях причиняет прикладному программистуизвестные неудобства. Пусть, например, в некоторое гнездо каркасаподставляется фрагмент алгоритма, содержащий вызов автономнотрнслируемой подпрограмы. Это означает, что в части ДУБНА должносодержаться предложение INSERT с функциональным именем этойподпрограммы. Прикладной программист, вообще говоря, обязан выяснить,присутствует ли в части ДУБНА такое предложение, и если нет, то включитьего туда.Между тем широко известна схема сборки программы, избавляющаяпрограммиста от явного перечисления всех входящих в нее автономнотранслируемых частей.
При этой схеме, которую мы назовем корневой,задается только головной модуль программы, т.е. корень ее дерева вызовов. Впроцессе сборки выявляются все внешние связи головного модуля, и кформируемойпрограммедобавляютсяизбиблиотекимодули,«материализующие» эти связи. Корневая сборка заканчивается, когда всевнешние связи формируемой программы конкретизированы.Каркасный подход к конструированию программ, используемый всистеме Сафра, может столь же успешно базироваться и на корневой схемесборки. Для этого достаточно в процессе конкретизации внешних связейкаждый раз осуществлять переход от функционального имени,фигурирующего в качестве внешнего в вызывающем модуле, к архивномуимени, определяющему ту из нескольких возможных реализации, котораядолжна быть включена в собираемую программу.Тут, по-видимому, содержится и ответ на вопрос, почему и разработчикиштатного системного обеспечения, и прикладные программисты нередкоотказываются от корневой схемы сборки, несмотря на ее очевидныедостоинства.
Он заключается в том, что традиционная реализация корневойсхемы не допускает вмешательства в процесс сборки, не позволяя тем самымосуществлять гибкое управление конфигурацией программы. В Сафреискомая гибкость корневой схемы может быть достигнута за счетрегулярного перехода в процессе сборки от функциональных к архивнымименам.Применить корневую сборку в Сафре-БЭСМ-6 не удалось из-засложностей в организации управляемой серии трансляций в мониторнойсистеме Дубна, однако уже в Сафре-ЕС эта схема сборки была успешнореализована. С точки зрения реализации корневая сборка несколько болеетрудоемка, так как здесь требуется детальное изучение структурыобъектного модуля.Следует отметить, что в Сафре корневая схема накладывает некоторыеограничения на участвующие в сборке модули. Если вызываемыйавтономно транслируемый модуль имеет несколько входов ивызывающему модулю требуется не основной (определяемыйфункциональным именем), а побоч-ный вход, то обращение к побочному входу должно быть предвареноупоминанием основного.
Дело в том, что Сафра не предполагает, что кмоменту начала сборки все участвующие в ней модули оттранслированы (этоповлекло бы за собой выполнение избыточной работы по перетрансляции).Поэтому при сборке (точнее, при поиске вызываемого модуля) можноопираться только на явно заданные атрибуты текстов модулей, а заданиепобочных входов в качестве атрибутов весьма нежелательно.
В то же времянеобходимое здесь предварительное упоминание основного входа являетсяобязательным требованием большинства используемых в рамках Сафрыалгоритмических языков, и поэтому пользователями Сафры рассмотренноеограничение корневой сборки практически не ощущается.Говоря об альтернативных схемах сборки, необходимо упомянуть также,что размер задания, описывающего формируемый вариант программы, можнобыло бы вдвое сократить, указывая в нем вместо пар <функциональное имя><архивное имя> только <архивное имя>.
Нетрудно видеть, что для этогодостаточно сделать функциональное имя обязательным атрибутом каждогохранящегося в архиве Сафры модуля. Такое решение могло бы бытьреализовано и в Сафре-БЭСМ-6, и в Сафре-ЕС, однако ни в том, ни в другомслучае этого сделано не было, поскольку задание пар представляется болеенаглядным.Наконец, можно поставить под сомнение одно из краеугольныхпредположений, положенных в основание Сафры. Почему вновьпоявляющиеся в ходе вычислительного эксперимента модули всегдазаменяют существующие части расчетных программ, а не дополняют их?Например, при исследовании некоторой установки, состоящей из четырехузлов (каждому из которых соответствует моделирующий его поведениефрагмент алгоритма) может быть принято решение добавить еще один, пятыйузел. Конечно же, модель пятого узла дополнит программу, а не заменитсобой какую-либо ее часть.И все же для тех классов задач, к решению которых привлекалась Сафра,такого рода изменения программ требовались сравнительно редко, и для нихне были реализованы соответствующие системные средства.
В то же времявключение подобных средств позволило бы существенно обогатить Сафру,превратив ее в систему поддержки любых развивающихся программ. О том,как могли бы выглядеть средства программирования «вширь», можнопрочитать, например, в [116,117].3.9. Вспомогательные операцииИзменение признака (FLAG). Признак управляющего предложенияпредназначен для выделения управляющих предложений языка заданийпакета.
Введение признака обусловлено тем, что в тексте задания наряду суправляющими предложениями могут встречаться, например, написанныена некотором алгоритмическом языке фрагменты программ, предназначенные для записи в архив. Необходимо иметь возможность просто иэффективно распознавать управляющие предложения без наложенияограничений на используемые языки.В качестве признака управляющего предложения должна выбиратьсятакая комбинация из символов «+», «-», «*», «/» (не более трех), которая невстречается в первых позициях предложений фрагментов программ,содержащихся в этом задании.
Удобнее всего пользоваться признаком,который не может появиться в предложениях программ из-засинтаксических особенностей языка программирования. Например, впервой позиции предложения Фортрана не может встретиться символ «+»,поэтому он обычно используется в качестве признака в заданиях,содержащих фрагменты программ на Фортране.Если же в одном задании нужно записать части программ на различныхязыках, для которых по тем или иным причинам используются различныепризнаки, можно воспользоваться пунктом FLAG вида<признак> FLAGТело пункта FLAG пусто. В качестве признака в пункте FLAG записываетсяпризнак, использовавшийся в непосредственно предшествующих емупунктах задания.
Пункты, следующие за пунктом FLAG, могут иметь другойпризнак, допускаемый синтаксисом языка заданий. В задании можетсодержаться произвольное число пунктов FLAG. Изменение признака послепункта FLAG не обязательно, можно пользоваться старым значением.Следует иметь в виду, что в соответствии с синтаксисом языка. изменитьпризнак внутри тела какого-либо пункта нельзя.Приведем фрагмент протокола задания с использованием пункта FLAG:+С СНАЧАЛА ПРИЗНАКОМ ЯВЛЯЕТСЯ СИМВОЛ "+"+DELETE DUMMY+++++ МОДУЛЬ DUMMY УНИЧТОЖЕН+FLAG+++++ ИЗМЕНЕН ПРИЗНАК: СТАРЫЙ=+ НОВЫЙ=-/-/С ТЕПЕРЬ ПРИЗНАК "-/"-/STORE РАСЧЕТ. . . . . . . . . .
. . . . . . . . . .+++++ НОВЫЙ МОДУЛЬ РАСЧЕТ СОЗДАН-/FLAG-/С ПРИЗНАК НЕ ИЗМЕНИЛСЯ-/ЕУправление печатью протокола (LIST). Задания для системы Сафраобычно достаточно компактны, поэтому, как правило, нет необходимости вуправлении листингом для уменьшения его размеров. Единственнымисключением является случай, когда в задание включаются пункты STORE,предназначенные для записи в архив длинных текстов модулей.
Распечаткатекстов записываемых модулей полезна, если в дальнейшем предполагаетсяподвергнуть их пакетному редактированию с помощью пункта EDIT(предложения тела пункта STORE нумеруются, и именно в терминах этихномеров выполняется впоследствии редактирование). Однако прииспользовании диалогового редактора нет необходимости в распечаткетекстов тел пунктов STORE, и ее можно отключить с помощью пункта LIST.Заголовок пункта LIST имеет вид<признак> LIST <режим>где <режим> принимает значения ON или OFF. Тело пункта LIST пусто.Выполнение пункта с параметром OFF задает отключение режимараспечатки на листинге тел последующих пунктов STORE, с параметромON - включение режима распечатки. В начале задания считаетсявключенным режим ON.
![](https://s.studizba.com/z.php?f=/templates/si/i/noavatar.png&w=100&h=100&t=1"){kind=avatar}
