超ディペンダブル·プロセッサアーキテクチャの構想

摘要

今日のコンピュータシステムのディペンダビリティは、多くの層に渡る多様な技術を必要とし、維持することが難しくなっている。 本論文では、システムの一元的なディペンダビリティ維持を支援するプロセッサとして、一つ一つの命令実行をチェックするプロセッサモデルを提案し、必要となる機能を列挙する。更に、それらの機能を統合したときのオーバヘッドと今後の最適化を概観する。