Research on Description Language and the Application for Distributed Fault-tolerant Computing

随着现代计算机网络技术的发展，诸如银行系统、火车票网上订票系统、卫星控制系统等分布式系统得到广泛的开发和使用。针对大规模分布式系统以及安全至上的系统，容错能力是其设计开发必需考虑的一个重要因素。一方面，系统复杂性的增加必然会降低系统整体的可靠性，即使所有组件都具有高可靠性；另一方面，总是存在某些不可预期的环境因素或者潜在的软件错误没有被设计者考虑在内。 容错系统的正确性由分布式系统的安全性质和生存性质保证；这两种性质往往与系统功能模块的状态相关，取决于分布式算法。因此，系统的容错模块与功能模块紧密相关。在理解、设计或者扩展分布式容错系统的框架时，无论是增加失效类型，还是增加容错机制，或是增加...As the technology of contemporary computer network develops, distributed systems are generally developed and employed, such as bank systems, train ticket online booking systems, and satellite control systems. Fault-tolerance is a significant factor in designing and developing both large scale systems and safety-critical systems. On one hand, the increase in the complexity shall cause the decrease ...学位：工学硕士院系专业：信息科学与技术学院_计算机科学与技术学号：2302013115314