[发明专利]一种可信冗余容错计算机系统

权利要求书

1.一种可信冗余容错计算机，其特征是：包括两套完全相同的计算机子系统，两套子系统采用双机冗余热备方式提高系统的可靠性，两系统通过失效切换模块对外提供统一接口，每套子系统采用可信密码模块(TCM)保证系统的安全可信性。

2.根据权利要求1所述的一种可信冗余容错计算机，其特征是：通过自主开发的FPGA模块完成TCM、BIOS和CPU之间接口的信号转换和总线开关控制。其中，TCM的PSRAM接口通过FPGA转换为PCI；TCM的SPI通过FPGA转换为LPC，实现与BIOS双向连接：FPGA内部的LPC总线开关可以控制BIOS与CPU的双向连接。

3.根据权利要求1所述的一种可信冗余容错计算机，其特征是：每套计算机子系统设有心跳服务器，心跳服务器以系统级进程形式运行在内核空间，能够监视本地服务和应用的运行情况，并互相发送心跳。在一机故障时心跳服务器可以控制将当前运行的应用和服务恢复到另一机继续运行。其中应用可以根据数据库中保存的检查点记录，恢复到最近的运行状态。

4.根据权利要求1所述的一种可信冗余容错计算机，其特征是：可信冗余容错计算机的输入、输出接口冗余设计，但对外提供一套统一接口，由失效切换模块负责接口电路的切换。失效切换模块可以根据心跳服务器的切换指令自动完成接口电路切换，也可以根据收到的来自外部按钮开关的信号实现手动切换。手动切换后，失效切换模块会主动通知心跳服务器完成上层服务和应用的同步切换。