SU1365086A1 - Device for checking control units - Google Patents
Device for checking control units Download PDFInfo
- 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
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
1М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)
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) |
-
1986
- 1986-07-09 SU SU864085607A patent/SU1365086A1/en active
Non-Patent Citations (1)
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 |