Skip to main content
U.S. Department of Energy
Office of Scientific and Technical Information

Automata-based Debugging for Dissimilar Parallel Tasks

Software ·
DOI:https://doi.org/10.11578/dc.20171025.1462· OSTI ID:code-2654 · Code ID:2654

AutomaDeD is a tool that automatically diagnoses performance and correctness faults in MPI applications. It creates time and control-flow models of processes in an MPI program, and when a failure occus, these models are analyzed probabilistically to find the origin of the failure. The output of the tool is MPI processes ranked by the abnormality degree and regions of code where faults are first manifested. The granularity of code region is an MPI call or a computation region between two MPI calls.

Short Name / Acronym:
AUTOMADED
Site Accession Number:
5127
Software Type:
Scientific
License(s):
GNU Lesser General Public License v2.1
Research Organization:
Lawrence Berkeley National Laboratory
Sponsoring Organization:
USDOE

Primary Award/Contract Number:
AC52-07NA27344
DOE Contract Number:
AC52-07NA27344
Code ID:
2654
OSTI ID:
code-2654
Country of Origin:
United States

Similar Records

Automata-based Debugging for Dissimilar Parallel Tasks
Software · Wed Nov 06 00:00:00 EST 2013 · OSTI ID:1231745

AutomaDeD: Automata-Based Debugging for Dissimilar Parallel Tasks
Conference · Tue Mar 23 00:00:00 EDT 2010 · OSTI ID:1010829

mpileaks - an MPI opject leak debugging library
Software · Mon Nov 14 00:00:00 EST 2011 · OSTI ID:1231578

Related Subjects