Устройство для контроля выполнения программ

 

.Изобретение относится к вычислительной технике и может быть использовано для контроля хода в 1числений в ЭВМ. Целью изобретения является повышение достоверности контроля. Устройство содержит группы регистров ,11, группы блоков элементов И 2, 12, блоки элементов ИЛИ 3,14, дешифраторы 4, 5, группы элементов И 7, 20, вторую группу элементов ШШ 8, группы элементов 9, 13 задержки, группу блоков элементов ШШ 10, блок 15 сравнения, элементы ИЛИ 16-18, элементы 19,23 задержки, элемент ШШ- НЕ 21 .. Устройство реализует аппаратно-программный способ контроля хода программ, основанный на проверке допустимости изменения контролируемых переменных. Нарушение условий допустимости изменений контролируемых переменных говорит о том, что в программе произошла ошибка.и ее вьшолнение приведет к неверным результатам. В этом случае должен быть сформирован сигнал ошибки, который необходимо переслать в систему прерывания. .1 ил. i (Л С со 01 со а

СОЮЗ СОВЕТСНИХ

СОЦИАЛИСТИЧЕСКИХ

РЕСПУБЛИК (so 4 С 06 Р 11/28

ОПИСАНИЕ ИЗОБРЕТЕНИЯ

Н ABTOPCMOMV СВИДЕТЕЛЬСТВУ

ГОСУДАРСТВЕННЫЙ КОМИТЕТ СССР

ПО ДЕЛАМ ИЗОБРЕТЕНИЙ И ОТКРЫТИЙ (21) 3942420/24-24 (22) 28.06.85 (46) 07.12.87. Бюл. ¹ 45 (72) В.Ю.Анисимов, А.M.Áàéêîâ, Э.В. Борисов, А. Б. Назаров и В.В.Тищенко (53) 681.3(088.8) (56) Авторское свидетельство СССР № 892446, кл. Н 03 M 13/02, 1981.

Авторское свидетельство СССР № 894713, кл. G 06 F 11/28, 1981. (54) УСТРОЙСТВО ДЛЯ КОНТРОЛЯ ВЫПОЛНЕНИЯ ПРОГРАММ (57) Изобретение относится к вычислительной технике и может быть использовано для контроля хода вычислений в 3ВМ. Целью изобретения является повьппение достоверности контроля.

Устройство содержит группы регистров

1,11, группы блоков элементов И 2, ÄÄSUÄÄ 1357954 А1

12, блоки элементов ИЛИ 3,14, дешифраторы 4, 5, группы элементов И 7, 20, вторую группу элементов ИЛИ 8, группы элементов 9, 13 задержки, группу блоков элементов ИЛИ 10, блок

15 сравнения, элементы ИЛИ 16-18, элементы 19,23 задержки, элемент ИЛИНЕ 21. Устройство реализует аппаратно-программный способ контроля хода программ, основанный на проверке допустимости изменения контролируемых переменных. Нарушение условий допустимости изменений контролируемых переменных говорит о том, что в программе произошла ошибка.и ее выполнение приведет к неверным результатам.

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

1 ил.

135796

Изобретение относится к вычислительнй технике и может быть использовано для контроля хода вычислений в

ЭВМ.

Целью изобретения является повышение Достоверности контроля.

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

I р Рд б.р = р

P — P 7 б р рд

3. р р 8. р .а р (1) 20

4. ° - р

9. р р

5.р=р 10 р .р

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

4 лируемой переменной;

I р — предыдущее значение контролируемой переменной.

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

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

На чертеже приведена функциональная схема предлагаемого устройства.

Устройство для контроля выполне- 45 ния программ содержит первую группу регистров 1, первую группу блоков элементов И 2, первый блок элемен" тов ИЛИ 3, второй 4 и первый 5 дешифраторы, первую группу элементов ИЛИ 50

6, первую группу элементов И 7, вторую группу элементов ИЛИ 8, первую группу элементов 9 задержки, группу блоков элементов ИЛИ 10, вторую группу регистров ll, вторую группу блоков элементов И 12, вторую группу элементов 13 задержки, второй блок элементов ИЛИ 14, блок 15 сравнения, второй 16, третий 17 и первый 18 эле4 2 менты ИЛИ, первый элемент 19 задерж" ки, вторую группу элементов И 20, элемент ИЛИ-HE 21, элемент И 22 и второй элемент 23 задержки.

Устройство работает следующим образом.

При каждом исполнении программы в первую группу регистров 1 из первой группы информационных входов программно заносятся коды вида проверки контролируемых переменных, соответствующих номеру выражения в (1), а во вторую группу регистров

11 из второй группы информационных входов устройства через группу блоков элементов ИЛИ 10 по управляющему сигналу, поступающему через вход записи устройства и группу элементоь

ИЛИ 8 на управляющие входы второй группы регистров ll, программно записываются допустимые значения контролируемых переменных. При проверке правильности изменения контролируемых переменных в соответствующие регист-. ры 11 второй группы записываются начальные значения переменных. В процессе выполнения программы на первую информационную группу входов устройства поступает сигнал, соответствующий текущему значению контролируемой переменной.

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

14 блоков элементов ИЛИ соответственно.

Сигнал, соответствующий коду проверки i-й контролируемой переменной, с группы выходов первого блока элементов KIN 3 поступает на группу вхо1357964

55 дов дешифратора 4. При этом на Т-м выходе, где 1 — код проверки (1

1,10),.дешифратора 4 появляется сигнал. Каждый выход дешифратора соответствует одному из возможных вариантов проверки контролируемых переменных. Каждый четный выход дешиф-; ратора 4 соответствует условиям- проверки правильности изменения контролируемых переменных, а каждая пара выходов соответствует одинаковым логическим операциям проверки контролируемых переменных.

В случае, если код проверки контролируемых переменных равен (2, 4, 6, 8, 10), то с соответствующего выхода дешифратора 4 сигнал через элемент ИЛИ 18 и первый элемент 19 задержки поступает на первые входы элементов И первой группы 7. На второй вход i-ro элемента И 7 первой группы через i-й элемент 9 задержки первой группы с i-ro выхода дешифратора 5 поступает сигнал. При этом на выходе i-ro элемента И 7 первой группы появляется сигнал, который через одноименный элемент ИЛИ 8 группы поступает на управляющий вход соответствующего регистра 11 второй группы, разрешая запись сигнала, соответствующего текущему значению -й контролируемой переменной, который поступает на информационную группу входов i — ro регистра через одно— именную группу элементов ИЛИ 10 блока с четвертой информационной группы входов устройства.

С дешифратора 4 сигнал, соответствующий коду вида проверки, поступает на один из входов первой группы элементов ИЛИ 6, на j ì выходе, где вЂ,номер условия проверки (j=1 5), появляется сигнал, который поступает на второй вход одноименного элемента

И 20 второй группы.

С блока элементов.ИЛИ 14 сигнал, соответствующий в зависимости от кода вида проверки либо допустимому,,либо предыдущему значению контролируемой переменной, поступает на первую группу входов блока 15 сравнения, на вторую группу входов которого через вторую группу элементов 13 задержки, необходимых для синхронизации проверки, с группы входов устройства поступает сигнал, соответствующий текущему значению контролируемой переменной. В результате сравнения

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

Таким образом, на первые входы каждого элемента И 20 второй группы поступают сигналы, соответствующие выполнению условий проверки. Если условия проверки, задаваемые кодом вида проверки, не выполняются, то ни на одном из выходов группы элементов

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

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

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

Устройство для контроля выполнения программ, содержащее первую группу регистров, первую группу блоков элементов И, первый блок элементов

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

l0

ВНИИПИ Заказ 6000/50 Тираж 671 Подписное

Ужгород, ул. Проектная, 4

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

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

ИЛИ второй группы, вход записи устройства соединен с вторыми входами элементов HJIH второй группы, выход каждого элемента ИЛИ второй группы соединен с входом записи соответствующего регистра второй группы, группа входов задания допустимых значений контролируемых переменных устройства соединена с первыми входами соответствующего блока элементов HJIH группы, вьгход каждого блока элементов ИЛИ группы соединен с

5О информационным входом соответствующего регистра второй группы, выход кажого регистра второй группы соединен с первым входом соответствующего блока элементов И второй группы, выходы блоков элементов И второй группы соединены с соответствующими входами второго блока элементов ИЛИ, каждый выход первого дешифратора соединен с вторым входом соответствующе» го блока элементов И второй группы, группа входов задания номера контролируемой переменной устройства соеди-. иена с группой входов первого дешиф-. ратора, группа входов задания текущего значения контролируемой переменной устройства соединена с вторыми входами соответствующих блоков элементов ИЛИ группы и через вторую группу элементов задержки с группой входов первого сравниваемого числа блока сравнения, выходы второго блока элементов ИЛИ соединены с группой входов второго сравниваемого числа блока сравнения, выходы "Больше", "Равно" и "Меньше" которого соединены соответственно с первым входом второго элемента ИЛИ, с вторым вхо- дом второго элемента ИЛИ и с первым входом третьего элемента ИЛИ, выход каждого элемента ИЛИ первой группы соединен с первым входом соответст-,, вующего элемента И второй группы, выход второго элемента ИЛИ, выходы

"Больше", "Равно" и "Меньше" блока сравнения и выход третьего элемента

ИЛИ соединены с вторыми входами соответственно первого второго, третьего, четвертого и пятого элементов

И второй группы, выходы которых соединены с соответствующими входами элемента ИЛИ-НЕ, выход "Равно" бло- . ка сравнения соединен с вторым входом третьего элемента ИЛИ, выход элемента ИЛИ-НЕ соединен с первым входом элемента И, вход опроса уст ройства через второй элемент задержки соединен с вторым входом элемента

И, выход которого является выходом результата контроля устройства.