Устройство для функционального контроля дублированных вычислительных машин

 

Изобретение относится к вычислительной технике и может быть использовано для контроля дублированных ЭВМ и вычислительных систем, не имеющих внешних средств синхронизации. Цель изобретения - повышение достоверности контроля устройства. Новыми элементами устройства являются N-1 регистров 1.2-1.N и 2.2-2.N первой и второй групп, регистр 3 выхода, второй 5 и третий 6 счетчики, первый 7 и второй 8 триггеры пуска, второй триггер 10 управления, второй 12 и третий 13 генераторы тактовых импульсов, первый 15 и второй 16 мультиплексоры, четвертый элемент ИЛИ 25, одновибратор 26. Сущность изобретения состоит в приведении асинхронных информационных последовательностей с временем рассинхронизации более одного такта к квазисинхронным последовательностям на основе буферизации выдаваемого на выход кода до момента положительной обработки следующего кода. 3 ил.

СОЮЗ СОВЕТСКИХ

СОЦИАЛИСТИЧЕСКИХ

РЕСГ!УБЛИН (19) (11) (БИ 4 0 06 Р 11/16

ОПИСАНИЕ ИЗОБРЕТЕНИЯ

ГОСУДАРСТ8ЕННЫЙ КОМИТЕТ

ПО ИЗОБРЕТЕНИЯМ И ОТНРЬ(ТИЯМ

ПРИ ГКНТ СССР

К А STOPCKOMY СВИДЕТЕЛЬСТВУ (21) 4335665/24-24 (22) 20.10.87 (46) 30.04.89. Бюл. 1)- 16 (72) В;С.Харченко, Г.Н.Тимонькин, В.П.Улитенко, С.Н.Ткаченко, Р,И,Могутин„ Б.О.Сперанский и В.П.Агеенко (53) 681.3(088.8) (56) Авторское свидетельство СССР

Ф 283688, кл. G 06 F 11/16, 1968.

Авторское свидетельство СССР

Ф 1134943, кл. G 06 F 11/16, 1984, (54) УСТРОЙСТВО ДЛЯ ФУНКЦИОНАЛЬНОГО

КОНТРОЛЯ ДУБЛИРОВАННЫХ ВЫЧИСЛИТЕЛЬНЫХ МА!ЧИН (57) Изобретение относится к вычислительной технике и может быть использована для контроля дублированных ЭВМ и вычислительных систем, не имеющих внещних средств синхронизации. Цель изобретения — повьппение достоверности контроля устройства.

Новыми элементами устройства являются N-1 регистров 1.?-1.N и 2.2-2.N

1476472

25 первой и второй групп, регистр 3 выхода, второй 5 и третий 6 счетчики, первый 7 и второй 8 триггеры пуска, второй триггер 10 управления, второй 12 и третий 13 генераторы тактовых импульсов, первый 15 и второй ,16 мультиплексоры, четвертый элемент

ИЛИ 25, одновибратор 26. Сущность

Изобретение относится к вычислительной технике и может быть использовано для контроля работы вычисли. тельных машин, не имеющих внешних средств синхронизации и встроенных средств контроля.

Целью изобретения является повышение достоверности контроля устройства. 10

На фиг. 1 приведена функциональная схема предлагаемого устройства; на фиг. 2 и 3 — временные диаграммы

его работы.

Устройство (фиг. 1) содержит первую 1.1-1.N и вторую 2,1-2.N группы регистров, регистр 3 выхода, первый

4, второй 5 и третий 6 счетчики, первый 7 и второй 8 триггеры пуска, :первый 9 и второй 10 триггеры управления, первый ll второй 12 и третий

13 генераторы тактовых импульсов, схему 14 сравнения, первый 15 и второй 16 мультиплексоры, первый 17, второй 18 и третий 19 блоки элементов И, первый 20 и второй 21 элементы И, первый 22, второй 23, третий

24 и четвертый 25 элементы ИЛИ, одновибратор 26. Кроме того, устройство содержит первый и второй входы

27 и 28 устройства, вход 29 сброса устройства, информационный выход 30 и выход 31 отказа устройства, выходы

32 и 33 переполнения счетчиков 4 и 5 соответственно. 35

Назначение элементов.

Первая 1.1-1.N и вторая 2.1-2.N группы регистров представляют собой буферную память и предназначены для 40 записи, хранения и выдачи информации, поступающей соответственно от первой и второй вычислительных машин, изобретения состоит в приведении

1 асинхронных информационных последовательностей с временем рассинхронизации более одного такта к квази синхронным последовательностям на ос— нове буферизации выдаваемого на выход кода до момента положительной обработки следующего кода. З,ил.

Запись информации, поступающей на D-входы регистров первой 1.1-1,N (второй 2,1-2,N) группы, осуществляется по заднему фронту импульса синхронизации, поступающего с выхода генератора 11 тактовых импульсов (генератора 12) на их С вЂ вхо.

Регистр 3 выхода предназначен для записи, хранения и выдачи выходной информации, Запись информации (кода), поступившего на D-вход регистра 3, осуществляется по заднему фронту положительного .импульса (переднему фронту отрицательного импульса), сформированного одновибратором 26.

Счетчики 4 и 5 предназначены для управления мультиплексорами 15 и 16 соответственно. Состояние счетчиков

4 и 5 увеличивается на единицу по заднему фронту импульсов, поступивших на их счетный вход с выходов элементов И 20 и 21 соответственно ° При превышении числа импульсов, поступивших на счетный вход счетчиков 4 или

5, заранее заданного числа на выходе

32 или 33 счетчиков 4 или 5, будет сформирован единичный сигнал переполнения.

Счетчик 6 служит для контроля текущей рассинхронизации между первой и второй вычислительной машинами, Состояние .счетчика увеличивается на единицу по заднему фронту импульса, поступившего на его счетный вход с выхода генератора 13 тактовых импульсов, При превьш|ении состояния счетчика заранее заданного на выходе счетчика будет сформирован единичный сигнал переполнения, Обнуляется счетчик нулевым сигналом, поступающим íà его R-вход.

1476472

Первый 7 и второй 8 триггеры пуска служат для управления соответственно первым ll и вторым 12 генераторами тактовых импульсов. Триггеры

7 и 8 переходят в единичное состояние по единичным сигналам, поступивших на их входы установки в единицу.

Первый триггер 9 управления слу- 1р жит для управления поступлением импульсов на счетные входы счетчиков

5 и 4 через элементы И 20 и 2! соответственно. В единичное состояние триггер 9 переходит по нулевому сиг- 15 налу, поступившему на его единичный вход с выхода одновибратора 26.

Второй триггер 10 управления служит для управления поступлением информации с входов 27 и 28 устройства 2р и выдачей информации на выход устройства. В единичное состояние триггер 10 переключается единичным импульсом, поступившим на его единичный вход с выхода элемента ИЛИ 24. 25

Первый 11 и второй 12 генераторы тактовых импульсов предназначены для синхронизации работы устройства, Генераторы ll и 12 формируют на своих выходах последовательность тактовых импульсов только при наличии единичного сигнала на их входах.

Третий генератор 13 тактовых импульсов служит для формирования импульсов дискретизации. Формирование

35 импульсов на его выходе происходит только при наличии нулевого сигнала на его входе.

Схема 14 сравнения предназначена 4р для сравнения кодов, поступающих с выходов мультиплексоров 15 и 16. При совпадении кодов, поступающих на входы схемы 14 сравнения, на ее выходе формируется единичный сигнал, а при несовпадении — нулевой. Мультиплексоры 15 и 16 служат для коммутации .кодов, поступающих на их информационные входы соответственно с выходов регистров 1.1-1.N и 2.1-2.N. Управление мультиплексорами 15 и 16 осуществляется поступающими на их управляющие входы кодами с выходов соответственно счетчиков 4 и 5. При нулевых управляющих кодах на выходах

55 мультиплексоров 15 и 16 присутствуют нулевые коды.

Блоки элементов И 17 и 18 предназначены для управления информацией,. поступаюшей соответственно на входы

27 и 28 устройства. Информация через блоки элементов И 17 и 18 будет проходить только тогда, когда второй триггер 10 управления будет находиться в нулевом состоянии.

Блок элементов И !9 предназначен для управления выдачей информации на выход 30 устройства. Через блок элементов И 19 информация проходит только при нулевом состоянии второ го триггера !G управления.

Элементы И 20 и 21 предназначены для управления соответственно счетчиками 4 и 5, Тактовые импульсы, поступающие на первые входы элементов

И 20 и 21 с вь|ходов соответственно генераторов ll и 12, пройдут на счетные входы соответственно счетчиков

4 и 5 только при нулевом состоянии первого триггера 9 управления.

Элементы ИЛИ 22 и 23 предназначены для управления соответственно первым

7 и вторым 8 триггерами пуска. При появлении хотя бы одного единичного сигнала в коде, поступающем на входы элементов ИЛИ 22 и 23, на их выходах появится единичный. сигнал, который включит триггеры 7 и 8 соответственно, Элемент ИЛИ 24 служит для формирования обобщенного сигнала отказа, который появится при переполнении хотя бы одного из счетчиков 4, 5 или. 6.

Элемент ИЛИ 25 предназначен для формирования сигнала управления для генератора 13 тактовых импульсов. Пока первый триггер 9 управления находится в единичном состоянии, на выходе элемента ИЛИ 25 будет присутствовать единичный сигнал, следовательно генератор 13 не будет генерировать. При переключении триггера 9 управления в нулевое состояние на вход генератора 13 через элемент

ИЛИ 25 будет поступать сигнал с выхода схемы 14 сравнения и при нулевом значении этого сигнала генератор 13 будет формировать на своем выходе последовательность тактовь.х импульсов, т,е. тогда коды, поступающие на выходы схемы !4 сравнения, не равны.

Одновибратор 26 фор.:ирует нулевой импульс по переднем>- фронту, поступающего на его вход еди. ичнего импульса.

1476472

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

В исходном состоянии все элементы памяти устройства за исключением второго триггера 10, управления обнулены (цепи установки исходного состояния на схеме условно не показаны).

Нулевой сигнал с нулевого выхода триггера 10 закрывает блоки элементов И 17 и 18, а единичный .сигнал с его единичного выхода закрывает блок элементов И 19 и поступает на выход 30 отказа устройства, Единичный сигнал с нулевого выхода первого триггера 9 управления поступает через элемент ИЛИ 25 на вход генератора 13 тактовых импульсов и они не генерируют.

Работа устройства начинается с поступлением на вход 29 устройства единичного импульса, который обнуляет триггер 10 управления. Нулевой сигнал с единичного триггера 10 откроет блок элементов И 19, а единичный сигнал с его нулевого выхода откроет блоки элементов И 17 и 18.

При поступлении на вход 27 устройства первого ненулевого кода (фиг. 2), на выходе элемента HJIH 22 сформируется единичный сигнал, который включит триггер 7 пуска, генератор 11 сформирует на своем выходе первый тактовый импульс. По заднему фронту этого импульса код, поступающий на вход 27 устройства, запишется в регистр 1.1, а счетчик 4 увеличит свое состояние на единицу.

Мультиплексор 16 в соответствии с кодом, поступающим на его управляющий вход с выхода счетчика 4, пропустит на свой выход код, хранящийся в регистре 1.1, т.е. первый код, поступивший на вход 27 устройства.

По заднему фронту второго импульса, сформированного генератором 11> в регистр 1.1 запишется второй код, поступивший на вход устройства, а первый код, хранимый до этого момента в регистре 1.1, перепишется в регистр 1.2. Таким образом, наряду с записью в первый регистр группы очередного кода происходит сдвиг вправо на один регистр информации (кодов), хранимой в регистрах группы. Так же по заднему фронту второго импульса, сформированного генератором 11, счетчик 4 увеличит свое состояние еще на

l5

55 единицу, т ° е. изменится управляющий код и в соответствии с ним мультиплексор 15 пропустит на свой выход код, хранящийся в регистре 12, первый код, поступивший на вход 27 устройства. Следовательно, независимо от числа кодов, поступающих на вход устройства 27, на выходе мультиплексора 15 будет ..присутствовать первый из поступивших кодов. При формировании генератором 11 следующего импульса работа устройства повторится.

При поступлении на вход 28 первого ненулевого кода устройство будет работать так же как и при поступлении ненулевого кода на вход 27 устройства. Элемент ИЛИ 23 сформирует на своем выходе единичный сигнал, триггер 8 пуска перейдет в единичное состояние, генератор 12 начнет формировать на своем выходе тактовые импульсы. По первому импульсу, сформированному генератором 12, первый код, поступивший на вход 28 устройства, будет записан в регистр 2.1 и пройдет на выход мультиплексора

16, управляемого состоянием счетчика 5, которое по этому импульсу увеличится на единицу.

Следовательно, на входы схемы 14 сравнения с выходов мультиплексоров

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

27 и 28 устройства. При равенстве этих кодов схема 14 сравнения сформирует на своем выходе единичный сигнал, по переднему фронту которого одновибратор 26 сформирует нулевой импульс. По переднему фронту этого импульса, (что равносильно заднему фронту единичного импульса) счетчик

6 подтвердит свое нулевое состояние, триггер 9 управления перейдет в единичное состояние и нулевым сигналом на своем нулевом выходе закроет элементы И 20 и 21, а первый код (прошедший проверку сравнением) с выхода мультиплексора 16 запишется в регистр 3 выхода и через открытый блок элементов И 19 поступит на выход

30 устройства. Так как элементы И 20 и 21 закрыты, то по задним фронтам очередных импульсов, сформированных генераторами 11 и 12, состояние счетчиков 4 и 5 не изменится, а очеред1476472

30 ные коды, поступающие на входы 27 и

28 устройства, запишутся соответственно в регистры 1.1 и 2.1 с одновременным сдвигом кодов, хранящихся н первой группе регистров (1,1-1.N) и но второй (2.1-2.N) вправо на один регистр, Следовательно, на выходах мультиплексоров 15 и 16 появятся вторые коды, поступающие соответственно 10 на входы 27 и 28 устройства информационных последовательностей, с временем задержки Гь, равному неполному такту рассинхронизации между информационными последовательностями, по- 15 ступающими на входы 27 и 28 устройства. При равенстве вторых кодов, поступающих на входы схемы 14 сравнения на ее выходе с перерывом, равным 2ь, снова появится единичный сигнал (фиг. 2) и по его переднему фронту однонибратор 26 сформирует нулевой импульс, По переднему фронту нулевого импульса, сформированного одновибратором 26, второй код с ныхо- 25 да мультиплексора 16 запишется н регистр 3 и через блок элементов И 19 поступит на выход 30 устройства, Таким образом, устройство может сравнивать между собой информационные последовательности, рассинхрониза- . пуля которых превышает один и более тактов.

Решение о неправильном функционировании контролируемых вычислительных машин, выходная информация которых поступает на входы 27 и 28 устройства, принимается если рассинхронизация между ними превышает максимальную заранее заданную и равную 40

N тактам (максимальная возможная рассинхронизация определяется количеством регистров н группах N). В этом случае состояние счетчика 4 (или счетчика 5 в зависимости от того на какой из входов 27 и 28 информация поступает с опережением) увеличивается до предельно заданного значения N и на его выходе 32 (33) появится единичный сигнал переполнения, который, пройдя через элемент

ИЛИ 24, включит триггер 10 управления. Единичный сигнал с его единичного выхода поступит на выход 31 отпрекратит выдачу HHAopMBIIHH на выход 30 устройства, .закрыв блок элементов И 19, а нулевой сигнал с

его нулевого выхода закроет блоки элементов И 17 и 18, Пругой случай, когда принимаетсч решение об отказе, заключается н том, что при правильном функционировании устройстна некоторое время (на выход 30 уже поступают проверенные коды) рассинхронизация между информационными последонательностямн получает приращение (отрицательное или положительное). Б этом случае может произойти или двойная запись одного и того же кода с входа устройства (Ьиг. 3a) или же потеря кода (фиг. 3б). Причем нестабильность рассинхронизации определяется нестабильностью времени такта информационных последовательностей, поступающих на входы устройства,т ° е. нестабильностью рабочего такта контролируемых вычислительных машин, В этом случае после совпадения первых кодов (первый единичный сигнал на выходе схемы !4 сраннения) триггер 9 управления переключится н единичное состояние и на его нулевом выходе..пропадает единичный сигнал, блокирующий работу генератора 13, поэтому при пропадении единичного сигнала на выходе схемы 14 сравнения (фиг, 2) генератор 13 будет генерировать последовательность импульсов дискретизации и счетчик 6 будет отсчитывать время задержки tq . Если время задержки э превысит время одного такта, то на выходе счетчика 6 появится единичный сигнал переполнения, который пройдя через элемент

ИЛИ 24 включит триггер 10 управления, Следовательно, сформируется сигнал отказа на выходе 31 устройства и блоки элементов И 17-19 закроются.

При нормальной работе ®з меньше времени такта) очередной единичный сигнал равенства кодов на выходе схемы

14 сравнения поступит на вход. одновибратора 26 и через элемент ИЛИ 25 на вход генератора 13, Генератор 13 перестанет формировать импульсы дискретизации на своем выходе, а одновибратор 26 сформирует нулевой импульс, который поступит на R-вход счетчика 6 и обнулит его. Палее цикл работы устройства повторится. формула изобретения

Устройство для Ьу кционального контроля дублированных вычислительных машин, содержащее дна регистра, первый счетчик, первый триггер управле147647? ния, первый генератор тактовых импульсов, схему сравнения, первый, второй и третий блоки элементов И, первый и второй элементы И, первый, второй и третий элементы ИЛИ, . причем выходы первого и второго блоков элементов И соединены с информационными входами первых регистров .соответственно первой и второй групп, инверс- 10 ный выход первого триггера управления и выход первого генератора тактовых импульсов соединены соответственно с первым и вторым входами первого элемента И, выход которого сое- 15 динен со счетным входом первого счетчика, выход третьего блока элементов

И является информационным выходом устройства, о т л и ч а ю щ е е с я тем, что, с целью повышения достовер- 20 ности контроля устройства, в него введены регистр выхода, второй и третий счетчики, первый и второй триггеры пуска, второй триггер управления, второй и третий генераторы тактовых импульсов, первый и второй мультиплексоры, четвертый элемент

ИЛИ, одновибратор, две группы из (N-1) регистров, (где N — максимальное количество тактов рассинхрониза- 30 ции между контролируемыми ЗВМ), причем первый и второй информационные входы устройства соединены с первыми входами соответственно первого и второго блоков элементов И, выходы которых соединены с соответствующими входами .первого и второго элементов

ИЛИ, выходы первого и второго элементов ИЛИ соединены с единичными входами соответственно первого и второ- 40 го триггеров пуска, прямые выходы которых соединены с входами запуска соответственно первого и второго генераторов тактовых импульсов, выход первого генератора тактовых им- 45 пульсов соединен с тактовыми входами регистров первой группы, выход второго генератора тактовых импульсов соединен с первым входом второго элемента И и с тактовыми входами регистров второй группы, выход второго элемента И соединен со счетным входом второго счетчика, информационный выход k-ro регистра первой группы (где 1 1 до (N-1)) соединен с k-м информационным входом первого мультиплексора и информационным входом (k+I)-го регистра первой группы, информационный выход k-го регистра второй группы соединен с k-м информационным входом второго мультиплексора и с информационным входом (k+1)-ro регистра второй группы, информационные выходы N-х регистров первой и второй групп соединены с

N-м информационным входом соответственно первого и второго мультиплексоров, выход второго мультиплексора соединен с первым входом схемы сравнения и информационным входом регистра выхода, информационные выходы первого и второго счетчиков соединены соответственно с управляющими входами первого и второго мультиплексоров, выходы переполнения первого и второго счетчиков соединены соответственно с первым и вторым входами третьего элемента ИЛИ, выход которого соединен с единичным входом второго триггера управления, информационный выход первого мультиплексора соединен с вторым входом схемы сравнения, выход которой соединен с первым входом четвертого элемента ИЛИ и через одновибратор — с единичным входом первого триггера управления, с тактовым входом регистра выхода и с нулевым входом третьего счетчика, инверсный выход первого триггера управления соединен с вторым входом четвертого элемента.ИЛИ, выход которого соединен с инверсным входом запуска третьего генератора тактовых импульсов, выход которого соединен со счетным входом третьего счетчика, выход переполнения которого соединен с третьим входом третьего элемента ИЛИ, вход пуска устройства соединен с нулевым входом второго триггера управления, инверсный выход которого соединен с вторыми входами первого и второго блоков элементов

И, выход третьего элемента ИЛИ соединен c единичным входом второго триггера управления, прямой выход которого соединен с инверсным входом третьего блока элементов И и является выходом неисправности устройства, информационный выход регистра выхода соединен с вторым входом третьего блока элементов И.

147647?

78

52

76

Фиг 2

21(78) g 1 +2 6+5 i t 9 j/, +5 j/, +g (7 8

11(1г) 11(25) L 6 1 6+2 C+3 8 9 4<5 4+б 55 / +8 а ! г (гг) «1 2 (5 +Ч < !7

55(5г) 11(71) а1 с ii+1 L+2 c+

Ю багз

Составитель Сигалов

Техред И.Дидык

Редактор Ю.Середа

Корректор И.11аксимишинец

Заказ 2157/49 Тираж 669 Подписное

ВНИИПИ Государственного комитета по изобретениям и открытиям при ГКНТ СССР

113035, Ыосква, Ж-35, Раушская наб., д. 4/5

Производственно-издательский комбинат "Патент", r. Ужгород, ул. Гагарина, 101