Cтраница 1
Процедуры программы, которые обеспечивают функцию контрольной точки не бесплатны. На определенных этапах слияния необходимо представить некоторое количество памяти для представления данных. Необходимо время для подготовки устройств и записи управляющей информации. В большинстве пакетов пользователь может либо удалить функцию контрольной точки, либо специально указать, чтобы она была включена. В OS / 360 - 370 SM-23 ключевое слово СКРТ является параметром периода исполнения, вызывающим защиту контрольными точками. Это специальное действие пакета зависит от используемого способа слияния. [1]
Процедура MakeChangesNoChange программы Неиг реализует эту стратегию. Она выполняет испытания, пока определенное число последовательных попыток не даст никаких улучшений. Для каждой попытки подпрограмма вносит случайные изменения в пробное решение, пока после определенного числа изменений не наступит каких-либо улучшений. [2]
Все процедуры программы объединяются между собой процедурой, называемой главной, определяющей последовательность их выполнения. С нее начинается выполнение программы. [3]
Когда модуль или процедура программы на языке проектирования закончены, они должны быть конвертированы в программу на языке программирования. Как указывалось ранее, это означает преобразование каждой операции языка проектирования в комментарий и вставление соответствующих операций языка программирования в текст. Преобразование стандартных конструкций языка проектирования в комментарии, раздвигание этих комментариев для того, чтобы было можно вставить текст на языке программирования, и вставка конструкций языка программирования могут быть выполнены автоматически. [4]
Чтобы исходные тексты процедур программы соответствовали отлаженному текущему коду, рекомендуется перед окончанием диалога внести все накопившиеся изменения, сохранить текущий исходный текст с помощью подкоманды SAVE [ PROCEDURE ( имя) ] и при необходимости повторно протрапслировать с помощью подкоманды RETRANSLATE, получив новый объектный модуль и интерпретируемый текст. [5]
Транслятор обеспечивает выполнение процедур сегментированной программы в том порядке, в котором они были представлены для трансляции, независимо от их номеров сегментов. Программист может предусмотреть другой порядок выполнения с помощью операторов управления последовательностью выполнения процедур. Управление может быть передано любому параграфу любой секции независимо от того, в каком сегменте он находится. Транслятор предусматривает в рабочей программе команды для загрузки и ( или) инициализации сегмента, когда это требуется. [6]
В ходе выполнения заданных процедур программы сортировки создают контрольные точки, позволяющие прервать процесс сортировки или слияния и возобновить его с фиксированной промежуточной точки. [7]
При использовании сегментации раздел процедур программы разбивается на отдельные сегменты, часть из которых не присутствует в основной памяти машины на протяжении всего времени выполнения программы, а вызывается по мере необходимости, занимая в памяти одно и то же место. Таким образом, ограничив количество сегментов в программе, которые должны постоянно находиться в основной памяти, можно выполнить большую программу в выделенной области основной памяти. [8]
С) логически следует из процедур программы. Стало быть, факт э ( 20 2, С) является просто утверждением о проблемной области, которое вытекает из уже имеющихся в программе утверждений. Добавление его к программе, следовательно, ни в коей мере не изменит того, что программа говорит о рассматриваемой задаче, и поэтому не может повлиять на множество вычисляемых с ее помощью решений. [9]
Отдельное окно, доступное всем процедурам программы, выделяется для ее глобальных переменных. [10]
Действие данного метода не прерывает выполнения текущей процедуры программы, т.е. процедура доработает до конца. Данный метод лишь устанавливает признак, который отрабатывает после окончания выполнения процедуры. [11]
На распечатке 9.3 в модуле FileStuff объединены в удобную и простую для использования группу из четырех процедур программы открытая, закрытия и обработки ошибок из модулей Files и Texts. Процедуры FileOpen и TextFileOpen открывают файлы. Процедуры FileClose и TextFileOpen закрывают файлы, открытые процедурами FileOpen и TextFileOpen соответственно. [12]
В приводимых ниже иллюстрациях синтеза логических программ мы принимаем в качестве стандартного метода синтеза вывод процедур: каждая процедура программы логически выводится из заданной полной, непротиворечивой, очевидно правильной спецификации, целиком записанной на языке логики первого порядка. Управление процессом построения вывода основывается на соображениях алгоритмической полезности предпринимаемых шагов, которая оценивается неформально. [13]
Полностью динамическое распределение памяти позволяет иметь единственную сплошную область памяти для всех описанных и рабочих переменных, массивов и процедур программы, а также обеспечивает относительно простой способ обработки рекурсивных процедур. С другой стороны, современные машины обычно имеют несколько индексных регистров, которые существенно облегчают динамическое перераспределение памяти при исполнении программы. По этим причинам на современных машинах часто используют именно динамическое распределение памяти. [14]
Кларк ссылался на нее как на верификацию следования, подчеркивая тем самым, что ее цель состоит в доказательстве того, что процедуры программы являются логическими следствиями ее спецификации. Рассматриваемый как средство либо верификации, либо синтеза программ вывод логических процедур отличается от анализа традиционных программ в том, что ( а) он позволяет избежать решения обременительной задачи, связанной с аксиоматизацией разнородных и сильно зависящих друг от друга машинно-ориентированных программистских конструкций; ( Ь) он позволяет сосредоточить внимание только на логических свойствах алгоритмов, игнорируя все особенности их управления и ( с) он не зависит от целевого утверждения и, следовательно, является нейтральным по отношению к предполагаемому использованию выводимых процедур. Кроме того, концептуальный базис этого метода прост и интуитивно понятен. [15]