CAREER: Algorithms and Tools for Fault Tolerance and Migration in Distributed Computing Environments

该研究项目集中在容忍资源动态化方面的两个重要领域：体系结构独立检查点(AIC)和用于高可用性的原语。与体系结构无关的检查点是以与机器无关的方式保存程序的执行状态的能力，以便可以在不同的处理平台上恢复它。这可以在不同的机器上，或者对于并行程序，在不同的并行处理环境中。人民党正在从不同的角度攻击AIC。它们是ScaLAPACK中特定于应用程序的AIC，C和Fortran程序的半透明到透明AIC，Java应用程序的AIC，以及High Performance Fortran应用程序的AIC。其结果将是各种广泛使用的计算工具的AIC的方法和实现的集合。本研究项目的第二部分是在三种当前流行的分布式计算工具中设计和实现高可用性原语：ScaLAPACK、MPI和Java。目前，每一种方法的支持都是有限的。不包括故障、处理器撤销和后续可用性、网络分区和计划内关闭等情况。PI计划解决这些不足之处。其结果将是更强大的分布式计算工具，以及可能被纳入未来工具设计的方法。

This research project focuses on two important areas in tolerating resource dynamicism: architecture- independent checkpointing (AIC) and primitives for high availability. Architecture-independent checkpointing is the ability to save the execution state of a program in a machine independent manner so that it may be restored on a different processing platform. This could be on a different machine, or for a parallel program, a different parallel processing environment. The PI is attacking AIC from different angles. These are applicationspecific AIC in ScaLAPACK, semi-transparent to transparent AIC for C and Fortran programs, AIC of Java applications, and AIC of HighPerformance Fortran applications. The result will be a collection of methods for and implementations of AIC for a variety of widely used computing tools. The second portion of this research project is to design and implement primitives for high availability in three currently popular tools for distributed computing: ScaLAPACK, MPI, and Java. Currently, each is limited in its support. Occurrences such as failures, processor revocation and subsequent availability, network partitions, and planned shutdowns are not accommodated. The PI plans to address these deficiencies. The result will be more robust tools for distributed computing, plus methodologies that may be incorporated into the design of future tools.