Устройство для контроля операций над полем общих данных

СОЮЗ СОВЕТСКИХСОЦИАЛИСТИЧЕСКИХРЕСПУБЛИК А 1 1254 28 11/3 ИЙ1 .1 1 р гр ОПИСАНИЕ ИЗОБРЕТЕНИЯК АРТОРСКОМУ СВИДЕТЕЛЬСТВУ(54)УСТРОЙСТВО ЦИЙ НАЦ ПОЛЕМ О (57) Устройство нения программ контроля правил ДЛЯ КОНТРОЛЯ ОПЕРАШИХ ДАННЫХдля контроля выполспользуется дляности выполнения ГОСУДАРСТВЕННЫЙ КОМИТЕТ ССПО ДЕЛАМ ИЗОБРЕТЕНИЙ И ОТКРЫТ программ ЭВМ и других устройств и систем с программным управлением.Цель изобретения - увеличение полноты контроля за счет организации . контроля правильности использования программами общих ресурсов. Устройство для контроля выполнения программ содержит блок управления, элемент ИНИ, блок оперативной памяти, блок сравнения, блок памяти признаков программ, регистры, счетчики, элементы ИПИ и блоки анализа. Новым в устройстве является введение блоков анализа, элементов ИЛИ, счетчиков и регистров, Введенные элементы : увеличивают полноту контроля устройства для контроля выполнения программ. 3 ил.125Изобретение относится к вычислительной технике и может быть использовано для контроля правильности выполнения программ ЭВИ и других устройств и систем с программным управлением над полем общих данных,Цель изобретения - увеличенйе полноты контроля.На фиг. 1 изображена структурная схема устройства для контроля операций над полем общих данных, на фиг, 2 - структурная схема блока синхронизации; на фиг. 3 - структурная схема блока аналйза.Устройство содержит блок 1 синхронизации, первый элемент ИЛИ 2, блок 3 оперативной памяти, блок 4 памяти признаков программ, блок 5 сравнения, группу из н блоков 6 анализа (6.1-6 м), групп элементов ИЛИ 7, группу реверсивных счетчиков 8, первую 9 и вторую 10 группы регистров, вход 11 имени программы, группу входов 12 имени активизируемой программы, вход 13 кода запрета типов доступа к полю общих данных, входы 14 требуемых типов доступа, к полю общих данных, вход 15 заданияе последовательности программ, группу элементов И 16, вход 17 конца контролируемой программы, вход 18 начала контролируемой программы, вход 19 начальной установки устройства, выход 20 ошибочного включения программы, первый 21, второй 22, третий23 и четвертый 24 тактовые выходы блока синхронизации, выходы 25 группы элементов И, вход 26 разрешения записи. Блок 1 синхронизации (фиг. 2) содержит первый 27, второй 28, третий 29, четвертый 30 и пятый 31 элементы задержки, элемент ИЛИ 32. Блок 6 анализа (фиг. 3) содержит элемент И 33, элемент ИЛИ 34 и матрицу элементов И 35. 51015 20 25 30 35 щ в регистры 9 первой группы. Устройство работает следующим образом.Перед началом работы производится установка устройства в исходное состояние, для чего подается сигнал на вход 19 устройства. По этому сигналу производится установка в нулевое состояние регистров 9 первой группы, счетчиков 8 группы, регистров 10 второй группы и блока 3 оперативной памяти. По этому же сигналу в блок 4 памяти признаков программ, представляющий собой группу из Й регистров, выполненных на 9 триггерах, осуществляющих прием информации без пре,варительной установки в "0", с входа 11 производится прием имени программ, входящих в состав алгоритма, последующего выполнению на ЭВМ. Далее устройство работает в двух режимах "Запись" и "Контроль".В режиме "Запись" на вход 12 устройства и далее вход блока 5 сравнения поступает имя программы, для которой производится запись кода связности; на вход 26 - управляющий сигнал разрешения записи, на информационный вход 15 - информация для записи связности программ, В результате сравнения номера поступившей программы с номерами, хранящимися в блоке 4 памяти признаков программ, появляется единичный сигнална одном из вьжодов блока 5, которыйпоступает на входы кода связностипрограмм. По сигналу разрешениязаписи, поступающему на входы 26элементов И 16, код связности программ с входа 15 поступает на группувыходов 25 группы элементов И 16и далее на информационные входы блока 3 оперативной памяти. В результате происходит запись кода в блок 3оперативной памяти. Таким же образом производится запись кодов связностей всех программ, входящих всостав алгоритма, Кроме того, в режиме "Запись" на информационныйвход 13 устройства поступают кодызапрета типов доступа для всех общих ресурсов, которые записываются В режиме "Контроль" проверяется принадлежность включаемой программы выполняемому алгоритму, правильность очередности следования программ после программ-предшественников и корректность использования одновременно вынолняемьяи программами общих ресурсов.Контроль принадлежности программы выполняемому алгоритму осуществляется путем сравнения в блоке 5имени программы, поступающего навход 12, с именама, хранящимися вблоке 4, При несовпадении имени программы, поступившего на вход 12, нис .одним из имен, хранящихся в блоке4, на входе блока 5 сравнения возникает сигнал, поступающий через элемент ИЛИ 2 на выход 20 устройстваи информирующий об ошибочном включении программы в работу,Если код имени, поступивший навход 12, совпадает с одним из номеров, хранящихся в блоке 4, появляется единичный сигнал на одном из выходов блок 5, который поступаетна входы блока 3. При включении программы в работу на управляющий 1 Овход 18 поступает сигнал "Начало",который поступает в блок 1, далеес задержкой, обеспечивающей надежное срабатывание всех схем, на вы -ход 22 и далее на вход записи блока 153. По этому сигналу проверяется нулевое состояние блока 3 оперативнойпамяти. Если хотя бы один триггероперативной памяти находится в единичном состоянии, то на его выходе 20появляется единичнык сигнал, которыйчерез элемент ИЛИ 2 поступает навыход 20 устройства. Таким образом,осуществляется контроль очередности следования программ алгоритма. 25Корректность использования программами общих ресурсов контролируется следующим образом. При включении программы в работу на вход 14 устройства поступают коды требуемых для работы программы типов доступа ко всем ресурсам, которые записываются в регистры 10 группы. Код требуемых типов доступа к-му ресурсу (1= 1,п) с выхода регистра 101 поступает на вторую группу входов блока анализа б . В счетчиках 8 хранится информация о уже выполняемых доступах к ресурсам. Так, в счетчике 8 хранится коли 4 О честно программ, осуществляющих-ый тип доступа к 1 -му ресурсу ( = 1,д, 1 = 1,). Если число таких программ не равно нулю, то на выходе счетчика 8, не нулевой код, а451на выходе элемента ИЛИ 7;1 - " 1".1В блоке анализа 6; производится проверка разрешения дополнительных типов доступа к уже имеющимся, 50 Если они окажутся несовместимыми, то пе сигналу с выхода 22 блока 1 синхронизации на выходе блока 6; анализа появляется сигнал, который поступает через элемент ИЛИ 2 на 55 выход 20 устройства. В противном случае сигнала на .выходе блока 6 не . будет, После окончания сигнала на вы 1254490 4ходе 22 блока 1 появляется сигнална выходе 23 блока 1, который поступает на входы суммирования счетчиков, разрешен подсчет типов доступов, поступающих на счетные входысче чиков 8. В результате состояниесчетчика 8;, увеличится на " 1",если 1 -ый разряд регистра 10;равен " 1", После окончания сигналана выходе 23 блока 1 появляетсясигнал на выходе 24 блока, по которому производится обнуление регистров 10 группы.Цри завершении программы ее имяпоступает на вход 12 устройства,на вход 18 подается сигнал "Конец",а на вход 14 - коды типов доступаданкой программы ко всем ресурсам.На 1 -ом выходе блока 5 появляется .единичный сигнал, который поступаетна вход блока 3. На выходе 21 блока1 появляется сигнал, поступающийна другой вход блока 3. В результате происходит стирание кода связности данной программы в блоке 3оперативной памяти. Сигнал с выхода21 блока 1 поступает также на вычитающие входы счетчиков 8, в результате происходит уменьшение на"1" состояния счетчиков, на счетныевходы которых поступают единичныесигналы с выходов регистров 1 О второй группы. После окончания сигналана выходе 21 блокапоявляется сигнал на выходе 24,. но которому устанавливаются в нулевое состояниерегистры 10 второй группы,Блок анализа (фиг. 3) работаетследующим образом.Элемент И 35 .осуществляют проверку.разрешения одновременного выполнения над ресурсом действийи 5 (1 1,М , 5 = 1,1), для чегона первый вход элемента подаетсясигнал с выхода соответствующего элемента ИЛИ первой группы 7, ла третий вход - б -ый разряд с соответствующего регистра 10 второй группы,а на второи вход - сигнал запрета су -1)(2 Ъ -1)+25)/2-го разряда соответствующего регистра 9 первойгруппы. Если над ресурсом уже выполняется 1 -ое действие, запускаемаяпрограмма требует 5 -го типа действия, а совместное выполнение этихдействий запрещено, то на выходеэлемента И 35 появляется сигнал,который через элемент ИЛИ 34 посту 5 12 пает на вход элемента И 33 н по сигналу с выхода 22 блока 1 управления - на вход элемента ИЛИ 22, Разряц 1 -1) (21-1)+25) /2 регистра 9 первой группы является также разряцом запрета действия 5 с действием 1 над ресурсом (1= 1, Б=, ).формула изобретенияУстройство для контроля операций над полем общих данных, содержащее блок памяти признаков программ, блок сравнения, блок оперативной памяти, блок синхронизации, элемент ИЛИ и группу элементов И, причем вход начальной установки устройства соединен с установочными входами блоков оперативной памяти и памяти признаков программ, вход имени программы устройства соединен с информационным входом блока памяти признаков программ, группа информационных выходов которого соединена с первой группой информационных входов блока сравнения, группа входов имени активизируемой программы устройства соединена с второй группой информационных входов блока сравнения, выход неравенства которого соединен с первым входом элемента 1И 11 И, выход которого являетсявыходом ошибочного включения программы устройства, группа выходов равенства блока сравнения соединена с группой адресных входов блока оперативной памяти, группа информационных выходов которого соединена с первой группой входов элемента ИЛИ, вход кода задания последовательности программ устройства соединен с первыми входами элементов И группы, вход разрешения записи устройства соединен с вторыми входами элементов И группы, выходы которых соединены с соответствующими входами группы информационных входов блока оперативной памяти, о т л и ч а ю щ ее с я тем, что, с целью увеличения полноты контроля, в устройство введены И блоков анализа (где- количество нолей общих данных),п групп элементов ИЛИ, п групп реверсивных счетчиков, первая и вторая группы регистров, причем каждый блок анализа содержит матрицу1 элементов И (где М - количество типов) 45 50 55 5 1 О 15 20 25 30 м 35 доступа к общему полю данных), элемент ИЛИ и элемент И, причем входначальной установки устройства соединен с установочными входами блокасинхронизации, регистров первойгруппы и реверсивных счетчиков всехгрупп, вход кода запрета типов доступа к полю общих данных устройствасоединен с информационными входамирегистров первой группы, входы начала и конц контролируемой программы устройства соединены соответственно с входом запуска и остановаблока синхронизации, входы требуемых типов доступа к полю общих данных устройства соединены с информационными входами регистров второйгруппы, первый тактовый выход блокасинхронизации соединен с входом записи блока оперативной памяти, свходом "-1" реверсивных счетчиковвсех групп, второй тактовый выходблока синхронизации соединен с входом считывания блока оперативнойпамяти и первым входом элемента Икаждого блока анализа, третий тактовый выход блока синхронизации соединен с входом "+1" реверсивныхсчетчиков всех групп, четвертый тактовый выход блока синхронизации сое"динен с входом сброса регистроввторой группы, первый вход 18 -гоэлемента И матрицы (где- номерстроки матрицы элементов И, б -ф,1 К-го блока анализа (гдев . 1 п )соединен с выходом-го разряда1-го регистра первой группы, где первый вход Ле -го элементов И матрицы-го блока анализа (гдев1, и в Ф 1 ) соединен с первымвходом в 3 -го элемента И матрицы,выход 3 -го разряда-го регистра второй группы соединен с входомразрешения счета 1 -го реверсивного счетчика 1.-й группы и с вторымивходами элементов И Х -й строкиматрицы 1 -го блока анализа, информационные выходы У -го реверсив"ного счетчика каждой группы соединены с соответствующйии входами1-го элемента КПИ соответствуюЩейгруппы, выход Ю -го элемента ИЛИ1-й группы соединен с третьею входами элементов И Х -го столбца мат рицы-го блока анализа, выходы всех элементов И матрицы в каждом блоке анализа соединены с входами элемента ИЛИ блока анализа, выход элемента ИЛИ в каждом блоке анализа 1254490 8соединен с вторым входом элемента И, выходы элементов И всех блоков анализа соединены с соответствующими входами второй группы входов элемента ИЛИ.1254490 Редактор И,Касард Закаэ 4722 5 4/ Проектная, 4 Проиэводственно-полигр Составитель И,СигаловТехред И.Попович Корректор В. Бутяга ираж б 71ИПИ Государстделам изобр5, Иосква, Ж Подписиенного комитета СССРтений и открытий