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