基于操作系统调用的容错计算机系统同步技术研究

同步是实现基于表决的容错计算机系统的关键过程.现有的采用基于硬件或应用软件同步技术的系统存在设计和制造困难、兼容性差和难以使用等问题.提出了一种基于操作系统调用的同步机制;描述了其同步算法;介绍了在Linux操作系统上的实现.该同步机制对应用程序完全透明,同步点无需人工设置,同步算法由软件和硬件结合的方式实现.实验结果表明该同步机制是可行的,较好地达到了系统易设计和好使用的目标.

故障注入方法与工具的研究现状

本文将故障注入技术分为基于模拟的故障注入和基于物理的故障注入两类 ,并从应用方法和工具结构两方面介绍了该项技术的研究现状。