Команда - проверка
Cтраница 2
При этом способе запуск и дальнейшее управление обменом производятся под управление ЦП при выполнении им команд проверки готовности устройства. При этом внешнее устройство по отношению к ЦП ведет себя пассивно - оно только устанавливает признаки готовности к приему или передаче данных. [16]
Эти нулевые команды предусмотрены - для того чтобы на их место блок Р мог поставить команду проверки условия ( если она требуется) и команду условного перехода. [17]
По мере присвоения условиям знаков операторной связи в первом массиве отыскиваются соответствующие арифметические операторы и в их конце ( на месте нулевых команд) записываются команда проверки условия и команда условного перехода. В некоторых случаях, в зависимости от знака условия и последней ненулевой команды арифметического оператора, команда проверки условия может экономиться. [18]
Работа блока Р состоит в том, что, анализируя логические формулы, он определяет знаки операторной связи, принадлежащие каждому условию, затем просматривает последнюю ненулевую команду оператора, отвечающего этому условию, и в зависимости от кода операции этой команды и знака операторной связи добавляет к оператору команду проверки условия ( если она нужна) и команду условного перехода. После того как вся информация о логическом операторе проанализирована и все команды условного перехода проставлены, блок Р объединяет все части логического оператора в один целый оператор, уничтожая характеристики, стоящие перед этими частями. [19]
При условной передаче данных по программному каналу осуществляется последовательное выполнение групповой команды, состоящей из трех команд ввода-вывода с различными управляющими кодами: подсоединение триггера флага ПУ к шине пропуска при вводе-выводе; проверка состояния готовности ПУ до появления признака флага; пропуск следующей команды ( передачи управления на команду проверки флага); очистка аккумулятора; загрузка данных из ПУ в аккумулятор; запоминание данных из аккумулятора в ОП; очистка триггера флага в ПУ. [20]
При подсчете в индексный регистр, служащий счетчиком, записывается при засылке требуемое количество повторений и после каждого цикла из содержимого регистра вычитается единица. Команда проверки осуществляет условный переход при равенстве индексного регистра нулю и должна содержать, таким образом, номер индексного регистра и адрес лерехода. [21]
При подсчете в индексный регистр, служащий счетчиком, записывается при засылке требуемое количество повторений и после каждого цикла из содержимого регистра вычитается единица. Команда проверки осуществляет условный переход при равенстве индексного регистра нулю и должна содержать, таким образом, номер индексного регистра и адрес перехода. [22]
Логические команды выполняют операции AND ( И), OR ( ИЛИ) и XOR ( исключающее ИЛИ) над двумя операндами. Команда проверки TEST ( вариант команды AND) воздействует только на флаги и не изменяет операнды. Команда NOT выполняет дополнение операнда до единицы. [23]
 |
Программа с использованием масок и логических операций. [24] |
Пусть ячейки 0030 - 0032 хранят маски, а биты 2 и 3 содержимого ячейки 0040 нужно селективно установить, бит 6 - сбросить, а бит 5 - изменить, а затем проверить. После команды проверки ANA M обычно следует команда разветвления. [25]
Как видно из табл. 2.5, в PDP-8 / I предусмотрено две команды перехода ( ветвления), которые требуют наличия действительного адреса. Кроме того, предусмотрено несколько команд проверки, которые осуществляют пропуск по условию, определяемому состоянием накапливающего сумматора или разряда связи. Эти команды имеют формат команды операции, который не позволяет обращаться к памяти. Обычно при проверке условия выполняется команда JMP, так что при отсутствии пропуска произошел бы переход к другой части программы. [26]
При тестировании ДТ в части трансляции команд проверки КУ необходимо учесть наличие в исходной архитектуре инструкций, анализирующих не только отдельные КУ, но и их сочетания. В этом пункте рассматриваются вопросы тестирования правильности трансляции таких инструкций. [27]
По мере присвоения условиям знаков операторной связи в первом массиве отыскиваются соответствующие арифметические операторы и в их конце ( на месте нулевых команд) записываются команда проверки условия и команда условного перехода. В некоторых случаях, в зависимости от знака условия и последней ненулевой команды арифметического оператора, команда проверки условия может экономиться. [28]
Первая операция присвоения A: dynamic typed ( B) в процессе компиляции считается допустимой, поскольку переменной типа dynamic typed может быть присвоено значение любого ссылочного типа. Вторая операция присвоения В: R ref ( A) вызывает включение компилятором в машинный код команд проверки типа во время исполнения программы, которые выполняются следующим образом. Системный тип, закодированный в дескрипторе объекта, адресуемого А, проверяется на совпадение с таким же кодом у В. Если они равны и системный тип не является расширенным типом, то проверка заканчивается успешно. Если же оба типа являются расширенным типом, то выполняются последующие проверки на равенство дескрипторов доступа TDO AD. Один из TDO AD находится в дескрипторе объекта - текущего значения объекта А, а другой TDO AD - это дескриптор доступа к ТОО типа R ref, что является правильным типом для В. [29]
При сравнении с пределом содержимое индексного регистра, выполняющего модификацию адреса, сравнивается с некоторым числом, называемым пределом. Условный переход происходит либо по признаку: содержимое индексного регистра больше предела, либо по признаку: содержимое индексного регистра меньше предела. Команда проверки должна указывать номер ( или адрес) индексного регистра, адрес ( либо непосредственную величину) предела и адрес перехода. [30]
Страницы: 1 2 3