Abstract:High-performance computing (HPC) systems play a critical role in facilitating scientific discoveries. Their scale and complexity (e.g., the number of computational units and software stack) continue to grow as new systems are expected to process increasingly more data and reduce computing time. However, with more processing elements, the probability that these systems will experience a random bit-flip error that corrupts a program's output also increases, which is often recognized as silent data corruption. Analyzing the resiliency of HPC applications in extreme-scale computing to silent data corruption is crucial but difficult. An HPC application often contains a large number of computation units that need to be tested, and error propagation caused by error corruption is complex and difficult to interpret. To accommodate this challenge, we propose an interactive visualization system that helps HPC researchers understand the resiliency of HPC applications and compare their error propagation. Our system models an application's error propagation to study a program's resiliency by constructing and visualizing its fault tolerance boundary. Coordinating with multiple interactive designs, our system enables domain experts to efficiently explore the complicated spatial and temporal correlation between error propagations. At the end, the system integrated a nonmonotonic error propagation analysis with an adjustable graph propagation visualization to help domain experts examine the details of error propagation and answer such questions as why an error is mitigated or amplified by program execution.

Design and Implementation of a Exception Propagation Analysis Tool

An Approach to Static Analysis of Exception Handling in C~(++)

Detecting Exception Handling Bugs in C++ Programs.

An Approach to Analyzing Dependence Based on Exception Propagation Analysis

An Approach to Analyzing Recursive Programs with Exception Handling Constructs.

Approach to Evaluating Exception Handling of Programs

Tools to Make C Programs Safe: a Deeper Study

Design and Implementation of a Tool of Java Program Analysis Based on Complex Networks

An Efficient and Reliable Object-Oriented Exception Handling Mechanism

An Integration of Several Different Data Flow Analysis Techniques

On the Exception Handling of C++

Automatically Detecting Exception Handling Defects in Android Applications.

C++ Program Information Database For Analysis Tools

Evaluating and Integrating Diverse Bug Finders for Effective Program Analysis

Analysis and Implementation of Exception Processing Module of Embedded Software in Communication Field

A Method and Implementation of Control Flow Obfuscation Using SEH

Global-to-Local Approach to Rigorously Developing Distributed System with Exception Handling

A New Mutation Analysis Method for Testing Java Exception Handling

An Analytical Technique of Java Program Runtime Exception Based on Class Document

Towards Understanding Tool-chain Bugs in the LLVM Compiler Infrastructure.

A Visual Comparison of Silent Error Propagation