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

(19) (И 11 28 ГОСУДАРСТВЕННЫЙ КОМИТЕТПО ИЗОБРЕТЕНИЯМ И ОТНРЫТИПРИ ГКНТ СССР ПИСАНИЕ ИЗОБРЕТЕНИЯВТОРСКОМУ СВИДЕТЕЛЬСТВУ то- до 42(54) УСТРОЙСТВО ДЛЯ КОННИЯ ПРОГРАММ(57) Изобретение отностельной технике, можетвано для контроля ходаЭВМ и является усовершизобретения по авт.св Цель изобретения - повышение досверности контроля, В устройствополнительно введены группа одновибратора, группа регистров сдвига, группаблоков сравнения, злемент ИЛИ; Присмене номера контролируемой переменной на выходе дешифратора 5 формируется сигнал лог, "1", который запускает соответствующий одновибратор 24По сигналу одновибратора производится сдвиг и запись информации в соответствующем ему регистре сдвига 25,что позволяет осуществлять контрольцикличности повторения значения переменных. 1 ил.Изобретение относится к вычислительной технике, может быть использовано для контроля хода вычисленийв ЭВМ и является дополнительным к5основному авт.св. У 1357964.Цель изобретения - повышение достоверности контроля,На чертеже представлена структурная схема устройства для контроля 10выполнения программ,Устройство содержит первую группурегистров 1-1-1-п, первую группу блоков элементов И 2-1-2-п, первый блокэлементов ИЛИ 3, второй дешифратор.4 первый дешифратор 5, первую группуэлементов ИЛИ 6-1-6-п,первую группуэлементов И 7, -7, вторую группу элементов ИЛИ 8-8, первую группу элементов задержки 9-1-9-п, группу 20блоков элементов ИЛИ 10-1-10-п,вторуюгруппу регистров 11-1-11-п, вторуюгруппу блоков элементов И 12-1-12-п,вторую группу элементов задержки13"1-13-п, второй блок элементов 25ИЛИ 14, блок 15 сравнения, второй,третьей, и первый элементы ИЛИ 16,17,18, первый элемент задержки 19, вторую группу элементов И 20-1-20-п,элемент ИЛИ-НЕ 21, элемент И 22, второйэлемент задержки 23, группу одновиб раторов 24-1-24-п, группу регистров, 25-1-25-и сдвига, группу блоков26-1-26-и сравнения, четвертый элемент ИЛИ 27.Устройство для контроля выполнения35программ работает следующим образом,Устройство для контроля выполненияпрограммы реализует аппаратно-прог 40раммный способ контроля хода программ,основанный на проверке допустимостиизменения контролируемых переменных.Выделенные контролируемые переменныевсякий раз при изменении своего текущего значения проверяются на правильность выполнения одного из следующихусловий:рр 6. р = р2. р р 7, рср3. р:Р 8. р ср (1)4. РР 9р Рд5 о Ркврд 10 о Рср ргде р - текущее значение контролируемой переменной;р - допустимое значение контроли"55Аруемой переменной;р - предыдущее значение контролируемой переменной,Условия (1) позволяют проверять правильность хода программы путем сравнения текущего значения контролируемой переменной с допустимым либо с предыдущим значением.Нарушение условий допустимости изменений контролируемых переменных говорит о том, что в программе произошла ошибка и ее выполнение соответственно приведет к неверным результатам. В этом случае должен быть сформирован сигнал ошибки, который необходимо переслать в систему прерывания,При каждом исполнении программы в первую группу регистров 1 из первой группы информационных входов программно заносятся коды вида проверки контролируемых переменных соответствующих номеру выражения в (1), а во вторую группу регистров 1 из второй группы информационных групп входов .устройства через группу блоков элементов ИЛИ 10 по управляющему сигналу, поступающему через вход записи устройства и группу элементов ИЛИ 8,на управляющие входы второго блока регистров 11,программно записываются допустимые значения контролируемых переменных. При проверке правильности изменения контролируемых переменных в соответствующие регистры второй группы 11 записываются начальные значения переменных, В процессе выполнения программы на первую информационную группу входов устройства поступает сигнал, соответствующий текущему значению контролируемой переменной,При этом, на вторую информационную группу входов устройства поступает сигнал, соответствующий номеру контролируемой переменной, а на второй управляющий вход - сигнал спроса, который соответствует сигналу,вырабатываемому в ЭВМ при изменении содержимого регистра, в котором записываются значения контролируемой переменной. Код, соответствующий значению -номеру контролируемой переменной- 1, п), поступает на группу входов дешифратора 5 с второй группы входов устройства. При этом на -ом выходе проявляется сигнал, поступающий в х-ую группу элементов И первого блока 2 и в -ую группу элементов И второго блока 12, разрешая прохождение сигнала с -х регистров первой 1 и второй 11 групп на группы входов первого 3 и второго 14 блоков эпемеи 1522215ства. С дешифратора 4 сигнал, соответствующий коду вида проверки, поступает на один из входов первой группы элементов ИЛИ б, на -и выходе, гденом с Вия и ов ки 45 50 55,тов ИЛИ соответственно. Сигнал,соответствующий коду проверки х-й контролируемой переменной, с группы выходов первого блока элементов ИЛИ 3поступает на группу входов дешифратора 4. При этом на 1-ом выходе,гдеХ - код проверки (1 = 1, 1 О), первого дешифратора 4 появится сигнал.Каждый выход дешифратора соответствуетодному из возможных вариантов проверки контролируемых переменных, Каждыйчетный выход дешифратора 4 соответствует условиям проверки правильности изменения контролируемых переменных, а каждая пара выходов соответствует одинаковым логическим операциям проверки контролируемых переменных. В случае, если код проверкиконтролируемых переменных равен 2,4, б, 8, 10, то с соответствующеговыхода дешифратора 4 сигнал черезэлемент ИЛИ 18 и первый элемент задержки 19 поступает на первые входыэлементов И первой группы 7, На второй вход х-го элемента И первой группы 7 через х-й элемент задержки первой группы 9 с -го выхода дешифратора 5 поступит сигнал. При этом навыходе -го элемента ИЛИ группы 8поступит на управляющий вход соответствующего регистра второй группы 11,разрешая запись сигнала, соответствующего текущему значению -ой контролируемой переменной, который поступает на информационную группу входов-го регистра через одноименную группу элементов ИЛИ блока 10 с четвертойинформационной группы входов устройер у ло р ер , 1 1,5, появится сигнал, который поступит на второй вход одноименного элемента И второй группы.20. С блока элементов ИЛИ 14 сигнал, соответствующий в зависимости от кода вида проверки либо допустимому, либо предыдущему значению контролируемой переменной, поступит на первую группу входов блока 15 сравнения, на вторую группу входов которого через вторую группу элементов задержки 13, необходимых для с синхронизации проверки, с группы входов устройства поступит сигнал,соответствующий текущему значению контролируемой переменной. В результате 10 15 20 25 30 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 Москва, Ж, Раушская наб., д. 4/5 Производственно-издательский комбинат "Патент", г,ужгород, ул. Гагарина,10 Формула изобретения 10Устройство для контроля выполнения программ по авт,св. У 1357964, о т л и ч а ю щ е е с я . тем, что, с целью повьппения достоверности контроля, в него дополнительно введены 15 группа одновибраторов, группа регистров сдвига, группа блоков сравнения и четвертый элемент,ИЛИ, причем входы одновибраторов группы соединены с соответствующими выходами первого дешифратора, выходы одновибраторов группы подключены к управляющим входамсоответствующих регистров сдвигагруппы, информационные входы которыхсоединены с выходами соответствующихрегистров второй группы, выходы регистров сдвига группы подключены к входам соответствующих блоков сравнения, выходы которых соединены с первого по п-й входами четвертого элемента ИЛИ, (и+1)-й вход которого соединен с выходом элемента И, выход четвертого элемента ИЛИ является выходомпризнака зацикливания программы устройства.