A Framework for the Design and Implementation of Fault-Tolerant Distributed and Mobile Information Systems

为分布式/并行计算设计有效的检查点和恢复技术所涉及的问题已经得到了广泛的研究和很好的理解；这一领域存在有效的解决方案。然而，与分布式和移动数据库系统以及基于对象的分布式系统中的检查点和恢复相关的问题还没有得到很好的理解。本项目关注这些问题。更具体地说，该项目将开发一个理论框架，解决与开发分布式和移动数据库系统以及分布式基于对象的系统的有效检查点和恢复技术相关的问题。基于该框架，将为此类系统开发高效的非侵入式异步检查点和恢复技术。本项目预期的更广泛的重要影响是：(i)改进了对与容错分布式和移动数据库系统以及分布式基于对象的系统的设计和实现相关的问题的理解；（ii）为建立容错的分布式和流动信息系统以及基于对象的分布式系统提供有效的检查点和恢复技术，将有助于建立这类系统；（iii）研究生参与研究项目，有助加深他们对设计和实施容错分布式及流动资讯系统的认识，并有助他们掌握建立该等系统的工具和技术；（iv）该项目的研究成果将在国际会议上发表，并在国际期刊上发表，这将使学术界和工业界的研究人员受益；(v)研究结果亦会纳入研究生课程。

The issues involved in designing efficient checkpointing and recovery techniques for distributed/parallel computations have been extensively studied and are well understood; efficient solutions exist for this problem in this area. However, the issues related to checkpointing and recovery in distributed and mobile database systems as well as distributed object-based systems are not well understood. This project focuses on these issues. More specifically, this project will develop a theoretical framework that addresses the issues related to developing efficient checkpointing and recovery techniques for distributed and mobile database systems as well as distributed object-based systems. Based on the framework, efficient non-intrusive asynchronous checkpointing and recovery techniques will be developed for such systems.The important expected broader impacts of this project are: (i) an improved understating of the issues related to the design and implementation of fault-tolerant distributed and mobile database systems as well as distributed object-based systems; (ii) availability of efficient checkpointing and recovery techniques for building fault-tolerant distributed and mobile information systems as well as distributed object-based systems would help in building such systems; (iii) involvement of graduate students in the project will enhance their understanding of the issues related to the design and implementation of fault-tolerant distributed and mobile information systems and also help them acquire the tools and techniques for building such systems; (iv) the research results from the project will be presented in international conferences and also published in international journals which will benefit the researchers in both academia and industry; (v) the research results will also be integrated in a graduate level course.