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

 

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

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

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

РЕСПУБЛИК (19) (И) (58 4 G 06 F 11/28

ОПИСАНИЕ ИЗОБР НЩ)

К ABTOPCHQMY СВИДЕТЕЛЬСТВУ

tb

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

ПО ИЗОБРЕТЕНИЯМ И ОТКРЫТИЯМ

ПРИ ГКНТ СССР

1 (61) 1357964 (21) 4378437/24-24 (22) 25.12.87 (46) 15.11.89.Бюл. У 42 (72) В.Ю,Анисимов и Э.В.Борисов (53) 681.3 (088.8) (56) Авторское свидетельство СССР

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

3ВМ и является усовершенствованием изобретения по авт.св. Р 1357964.

Цель изобретения — повышение достоверности контроля. В устройство дополнительно введены группа одновибратора, группа регистров сдвига, группа блоков сравнения, злемент HJIH; При смене номера контролируемой переменной на выходе дешифратора 5 формируется сигнал лог. "1", который запускает соответствующий одновибратор 24.

По сигналу одновибратора производится сдвиг и запись информации в соответствующем ему регистре сдвига 25, что позволяет осуществлять контроль цикличности повторения значения переменных. 1 ил.

1522215

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

| в ЭВМ и является дополнительным к

5 основному авт.св. N- 1357964.

Цель изобретения — повышение дос| товерности контроля.

На чертеже представлена структурная схема устройства для контроля 10 выполнения программ, Устройство содержит первую группу регистров 1-1-1-п первую группу блоков элементов И 2-1-2-п, первый блок элементов ИЛИ 3, второй дешифратор .4 первый дешифратор 5, первую группу элементов ИЛИ б-l-б-п,первую группу элементов И 7 -7, вторую группу элементов ИЛИ 8„-8„, первую группу элементов задержки 9-1-9-п, группу 20 блоков элементов ИЛИ 10-l-10-п вторую группу регистров 11-1-11-п вторую группу блоков элементов И 12-1-12-п, вторую группу элементов задержки

13"1-13-п, второй блок элементов 25 . ИЛИ 14, блок 15 сравнения, второй, третьей, и первый элементы ИЛИ 16,17, I8 первый элемент задержки 19, вторую группу элементов И 20-1-20-п ýëåмент ИЛИ-НЕ 21, элемент И 22, второй элемент задержки 23, группу одновибраторов 24-1-24-п, группу регистров, 25-1-25-и сдвига, группу блоков

26-1-26-и сравнения, четвертый элемент ИЛИ 27.

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

35 программ работает следующим образом. (Устройство для контроля выполнения программы реализует аппаратно-прог40 раммный способ контроля хода программ, основанный на проверке допустимости изменения контролируемых переменных.

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

2. р» р рс р

З.р р 8. p p (1)

4. р>р 9. р р

5. рр„ 10, рс ср, где р — текущее значение контролируемой переменной; р — допустимое значение контроли55

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

Нарушение условий допустимости изменений контролируемых переменных говорит о том, что в программе произошла ошибка и ее выполнение соответственно приведет к неверным результатам. В этом случае должен быть сформирован сигнал ошибки, который необходимо переслать в систему прерывания, При каждом исполнении программы в первую группу регистров 1 из первой группы информационных входов программно заносятся коды вида проверки контролируемых переменных,, соответствующих номеру выражения в (1), а во вторую группу регистров !l из второй группы информационных групп входов .устройства через группу блоков элементов ИЛИ 10 по управляющему сигналу, поступающему через вход записи устройства и группу элементов ИЛИ 8,на управляющие входы второго блока регистров ll,программно записываются допустимые значения контролируемых переменных. При проверке правильности изменения контролируемых переменных в соответствующие регистры второй группы 11 записываются начальные значения переменных, В процессе выполнения программы на первую информационную группу входов устройства поступает сигнал, соответствующий текущему значению контролируемой переменной.

При этом, на вторую информационную группу входов устройства поступает сигнал, соответствующий номеру контролируемой переменной, а на второй управляющий вход — сигнал спроса, который соответствует сигналу,вырабатываемому в ЭВМ при изменении содержимого регистра, в котором записываются значения контролируемой переменной. Код, соответствующий значению

i-номеру контролируемой переменной (i = 1, п), поступает на группу входов дешифратора 5 с второй группы входов устройства. При этом на i-ом выходе проявляется сигнал, поступающий в i-ую группу элементов И первого блока 2 и в i-ую группу элементов.

И второго блока 12, разрешая прохождение сигнала с i-х регистров первой

1 и второй 11 групп на группы входов первого 3 и второго 14 блоков эпемеи1522215 ства. С дешифратора 4 сигнал, соответ-40 ствующий коду вида проверки, поступает на один из входов первой группы элементов ИЛИ б, íà j-и выходе, где — ном с вия и ов ки

50

55,тов ИЛИ соответственно. Сигнал,соответствующий коду проверки i-й контролируемой переменной, с группы выходов первого блока элементов ИЛИ 3 поступает на группу входов дешифратора 4. При этом на 1-ом выходе,где

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

i-го регистра через одноименную группу элементов ИЛИ блока 10 с четвертой информационной группы входов устройер у ло р ер, g 1 5, появится сигнал, который поступит на второй вход одноименного элемента И второй группы.20. С блока элементов

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

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

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

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

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

25 сдвига и если в течение заданного цикла, величина которого опреде1522215 ляется .объемом регистра 25 сдвига, переменная не изменилась, то на выходе блоков 26 формируется сигнал зацикливания программы, который через четвертый элемент ИЛИ 27 поступает на выход устройства в систему прерывания.

Составитель И. Сафронова

Редактор А,Долинич Техред Л. Сердюкова Корректор М. Самборская

Заказ 6964/46 Тираж 668 Подписное

ВНИИПИ Государственного комитета по изобретениям и открытиям при ГКНТ СССР

113035„ Москва, Ж-35, Раушская наб., д. 4/5

Производственно-издательский комбинат "Патент", г.ужгород, ул. Гагарина,101

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

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