摘要
同步是实现基于表决的容错计算机系统的关键过程.现有的采用基于硬件或应用软件同步技术的系统存在设计和制造困难、兼容性差和难以使用等问题.提出了一种基于操作系统调用的同步机制;描述了其同步算法;介绍了在Linux操作系统上的实现.该同步机制对应用程序完全透明,同步点无需人工设置,同步算法由软件和硬件结合的方式实现.实验结果表明该同步机制是可行的,较好地达到了系统易设计和好使用的目标.
Synchronization is the key process in implementing fault-tolerant computer systems based on voting. There are some problems, such as being hard to design and produce and being less compatible and difficult to use about traditional fault-tolerant computer systems which adopt hardware-based or application program-based synchronizing technologies. Proposed in this paper is a synchronizing mechanism which is based on the system calls in operating systems. The arithmetic of the synchronizing mechanism is described and the implementation in the Linux operating system is introduced. The synchronizing mechanism is transparent to application programs completely and the synchronizing points needn＇ t be set artificially by programmer. The arithmetic is implemented by the combination of hardware and software. Experimental results show that the synchronizing mechanism is feasible and achieves preferably the goals of the system easy to design and convenient to use.
出处
《计算机研究与发展》
EI
CSCD
北大核心
2006年第11期1985-1992,共8页
Journal of Computer Research and Development
关键词
客错计算机
资源冗余
同步
操作系统
系统调用
fault-tolerant computer
resource redundant
synchronization
operating system
system call
