SU1365086A1 - Device for checking control units - Google Patents

Device for checking control units Download PDF

Info

Publication number
SU1365086A1
SU1365086A1 SU864085607A SU4085607A SU1365086A1 SU 1365086 A1 SU1365086 A1 SU 1365086A1 SU 864085607 A SU864085607 A SU 864085607A SU 4085607 A SU4085607 A SU 4085607A SU 1365086 A1 SU1365086 A1 SU 1365086A1
Authority
SU
USSR - Soviet Union
Prior art keywords
group
input
elements
output
control
Prior art date
Application number
SU864085607A
Other languages
Russian (ru)
Inventor
Виктор Николаевич Балакин
Валерий Викторович Барашенков
Александр Филиппович Казак
Сергей Алексеевич Никищенков
Original Assignee
Ленинградский Электротехнический Институт Им.В.И.Ульнова /Ленина/
Priority date (The priority date is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the date listed.)
Filing date
Publication date
Application filed by Ленинградский Электротехнический Институт Им.В.И.Ульнова /Ленина/ filed Critical Ленинградский Электротехнический Институт Им.В.И.Ульнова /Ленина/
Priority to SU864085607A priority Critical patent/SU1365086A1/en
Application granted granted Critical
Publication of SU1365086A1 publication Critical patent/SU1365086A1/en

Links

Abstract

Изобретение относитс  к автоматике и вычислительной технике и позвол ет расширить область применени  устройств дл  контрол  блоков управлени  (БУ) за счет обеспечени  возможности контрол  параллельных БУ и увеличени  контролирующей способности. Устройство дл  контрол  БУ содержит регистры 1 и 2, группы элементов И 4,8 и 10, ИЛИ 7 и НЕ 9, элемент ИСКЛЮ- ЧАКМЦЕЕ ИЛИ 13, блок коммутации 14, триггеры результата контрол  6 и 11, группу триггеров 3, элементы ИЛИ 5 и 12. Устройство осуществл ет контроль соответстви  сигналов, параллельно поступающих от БУ, допустимому множеству сигналов, набору логических условий и требуемому пор дку следовани . Кажда   чейка устройства,включающа  триггер группы триггеров, элементы И, ИЛИ, НЕ, при поступлении соответствующего контролируемого сигнала вырабатывает в зависимости от состо ни  подмножества триггеров и текущих значений логических условий сигнал подтверждени  либо сигнал ошибки. Наличие таких сигналов в  чейках устройства фиксируетс  триггерами рес сл зультата контрол . 1 з.п. ф-лы, 8 ил. 5The invention relates to automation and computer technology and allows to expand the field of application of devices for controlling control units (CU) by providing the ability to control parallel CUs and increasing the monitoring capacity. The control unit for control unit contains registers 1 and 2, groups of elements AND 4.8 and 10, OR 7 and NOT 9, element EXCLUSIVE CAM OR 13, switching unit 14, control result triggers 6 and 11, group of triggers 3, elements OR 5 and 12. The device monitors the correspondence of signals, in parallel coming from the CU, to an allowable set of signals, a set of logical conditions and the required order. Each device cell, including a trigger group of triggers, AND, OR, NOT elements, upon receipt of a corresponding monitored signal, generates an acknowledgment signal or an error signal, depending on the state of the triggers subset and current values of logical conditions. The presence of such signals in the cells of the device is detected by triggers according to the control. 1 hp f-ly, 8 ill. five

Description

/J/ J

САЗ 05 01SAZ 05 01

ОABOUT

ооoo

OiOi

Изобретение относитс  к вычислительной технике и предназначено дл  использовани  в системах контрол  правильности функционировани  блоков управлени  параллел1,ных ЭВМ.The invention relates to computing technology and is intended for use in systems for monitoring the correct functioning of control units of parallel computers.

Целью изобретени   вл етс  расширение области применени  за счет обеспечени  возможности контрол  блоков управлени , реализующих алгоритмы с различной степенью параллелизма, и расширение класса обнаруживаемых дефектов .The aim of the invention is to expand the scope of application by allowing control units of control to implement algorithms with different degrees of parallelism, and expanding the class of detectable defects.

На фиг. 1 представлена схема устройства; на фиг. 2 - микропрограмма работы  чейки; на фиг. 3 - пример контрол  параллельного алгоритма управлени  по заданной операторной схеме; на фиг. 4 - вариант выполнени  блока коммутации; на фиг, 5 - пример 20 контрол  блока управлени  по заданной информационно-логической схеме алгоритма; на фиг. 6 - пример контрол  конвейерного управлени ; на фиг. 7 - схемы управл емых коммутаторов; на фиг. 8 - пример настройки управл емых коммутаторов.FIG. 1 shows a diagram of the device; in fig. 2 - firmware microprogram; in fig. 3 shows an example of control of a parallel control algorithm according to a given operator circuit; in fig. 4 shows an embodiment of a switching unit; FIG. 5 shows an example 20 of the control unit control unit according to a predetermined information-logic scheme of the algorithm; in fig. 6 shows an example of pipeline control; in fig. 7 shows controllable switches; in fig. 8 is an example of setting up controlled switches.

Предлагаемое устройство содержит первый регистр 1, второй регистр 2, группу триггеров 3.1-3.k, первую группу элементов И 4.1-4.k, первый элемент ИЛИ 5, первый триггер результата контрол  6, группу элементов ИЛИ 7.1-7.k, вторую группу элементов И 8.1-8.k, группу элементов НЕ 9.1- 9.k, третью группу элементов И 10.1- 10.k, второй триггер результата контрол  11, второй элемент ИЛИ 12, элемент ИСКЛЮЧАЮЩЕЕ ИЛИ 13, блок 14 комгруппу элементов ИЛИ 56.1-56.1, вторую группу элементов ИЛИ 57.1-57.п, последнюю группу элементов ИЛИ 58.1- с 58.п, группу элементов И-НЕ 59.1-59.1 входную информационную шину 60, выходную шину 61 и входные шины управлени  62 и настройки 63.The proposed device contains the first register 1, the second register 2, the trigger group 3.1-3.k, the first group of elements AND 4.1-4.k, the first element OR 5, the first trigger of the control result 6, the group of elements OR 7.1-7.k, the second a group of elements AND 8.1-8.k, a group of elements NOT 9.1-9.k, a third group of elements AND 10.1-10.k, a second trigger of the control result 11, a second element OR 12, an element EXCLUSIVE OR 13, a block 14 a group of elements OR 56.1 -56.1, the second group of elements OR 57.1-57.p, the last group of elements OR 58.1- pp. 58.p, the group of elements AND-NOT 59.1-59.1 input information th bus 60, output bus 61 and input bus 62 and the control 63 settings.

Управл емый коммутатор второй 10 группы 16.1 (фиг. 76) содержит вторую группу элементов И 64.1-64.т, первую группу элементов ИЛИ 65.1-65.п, последнюю группу элементов ИЛИ 66.1- 66.п, первую группу элементов И 67.1- 15 67.т, входную информационную шину 68, выходную шину 69 и входные шины управлени  70 и настройки 71.The managed switch of the second 10 group 16.1 (Fig. 76) contains the second group of elements AND 64.1-64.t, the first group of elements OR 65.1-65.p, the last group of elements OR 66.1-66.p, the first group of elements AND 67.1-15. 67.t, input information bus 68, output bus 69 and control input buses 70 and settings 71.

Назначение основных узлов устройства следующееiThe purpose of the main device nodes is as follows

Регистр 1 служит дл  приема и хранени  поступающих от контролируемого блока управлени  значений признаковRegister 1 is used to receive and store the characteristic values received from the monitored control block.

инициации команд - контролируемых сигналов - вектора а а... a1...ainitiation of commands - controlled signals - vectors aa ... a1 ... a

VV

25 где 1 (i-  команда инициирована ) или О, причем выход i-ro разр да регистра 1 подключен к первому входу элемента И 4.1./Регистр 2 предназначен дл  приема и хранени  поступаю30 Щих от объекта управлени  (например, процессоров ЭВМ) значений условий протекани  процесса вычислени  - вектора Р PI . . .Р . . .Р,, где Р 1 или 0. а также дл  управлени  блоком коммутации 14 и элементом ИСКЛЮЧАЮЩЕЕ ИЛИ 13.25 where 1 (i- command initiated) or O, and the output of the i-ro register register 1 is connected to the first input of the element 4.1.1. The register 2 is designed to receive and store incoming values from the control object (for example, computer processors) condition values the process of the calculation is the vector P PI. . .R . . .P ,, where P 1 or 0. and also to control the switching unit 14 and the EXCLUSIVE element OR 13.

Триггеры 3.1-3.k служат дл  отображени  процесса поступлени  контролируемых сигналов от блока управле35Triggers 3.1-3.k are used to display the process of receipt of monitored signals from the control unit

мутации, содержащий первую группу уп- 40 (хранени  истории управлени ),mutations containing the first group of pack-40 (control history storage),

равл емых коммутаторов 15.1-15.k, вто- вторую группу управл емых коммутаторов 16.1-16.k и регистр 17 настройки, вход 18 контролируемых сигналов, вход 19 логических условий, первый вход 2045 синхронизации, второй вход 21 синхронизации , вход 22 сброса устройства, выходы информации о результате контрол , ошибки и подтверждени  соответственно 23, 24 и 25 устройства. ggequal switches 15.1-15.k, second group of controlled switches 16.1-16.k and setting register 17, input 18 monitored signals, input 19 logic conditions, first synchronization input 2045, second synchronization input 21, device reset input 22 , outputs of information about the result of control, error and confirmation of 23, 24 and 25 devices, respectively. gg

Схема варианта выполнени  блока коммутации (фиг. 4) содержит шину 26 единичного потенциала, шину 27 управлени , первую и вторую информационные входные шины 28 и 29, выходные gg информационные шины 30-51, элементы И 52-55.The circuit of the embodiment of the switching unit (Fig. 4) comprises a single potential bus 26, a control bus 27, first and second information input buses 28 and 29, output gg information buses 30-51, elements And 52-55.

Управл емый коммутатор первой группы 15.1 (фиг. 7а) содержит первуюThe managed switch of the first group 15.1 (Fig. 7a) contains the first

группу элементов ИЛИ 56.1-56.1, вторую группу элементов ИЛИ 57.1-57.п, последнюю группу элементов ИЛИ 58.1- 58.п, группу элементов И-НЕ 59.1-59.1 входную информационную шину 60, выходную шину 61 и входные шины управлени  62 и настройки 63.the group of elements OR 56.1-56.1, the second group of elements OR 57.1-57.p, the last group of elements OR 58.1-58.p, the group of elements AND-NOT 59.1-59.1 the input information bus 60, the output bus 61 and the input control buses 62 and settings 63.

Управл емый коммутатор второй группы 16.1 (фиг. 76) содержит вторую группу элементов И 64.1-64.т, первую группу элементов ИЛИ 65.1-65.п, последнюю группу элементов ИЛИ 66.1- 66.п, первую группу элементов И 67.1- 67.т, входную информационную шину 68, выходную шину 69 и входные шины управлени  70 и настройки 71.The managed switch of the second group 16.1 (Fig. 76) contains the second group of elements AND 64.1-64.t, the first group of elements OR 65.1-65.p, the last group of elements OR 66.1-66.p, the first group of elements AND 67.1- 67. t, input information bus 68, output bus 69 and control input buses 70 and settings 71.

Назначение основных узлов устройства следующееiThe purpose of the main device nodes is as follows

Регистр 1 служит дл  приема и хранени  поступающих от контролируемого блока управлени  значений признаковRegister 1 is used to receive and store the characteristic values received from the monitored control block.

инициации команд - контролируемых сигналов - вектора а а... a1...ainitiation of commands - controlled signals - vectors aa ... a1 ... a

VV

где 1 (i-  команда инициирована ) или О, причем выход i-ro разр да регистра 1 подключен к первому входу элемента И 4.1./Регистр 2 предназначен дл  приема и хранени  поступаюЩих от объекта управлени  (например, процессоров ЭВМ) значений условий протекани  процесса вычислени  - вектора Р PI . . .Р . . .Р,, где Р 1 или 0. а также дл  управлени  блоком коммутации 14 и элементом ИСКЛЮЧАЮЩЕЕ ИЛИ 13.where 1 (i- command initiated) or O, and the output of the i-ro register register 1 is connected to the first input of the element 4.1.1. The register 2 is designed to receive and store incoming process conditions (for example, computer processors) from the control object calculations - vector P PI. . .R . . .P ,, where P 1 or 0. and also to control the switching unit 14 and the EXCLUSIVE element OR 13.

Триггеры 3.1-3.k служат дл  отображени  процесса поступлени  контролируемых сигналов от блока управлеTriggers 3.1-3.k are used to display the process of receipt of monitored signals from the control unit.

 вл  сь внутренней пам тью устройства с вектором состо ни  С С... С....С где С - состо ние триггера 3.1.having an internal memory of a device with a state vector C C ... C .... C where C is the trigger state 3.1.

Элементы И 4.1-4.k предназначенные дл  проверки услови  возможности инициировани  команд: формировани  сигналов подтверждени  правильности инициировани  команд - вектора 3 а.. ...а ...a jHa выходе 23, где а 1 или О соответственно при подтверждении и неподтверждении, и перевода при этом триггеров 3.1-3.k в новые состо ни .Elements 4.1-4.k intended for testing the conditions for the possibility of initiating commands: generating signals confirming the correctness of initiating commands — vectors 3 a ... ... a ... a jHa output 23, where a 1 or O, respectively, when confirming and not confirming, and transferring the triggers 3.1-3.k to the new states.

Элемент ИЛИ 5, триггер 6, элементы ИЛИ 12 и ИСКЛЮЧАЮЩЕЕ ИЛИ 13 служат дл  формировани  на выходе 24 сигнала ошибки при наличии дефекта в у правле- процессом вычислени .Element OR 5, trigger 6, elements OR 12 and EXCLUSIVE OR 13 are used to generate an error signal at the output 24 if there is a defect in the right side of the calculation process.

Триггер 11 служит д.п  формировани  на выходе 25 сигнала наличи  хот  бы одной подтвержденной команды.The trigger 11 serves to form the output 25 of the signal of the presence of at least one confirmed command.

Элементы ИЛИ 7.1-7.k и элементы И 8.1-8.k предназначены дл  перевода триггеров 3.1-3.k из состо ни  О в состо ние 1 в процессе работы устройства .The elements OR 7.1-7.k and the elements AND 8.1-8.k are intended for transferring the triggers 3.1-3.k from state O to state 1 during the operation of the device.

Элементы НЕ 9,1-9.k и элементы И 10.1-lO.k служат дл  формировани  вектора сигналов ошибки а d, ...dj. ...d при инициации соответствующих команд и невыполнении условий возможности инициации, т.е. при дефекте в потоке управлени ,The elements HE 9.1-9.k and the elements AND 10.1-lO.k serve to form the vector of error signals a d, ... dj. ... d when initiating the appropriate commands and failing to fulfill the conditions for the possibility of initiation, i.e. with a defect in the flow of control,

Блок 1А коммутации предназначен дл  условно зависимой (от вектора Р) коммутации инверсных выходов триггеров 3.1-3.k (элементов множества fCip и выходов элементов И 4.1-4.k (элементов множества a j p соответственно на входы элементов И 4.l-4.k и элементов ИЛИ 7.1-7.k, обеспечива  взаимодействие  чеек устройства, Switching unit 1A is intended for conditionally dependent (from vector P) switching of inverse outputs of flip-flops 3.1-3.k (elements of the set fCip and outputs of elements AND 4.1-4.k (elements of the set ajp respectively to the inputs of elements And 4.l-4.k and elements OR 7.1-7.k, ensuring the interaction of the device cells,

Устройство функционирует следующим образом.The device operates as follows.

Блоки 3.1, 4.1, 7.1, B.i, 9.1 и 10.1 образуют 1-ю  чейку устройства, функционирующую согласно фиг. 2, где Cj - состо ние триггера 3.1; состо ние 1-го разр да регистра 1; а , - состо ние выхода элемента И 4.1; d j - состо ние выхода элемента И 10.1; f ; - конъюнкци  сигналов на группе входов элемента И 4.1, подключенных к блоку 14, называема  функцией возможности; f . - дизъюнкци  сигналов на входах элемента ИЛИ 7.1, называема  функцией готовности, при- чем fl fi (iC;,P,i и f. f ;.(U,b P;|), ЧТО задаетс  реализацией и или настройкой блока 14 коммутации.Blocks 3.1, 4.1, 7.1, B.i, 9.1 and 10.1 form the first cell of the device, functioning according to FIG. 2, where Cj is the state of the trigger 3.1; state of 1st register register 1; a, is the output state of the element 4.1; d j is the output state of the AND 10.1 element; f; - conjunctions of signals on the group of inputs of the AND 4.1 element connected to block 14, called the function of the opportunity; f. - disjunctions of the signals at the inputs of the element OR 7.1, called the readiness function, with fl fi (iC; P, i and f. f;. (U, b P; |)) WHAT is set by the implementation and or setting of the switching unit 14.

Таким образом, условие возможности инициации и подтверждени  правильное- ти дл  1-й команды имеет вид:Thus, the condition of the possibility of initiation and confirmation of correctness for the 1st team is:

al C.f , 1 7 а-. 1, С, О, (1) условие формировани  сигнала ошибки: al C.f, 1 7 a-. 1, C, O, (1) error signal generation condition:

a :(C;V f.)a ;(C.f .) 1 , d,. 1,(2)a: (C; V f.) a; (C. f.) 1, d ,. 1, (2)

условие перевода в состо ние 1  чейки:condition for transfer to 1 cell state:

С i f 1 С; 1 (3) причем анализируемое значение С- сформировано в предыдущем такте.C i f 1 C; 1 (3) and the analyzed value C is formed in the previous cycle.

После включени  устройства в работу на вход 22 подаетс  сигнал сброса в исходное, перевод щий триггеры 3.1- 3.k-l, триггеры 6 и 11 и регистры 1 и 2 в нулевое, а триггер 3.k, соответствующий команде Начало - в единичное состо ние.After the device is put into operation, input 22 is given a reset signal to the original, translating the triggers 3.1-3.k-l, triggers 6 and 11, and registers 1 and 2 to zero, and trigger 3.k, which corresponds to the Start command, to one state.

Очередной запуск устройства осуществл етс  при выработке блоком управлени  очередной группы команд и поступлении на вход 18 устройства их признаков, при этом в регистры 1 и 2 по импульсу на входе 20 (т.е. в первом микротакте) записываютс  текущие векторы а и Р.The next launch of the device is carried out when the control unit generates the next group of commands and arrives at the input 18 of the device of their features, and the current vectors a and P. are written to registers 1 and 2 by the pulse at input 20 (i.e., in the first micro-cycle).

Те  чейки, дл  которых выполн ютс  услови  (1) или (2), формируют сигналы подтверждени  или ошибки. Затем на входе 21 формируетс  импульс синхронизации (второй микротакт), при этом те  чейки, дл  которых выполн ютс  услови  (1) или (3), переход т в новые состо ни , а триггеры 6 и 11 формируют соответственно на выходах 24 и 25 сигнал ошибки:Those cells for which conditions (1) or (2) are fulfilled generate acknowledgment or error signals. Then, at the input 21, a synchronization pulse is formed (the second micro-tact), while those cells for which conditions (1) or (3) are fulfilled are transferred to new states, and triggers 6 and 11 form a signal, respectively, at outputs 24 and 25 errors:

DD

(V d) V ((V a;)0Pj(V d) V ((V a;) 0Pj

(4)(four)

и сигнал подтверждени : П and confirmation signal: P

I VI v

(5)(five)

единичные значени  которых говор т соответственно о наличии дефекта в блоке управлени  и наличии хот  бы одной подтвержденной команды, причем Р - условие нахождени  блока управлени  в состо нии прерывани /останова (РО 0) или работы (PC 1), значение которого поступает на второй вход элемента ИСКЛЮЧАЮЩЕЕ ИЛИ 13.the unit values of which, respectively, indicate the presence of a defect in the control unit and the presence of at least one confirmed command, P being the condition of the control unit being in the interrupt / stop state (PO 0) or operation (PC 1), the value of which is fed to the second input EXCLUSIVE OR 13.

В основе функционировани  устройства лежит принцип алгоритмического контрол  - отслеживани  соответстви  потока команд на выходе контролируемого блока управлени  заданной структуре алгоритма вычислений. Алгоритм характеризуетс  множеством участвующих команд и отношени ми пор дка между ними и описываетс  схемой, определенной на множестве операторов а; (преобразователей, т.е. команд обработки данных, и распознавателей,т.е, команд передачи управлени ), среди которых выделен начальный и конечный операторы. В операторных схемах алгоритмов (схемах с заданным управлением , например, изображенных наThe operation of the device is based on the principle of algorithmic control - tracking the flow of commands at the output of the controlled control unit to a given structure of the calculation algorithm. The algorithm is characterized by a set of participating commands and the order relations between them and is described by a scheme defined on the set of operators a; (converters, i.e., data processing commands, and discriminators, i.e., control transfer commands), among which the initial and final operators are distinguished. In operator schemes of algorithms (schemes with a given control, for example, shown in

фиг. За) оператору а предписываетс  выполнение после выполнени  некоторого множества предшественников и при соответствующем значении логических услсгвий. В информационно-логических схемах алгоритмов (схемах вычислений или схемах без заданного управлени , например, изображенных на фиг. 56) указываетс , что а- может потенциально выполн тьс  после выполнени  соответствующих предшественников (информационных и логических ) и условий. В общем случае команда с меткой.а (оператор а ;) может быть инициирована, если выполнены все команды,  вл ющиес  ее предшественниками в информационном, логическом и конкуренционном смысле, и имеют сооткоманд . При этом дл  кратного выполнени  команд осуществл ют присвоение им отличающихс  меток в соответствии со схемой алгоритма либо, по возможности , организуют цикл со счетом повторений .FIG. As an operator, it is prescribed to execute after executing a certain set of predecessors and with the corresponding value of logical services. In the information-logic schemes of algorithms (calculation schemes or schemes without specified control, for example, shown in Fig. 56) it is indicated that a- can potentially be performed after the fulfillment of the corresponding predecessors (informational and logical) and conditions. In the general case, a command with a label. (Operator a;) can be initiated if all commands that are its predecessors in the informational, logical, and competitive sense are executed, and have corresponding commands. At the same time, for the multiple execution of commands, they are assigned different labels in accordance with the scheme of the algorithm, or, if possible, arrange a cycle with a count of repetitions.

Дл  вы влени  дефектов типа 2 по заданной схеме алгоритма дл  каждогоTo detect type 2 defects according to a given algorithm scheme for each

оператора схемы определ ют функции fj и f;, указывающие, при каких услови х i-   чейка устанавливаетс  в 1 и после каких условий она может подтвердить правильность инициации команды и перейти в О.the circuit operator defines the functions fj and f; that indicate under what conditions the i-cell is set to 1 and after what conditions it can confirm the correctness of the command initiation and go to O.

Устройство реализует проверку спусковых функций дл  каждой команды,причем в отличие от известного применени  спусковых функций и асин ронныхThe device implements testing of trigger functions for each command, and in contrast to the known use of trigger functions and asynonal

ветствующие значени  услови  протека- 2о схем программ, осуществл етс  их исни  процесса вычислений.The corresponding values of the condition of the flowchart of the program diagrams are carried out by them and the process of calculations.

При выработке блоком управлени  потока команд возможны следующие тип дефектов:When the control flow of a command flow is generated, the following types of defects are possible:

1)инициированна  команда не входит в множество команд, использующихс  в данном алгоритме вычислений;1) the initiated command is not included in the set of commands used in this algorithm;

2)инициированна  команда нарушает требуемый пор док следовани  команд при данном вычислении;2) the initiated command violates the required order of commands following this calculation;

3)в отсутствие прерывани /останова не вырабатываетс  ни одна команда (зависание управлени );3) in the absence of an interrupt / shutdown, no command is generated (control hang);

4)при прерывании/останове продолжаетс  инициаци  команд;4) when interrupting / stopping, the initiation of commands continues;

5)многократное ложное инициирование команды (залипание).5) repeated false initiation of the command (sticking).

Устройство обладает возможностью вы влени  дефектов всех перечисленных типов.The device has the ability to detect defects of all listed types.

Дефекты типа 1 вы вл ютс  путем задани  f О (реализацией или настройкой блока 14 коммутации дл   чеек соответствующих командам, не участвующим в данном алгоритме. Тем самым обеспечиваетс  невозможность их перевода в состо ние готовности при контроле алгоритма.Type 1 defects are detected by setting f o (implementation or setting of switching unit 14 for cells corresponding to commands not participating in this algorithm. This ensures that they cannot be transferred to the ready state during the control of the algorithm.

Дефекты типа 3 и 4 вы вл ютс  в соответствии с выражени ми (4) и (5) блоками 5, 12 и 13.Type 3 and 4 defects are detected in accordance with expressions (4) and (5) in blocks 5, 12, and 13.

Дефекты типа 5 обнаруживаютс  вследствие такой организации функционировани   чеек, что после подтверждени  команды она об зательно перехо- gc ственно контролируема  схема алгорит- дит из состо ни  Г в состо ние О ма (а, - метки команд), таблица и может перейти в состо ние 1 только во втором микротакте следующего такта от сигналов подтверждени  другихType 5 defects are detected due to the organization of the functioning of the cells, that after confirmation of the command, it is necessarily transferred over the control circuit of the algorithm from state G to state Om (a, - command labels), the table and can go to state 1 only in the second micro tact of the next clock cycle from the confirmation signals of others

настройки (функций блока 14 коммутации ) : иллюстраци  настройки (номера вершин графа соответствуют меткам.settings (functions of the switching unit 14): illustrations of the settings (the vertex numbers of the graph correspond to the labels.

5five

пользование в цел х контрол . В устройстве проверка спусковых функций реализуетс  (интерпретируетс ) элементами 4.1-4.k, состо ние управл ю5 щих переменных - триггерами 3.1-3.k, установка управл ющих переменных в соответствующие состо ни  - сигналами а в зависимости от предыдущих состо ний триггеров, сигналов а иuse for control purposes. In the device, testing of trigger functions is implemented (interpreted) by elements of 4.1–4.k, the state of the control variables is triggered by 3.1–3.k, the control variables are set to the appropriate state — by signals a depending on the previous states of the triggers, signals a and

0 заданных коммутатором св зей между  чейками.0 specified by the switch communications between cells.

Длительность первого микротакта выбираетс  из услови  окончани  переходных процессов в логических схемах устройства и составл ет величину, соизмеримую с задержкой в регистре пам ти. Следующий запуск устройства импульсом на входе 20 может осуществитьс  практически сразу после подачи импульса на входе 21, т.е. перекрывать второй микротакт. При использовании устройства дл  контрол  про- .-. граммных блоков управлени , выполнение команд которых в процессорах ЭВМThe duration of the first micro tact is chosen from the conditions of the end of transients in the logic circuits of the device and is equal to the delay in the memory register. The next start of the device with a pulse at the input 20 can take place almost immediately after the pulse at the input 21, i.e. overlap the second microtack. When using a device to control the pro-. control gram blocks whose command execution in computer processors

g требует времени, значительно превышающего задержку в элементах пам ти, можно считать, что проверка правильности управлени  осуществл етс  прак- , тически мгновенно, а команды могут быть инициированы в произвольный момент времени, т.е. асинхронно, но с интервалом, не меньшим времени такта устройства.g takes a time much longer than the delay in the memory elements, we can assume that the control validation is carried out almost instantly, and the commands can be initiated at an arbitrary time, i.e. asynchronously, but with an interval not less than the device's takt time.

На фиг. За,б,в,г показаны соответ0FIG. For, b, c, d are shown respectively

00

ственно контролируема  схема алгорит- ма (а, - метки команд), таблица control circuit of the algorithm (a, - command labels), table

настройки (функций блока 14 коммутации ) : иллюстраци  настройки (номера вершин графа соответствуют меткам.settings (functions of the switching unit 14): illustrations of the settings (the vertex numbers of the graph correspond to the labels.

толстые сплошные линии показывают, что дл  подтверждени  команды,соответствующей  чейке, в которую входит дуга, необходимо, чтобы С j 1 дл  L-й  чейки, откуда дуга исходит,тонкие сплошные (штриховые) линии от вершины i J, вершине j показывают, что j-   чейка устанавливаетс  безусловно (условно) от сигнала а ), и таблица функционировани  (t - номер такта; X - произвольное значение логического услови ; t 4, 5, б - другое продолжение процесса после такта 3). Последн   иллюстрирует работу устрой- ства при контроле блока управлени , реализующего данный алгоритм и форми -пthick solid lines show that to confirm the command corresponding to the cell in which the arc enters, it is necessary that C j 1 for the L-th cell from which the arc originates, thin solid (dashed) lines from the vertex i J, vertex j show that The j-cell is established unconditionally (conditionally) from signal a), and the operation table (t is the number of a clock; X is an arbitrary value of the logical condition; t 4, 5, b is another continuation of the process after step 3). The latter illustrates the operation of the device during the control of the control unit that implements this algorithm and form

рующего поток а , сопровождаемый сбо ми, причем злементы векторов получаютс  в соответствии с микропро- граммой на фиг. 2. Например, оператор аJ может выполнитьс  после а и после а (при Р, 1), оператор aj - после а (при Pj 1), и т.п. оператор а может выполнитьс , если 8 переведена в 1 сигналом а (при Р 0), переведены в О  чейки 5 и 10, установленные в 1 сигналом а J , переведена в О та из  чеек 6 и 7, котора  была уста- followed by a failure, and the elements of the vectors are obtained in accordance with the program in FIG. 2. For example, the operator aJ can be executed after a and after a (with P, 1), the operator aj with after a (with Pj 1), and so on. the operator a can be executed if 8 is transferred to 1 by signal a (at P 0), transferred to O cells 5 and 10, set to 1 by signal a J, transferred to O that of cells 6 and 7, which was set

новлена в 1 сигналом а при соотюin 1 signal and with

ветствующем Р 2.corresponding P 2.

При настройке по параллельной схеме алгоритма (а также по информационно-логической ) в некоторый момент времени условие (1) может быть выполнено не дл  всех команд, у которых единичны функции возможности и единичны состо ни   чеек. Иначе говор , управление будет бездефектным (в смыс ле дефектов типа 2), если из множества команд, которые могут быть инициированы (выполнены все соответствующие услови ), блоком управлени  вырабатываютс  лишь некоторые, например после подтверждени  команды а (фиг.З) Сказанное справедливо дл  любого момента времени, причем пор док инициации команд из указанного множества может быть произвольным. Отсюда еле- дует, что дл  заданной настройки существует множество функционально-эквивалентных (дающих одинаковый результат дл  одинаковых данных) алгоритмов управлени , различающихс  (в соответ- ствующих пределах) степенью параллелизма и пор дком следовани  операторов , но контролируемых предлагаемым устройством с той же эффективностьюWhen configured according to a parallel scheme of the algorithm (as well as information-logic) at some point in time, condition (1) may not be fulfilled for all commands that have single functions of opportunity and unit states of cells. In other words, the control will be defect-free (in the sense of type 2 defects), if out of the multitude of commands that can be initiated (all the relevant conditions are fulfilled), only a few are generated by the control unit, for example, after confirming command a (FIG. 3) at any time, and the order of initiation of commands from the specified set can be arbitrary. Hence, it is believed that for a given setting, there are many functionally equivalent (giving the same result for the same data) control algorithms that differ (in the appropriate limits) by the degree of parallelism and order of operators, but controlled by the proposed device with the same efficiency.

(охватом типов дефектов) без перенастройки его. Например, дл  фиг. 3 это следующие (по номерам команд, в скобках - параллельно выполн емые): k, 1 (2,3,4), (9,5,10), (2,6), 9,8.. k, 1,2,3,4,5,10,8,6,8 и др. Дл  каждого из алгоритмов данного множества инициаци  ложной команды по условию (2) приведет к сигналу ошибки на выходе 24. Настроенное на контроль параллельной схемы алгоритма предлагаемое устройство обладает расширенными функциональными возможност ми.(coverage of defect types) without reconfiguring it. For example, for FIG. 3 is the following (by command numbers, in brackets - parallel executables): k, 1 (2,3,4), (9,5,10), (2,6), 9,8 .. k, 1, 2,3,4,5,10,8,6,8 and others. For each of the algorithms of this set, initiating a false command according to condition (2) will result in an error signal at output 24. The proposed device configured to control a parallel algorithm scheme has advanced functionality.

Вариант выполнени  блока 14 коммутации дл  контрол  согласно фиг. 3 представлен на фиг. 4.An embodiment of switching unit 14 for monitoring according to FIG. 3 is shown in FIG. four.

Наибольший эффект от использовани  устройства достигаетс  при настройке по информационно-логической схеме алгоритма (ИЛСА), отличающейс  от операторных схем тем, что в ней указываютс  только отношени  информационного и логического следовани  между операторами. В этом случае настройка коммутатора, т.е. получение функций возможности и готовности, осуществл етс  по ИЛСА.The greatest effect from the use of the device is achieved when setting up according to the information logic algorithm (ILLA) scheme, which differs from the operator schemes in that it indicates only the informational and logical following relations between the operators. In this case, the switch configuration, i.e. obtaining the functions of capability and readiness, carried out by ILSA.

Стандартной схеме программы на фиг.За соответствует ИЛСА на фиг,56, где тонкие сплошные дуги означают отношени  безусловного информационног следовани , штриховые - условного информационного следовани , толстые - отношени  логического следовани .По ИЛСА оператор а может выполнитьс  после а (вход в цикл) и после выполнени  а и а в цикле, и т.п. Иллюстраци  настройки (аналогично фиг.Зв) и таблица настройки показаны на фиг.5в,г, таблица функционировани  - на фиг. 5е,, причем из ИЛСА исключены избыточные св зи (например, так как а следует за аэ, а а - за а, то св зь а -. а не учитываетс ). Устройство контролирует множество эквивалентных алгоритмов, имеющих данную ИЛСА (вычисл ющих ИЛСА): k, 1,2,3,The standard scheme of the program in FIG. 3a corresponds to ILSA in FIG. 56, where thin solid arcs denote unconditional informational following relations, dashed ones - conditional informational following, thick - logical following relations. According to ILSA, operator a can be completed after a (entering the cycle) and after doing a and a in a loop, etc. The illustrations of the settings (similar to FIG. 3c) and the table of settings are shown in FIG. 5e, with the excessive links being excluded from the ILSA (for example, since a follows the ae, and a - a, the a - link is not taken into account). The device controls a number of equivalent algorithms that have a given ILSA (computing ILSA): k, 1,2,3,

(4,5)6; k, (1,2) ,3,4,5,3, (4,5),..(4,5) 6; k, (1,2), 3,4,5,3, (4,5), ..

.., 6; k, 2,1,3,5, 4,3 (4,5), 3,6 и т.д..., 6; k, 2,1,3,5, 4,3 (4,5), 3,6, etc.

Поскольку ИЛСА служит основой дл  распараллеливани  алгоритмов и позвол ет получить максимально распараллеленные алгоритмы, то устройство обладает способностью контролировани  класса эквивалентных алгоритмов - от последовательных до максимально параллельных , что существенно расшир ет область применени .Since EMLA serves as the basis for parallelizing the algorithms and allows obtaining the most parallel algorithms, the device has the ability to control a class of equivalent algorithms from sequential to maximally parallel, which significantly expands the scope of application.

Устройство обладает расширенными функциональными возможност ми при такой же эффективности и может быть использовано дл  контрол  алгоритмов управлени  с произвольной степенью параллелизма, в том числе с динамическим распараллеливанием, когда one- ю Ц выполн етс  по объединенной схераторы назначаютс  на исполнение асинхронно в произвольном пор дке.The device has enhanced functionality with the same efficiency and can be used to control control algorithms with an arbitrary degree of parallelism, including dynamic paralleling, when the one-D C is executed according to the combined drivers asynchronously in random order.

При контроле конвейерного управлени  (например, по схеме программы на фиг. 6а) устройство может иметь два варианта настройки в зависимости от того, контролируетс  асинхронный конвейер с переменным конвейеризмом (перекрытием следующих выполнений алгоритма), как показано на фиг. 66,. в,г, или синхронный конвейер с посто нным конвейеризмом, фиг. 6в,е,ж. При контроле синхронного конвейера устройство прекращает подтверждениеWhen monitoring conveyor control (for example, according to the program scheme in Fig. 6a), the device can have two settings depending on whether the asynchronous conveyor with variable conveyorism is controlled (by overlapping the following executions of the algorithm), as shown in FIG. 66 ,. c, d, or a synchronous conveyor with a constant conveyor; FIG. 6c, e, g. When checking the synchronous conveyor, the device stops confirming

правильности инициации команд незави- 25 равл емого коммутатора.correct initiation of commands of an independent switch.

симо от контролируемого потока управлени  (останавливает конвейер),если в потоке команд возник дефект типа пропадание - инициированы не все команды в группе синхронных команд (такты 5,6 и 6,7) т.е. обладает повышенной контролирующей способностью.probably from the controlled flow of control (stops the pipeline), if a defect like a failure has occurred in the command flow — not all commands in the group of synchronous commands (cycles 5, 6 and 6, 7) were initiated, i.e. possesses the increased controlling ability.

При настройке по ИЛСА (параллельной схеме алгоритма) устройство хранит информационно-логическую структуру вычислени , а не структуру ал- ;Горитма управлени , но вместе с тем вы вл ет дефекты типов 1-5 дл  целого класса алгоритмов управлени  с разной степенью параллелизма, а при дублировании дл  каждого из указанных алгоритмов следует задавать соответствующий дублирующий автомат.When configured according to the ILSA (parallel algorithm scheme), the device stores the information-logical structure of the calculation, and not the structure of the algo- rum; Control priority, but at the same time reveals type 1-5 defects for a whole class of control algorithms with varying degrees of parallelism duplication for each of these algorithms should be set to the corresponding backup machine.

Устройство позвол ет контролироват блоки, управл ющие вычислени ми с ап- риори неизвестным (динамическим) распараллеливанием программ и алгоритмов при этом самопровер емое дублирование не применимо.The device allows control of the blocks controlling the calculations with a priori unknown (dynamic) parallelization of programs and algorithms, while self-verifiable duplication is not applicable.

Устройство позвол ет контролироват практически любой параллельный блок управлени  при едином способе настройки .The device allows you to control virtually any parallel control unit with a single setting method.

Если устройство осуществл ет контроль многопрограммных блоков управлени  с фиксированным набором программ, то аналогично методике объединени  операторных схем алгоритмов осуществл етс  объединение схем алгоритмовIf the device performs control of multiprogrammed control units with a fixed set of programs, then, similarly to the method of combining operator algorithms, the algorithms are combined.

508610508610

(параллельных, ИЛСА) с помощью введени  в множество дополнительных логических условий выполнени  того или иного алгоритма, составлени  матричных схем и исключени  избыточных членов, при этом может учитыватьс  синтаксическое, и семантическое совпадение операторов. Блок 1А коммутаме , В частности, при объединении двух ИЛСА с непересекающимис  множествами операторов все св зи между  чейками будут зависеть от значени  дополнительного услови .(parallel, ILSA) by introducing into the set of additional logical conditions for the implementation of one or another algorithm, creating matrix schemes and eliminating redundant members, while taking into account syntactic and semantic coincidence of operators. Block 1A to the commutator. In particular, when combining two ILSA with non-intersecting sets of operators, all the connections between cells will depend on the value of the additional condition.

При контроле многопрограммных блоков управлени  устройство вы вл ет дефекты системного уровн  - ошибочные переходы к вьшолнению другогоWhen monitoring multiprogrammed control units, the device detects system level defects — erroneous transitions to another

алгоритма, поскольку такие дефекты адекватны дефектам типа 1 и 2.algorithm, since such defects are adequate to defects of type 1 and 2.

Дл  контрол  блоков управлени  с измен емым набором алгоритмов блок 14 коммутации выполн етс  в виде упКоммутатор 15.1 формирует на -м выходе шины 61 ( ц 1,2,...,1,1 ik) функциюFor the control of control units with a variable set of algorithms, the switching unit 14 is performed in the form of a pack switch 15.1 forms the function on the bus output 61 (c 1,2, ..., 1,1 ik)

;,a;, a

c,vc, v

( л ((р(l ((p

,vr,,;,,)MP,vry)),, vr ,,; ,,) MP, vry)),

5five

00

g g

состо ние ч -го входа данных q - число условий (разр довthe state of the h th data input q is the number of conditions (bits

где С - щины 60;where C - women 60;

регистра 2); г .г,о(И г - элементы вектора настройки R. , задающего код на вторьк входах элементов ИЛИ группы элементов ИЛИ коммутатора 15.1,выходы которых подключены ко входам элемента И-НЕ 59. ц, причем дл  разр да регистра 2 определена одна и только одна пара элементов в указанной группе элементов ИЛИ, така , что первые входы элементов пары соединены соответственно с пр мым и инверсным выходом oi-го разр да регистра 2, а на вторые входы поступают соответственмаскиregister 2); gg, o (AND g are the elements of the tuning vector R., which sets the code on the second inputs of the elements OR of the element group OR of the switch 15.1, the outputs of which are connected to the inputs of the AND-NOT element 59. n, and for the bit of register 2 one and only one pair of elements in the specified group of elements OR, such that the first inputs of the elements of the pair are connected respectively to the direct and inverse output of the oi-th register register 2, and the second inputs are received correspondingly

г,-л,,, и f. Л fr, l ,,, and f. L f

1M

,1,  ,one,

1one

Дл  1-й  чейкиFor the 1st cell

в зависимости от настройки R , depending on the setting of R,

,, ,,

г :g:

R.R.

,2, 2

RR

;,. ..,R; ,, где R,.; .., R; ,, where R ,.

О  ABOUT

Ч, H,

,1,0, 1.0

;,,( ,функци  f; ,, (, function f

,P

г;, 1,0(1 ,ч,в1 f может не зависеть.r; 1,0 (1, h, b1 f may not depend.

5five

зависеть безусловно или условно (от набора условий) от значений выбранного множества С ,j Если С. входит в f - безусловно, то R j содержит все 1. Если С„ не входит в f , то достаточноto depend unconditionally or conditionally (on a set of conditions) on the values of the chosen set C, j If C. enters f - unconditionally, then R j contains all 1. If C „does not enter f, then it is enough

дл  любой пары масок задать Г; . О (считаетс , что P-i,4°° 0). Если С входит в f, при заданном значении условий из 1 Pj( , то в векторе R. задаютс  нулевыми маски, соответст иующие заданным значени м условий. На фиг. 8 дан пример настройки коммутаторов дл  контрол  заданного алгоритма по таблице настройки на фиг. 5д) при выполнении коммутаторов 15.1 и 16.1 полными, т.е. , и п 2q. В таблице векторов настройки дл  каждого вектора R,. указываютс  составл ющие его вектора R;., не рав- ные О, а в скобках - составл ющие элементы вектора R;, равные О.ЗагГись R Rj(r2) означает, что дл  обеспечени  в шестой  чейке f С (С Р ) необходимо задать равным 1 вектор R , маскирующий группу элементов ИЛИ, подключенных выходами к элементу И-НЕ, коммутирующему С , в векторе R задать все единицы, кроме маски г (индексы i, опущены), пос- тупающей на второй вход элемента ИЛИ, первый вход которого соединен с пр мы выходом разр да регистра 2, соответствующего (хран щего) значению Р , остальные векторы нулевые.for any pair of masks set G; . O (it is considered that P-i, 4 °° 0). If C is included in f, for a given condition value from 1 Pj (, then in vector R. masks are set to zero corresponding to the given condition values. Fig. 8 shows an example of setting up switches for controlling a given algorithm using the setup table in Fig. 5e ) when executing switches 15.1 and 16.1 complete, i.e. and n 2q. In the vector table, the settings for each vector R ,. indicate the components of its vector R;., not equal to O, and in brackets - the constituent elements of the vector R; equal to O. ZAHGi R Rj (r2) means that for the sixth cell f C (C P) set to 1 vector R, masking the group of OR elements connected by outputs to the NAND element, commuting C, in the R vector to specify all units except the mask r (index i, omitted), coming to the second input of the OR element, the first input which is connected to the output of the register bit 2, the corresponding (stored) value of P, the other vectors are zero .

Коммутатор 16.1 формирует на сУ-м выходе шины 69 ( f 1,2,...,m; m i k) функциюThe switch 16.1 forms a function on the SU output of the bus 69 (f 1,2, ..., m; m i k)

(v((p,vu;,,,)A(,))), «- (v ((p, vu; ,,,) A (,))), "-

где a - состо ние f-ro входа шины 68; U;y,e( элементы вектора настройки Ц.1, задающего код на вторых входах элементов ИЛИ группы элементов ИЛИ коммутатора 16.1, выходы которых подключены ко входам элемента И 67. « Настройка коммутатора 16.1 осуществл етс  аналогично настройке коммута- тора 15.1 (фиг. 8), при этомwhere a is the f-ro input state of bus 68; U; y, e (elements of the setting vector C.1, which sets the code on the second inputs of the elements OR of the element groups of the OR switch 16.1, whose outputs are connected to the inputs of the And element 67. "The switch 16.1 is configured in the same way as the switch 15.1 (FIG. 8), while

f:f:

W „W „

При выполнении блока 14 коммутации в виде управл емого коммутатора во врем  функционировани  устройства векторы R и и хран тс  в регистре 17. При смене набора программ, выполн емых блоком управлени , в регистр 17 занос тс  новые значени  векторов настройки, настраива  блок 14 коммутации и устройство на контроль нового набора программ.When the switching unit 14 is executed as a controlled switch during operation of the device, the vectors R and and are stored in register 17. When changing the set of programs executed by the control unit, the new values of the tuning vectors are entered into the register 17, setting the switching unit 14 and the device on the control of a new set of programs.

5 5 п5 5 n

о g about g

5five

00

Использование полного коммутатора (1 m k, п 2q) целесообразно при контроле набора сильносв занных алгоритмов , когда выполнение каждого оператора может зависеть от множества предшественников и условий, которые на практике задаютс , как правило, управлением неполной коммутацией (например , 1 ), что существенно снижает избыточность.The use of a full switch (1 mk, n 2q) is advisable when monitoring a set of strongly coupled algorithms, when the execution of each operator may depend on a variety of predecessors and conditions that, in practice, are usually specified by incomplete switching control (for example, 1), which significantly reduces redundancy.

Следует отметить, что переход от схемной коммутации в устройстве к настройке от регистра 17 аналогичен переходу от схем с жесткой логикой к микропрограммному управлению.Предлагаемое уст1 ойство выгодно отличаетс  технологичностью выполнени , так как оно обладает регул рностью структуры (отнотипные  чейки и коммутаторы), что позвол ет его реализовать в виде БИС однородного специализированного процессора. Управл емые коммутаторы могут быть выполнены на Ш1М, а устрой- в целом - на основе базовых кристаллов. Другим вариантом  вл етс  выполнение на матрицах нескомму- тируемых элементов, при этом реализаци  блока 14 коммутации осуществл етс  по заданному набору контролируемых алгоритмов.It should be noted that the transition from circuit switching in the device to tuning from register 17 is similar to the transition from hard logic circuits to microprogram control. The proposed device differs favorably in processability because it has a regular structure (type cells and switches), which allows It can be implemented as an LSI homogeneous specialized processor. Managed switches can be made on W1M, and the device as a whole can be based on basic crystals. Another option is to perform non-switched elements on the matrices, and the switching unit 14 is implemented according to a predetermined set of controlled algorithms.

Наиболее оптимальным применением и. реализацией предлагаемого изобретени   вл етс  использование устройства дл  контрол .параллельных блоков управлени  специализированных ЭВМ с фиксированным набором алгоритмов вычислений и переменной (динамической) степенью распараллеливани  программ, причем устройство выполн етс  в виде БИС, программируемой (настраиваемой в услови  производства по заказу.The most optimal application and. An embodiment of the invention is the use of a device for controlling parallel control blocks of specialized computers with a fixed set of calculation algorithms and a variable (dynamic) degree of parallelization of programs, the device being implemented in the form of an LSI programmable (customizable for production conditions).

Устройство обладает повышенной контролирующей способностью, так как позвол ет контролировать поток выходных сигналов блока управлени  по условию его соответстви  свободным ресурсам объекта управлени . Дл  этого в множество {Р условий протекани  процесса вычислений ввод тс  услови  свободности (зан тости) ресурсов , например, процессоров, которые вход т в функции возможности соответствующих  чеек устройства.The device has an increased monitoring ability, since it allows controlling the output signal flow of the control unit according to the condition of its correspondence to the free resources of the control object. For this, the conditions of free (busy) resources, for example, processors, which are part of the capabilities of the corresponding device cells, are entered into the set of (P) conditions for the flow of the computation process.

Пусть дл  ИЛСА на фиг. 55 задано следующее распределение ресурсов по операторам: операторы а, и а , - ресурс 1 (например, устройство ввода- вывода), а; и а ресурс 2, а и а,ресурс 3. Состо нию свободности (зан тости ) ресурсов 1, 2 и 3 соответствуют единичные значени  (нулевые) условий PJ , Pj и Р , Таблицы настройки коммутатора, функционировани  устройства и векторов настройки комму- Tatopa даны соответственно на фиг.Зд и фиг. 8, причем . чейка 7 используетс  в качестве служебной (при функцио- нировании С , 1) дл  получени  конъюнкции , не реализуемой непосредственно коммутаторами 15.1-15.1, Например, в такте 2, фиг.5ж инициаци  а признаетс Let for ILSA in FIG. 55 the following distribution of resources by operators is specified: operators a, and a, - resource 1 (for example, an input / output device), a; and a resource 2, a and a, a resource 3. The condition of the free (busy) resources 1, 2 and 3 correspond to the single values (zero) of the conditions PJ, Pj and P, the Switch configuration tables, the functioning of the device and the switching configuration vectors are given respectively on fig.Zd and fig. 8, and. Cell 7 is used as a service cell (when operating C, 1) to obtain a conjunction that is not implemented directly by switches 15.1-15.1. For example, in step 2, FIG. 5, initialization is recognized

РГ 0.WG 0.

« неправильной, поскольку"Wrong because

и т.п.etc.

При контролировании блоков управлени  и обнаружении дефектов в потоке команд устройство формирует сигнал ошибки на выходе 24, что может использоватьс  системой дл  рестарта программы (например, с контрольной точки, соответствующей команде Начало в контролируемом алгоритме, составл ющем часть всей программы). При этом устройство сбрасываетс  в . исходное, а в регистр 17 записываютс  вектора настройки, соответствующие следующему контролируемому алгоритму управлени . Правильное окончание алгоритма управлени  может определ тьс  по сигналу подтверждени , вырабаПри функционировании в составе системы , включающей блок управлени , объект управлени  и предлагаемое уст- 20 тываемому  чейкой, соответствующей ройство, оно подключаетс  входом 18 к выходу признаков инициации команд блока управлени , входом 19 - к выходу логических условий объекта управпоследнему оператору алгоритма (в частности дл  всего набора контролируемых алгоритмов может быть выделена в устройстве специальна   чейка,соотлени  (т.е. соедин етс  со входом ло- 25 ветствующа  команде Конец), причемWhen monitoring the control units and detecting defects in the command flow, the device generates an error signal at output 24, which can be used by the system to restart the program (for example, from a control point corresponding to the Start command in a controlled algorithm that is part of the entire program). The device is reset to. the initial one, and the register 17 records the tuning vectors corresponding to the next controlled control algorithm. The correct termination of the control algorithm can be determined by a confirmation signal, generated when operating as part of a system including a control unit, a control object, and a suggested cell that corresponds to the device, it is connected by input 18 to the output of the signs of initiation of control unit commands, input 19 to the output of the logical conditions of the object to the last operator of the algorithm (in particular, for the whole set of controlled algorithms, a special cell can be selected in the device, correlation (i.e. yn is input at 25 lo- vetstvuyuscha End command), and

гических условий блока управлени ), входами 10, 21 и 22 - соответственно к выходам узла синхронизации и сброса системы, выходами 24 и 25 - соответственно к входу устройства прерывани  системы и входу устройства индикации режима работы системы, а выход 23 может использоватьс  либо дл  фиксации правильных команд в потоке управлеcontrol unit conditions), inputs 10, 21 and 22, respectively, to the outputs of the synchronization and system reset unit, outputs 24 and 25, respectively, to the input of the system interruption device and the input of the system mode indication device, and output 23 can be used either to fix the correct commands in the flow of control

ни , либо (при полном контроле по схеме алгоритма) непосредственно дл  управлени  объектом управлени , который при этом должен включать регистр дл  приема вектора а, синхронизируемый импульсами на входе 21. Поток векторов а на выходе 23 устройства (фиг. 3,5-7 - таблицы функционировани ) получаетс  в результате декомпозиции потока контролируемых сигналов на правильные (подтвержденные) и ошибочные. Иначе говор , предлагаемое устройство корректирует входной поток сигналов, сопровождаемый обо ми . При этом веро тность выдачи ложных сигналов на выходе 23 мала, поскольку надежность функционировани  устройства при выполнении в виде БИС существенно выше надежности программных блоков управлени , включающих ОЗУ, дешифраторы, регистры и т.п; кроме того, дл  выдачи ложных сигналов на выходе 23 необходимо, чтобы сбой (отказ) произошел и в блоке управлени , и в предлагаемом устройст neither, or (with full control according to the algorithm scheme) directly to control the control object, which in this case must include a register for receiving vector a, synchronized by pulses at input 21. The flow of vectors a at the output 23 of the device (Fig. 3.5-7 - operation table) is obtained as a result of decomposition of the flow of monitored signals into correct (confirmed) and erroneous. In other words, the proposed device corrects the input signal flow, followed by both. At the same time, the probability of issuing spurious signals at the output 23 is low, since the reliability of the device when executed as an LSI is significantly higher than the reliability of software control blocks, including RAM, decoders, registers, etc .; In addition, in order to emit false signals at the output 23, it is necessary that a failure (failure) should occur both in the control unit and in the proposed device

5five

ве, иначе не выполн етс  предыдущее условие.otherwise, the previous condition is not fulfilled.

При контролировании блоков управлени  и обнаружении дефектов в потоке команд устройство формирует сигнал ошибки на выходе 24, что может использоватьс  системой дл  рестарта программы (например, с контрольной точки, соответствующей команде Начало в контролируемом алгоритме, составл ющем часть всей программы). При этом устройство сбрасываетс  в . исходное, а в регистр 17 записываютс  вектора настройки, соответствующие следующему контролируемому алгоритму управлени . Правильное окончание алгоритма управлени  может определ тьс  по сигналу подтверждени , выраба0 тываемому  чейкой, соответствующей When monitoring the control units and detecting defects in the command flow, the device generates an error signal at output 24, which can be used by the system to restart the program (for example, from a control point corresponding to the Start command in a controlled algorithm that is part of the entire program). The device is reset to. the initial one, and the register 17 records the tuning vectors corresponding to the next controlled control algorithm. The correct termination of the control algorithm can be determined by the confirmation signal generated by the cell corresponding to

тываемому  чейкой, соответствующей matching cell

последнему оператору алгоритма (в частности дл  всего набора контролируемых алгоритмов может быть выделена в устройстве специальна   чейка,соотэтим сигналом устанавливаетс  в 1  чейка, соответствующа  команде Начало .to the last operator of the algorithm (in particular, for the whole set of controlled algorithms a special cell can be selected in the device, with this signal it is set to 1 cell corresponding to the Start command.

Claims (1)

1. Устройство дл  контрол  блоков управлени , содержащее первый и второй регистры, группу триггеров, первую и вторую группы элементов И, первый и второй элементы ИЛИ, группу элементов НЕ, первый и второй триггеры результата контрол , причем информационные входы первого и второго регистров подключены соответственно к входу контролируемых сигналов и входу логических условий устройства, входы синхронизации первого и второго регистров подключены к первому входу син- хронизации устройства, выход первого элемента ИЛИ соединен с D-входом первого триггера результата контрол ,выход которого  вл етс  выходом ошибки устройства, вход сброса устройства подключен к R-входу первого триггера результата контрол , R-входам с первого по (k-)-й триггеров группы и к S-входу k-ro триггера группы, где k - разр дность входа контролируемых сигналов устройства, вход сброса устройства подключен к входам сброса1. A device for controlling control units containing the first and second registers, a group of triggers, the first and second groups of elements AND, the first and second elements OR, the group of elements NOT, the first and second triggers of the control result, the information inputs of the first and second registers being connected respectively to the input of the monitored signals and the input of the logical conditions of the device, the synchronization inputs of the first and second registers are connected to the first synchronization input of the device, the output of the first element OR is connected to the D input of the The first control result trigger, the output of which is a device error output, the device reset input is connected to the R input of the first control result trigger, the R inputs from the first to (k -) th group triggers, and the S input of the k-ro group trigger where k is the input width of the monitored device signals, the device reset input is connected to the reset inputs первого и второго регистров , выходfirst and second registers, exit i-ro разр да первого регистра (,k) соединен с первым входом i-ro элеменThe i-ro bit of the first register (, k) is connected to the first input of the i-ro element та И первой группы, второй вход i-ro элемента И первой группы соединен с единичным выходом 1-го триггера группы , выход i-ro элемента И первой группы соединен с R-входом i-ro триггера группы, второй вход синхронизации устройства подключен к I, входам синхронизации первого триггераThis first group, the second input of the i-ro element of the first group is connected to the single output of the 1st group trigger, the output of the i-ro element of the first group is connected to the R input of the i-ro group trigger, the second synchronization input of the device is connected to I first sync trigger inputs результата контрол  и с первого по k-й триггеров группы, отличающеес  тем, что, с целью расширени  области применени  за счет обеспечени  возможности контрол  блоков управлени , реализующих алгоритмы с различной степенью параллелизма и расширени  класса обнаруживаемых дефектов , устройство содержит группу элементов ИЛИ, третью группу элементов И,элемент ИСКЛЮЧАЮЩЕЕ ИЛИ и блок ком- коммутации, причем выход второго триггера результата контрол   вл етс  выходом подтверждени  устройства,R-вход и вход синхронизации второго триггера результата Контрол  подключены соответственно к входу сброса и второму I the result of the control and the first to the k-th group triggers, characterized in that, in order to expand the scope of application by providing the ability to control control blocks that implement algorithms with different degrees of parallelism and expand the class of detectable defects, the device contains a group of elements OR, the third group AND elements, the EXCLUSIVE OR element and the switching unit, the output of the second trigger of the monitoring result is the device confirmation output, the R input and the synchronization input of the second trigger are Control acetate are respectively connected to the reset input of the second I and входу синхронизации устройства, выход второго элемента ИЛИ соединен с D-входом второго триггера результата контрол .и с первым входом элемента ИСКЛЮЧАЮЩЕЕ ИЛИ, выход которого соединен с первым входом первого элемента ИЛИ, второй вход элемента ИСКЛЮЧАЮЩЕЕ ИЛИ соединен с выходом первого разр да второго регистра, пр мые и инверсные выходы разр дов второго регистра соединены с группой управл ющих входов блока коммутации, группа входов i-ro элемента И первой группы соединена с i-й выходной шиной первой группы информационных выходных шин блока коммутации, входы i-ro элемента ИЛИ группы соединены с i-й выходной шиной второй группы информационных выходных шин блока коммутации-, выход i-ro элемента ИЛИ группы соединен с первым входом i-ro элемента И второй группы, выход i-ro элемента И второй группы соединен с S-входом i-ro триггера группы, второй вход i-ro элемента И второй группы соединен с нулевым выходом i-ro триггера группы, выход i-ro элемента И первой группы через i-й элемент НЕ группы соединен с первым входом i-ro элемента И третье группы, выход 1-го разр да первого регистра соединен с вторым входом 1 i-ro элемента И третьей группы, выход i-ro элемента И третьей группы соеthe device synchronization input, the output of the second element OR is connected to the D input of the second trigger of the control result and the first input of the EXCLUSIVE OR element, the output of which is connected to the first input of the first OR element, the second input of the EXCLUSIVE OR element is connected to the output of the first digit of the second register, the direct and inverse outputs of the bits of the second register are connected to the group of control inputs of the switching unit, the group of inputs of the i-ro element I of the first group is connected to the i-th output bus of the first group of information output buses switching, inputs of the i-ro element OR group are connected to the i-th output bus of the second group of information output buses of the switching unit-, the output of the i-ro element OR group is connected to the first input of the i-ro element AND the second group, the output of the i-ro element And the second group is connected to the S input of the i-ro trigger of the group, the second input of the i-ro element And the second group is connected to the zero output of the i-ro trigger of the group, the output of the i-ro element And the first group through the i-th element of the NO group is connected to the first input of the i-ro element And the third group, the output of the 1st bit of the first register is connected to the second m input 1 i-ro element And the third group, the output of the i-ro element And the third group soy 5five 00 5five 00 5five 00 5five 00 5five динен с ()-м входом первого элемента ИЛИ, инверсные выходы с первого по k-й триггеров группы соединены с первой группой информационных входов блока коммутации, выходы с первого по k-й элементов И первой группы соединены с второй группой информационных входов блока коммутации, с группой входов второго элемента ИЛИ и образуют выход информации о результате контрол  устройства.dinen from () -m input of the first element OR, inverse outputs from the first to the k-th group trigger are connected to the first group of information inputs of the switching unit, outputs from the first to the k-th element And the first group are connected to the second group of information inputs of the switching unit, with a group of inputs of the second element OR, and form the output of information about the result of the control device. 2, Устройство по П.1, отличающеес  тем, что блок коммутации содержит регистр настройки, первую и вторую группы управл емых коммутаторов, причем группа управл ющих входов блока коммутации подключена к входным шинам управлени  управл емых коммутаторов первой и второй групп, выходы разр дов регистра настройки соединены с входными шинами настройки управл емых коммутаторов первой и второй групп, входные информационные шины управл емых коммутаторов первой и второй групп подключены соответственно к первой и второй .группам информационных входов блока коммутации, выходна  шина i-ro управл емого коммутатора первой группы подключена к i-й выходной шине первой группы информационных выходных шин блока коммутации, выходна  шина i-ro управл емого коммутатора второй группы подключена к i-й выходной шине второй группы информационных выходных шин блока коммутаций, причем i-й управл емый коммутатор первой группы содержит первую группу из 1 элементов ИЛИ (1 k), с второй по ()-ю группы из п элементов ИЛИ (п i2q, где q - число разр дов входа логических условий устройства) и группу из 1 элементов И-НЕ, выходы которых соединены с первыми входами соответствующих элементов ИЛИ первой группы, вторые входы которых образуют входную информационную шину i-ro управл емого коммутатора первой группы, выходы элементов ИЛИ первой группы образуют выходную шину i-ro управл емого коммутатора первой группы, входы элемента И-НЕ группы ( 1 1,1) соединены с выходами элементов ИЛИ ()-й группы, первые входы элементов ИЛИ с второй по (1-ь1)-ю групп образуют входную шину управлени  i-ro управл емого коммутатора первой группы , вторые входы элементов ИЛИ с второй по (1 + 1) -ю групп образуют входную шину настройки i-ro управл емого коммутатора первой группы, причем i-й управл емый коммутатор второй группы содержит первую и вторую группы из m эле ментов И (ш k), группу из п элементов ИЛИ, выходы элементов И первой группы соединены с первьми входами соответствующих элементов И второй группы, вторые входы которых образуют входную информационную шину i-ro управл емого коммутатора второй группы.2, The device according to claim 1, characterized in that the switching unit contains a setup register, the first and second groups of controlled switches, the group of control inputs of the switching unit connected to the input control buses of the controlled switches of the first and second groups, the outputs of the register bits the settings are connected to the input buses of the settings of the controlled switches of the first and second groups, the input information buses of the controlled switches of the first and second groups are connected respectively to the first and second groups of information x inputs of the switching unit, the i-ro output bus of the managed switch of the first group is connected to the i-th output bus of the first group of information output buses of the switching unit, the i-ro output bus of the controlled switch of the second group is connected to the i-th output bus of the second group of information output buses of the switching unit, the i-th managed switch of the first group contains the first group of 1 OR elements (1 k), from the second to the () -th group of n OR elements (n i2q, where q is the number of logical input bits device conditions) and a group of 1 elements in NAND whose outputs are connected to the first inputs of the corresponding OR elements of the first group, the second inputs of which form the input information bus of the i-ro controlled switch of the first group, the outputs of the OR elements of the first group form the output bus of the i-ro controlled switch of the first group, the inputs of the IS-NE group (1 1,1) are connected to the outputs of the OR elements of the () -th group, the first inputs of the OR elements from the second (1st) 1st groups form the input bus of the i-ro control switch of the first group , the second inputs of elements OR with in the second (1 + 1) -th groups form the input bus of the i-ro control switch of the first group, the i-th controlled switch of the second group contains the first and second groups of m elements And (wk), the group of n the OR elements, the outputs of the AND elements of the first group are connected to the first inputs of the corresponding AND elements of the second group, the second inputs of which form the input information bus of the i-ro controlled switch of the second group. di- l Ci- Qdi- l Ci Q in in выходы элементов И второй группы образуют выходную шину i-ro управл емого коммутатора второй группы,входыthe outputs of the elements And the second group form the output bus i-ro controlled switch of the second group, the inputs элемента И первой группы ((,га) соединены с выходами элементов ИЛИ ( группы, первые входы элементов ШШ с первой по га-ю групп образуют входную шину управлени  i-ro управл емого коммутатора второй группы, вторые входы элементов ИЛИ с первой по т-ю групп образуют входную шину настройки i-ro управл емого коммутатора второй группы. of the element AND of the first group ((, ha) are connected to the outputs of the OR elements (groups, the first inputs of the elements SH from the first to ha groups form the input control bus of the i-ro controlled switch of the second group, the second inputs of the elements OR from the first to t) These groups form the i-ro configuration bus of the managed switch of the second group. di.di. Ci- 0Ci-0 inin г (Pu2.3g (Pu2.3 2В гз 2B gz а.but. didi ж Фиг. 5g FIG. five а, &6odiy) Ia, & 6odiy) i fli|Z:-y/y/ifli | Z: -y / y / i зЕЕЁШZEESH JJ аЛ8ы&од(1AL8Y & OD (1 aa н цn c ww ж гw g ЯI ХЯ:Xy: 7G №i#I 3rl3rl frfr аbut Фиг. ВFIG. AT
SU864085607A 1986-07-09 1986-07-09 Device for checking control units SU1365086A1 (en)

Priority Applications (1)

Application Number Priority Date Filing Date Title
SU864085607A SU1365086A1 (en) 1986-07-09 1986-07-09 Device for checking control units

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
SU864085607A SU1365086A1 (en) 1986-07-09 1986-07-09 Device for checking control units

Publications (1)

Publication Number Publication Date
SU1365086A1 true SU1365086A1 (en) 1988-01-07

Family

ID=21244449

Family Applications (1)

Application Number Title Priority Date Filing Date
SU864085607A SU1365086A1 (en) 1986-07-09 1986-07-09 Device for checking control units

Country Status (1)

Country Link
SU (1) SU1365086A1 (en)

Non-Patent Citations (1)

* Cited by examiner, † Cited by third party
Title
Авторское свидетельство СССР № 1187167, кл. G 06 F 11/00, 1984. Авторское свидетельство СССР № 1128258, кл. G 06 F 11/00, 1983. *

Similar Documents

Publication Publication Date Title
US4497059A (en) Multi-channel redundant processing systems
EP0273043B1 (en) Triple-redundant fault detection system and related method for its use
US9823983B2 (en) Electronic fault detection unit
US5001712A (en) Diagnostic error injection for a synchronous bus system
US4849979A (en) Fault tolerant computer architecture
US3680052A (en) Configuration control of data processing system units
US6038683A (en) Replicated controller and fault recovery method thereof
JPH09319401A (en) Parallel duplex system electronic interlocking device
SU1365086A1 (en) Device for checking control units
US6374365B1 (en) Arrangement for operating two functionally parallel processors
JP3529994B2 (en) Verification circuit
RU2029365C1 (en) Three-channel asynchronous system
JPS5911455A (en) Redundancy system of central operation processing unit
SU1374235A1 (en) Device for reserving and restoring mikroprocessor system
JPH03232040A (en) Data processor
CN117478492A (en) Fault diagnosis method and device of clock system in time Zhong Jitong
SU1104696A1 (en) Three-channel majority-redundant system
RU1819116C (en) Three-channel redundant system
SU1397917A1 (en) Two-channel device for checking and restoring processor systems
RU1815641C (en) Device for test and reconfiguration of redundant system
JPS60140438A (en) System switching control system of information processing system
JP3055249B2 (en) Processor debugging method
JPH03210638A (en) Microcomputer
JPH05189259A (en) External register setting system
Elphick et al. Enhanced distributed recovery blocks: a unified approach for the design of safety-critical distributed systems