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

本研究计画集中在容忍资源动态性的两个重要领域：架构无关检查点（AIC）和高可用性原语。 架构独立检查点是以机器独立的方式保存程序的执行状态的能力，以便它可以在不同的处理平台上恢复。 这可以在不同的机器上，或者对于并行程序，可以在不同的并行处理环境中。 私家侦探从不同的角度攻击AIC这些是ScaLAPACK中的特定于应用程序的AIC，C和Fortran程序的半透明到透明的AIC，Java应用程序的AIC，以及高性能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.