Cтраница 4
Сказанное свидетельствует о том, что управление командами в строгом соответствии сярусно-параллельной формой представления программы, полученной в результате ее статического распараллеливания, ведет к недоиспользованию реального параллелизма программ на уровне команд, к простоям вычислительных ресурсов и в конечном счете к замедлению выполнения программ в целом. [46]
Такие системные программы - это обычно блоки аппаратно выполняемых команд независимо от формы представления выполняемой программы пользователя. [47]
В системах программирования с многооконным доступом - средства, позволяющие просматривать в группе выделенных окон текстовые представления программ и данных. [48]
В работе [2] Янов ввел простую абстрактную модель мантийной программы ( под названием схемы программы), основанную на представлении программы в виде конечной линейной последовательности операторов двух типов: вычислительных операторов и операторов условного перехода по одному из двух направлений. Команды перехода, управляющие порядком, в котором выполняются операторы, зависят от значения пропозициональных истинностных функций конечного числа переменных; значения последних ( истина или ложь) могут изменяться при выполнении того или иного вычисления. Ни один из вычислительных операторов и ни одна из булевых функций не интерпретированы ( т.е. их значения или-интерпретация отсутствуют), так что схема программы может быть представлена как семейство машинных программ, каждый член которого является допустимой интерпретацией схемы. Свойства абстрактных схем этого типа не зависят от какой-либо конкретной машины или языка программирования и выполняются в программах, записанных на любом языке, который обладает последовательност-ными и контролирующими характеристиками, предполагаемыми в модели. Основные результаты, полученные Яновым, заключаются в существовании двух алгоритмов: алгоритма, который для любой пары схем устанавливает, представляют ли они при всех интерпретациях одни и те же программы ( т.е. являются эквивалентными) или нет, и алгоритма, переводящего схему в эквивалентную ей простую каноническую форму. [49]