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