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

(51)5 С 06 Г 11/2 СУДАРСТВЕННЫЙ КОМИТЕТО ИЗОБРЕТЕНИЯМ И ОТКРЫТИЯМ И ГКНТ СССР ОПИСАНИЕ ИЗОБРЕТЕНИ СВИДЕТЕЛЬСТВУ АВТОРСКО роля, Устройство сод ров, группы блоков эл ментов ИЛИ, дешифр группы блоков элеме ментов И, блок сравн тоа задержки, элем элементов ИЛИ, элем одновибраторов, гру группу блоков сравн контроля зацикливан живает зацикливание ременной. При эт переменная может свое значение, приче извольная. 1 з.п, ф-лы И,Х чук и алимзя нов,,Г,Шев,ик СССР1985,НТРОЛЯ ВЫк вычислительпользованодля ЭВМ. Цельизоверности контпервую и вторую группы элементов ИЛИ 18 и 19, элемент И 20, третий элемент ИЛИ 21, первый и второй элементы 22 и 23 задержки, группу одновибраторов 24, группу регистров 25 сдвига, группу блоков 26 сравнения, четвертый элемент ИЛИ 27, группу блакоэ 28 контроля зацикливания,Блок 28 контроля зацикливания содержит группу триггеров 29, две группы элементов И 30 и 31, группу корреляторов 32 и элемент ИЛИ 33.КоррЕлятор 32 содержит блок 34 вычитания, алак 35 вычисления абсолютно о значения, сумматор 36, регистр 37, блок 38 деления, блок 39 сравнения, блок 40 сравнения, блок 41 сравнения, элемент И 42, элемент 43 задержки,Устройство работает с ющим обратруктурная схепредставлена троля зациклигруппу реэлементов 3, первый вый и втоледу зом,Блок прототип регистре1-26 работаюВ результате5 сдвига гру т так же, как и в их рабаты в каждом ппы записаны по(61) 1357964(54) УСТРОЙСТВО ДЛЯ КОПОЛНЕНИЯ ПРОГРАММ(57) Изобретение относи 1 сяной тех ике и может быть исконтроля хода вычислении вбретения - повышение дасто Изобретение относится к вычислительной технике и может быть использовано дляконтроля хода вычислений в ЭВМ и является дополнительным к оснсвному авт. св,М 1357964.Рель изобретения - повышение достоверности контроля.На ф.1 г.1 представлена сма устройства; на фиг,2 -структурная схема блока конвания,Устройство содержит первуюгистров 1, первую группу блоковИ 2, первый блок элементов ИЛИи второй дешифратары 4 и 5, перрой элементы ИЛИ 6 и 7, вторую группурегистров 8, вторую группу блоков элементов И 9, второй блок элементов ИЛИ 10,группу блоков элементов ИЛИ 11, первую ивторую группы элементов И 12 и 13, блок 14сравнения, первую и вторую группы элементов 15 и 16 задержки, элемент ИЛИ-НЕ 17,гржит группы регистементов И, блоки элеатсры, элементы ИЛИ, нтав ИЛИ, группы элеечия, гругпы элеменент ИЛИ-НЕ, группы енты задержки, группу ппу регистров сдвига, ения, группу блоков ия. Устройство обнаруконтролируемой пеом контролируемая периодически менять м длина периода про- ,2 ил, 16244 о 250 55 следние и значений соответствующей контролируемой переменной. Причем на первоминформационном выходе регистра 25 сдвига группы находится сигнал, соответствующий последнему значению контролируемойвеличины, на втором информационном выходе - предпоследнему значению контролируемой величины и т.д. Если какая-нибудьпеременная зацикливается, то на выходесоответствующео блока 28 контроля зацикливания появляется сигнал, который черезчетвертый элемент ИЛИ 27 подается на выХОд уСтрОйСтеа. РабОта бЛОКа 28 )коНтрО)язацикливания синхронизируется импу 1 ьсом с выхода соответствующего одчовибратора 24,Блок 28 контроля зацикливания работает слерующим образом.Пусть, начиная с некоторого моментавремени, контролируемая переменная Хциклически повторяет свои значения черезК значений. То ость(33)(М 1 1) Х) = Х-к,Заранее глубина цикла К неизвестна.Поэтому зацикливание переменной Х можно определить по равенству нулю следующеЙ суммы Як,Х 1+ кХ 1= 0 (1)1 3) 1 =1.Так как номер,)о, с которого переменнаяначинает зацикливаться, заранее неизве".)ен, то поактически можно определитьтОГЬКО ЗаЧ.ИИЕ СУММЫ Ях1Я, --- ., )Хк ) - Х ), 2)МОкя )О ПРЕООРаЗОВатЬ К ВИДУо =11иЯ= -)хк - х,).1=1",)Пусть задано некоторое число к. Есликонтролируемая переме)ная зацикливается с циклом длиной К, то из (3) следует, что: Я, (4)Этот вывод используется при работеблока контроля зацикливания, в которомпои каждом изменении контролируемои переменной вычисляются значения сумм51 (К =- 1,п) и неравенств (4), Если длякакого-то номера Ко неравенство (4) выполняется и при этом число изменений контролируемой геременной больше око, чтонеобходимо для набора статистики с целью 5 1 С 15 20 25 30 .с д . 0 45 исключения случайно)о срабатывания бпоКа 28, ТО Ча ЗЬХ.)дЕ бЛОКЭ КО Т, О)Ь Зкци,ЛИ еэнк)я появляется сигнап, Для еыч",ь; ния ЯК И ВЫГОЛНЕНИЧ ЧЕРЭЕЕ; Стаа (к СЛУжИт1коррелятор 32,Перед на )алом работы устройства все триггеры группы 29 обнулены, е регисты (памяти) 37 коррелятора загисаны нули,С ПРИХОДОМ ПЕРЕОГО З)ка.,НЬ)Я КОНТРС)- лируемой переменно, с упрзвпяющ-,го входа блока 28 подается с)г ал нэ е 1 иичный вход первого триггера 29 група)., который гГ кроет первые зп. мент- И и".рвай и:тсоой дополнительных групп.При постугпании лодч)оьцего сигала второй триггер груг,пы 29 через отк;)ьпьй элемент И 31-1 будет установлен в единицу, откроет элементы И 30-2 и 31- Кроме тогс, в корреляторе 32-.1 будет сь испено значе- НИЕ 51)Таким образом, при псступлении и-го импульса на вход блока 28 кс) т)опя за),ик пиезния 28 все триГгеры групп.) 29 б,дут установлел). е единицу, а ам корреляторе буцет вычисленс з)юение 8) и1). При поступлении )-гс импульса. г , в коррс плтор;, будут вы) -,.-.) к знач;ичЕСЛИ дпя КаКОГО-О К кк, ПОЛНягтея )Оаввнс гво (4), тс на вь.с, е -, о корр. п тора появится сит ап, к)т рыи через алема.т ИЛИ 33 );.стуита ь). х )д Гпока 28 к,нтрп- "Я ЗаЦИКПИВаик 1 Я.Коррепятг)р Ч 2 Оаботае ск);дую, л 1 з К)рретятор предаз) ачен )рт; - .),чис,.,- ния по формулам Д и (41, Зна,о.,е ум.ы (3) вы испяе,ся ит еративным оп)со)ос, Текущсе значение сул):; 13) х)ъится , р:истр (пам)ти) 37.ПРИ ПпотУПЛО ИИ 1О СИХРСНИЗИГк ) ще) о импульса на управпя) гций вход коррелятора происходит увелкение )а е 1.ни 1 у содержимого счечика, в локг 34 вьч ания еычисляетс. (Х 1 - Х 1-1), е бпоко ььчиспения эбсо,ютного значения 35 -Х, - Х,-), на в )ходе сумматора 36 появпяотс,;), х - х)-), на выходе блока деления 38 -Я) , вычисленное пэ формуле (3) После ЭТОГО СИ)ХОПНИаИР)ОЩИЙ ИМПУПЬС. ЗаДОР" жанный в .а)энте 43 задержки, разрешает перезапись нового значения суммы е р - гистр (памяти) 37, а т:. кже разрешает срабатывание к)ервого и етпоого блоков 39 и 41 сравнения. Если ) .= М, тоа выходе первого блока 39 сравнения пояли)ся сигнал, кроме того, если значечие на выходе Ьщка ".8деления меньше г, то появляется сигнал на выходе второ о бло а 41 сравнения и соотве ,веннз на вь,ходе коррелятора,Предложенное угтройство г,пелназначе го для контроля выполнения вычислений в ЭВЬ, путем обнаружения зацикливания контролируемой переменной, При этом контролируемая переменная может периодически менять свое значение, причем длина периода произвольная,Формула изобретения 1, Устройство для контроля выполнения программ по авт, св, М 1357964, о т л и ч а юш е е с я тем, чтс, с целью повышения достоверности контроля, в него дополнительно введены руппа блаког, контроля зацикливания, группа одчовибратороа, группа регистров сдвига, группд блоков сравнения, четвертый элемент ИЛИ, причем входы одновибраторов группы подключены к соответствующим выходам первого дешифратора, выходы одновиОраторов групгы соединены с управляющими входами соответ твующих блоков - контроля зацикливания и с входами разрешения сдвига соответствующих регистров сдвига группы, группы информационных входов регистров сдвига подключены к группам выходов соответствующих регистров второй группы, первая и вторая группы выходов регистров сдвига группы подключены к первой и второй группам информационь ых входов соответствующих блоков кон кроля зациклизания группы и блоков сравнения группы,выходы блоков сравнения группы соедине ны с первой группой входов че 1 вертого элемента ИЛИ, выходы блоков контроля зацикливания группы соединены с в орой5 гр;:чпой входов четвертого элемента ИЛИ, выход четвертого элемента ИЛИ является выходом ошибки устройства, выход элемента И подключен к входу четвертого элемента ИЛИ,102. Устройство пс п. 1, о т л и ч з ю щ е ес я тем, что блок контроля зацикливания содержит группу триггеров, две группы элементов И, гоуппу корреляторов и элемент 15 ИЛИ, причем. единичный вход первого триггера группы и первый вход 1-го элемента И первой группы= 1,п, п - число контролируемых переменных) подключены к управляющему входу блока, прямой и инверсный 20 выходы 1-го триггера группы соединены соответственно с вторым входом 1-го элемента И первой группы и первым входом )-го элемента И второй группы О =. 1,п), второй вход и выход которого соединены соответ ственно с управляющим входом блока и единичным входом К-го триггера группы (К = =2,п), выход 1-го элемента И первой группы соединен с управляющим входом коррелятора группы, первый и второй инфор мационные входы которого являютсяинформационными входами блока. выход 1- го коррелятора группы подключен к соо 1- ветствующему входу элемента ИЛИ, выход которого является выходом блока.351624462 Ревская дак рре лини ельский комбинат "Патент", г. Ужгор Гагарина, 1 аказ 191 БНИИПИ Государствен 113;1 роизводс венно- з Сосгавитель И СафронТехред М.Моргентал ражо комитета по изобр, Москва, Ж, Рауш Подписноеениям и открытиям при ГКНТ С ая наб,4/5