skip to main content

Title: Automata-based Debugging for Dissimilar Parallel Tasks

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.
Publication Date:
OSTI Identifier:
1231745
Report Number(s):
AUTOMADED; 002983WKSTN00
LLNL-CODE-647182
DOE Contract Number:
AC52-07NA27344
Software Revision:
00
Software Package Number:
002983
Software Package Contents:
Open Source Software package available from Lawrence Livermore National Laboratory at the following URL:https://github.com/llnl/automaDeD
Software CPU:
WKSTN
Open Source:
Yes
Source Code Available:
Yes
Research Org:
Lawrence Berkeley National Laboratory
Sponsoring Org:
United States Department of Energy
Contributing Orgs:
I. Laguna, D. H. Ahn, T. Gamblin, B. R. de Supinski, G. Bronevetsky, S. Bagchi
Country of Publication:
United States

To initiate an order for this software, request consultation services, or receive further information, fill out the request form below. You may also reach us by email at: .

ESTSC staff will begin to process an order for scientific and technical software once the payment and signed site license agreement are received. If the forms are not in order, ESTSC will contact you. No further action will be taken until all required information and/or payment is received. Orders are processed within three to five business days.


Software Request