SU1522215A2 - Устройство дл контрол выполнени программ - Google Patents

Abstract

Изобретение относитс  к вычислительной технике, может быть использовано дл  контрол  хода вычислений в ЭВМ и  вл етс  усовершенствованием изобретени  по а.с. N1357964. Цель изобретени  - повышение достоверности контрол . В устройство дополнительно введены группа одновибраторов, группа регистров сдвига, группа блоков сравнени , элемент ИЛИ. При смене номера контролируемой переменной на выходе дешифратора 5 формируетс  сигнал логической единицы, который запускает соответствующий одновибратор 24. По сигналу одновибратора производ тс  сдвиг и запись информации в соответствующем ему регистре сдвига 25, что позвол ет осуществл ть контроль цикличности повторени  значени  переменных. 1 ил.

Description

1-1

Изобретение относитс  к вычислительной технике, может быть использовано дл  контрол  хода вычислений в ЭВМ и  вл етс  дополнительным к основному автоСВо № 1357964,,

Цель изобретени  - повьшение достоверности контрол 

На чертеже представлена структурна  схема устройства дл  контрол  выполнени  программ

Устройство содержит первую группу регистров l-l-l-Hj первую rpjmny блоков элементов И 2-1-2-п, первьш блок элементов ИЛИ 3, второй дешифратор 4jпервьш дешифратор 5, первую группу элементов ИЛИ 6-1-6-п,первую группу элементов И вторую группу элементов ИЛИ 8,-8,, первую группу эле- .ментов задержки 9-1-9-п, группу блоков элементов ИЛИ 10-1-iO-n,вторую группу регистров ll-1-ll-n, вторую группу блоков элементов И 12-1-12-п, вторую группу элементов задержки , второй блок элементов ИЛИ 14, блок 15 сравнени , второй, третьей, и первый элементы ИЛИ 16,17 18, первый элемент задержки 19, вторую группу элементов И 20-l-20-n,элемент ШШ-НЕ 21, элемент. И 22, второй элемент задержки 23, группу одновиб- раторов 24-1 -24 п, группу регистров 25-1-25-п сдвига, группу блоков 26-1-26-п сравнени , четвертый элемент ИЛИ 27

Устройство дл  контрол  вьтолнени программ работает следующим образом,,

Устройство дл  контрол  вьтолнени  программы реализует аппаратно-прог- раммньй способ контрол  хода программ основанный на проверке допустимости изменени  контролируемых переменных, Вьщеленные контролируемые переменные вс кий раз при изменении своего текущего значени  провер ютс  на правильность выполнени  одного из следующих условий:

1о Р РВ 6 2. р-р 7 3„ рьр 8 4. р р9

5о р Рд 10 где р

Р Р Р Рд Р ср

Рёрд

Р6 р ,

(1)

-текущее значение контролируемой переменной;

-допустимое значение контролируемой переменной;

-предыдущее значение контролируемой переменной„

Q

5

0

5.

0

5

Услови  (1) позвол ют провер ть правильность хода программы путем сравнени  текущего значени  контролируемой переменной с допустимым либо с предьщущим значением„

Нарушение условий допустимости изменений контролируемых переменных говорит о том, что в программе произошла ошибка и ее выполнение соответственно приведет к неверным резуль- татамо В этом случае должен быть сформирован сигнал ошибки, который необходимо переслать в систему прерьшани .

При каждом исполнении программы в первую группу регистров 1 из первой группы информационных входов программно занос тс  коды вида проверки контролируемых переменных, соответствута- щих номеру выражени  в (1), а во вторую группу регистров 11 из второй группы информационных групп входов ycтpoйcтвa через группу блоков элементов ИЛИ 10 по управл ющему сигналу, поступающему через вход записи устройства и группу элеме.нтов ИЛИ 8,на управл ющие входы второго блока регистров И,программно записываютс  допустимые значени  контролируемых переменных о При проверке правильности изменени  контролируемых переменных в соответствующие регистры второй группы 11 записываютс  начальные значени  переменных, В процессе выполнени  программы на первую информационную группу входов устройства поступает сигнал, соответствующий текущему значению контролируемой переменной.

При этом, на вторую информационную группу входов устройства поступает сигнал, соответствующий номеру контролируемой переменной, а на второй управл ющий вход - сигнал спроса, который соответствует сигналу,вырабатываемому в ЭВМ при изменении содержимого регистра, в котором записываютс  значени  контролируемой переменной Код, соответствующий значению 1-номеру контролируемой переменной (i 1, п), поступает на группу входов дешифратора 5 с второй группы входов устройства. При этом на i-ом выходе про вл етс  сигнал, поступающий в i-ую группу элементов И первого блока 2 и в i-yio группу элементов И второго блока 12, разреша  прохождение сигнала с i-x регистров первой 1 и второй I1 групп на группы входов первого 3 и второго 14 блоков элемен515

,тов или соответственно Сигнал,соответствующий коду проверки i-й контролируемой переменной, с группы выходов первого блока элементов ИЛИ 3 поступает на группу входов дешифратора 4о При этом на 1-ом выходе,где 1 - код проверки (, 10), первого дешифратора 4 по витс  сигнал„Каждый выход дешифратора соответствует одному из возможных вариантов проверки контролируемых переменныхо Каждый четный выход дешифратора 4 соответствует услови м проверки правильности изменени  контролируемых перемен- ных, а кажда  пара выходов соответствует одинаковым логическим операци м проверки контролируемых переменных . В случае, если код проверки контролируемых переменных равен {2, 4, б, 8, lOjf, то с соответствующего выхода дешифратора 4 сигнал через элемент ИЛИ 18 и первый элемент задержки 19 поступает на первые входы элементов И первой группы 7 На вто- рой вход i-ro элемента И первой группы 7 через i-й элемент задержки первой группы 9 с 1-го выхода дешифратора 5 поступит сигнал. При этом на выходе i-ro элемента ИЛИ группы 8 поступит на управл ющий вход соответствующего регистра второй группы 11, разреа1а  запись сигнала, соответствующего текущему значенрпо i-ой контролируемой переменной, который посту- пает на информационную группу входов i-ro регистра через одноименную группу элементов ИЛИ блока 10 с четвертой информационной группы входов устройства , С дешифратора 4 сигнал, соответ ствующий коду вида проверки, поступает на один из входов первой группы элементов ИЛИ 6, на j-м выходе, где j - номер услови  проверки, J 1,5, по витс  сигнал, который поступит на второй вход одноименного элемента И второй группы.20о С блока элементов ЮТИ 14 сигнал, соответствующий в зависимости от кода вида проверки либо допустимому, либо предьщущему значе- нию контролируемой переменной,поступит на первую труппу входов блока I5 сравнени , на вторую группу входов которого через вторую группу элементов задержки 13, необходимых дл  г синхронизации проверки, с группы входов устройства поступит сигнал,соответствующий текущему значению контро- лируемой переменной, В результате

сравнени  на одном из трех выходов блока 15 сравнени  сформируетс  сигнал „ При этом на первом выходе сформируетс  сигнал в. случае, если текущее значение контролируемой переменной будет больше.допустимого (предыдущего ) значени , на втором - в случае равенства сигналов, а на третьем в случае, если текущее значение переменной будет меньше допустимого. Так как первый и второй выходы блока 15 сравнени  подключены к входам элемента ИЛИ 16, а третий и второй выходы блока сравнени  подключены к входам элемента ИЛИ 17, то на выходах элементов ИЛИ 16 и 17 сигнал по витс в случае, если текущее значение контролируемой переменной будет не меньше допустимого (предьодущего) значени либо не больше.

Таким образом, на первые входы канодого элемента И второй группы 20 поступ т .сигналы, соответствующие выполнению условий проверки. Если услови  проверки, задаваемые кодом вида проверки, не вьшолнились, то ни на одном из выходов группы элементов И 20 не будет сформирован сигнал и на выходе элемента ИЛИ-НЕ 21 будет сформирован сигнал ошибки, который поступит на первый вход элемента И 22, на второй вход которого через второй элемент задержки 23 (необходимого дл  синхронизации прихода сигнала со второго управл ющего входа устройства ) поступит сигнал спроса, и на выходе элемента И 22 по витс  сигнал ошибки, который через четвертый элемент ИЛИ 27 и управл ющий выход устройства поступит в систему прерьшаНИЯо

Кроме того, в устройстве осуществл етс  проверка на цикличность повторени  значений переменной. При смене номера контролируемой переменной на соответствующем выходе дешифратора 5 формируетс  сигнал лог. 1,ко- торый запускает соответствующий од- новибратор 24 о По сигналу одновибра- тора 24 производитс  запись и сдвиг информации в соответствующем регистре 25 сдвига. Таким образом, в темпе Опроса переменных значение каждой из них записываетс  и продвигаетс  в регистре 25 сдвига. Блоки 26 сравнивают сигналы на выходах регистров 25 сдвига и если в течение заданного цикла, величина которого определ етс  объемом регистра 25 сдвига, переменна  не изменилась, то на выходе блоков 26 формируетс  сигнал зацикливани  программы, который че-- рез четвертый элемент ИЛИ 27 поступает на выход устройства в систему прерывани о

Claims (1)

1. Формула изобретени 

   Устройство дл  контрол  выполнени  программ по авт.ев о № 1357964, отличающеес  . тем, что, с целью повьшени  достоверности контрол , в него дополнительно введены группа одновибраторов, группа регистров сдвига, группа блоков сравнени  и четвертый элемент,ИЛИ, причем входы

   одновибраторов группы соединены с соответствующими выходами первого дешифратора , в ыходы одновибраторов группы подключены к управл ющим входам соответствующих регистров сдвига группы, информационные входы которых соединены с выходами соответствующих регистров второй группы, выходы регистров сдвига группы подключены к входам соответствующих блоков сравнени , выходы которых соединены с первого по п-й входами четвертого элемента ИЛИ, ()-й вход которого соединен с выходом элемента И, выход четвертого элемента ИЛИ  вл етс  выходом признака з ацикливани  программы устройства