|
по жения по mod2 контрольных разрядов рассматриваемых слагаемых получим кодовый набор 0111 00111001, у которого значения контрольных разрядов отличаются от правильного набора контрольных разрядов 00001111 для полученного значения информационных разрядов 0111. Для формирования используя операцию логическую И относительно информационных разрядов рассматриваемых операндов, в результате получим кодовый набор: 0001 (операция И выполняется для младших разрядов операндов). В этом случае матрица поправок операции ИЛИ имеет вид: 00 0 01 1 правые и левые диагональные проверки данной матрицы дадут результат поправки: 00110110. Свойство 3. 11. Операция сложения по mod2 полученных значений контрольных разрядов и значения поправки, сформированной на основе матрицы поправок для логической операции ИЛИ, даст правильное значение контрольных разрядов. Действительно, для рассматриваемого примера имеем результат: 00111001 ©00110110 00001111, который является правильным для кодового набора 0111, полученным в результате логической операции ИЛИ, что позволяет контролировать операцию ИЛИ и при этом обнаруживать и исправлять, возникающие ошибки по правилам предлагаемого метода кодирования. 3.4.4 Разработка способа коррекции ошибок при выполнении логической операции И Рассмотрим основные положения способа контроля операции И на примере. |
102 риваемых операндов, в результате получим кодовый набор: 0001 (операция И выполняется для младших разрядов операндов). В этом случае матрица поправок операции ИЛИ имеет вид: ООО 01 1 правые и левые диагональные проверки данной матрицы дадут результат поправки: 00110110. Свойство 3. 11. Операция сложения по mod2 полученных значений контрольных разрядов и значения поправки, сформированной на основе матрицы поправок для логической операции ИЛИ, даст правильное значение контрольных разрядов. Действительно, для рассматриваемого примера имеем результат: 00111001 ©00110110 00001111, который является правильным для кодового набора 0111, полученным в результате логической операции ИЛИ, что позволяет контролировать операцию ИЛИ и при этом обнаруживать и исправлять, возникающие ошибки по правилам предлагаемого метода кодирования. 3.3.4. Разработка способа коррекции ошибок при выполнении логической операции И Рассмотрим основные положения способа контроля операции И на примере. Допустим, требуется выполнить логическую операцию И для двух четырех разрядных числа: А=0101 и 13=0011, которые хранятся в отказоустойчивом ОЗУ, т.е. кодируется рассмотренным способом. В этом случае из ОЗУ в операционное устройство процессора число А поступает в виде кодового набора: 0101 01010101, А число В поступает в виде: ООН 01101100. 103 При выполнении операции И для информационных разрядов и сложения по mod2 контрольных разрядов рассматриваемых операндов получим кодовый набор 0001 00111001, у которого значения контрольных разрядов отличаются от правильного набора контрольных разрядов 00110110 для полученного значения информационных разрядов 0001. Для формирования поправки построим матрицу поправок, используя операцию логическую ИЛИ относительно информационных разрядов рассматриваемых операндов, в результате получим кодовый набор: 0111. В этом случае, матрица поправок операции И имеет вид: 01 1 11 0 правые и левые диагональные проверки данной матрицы дадут результат поправки: 00001111. Свойство 3.12. Операция сложения по mod2 полученных значений контрольных разрядов и значения поправки, сформированной на основе матрицы поправок для логической операции И, даст правильное значение контрольных разрядов. Действительно, для рассматриваемого примера имеем результат: 00111001 Ф00001111 00110110, который является правильным для кодового набора 0001, полученным в результате логической операции И, что позволяет контролировать операцию И при этом обнаруживать и исправлять, возникающие ошибки по правилам предлагаемого метода кодирования. 105 матриц, содержащих четыре информационных разряда (в данном случае) данный столбец всегда имеет нулевые значения, что не характерно для матриц большей размерности. В то же время остальные столбцы рассматриваемой матрицы в своих разрядах всегда имеют только единичные значения. Правые и левые диагональные проверки данной матрицы дадут результат поправки: 10101010. Свойство 3.13. Операция сложения по mod2 полученных значений контрольных разрядов и значения поправки, сформированной на основе матрицы поправок для логической операции НЕ, даст правильное значение контрольных разрядов. Действительно, для рассматриваемого примера имеем результат: 01010101 Ф10101010 11111111, который является правильным для кодового набора 1010, полученным в результате логической операции НЕ, что позволяет контролировать операцию НЕ и при этом обнаруживать и исправлять, возникающие ошибки по правилам предлагаемого метода кодирования. 3.4. Разработка функциональной схемы отказоустойчивого процессора повышенной достоверности функционирования На рис.3.1 представлена функциональная схема отказоустойчивого процессора; на рис.3.2 функциональная схема блока коррекции; на рис.3.3 функциональная схема блока контроля; на рис.3.4 функциональная схема формирования поправки при выполнении арифметических операций; на рис.3.5 функциональная схема формирования поправки при выполнении операции сдвига; на рис.3.6 функциональная схема формирования поправки при выполнении операции ИЛИ; на рис.3.7 функциональная схема формирования поправки при выполнении операции И; на рис.3.8 функциональная схема формирования поправки при выполнении операции НЕ. |