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

ОП ИСАНИЕ ИЗОБРЕТЕНИЯ К АВТОРСКОМУ СВИ ЕТЕЛЬСТВУм 842823 Союз Советских Социалистических Республик(22) Заявлено 01.0879 (21) 2822202118-24 С .06 Г 11/30 с присоединением заявки Йо Государственный комитет СССР по делам изобретений н открытийДата опубликования описания 300681 И.П.Барбаш, В;М.Береэинец, Г.Н.Тнмонькнн, С.Н.Ткаченко и В.С.Харченко(71) Заявите ДЛЯ КОНТРОЛЯ ВЫНОЛНЕН ПРОГРАММЫ(54) УСТРОИСТ Изобретение относится к вычислительной технике и используется для контроля правильности выполнения программы работы ЭВМ н других устройств и систем с. программным управлением.Известно устройство для контроля выполнения программы, содержащее последовательно соединенные блок памяти признаков программы, блок сравнения и элемент ИЛИ 11.Недостатком этого устройства являются низкие функциональные возмож" ности; обусловленные отсутстВием . контроля очередности следования моду лей программы.Наиболее близким техническим .ре.шением к предлагаемому изобретению является устройство для контраля выполнения програмьы,содержащее пер- Ж вый блок, памяти признаков програюай, установочный вход которого является установочным входом .устройства, а . группа выходов. соединена с группой входов блока сравнения, ииформацисн ный вход которого является информа" ционным входом устройства, выход соединен со входом первого элемента ИЛИ, группа входов которого подключена к первой группе выходов бло 30 ка оперативной памяти, вторая группа выходов которого соединена сгруппой входов второго элементаИЛИ, выход которого подключен квыходу фНорма устройства, выходБрак ф. которого подключен к выходупервого элемента ИЛИ 2.Недостаткбм указанного устройстваявляется низкая полнота .контроля,которая обусловлена тем, что ононе контролирует ложное повторноевыполнение одного и .того же модуляпрограммы,Цель изобретения - увеличениеполноты контроля.Поставленная цель достигаетсятем, что.устройство для контролявыполнения -программы, содержащеепервый блок памяти признаков прог"раииы, установочный вход которогоявляется установочным входом устройства, а группа выходов соединена сгруппой входов блока сравнения, информационный вход которого является инФормационным входом устройства, выход соединен со входом первого элемента ИЛИ, группа входов которого подключена к первой группе выходов блока оперативной памяти,вторая группа выходов которого соединеиа с.группой входов второго элемента ИЛИ, выход которого подключенк выходу Норма устройства, выход .Брак которого подключен квыходу первого элемента ИЛИ, дополкительно .содержит второй блок памяти признаков программы, третий элемент ИЛИ, группу элементов ИЛИ,первую и вторую, группы элементов И,первый, второй, третий элементы задержки и регистр, информационныевходы которого подключены к выходам группы элементов ИЛИ, перваягруппа входов которой соединена сгруппой выходов второго блока памятипризнаков программы, вторая группавходов - со второй группой выходовблока оперативной памяти, первый управляющий выход устройства подключенк первым входам элементов И первойгруппы, через первый элемент .задержкик первому входу третьего элементаИЛИ и к входу второго элемента задержки, второй управляющий вход устройства соединен с первыми входамиэлементов И второй группы, черезтретий. элемент задержки - со вторымвходом третьего элемента ИЛИ, выходкоторого подключен к группе входовСброс регистра, группа выходовкоторого. соединена со вторыми входами элементов И первой и второй группы, выходы элементов И первой группы,выходы элементов И второй группы ивыход второго элемента задержки соединены соответственно с группамивходов блока оперативной памятиСтираниеф, Запись и Опрос,группа информационных выходов блокасравнения соединена с группой входовпервого блока памяти признаковпрограммы, группой входов строк игруппой входов столбцов блока оперативной памяти,Сущность изобретения состоит в увеличении полноты контРоля путем обнаружения ошибочного повторного включения модулей программы. Для этого в устройстве после поступления очередного модуля фиксируется его номер (признак) и при повторном поступлении выполненного ранее модуля формируется сигнал ошибки. С этой целью группа информационных выходов . блока сравнения соединена с группой входов первого блока памяти признаков программы. Это соединение позво. ляет после первого прихода модуле щ записывать метку в соответствующую ячейку первого блока памяти признаков програьвы и считать мо-.дуль ш в дальнейшем запрещенным, т,е. не входящим в состав модулей контролируемой прогрееаю.Введение второго блока памяти признаков програмьаа позволяет хранить йризнаки Указывающие на последовательность выполнения модулей, я переписывать их затем в блок оперативной памяти.На фиг.1 приведено устройство,функциональная схема; на фиг.2блок оперативной памяти, функциональная схема; на фиг.3 - узел формирования управляющих сигналов в кторый входит часть элементов устройства, предназначенных для выдачисигналов управления на блок оператийной памяти, функциональная схема.10 Функциональная схема (фиг.1) устройства для контроля выполнения программы содержит управляющие входы1 вытирания. и записи 2 информации,узел 3 формирования управляющих сиг 15 налов, блок 4 оперативной памяти,второй элемент ИЛИ 5, выход 6 которого является выходом Норма устройства первый элемент ИЛИ 7, выход 8которого является выходом Бракустройства, установочный вход 9,первый блок 10 памяти признаков программы, информационный вход 11 и. блок 12 сравнения.На фиг.2 обозначены ячейки 4 133-той строки З-того столбца блокаоперативной памяти (3=1,п,и - числомодулей в программе), вход Е 5 Запись -той строки, вход Б, Сти" .рание 3-той строки, вход Ф Опрос 3-той строки, вход М, выборЗО 3-тых строки и столбца блока.На функциональной схеме узлаформирования управляющих сигналов3 (фиг.3) обозначены входы 13,.,13 узла, соединенные с35 выходами столбцов блока 4 оперативной памяти, второй блок 14 памятипризнаков программы 1515 л;группа элементов 1616ИЛИ;регистр 17; вторая й первая группыэлементов 18 ,18 и 19,.узла; третий и первый элементы 21и 22 задержки; третий элемент 23ИЛИ; второй элемент 24 задержки.45 Узел 3 формирования управляющихсигналов предназначен для формирова-:ния сигналов Запись, подаваемыхна соответствующие входы строк блока4, сигналов Опрос и сигналов 5 О Стирание, подаваемых одновремен. но на все вхоДы сгроки блока 4.Поясним назначение элементов уз.- ла. 3 (фиг, 2, 3) . Из второго бг.ока 14 ,памгти признаков программы в режиме 55 Запись Устройства считываютсятребуемые коды зависимостей модулей,которые хранятся регистром 17, Совходов 13 ,.13 П поступают сигналы выголиения соответствующих.модулейкоторые через элементы ИЛИ 16,.60 61 записываются в регистр 17 яиспользуются в режиме Стирание.Элементы И 1.,еее.,18 и И19;,19 предназначены дляФормМРованае сигналов ЗаписьБ ,Б, по сигналам, посту.пающим на входы 2 и 1 соответствен" но. Элемент ИЛИ 23 и элементы 21, 22 задержки позволяют Формировать сигнал сброса регистра 1 после выдачи информации на выход 20. Элемент 24 задержки предназначен для выдачи сигналов Опрос У У1через заданное время после прихода сигнала фСтираниемБлок 4 оперативной памяти служит для хранения информации о зависимос- О ти модулей программы. В столбце, соответствующему модулю щ , записываются единицы в ячейках .строк блока, соответствующих модулей щ ,щ,и ,щ,от которых эависйт щ 15 (после которых выполняется щ)Второй 5 и первый 7 элемейты ИЛИ формирукт сигналы Норма. и фБракф на выходах устоойства 6 и 8 соответ.ственно. 2 ОПервый блок 10 памяти признаков программы предназначен для хранения номеров модулей контролируемой программы и меток выполненных ранее модулей. 25Блок 12 сравнения используется для сравнения номеров модулей, поступающих на вход устройства 11 и храйимых в блоке 10 с учетом значений меток повтора.Устройство функционирует в трех режимах: записи зависимостей модулей (режим Запись), контроля.правильности включения модуля (режим Конт" роль 1) и стирания зависимостей модуля после его выполнения (режимСтирание) .В режиме Запись на вход 11 блока 12 сравнения поступает номер модуля щ;. для которого необходимо записать зависимости,а на вход 2 - 40 сигнал управления. В результате сравнения возбужда тся один из выходов блока 12 и соответствующий столбец М блока 4 оперативной памяти. Узел 3 Формирования управляющих сигналов формирует сигналы Запись 2 на соответствующих модулямфпредшественни" кам модуля щ строках. В результате на пересеченйи возбужденных столбцов и строк записываются единицы.В режиме фКонтрольф проверяется принадлежность модуля выполняемой программе, правильная очередность включения модуля после модулей-предшественников, отсутствие ошибочного повторного включения модуля.Контроль принадлежности модуля выполняемой программе осуществляется путем сравнения блоком 12 номера модуля, поступающего на вход 11 , и номеров, хранящихся в блоке 10, 60При их несовпадении на выходе блока 12 сравнения возникает сигнал, поступающий через элемент ИЛИ 7 на выход 8 и информирующий об ошибочном включении модуля в работу. Если номер поступающего модулясовпадает с одним иэ номеров, хранящихся в блоке 10, возбуждаетсяодин из выходов блока 12 и соответствующий столбец блока 4.Под действием управляющих сигналов ОпросЛ иэ узла 3 проверяется нулевоесостояние ячеек возбужденного столбца. Если в столбце отсутствуют единицы, .то возбуждается выход Н и черезэлемент ИЛИ 5 разрешается выполнениеследующего модуля программы, Сигналс выхода.Б поступает также в узел3 для запоминания номера модуля,включаемого в работу. Если в проверяемом столбце имеется хотя бы однаединица, возникает сигнал на выходеИ, который через элемент ИЛИ 7 поступает на выход 8,Контроль ошибочного повторноговключения модуля производится следующим образом.После первого включения модулясигнал с соответствующего выходаблока 12 сравнения поступает также ив блок 10 памяти признаков программы,где он запоминается в виде метки.Приповторном поступлении модуля на вход11 на выходе несовпадения блока 12сравнения вырабатывается сигнал ошибки.В режиме фСтирание после выпол -нения модуля:На вход 11 поступаетномер этого модуля, а на вход 1управляющий сигнал. В результатесигналов с выхода блока 12 возбуждается одна из строк матрицы 4, в которой под действием сигнала фСтирание Б с.выхода узла 3 происходит стирание единиц во всех столбцахвозбужденной строки,Одновременное возбуждение 3-тойстроки и 3-того столбца блока 4 ненарушает йормального функционирования устройства во всех режимах.Поскольку модуль щ не может эави"сеть сам от себя, т,е, щ= Г щ топри записи зависимостей в диагональных ячейках 4 Я блока 4 вСегда будутзаписаны нули.Узел Э Формирования управляющихсигналов (Фиг,3) работает следующим образом.В режиме фЗапись 1 ф из блока 14памяти признаков программы считываются соответствующие коды, которые через элементы ИЛИ 16 . ,16 записываются в регистр 17, а затем посигналу 1 ФЭаписьф на входе 2 черезэлементы И 18,.,18 поступают на выходы 20. После считыванияиз регистра 17 очередного кода оиобнуляется сигналом, проходящим через элемент 21 задержки и элементИЛИ 23,Врежиме Контрольф узел ЭФормирует сигналы фопросфф У, 3 Ъ иа выходах 20. СигналыОпрос Формируются путем задержки на заданное время сигнала Стирание" на входе 2. Если очередноймодуль ш вынолнен правильно, тона соответствующий вход 13 поступает сигнал, который записываетсяв 3"тый разряд регистра.В режиме Стирание на вход1 поступает управляющий сигнал 1,по которому. на выходы 20 через эле"мент И 19 выдается сигнал стирания8 , После этого осуществляется уста.новка в исходное (нулевое) состояниерегистра 17,Таким образом, предлагаемое уст. ройство для контроля выполнения программы отличается от известных уст".ройств большей полнотой контроля,поскольку позволяет контролироватьошибочное повторное включение модулей программы.формула изобретенияустройство для контроля выполнения программы, содержащее первый блок памяти признаков программы, установочный вход которого является уста" новочным входам устройства, а группа выходов соединена с группой входов блока сравнения, информационный вход которого является. информационным входом устройства, выход соединен со входом первого элемента ИЛИ, группа входов которого подключена к первой группе выходов блока оперативной памяти, вторая группа выходов которого соединена с группой входов второго элемента ИЛИ, выход которого подключен к выходу Норма устройства, выход Брак которого подключен к выходу первого элемента ИЛИ, о т л и ч а ю щ е е с я тем, что, с целью увеличения полноты контроля, дополнительно содержит второй блок памяти признаков программы, третий элемент ИЛИ, группу элементов ИЛИ,первую и вторую группы элементов И,первый, второй, третий элементызадержки и регистр, информационныевходы которого подключены к выходамэлементов ИЛИ группы; первая группа .входов которой соединена с группойвыходов второго блока памяти признаков. программы, вторая. группа входовсо второй группой выходов блока оперативной памяти, первый управляющийвход устройства подключен к первымо входам элементов и первой группы, черезпервый элемент задержки - к первомувходу третьего элемента ИЛИ и к входу второго элемента задержки, второйуправляющий вход устройства соеди 15 нен с первыми входами элементов Ивторой группы, через третий элементзадержки - со вторым входом третьегоэлемента ИЛИ,.выход которого подклю"чен к группе входов Сброс ре 2 О гистра, группа выходов которого соединена со вторыми входами элементовИ первой и второй группы, выходыэлементов И первой группы, выходыэлементов И второй группы и выходтретьего элемента задержки соединены соответственно с группами входовблока оперативной памяти фСтирание,фЗапись и Опрос, группа информационных выходов блока сравнениясоединена с группой входов первогоЗО блока памяти признаков программы,группой входов строк и группой входов столбцов блока оперативной па"мяти.Источники информации,З 5 принятые во внимание при экспертизе1. Клямко Э.И. Схемный и тестовыйконтроль автоматических циФровых вычислительных машин. М., Советскоерадио , 1963,с.87,рис,14.4 О 2. Авторское свидетельство СССРВ 516040, кл, 6 06 Г 11/30, 1976