【摘要】检查点技术作为一种普遍的容错技术，在分布式/集群系统中有着广泛应用。在基于消息传递的系统中，藉由将进程的运行状态定期的记录到可靠存储设备中（检查点文件），这样进程在失效时就可以通过存储的检查点文件进行迅速恢复，避免了进程对前期工作的重复执行，减少计算损失。协同检查点技术作为检查点技术中的一种，通过对进程的检查点设置过程进行协调来保持检查点集合的全局一致状态。通常我们使用容错开销来对一项容错 […]

【摘要】随着城市化的发展,城市人口的日益增多,社会对城市轨道交通的要求越来越高。在基于通信的列车控制系统(CBTC)中,安全计算机系统是核心需求。在安全计算机系统的软件设计中,操作系统的优化配置和平台软件设计是整个安全计算机架构能否发挥作用的关键。本文以城市轨道交通为应用背景,针对安全计算机平台对可靠性、可用性、可维护性和安全性的要求,抽象出安全计算机系统的层次结构,并简要介绍了安全硬件架构、实时 […]