信頼性工学において、デュアルモジュール冗長性（DMR）とは、システムのコンポーネントを二重化することで、片方のノードに障害が発生した場合でも冗長性を確保することです。これは、特にフォールトトレラントなコンピュータシステムなど、二重化されたコンポーネントが並列に動作するシステムに適用されます。典型的な例としては、ノードを二重化した複雑なコンピュータシステムがあります。これにより、片方のノードに障害が発生しても、もう一方のノードが処理を継続できるようになります。
DMRは、ある部品の故障に対する堅牢性と、同じ結果を示すはずの計器やコンピュータが異なる結果を示した場合のエラー検出を提供します。しかし、どの部品が正常でどの部品が故障しているかを自動的に判断できないため、エラー訂正は提供されません。この点については、「航海にはクロノメーターを2つ持って行くな。1つか3つ持って行け」という古い格言があります。[1]つまり、2つのクロノメーターの値が矛盾する場合、船員はどちらが正しく読み取っているか分からない可能性があるということです。
ロックステップ型フォールトトレラントマシンは、並列動作する複製要素を使用します。各要素のすべての複製は常に同じ状態である必要があります。各複製には同じ入力が提供され、同じ出力が期待されます。複製の出力は投票回路を用いて比較されます。各要素の複製が2つあるマシンは、デュアルモジュラー冗長（DMR）と呼ばれます。この場合、投票回路は不一致を検出することしかできず、回復は他の方法に依存します。例として、1ESSスイッチが挙げられます。
各要素の複製が3つあるマシンは、三重モジュラー冗長（TMR）と呼ばれます。投票回路は、2対1の投票が観測された場合、どの複製に誤りがあるかを特定できます。この場合、投票回路は正しい結果を出力し、誤りのあるバージョンを破棄します。その後、誤りのある複製の内部状態は他の2つの複製の内部状態と異なると想定され、投票回路はDMRモードに切り替わります。このモデルは、複製数が多い場合に適用できます。
参照
参考文献
- ^ ブルックス、フレデリック・J. (1995) [1975]. 『人月の神話』 . アディソン・ウェスレー. p. 64. ISBN 0-201-83595-9。
