Automata-based Debugging for Dissimilar Parallel Tasks

Software · Wed Nov 06 00:00:00 EST 2013

OSTI ID:1231745

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; 002983WKSTN00
• Site Accession Number: LLNL-CODE-647182
• Version: 00
• Programming Language(s): Medium: X; OS: Linux; Compatibility: Workstation
• Research Organization: Lawrence Berkeley National Laboratory (LBNL), Berkeley, CA (United States)
• Sponsoring Organization: USDOE
• Contributing Organization: I. Laguna, D. H. Ahn, T. Gamblin, B. R. de Supinski, G. Bronevetsky, S. Bagchi
• DOE Contract Number: AC52-07NA27344
• OSTI ID: 1231745
• Country of Origin: United States