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

为分布式/并行计算设计有效的检查点和恢复技术所涉及的问题已经得到了广泛的研究和很好的理解；这个问题在这一领域有有效的解决办法。然而，在分布式和移动数据库系统以及基于分布式对象的系统中，与检查点和恢复相关的问题并没有得到很好的理解。本项目关注的是这些问题。更具体地说，该项目将制定一个理论框架，解决与为分布式和移动数据库系统以及分布式对象系统开发有效的检查点和恢复技术有关的问题。在该框架的基础上，将为这类系统开发高效的非侵入式异步检查点和恢复技术。该项目的重要预期更广泛的影响是：(1)改进对与容错分布式和移动数据库系统以及基于分布式对象的系统的设计和实施有关的问题的轻描淡写；(2)为建立容错的分布式和移动信息系统以及基于分布式对象的系统提供有效的检查点和恢复技术将有助于建立这种系统；(3)研究生参与该项目将提高他们对与设计和实施容错分布式和移动信息系统有关的问题的了解，并帮助他们获得建立这种系统的工具和技术；(4)该项目的研究成果将在国际会议上发表，并发表在对学术界和工业界的研究人员都有好处的国际期刊上；(5)研究成果还将纳入研究生水平的课程。

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.