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

Abstract

Устройство дл  контрол  выполнени  программ используетс  дл  контрол  правильности вьтолнени  программ ЭВМ и других устройств и систем с программным управлением. Цель изобретени  - увеличение полноты контрол  за счет организации контрол  правильности использовани  программами общих ресурсов. Устройство дл  контрол  выполнени  программ содержит блок управлени , элемент ИЛИ, блок оперативной пам ти, блок сравнени , блок пам ти признаков программ, регистры, счетчики, элементы ИЛИ и блоки анализа. Новым в устройстве  вл етс  введение блоков анализа, элементов ИЛИ, счетчиков и регистров. Введенные элементы увеличивают полноту контрол  устройства дл  контрол  выполнени  программ . 3 ил. «Л 1

Description

Изобретение относитс  к вычислительной технике и может быть использовано дл  контрол  правильности выполнени  программ ЭВМ и других устройств и систем с программным управлением над полем общих данных.

Цель изобретени  - увеличение полноты контрол .

На фиг. 1 изображена структурна  схема устройства дл  контрол  опера- ций над полем общих данных; на фиг. 2 - структурна  схема блока синхронизации; на фиг. 3 - структурна  схема блока анализа.

Устройство содержит блок 1 сии- хронизации, первый элемент ИЛИ 2, блок 3 оперативной пам ти, блок 4 пам ти признаков- программ, блок 5 сравнени , группу из и блоков 6 анализа (6.1-6.п), групп элементов ИЛИ 7 5 группу реверсивных счетчиков 8, первую 9 и вторую 10 группы регистров , вход 11 имени программы, группу входов 12 имени активизируемой программы, вход 13 кода запрета типов доступа к полю общих данных, входы 14 требуемых типов доступа. к полю общих данных, вход 15 задани  последовательности программ, группу элементов И 16, вход 17 конца конт- ролируемой nporpaM tK, вход 18 начала контролируемой програ в«1ы, вход 19 начальной установки устройства, выход 20 ошибочного включени  программы , первый 21, второй 22, третий 23 и четвертьй 24 тактовые выходы блока синхронизации, выходы 25 группы элементов И, вход 26 разрешени  записи. Блок 1 синхронизации (фиг. содержит первый 27, второй 28, тре- тий 29, четвертый 30 и п тый 31 элементы задержки, элемент ИЛИ 32. Бло 6 анализа (фиг. 3) содержит элемент И 33, элемент ШШ 34 и матрицу элементов И 35.

Устройство работает следующим образом.

Перед началом работы производитс установка устройства в исходное состо ние, дл  чего подаетс  сигнал на вход 19 устройства. По этому сигналу производитс  установка в нуле- Вое состо ние регистров 9 первой группы, счетчиков 8 группы, регистров 10 второй группы и блока 3 one- ратинной пам ти. По этому же сигналу а блок 4 пам ти признаков программ , представл ющий собой группу

25

5

О

15 20 30 35 ) 40 45

55

50

К регистров, вьтолненных на триггерах, осуществл ющих прием информации без пре,варительной установки в О, с входа 11 производитс  прием имени программ, вход щих в состав алгоритма, последующего выполнению на ЭВМ. Далее устройство работает в двух режимах: Запись и Контроль.

В режиме Запись на вход 12 устройства и далее вход блока 5 сравнени  поступает им  программы, дл  которой производитс  запись кода св зности; на вход 26 - упр айл ю- щий сигнал разреиени  записи; на информационный вход 15 - информаци  дл  записи св зности программ, В результате сравнени  номера поступившей программы с номерами, хран в№1ми- с  в блоке 4 паьотти признаков программ , по вл етс  единичный сигнал на одном из выходов блока 5, который поступает на входы кода св зности программ. По сигналу разрешени  записи, поступающему на входы 26 элементов И 16, код св зности программ с входа 15 поступает на группу выходов 25 группы элементов И 16 и далее на информационные входы блока 3 оперативной пам ти. В результате происходит запись кода в блок 3 оперативной пам ти. Таким же образом производитс  запись кодов св э- ностей всех программ, вход щих в состав алгоритма. Кроме того, в режиме Запись на информационйый вход 13 устройства поступают коды запрета типов доступа дл  всех общих ресурсов, которые записываютс  в регистры 9 первой группы.

В режиме Контроль провер етс  принадлежность включаемой програ 1ы выполн емому алгоритму, правильность очередности следовани  программ после программ-предшественников н корректность использовани  одновременно выполн емьми пpoгpa laми обцих peicypcoB.

Контроль принадлежности программы выполн емому алгоритму осуществл етс  путем сравнени  в блоке 5 имени программы, поступающего на вход 12, с именам, хран щимис  в блоке 4. При несовпадении имени про- , поступившего на вход 12, ин с .одним из имен, хран а(ихс  в блоке 4, на входе блока 5 сравнени  возникает сигнал, поступающий через эле- ,

мент И.ПИ 2 на выход 20 устройства и информирующий об ошибочном включении программы в работу.

Если код имени, гюступивоий на вход 12, совпадает с одним из номе- ров, хран щихс  в блоке 4, по вл етс  единичный сигнал на одном из выходов блок 5, который поступает на входы блока 3. При включении программы в работу на управл ющий вход 18 поступает сигнал Начало, который поступает в блок 1, далее с задержкой, обеспечивающей надежное срабатывание всех схем, на выход 22 и далее на вход записи блока 3. По этому сигналу провер етс  нулевое состо ние блока 3 оперативной пам ти. Если хот  бы один триггер оперативной пам ти находитс  в единичном состо нии, то на его выходе по вл етс  единичнъй сигнал, которы через элемент ИЛИ 2 поступает на выход 20 устройства. Таким образом, осуществл етс  контроль очередности следовани  программ алгоритма.

Корректность использовани  программами общих ресурсов контролируетс  следующим образом.

При включении программы в работу на вход 14 устройства поступают коды требуемых дл  работы программы типов доступа ко всем ресурсам, которые записываютс  в регистры 10 группы. Код требуемых доступа к -му pecvpcy ( 1,п) с выхода регистра 10| поступает на вторую группу входов блока анализа 6. В счетчиках 8 хранитс  информаци  о уже выполн емых доступах к ресурсам Так , в счетчике 8; хранитс  количество программ, осуществл ющих J -ый тип доступа к -му ресурсу ( 1 - 1 :) Если число таких программ на равно ну.шо, то на выходе счетчика 8;- «е нулевой код, а на выходе элемента ИЛИ 7ij - 1.

В блоке анализа 6; производит- с  проверка разрешени  дополнительных типов доступа к уже имеющимс . Если они окажутс  несовместимыми, то по сигналу с выхода 22 блока Г синхронизации на выходе блока 6; анализа по вл етс  сигнал, который поступает через элемент Р1ПИ 2 на выход 20 устройства. В противном случае сигнала на выходе блока 6 не будет. После окончани  сигнала на вы

s О 15 20 25

2544904

ходе 22 блока 1 по вл етс  сигнал на выходе 23 блока 1, который поступает на входы суммировани  счетчиков j разрешен подсчет типов досту- 5 пов, поступающих на счетные входы счетчиков 8. В результате состо ние

s О 15 20 25

0 5

30

5

0

5

счетчика 8;, увеличитс  на 1, если j -ый разр д регистра 10; равен 1. После окончани  сигнала на выходе 23 блока 1 по вл етс  сигнал на выходе 24 блока, по которому производитс  обнуление регистров 10 группы.

При завершении программы ее им  поступает на вход 12 устройства, на вход 18 подаетс  сигнал Конец, а на вход 14 - коды типов доступа данной программы ко всем ресурсам. На -ом выходе блока 5 по вл етс  единичный сигнал, который поступает на чход блока 3. На выходе 21 блока 1 по вл етс  сигнал, поступающий на другой вход блока 3. В результате происходит стирание кода св зности данной программы в блоке 3 оперативной пам ти. Сигнал с выхода 21 блока I поступает также на вычитающие входы счетчиков 8, в результате происходит уменьшение на 1 состо ни  счетчиков, на счетные вхрДы которых поступают единичные сигналы с выходов регистров 10 второй группы. После окончани  сигнала на выходе 21 блока 1 по вл етс  сигнал на выходе 24, по которому устанавливаютс  в нулевое состо ние регистры 10 второй группы.

Блок анализа (фиг. 3) работает следующим образом.

Элемент И 35jg осуществл ют проверку разрешени  одновременного выполнени  21ад ресурсом действий J и S (j f,k , S j ,k), дл  чего на первь вход элемента подаетс  сигнал с выхода соответствующего элемента ИЛИ первой группы 7, ла третий вход - 5 -ый разр д с соответ- CTB TOTtero регистра 10 второй группы, а на второй вход - сигнал запрета с ({J -1)(2k -j)+25)/2-го разр да соответствующего регистра 9 первой группы. Если над ресурсом уже выполн етс  j -ое действие, запускаема  программа требует 5 -го типа действи , а совместное выполнение этих действий запрещено, то на выходе элемента И 35:д по вл етс  сигнал, который через элемент ИЛИ 34 поступает на вход элемента И 33 и по сигналу с выхода 22 блока 1 управлени  - на вход элемента ИЛИ 22. Разр д ((j-1)(2k-j)+2S)/2 регистра 9 первой группы  вл етс  также разр дом запрета действи  S с действием j над ресурсом (j 1,k , ,k ).

Claims (1)

1. Формула изобретени 

   Устройство дл  контрол  операций над полем общих данных, содержащее блок пам ти признаков программ, блок сравнени , блок оперативной пам ти , блок синхро-низации, элемент ИЛИ и группу элементов И, причем вход начальной установки устройства соединен с установочными входами блоков оперативной пам ти и пам ти признаков программ, вход имени программы устройства соединен с информационным входом блока пам ти признаков программ, группа информацион ных выходов которого соединена с первой группой информационных входов блока сравнени , группа входов имени активизируемой программы устройства соединена с второй группой информационных входов блока сравнени , выход неравенства которого соединен с первым входом элемента Щ1И, выход которого  вл етс  выходом ошибочного включени  програм

   мы устройства , группа выходов равенства блока сравнени  соединена с группой адресных входов блока оперативной пам ти, группа информационных выходов которого соединена с первой группой входов элемента ИЛИ, вход кода задани  последовательности программ устройства соединен с первыми входами элементов И группы, вход разрешени  записи устройства соединен с вторыми входами элементов И группы, выходы которых соединены с соответствующими входами группы информационных входов блока оперативной пам ти, отличающеес  тем, что, с целью увеличени  полноты контрол , в устройство введены Ц блоков анализа (где п - количество полей общих данных),п групп элементов ИЛИ, h групп реверсивных счетчиков, перва  и втора  груп пы регистров, причем каждый блок анализа содержит матрицу k fc элементов И (где k - количество типов

   -

   -

   доступа к общему полю данных), элемент ИЛИ и элемент И, причем вход начальной установки устройства соединен с установочными входами блока

   синхронизации, регистров первой группы и реверсивных счетчиков всех трупп, вход кода запрета типов доступа к полю общих данных устройства соединен с информационными входами

   0 регистров первой группы, входы начала и концс контролируемой программы устройства соединены соответственно с входом запуска и останова блока синхронизации, входы требуемых типов доступа к полю общих данных устройства соединены с информационными входами регистров второй группы, первый тактовый выход блока синхронизации соединен с входом записи блока оперативной пам ти, с входом -1 реверсивных счетчиков всех групп, второй тактовый выход блока синхронизации соединен с входом считывани  блока оперативной пам ти и первым входом элемента И каЬкдого блока анализа, третий тактовый выход блока сийхронизации соединен с входом +t реверсивных счетчиков всех групп, четвертый так- ToBi выход блока синхронизации соединен с входом сброса регистров- второй группы, первьй вход J5 -го элемента И матрицы (где J - номер строки матрицы элементов И, 5 - J К 1-го блока анализа (где i - 1, п ) соединен с выходом I -го разр да. i-ro регистра первой группы, где

   0

   ., (MU2k-T)+2S 40 к ;;f

   45

   первый вход -го элементов И матрицы блока анализа (где m - 1,k и m J) соединен с первым входом nij -го элемента И матрицы, выход 3 -го разр да -го регистра второй группы соединен с входом разрешени  счета J -го реверсивного счетчика i -и группы и с вторыми входами элементов И J -и строки матрицы -го блока амализа, информационные выходы J то реверсивного счетчика каждой групш соединены с соответствую входами 55 J-ro элемента Ш1И соответствукицей группы, выход J -го элемента ИШ i-й группы соединен с тpвтьи в входами элементов И J -го столбца мат50

   рицы J -го блока анализа, выходы dcex элементов И матрицы в каждом блоке анализа соединены с входами элемента ИЛИ блока анализа, выход элемента ИЛИ в каждом блоке анализа

   12544908

   соединен с вторым входом элемента И, выходы элементов И всех блоков анализа соединены с соответствующими входами второй группы входов элемента ИЛИ.

   f52 /

   /г

   fPu. /

   4&

   Редактор И.Касарда

   Составитель И.Сигалов ;

   Техред И.ПоповичКорректор В.Бут га

   Заказ 4722/53

   Тираж 671Подписное

   ВНИИПИ Государственного комитета СССР

   по делам изобретений и открытий 113035, Москва, Ж-35, Раушска  наб., д. А/5

   Производственно-полиграфическое предпри тие, г. Ужгород, ул. Проектна , 4

   QJus.5