Stack trace analysis for large scale debugging
We present the Stack Trace Analysis Tool (STAT) to aid in debugging extreme-scale
applications. STAT can reduce problem exploration spaces from thousands of processes to …
applications. STAT can reduce problem exploration spaces from thousands of processes to …
MARMOT: An MPI analysis and checking tool
Publisher Summary This chapter discusses MARMOT, a tool to check during runtime if
message passing interface (MPI) application conforms to the MPI standard—that is, if …
message passing interface (MPI) application conforms to the MPI standard—that is, if …
Automated, scalable debugging of MPI programs with Intel® Message Checker
J DeSouza, B Kuhn, BR De Supinski… - Proceedings of the …, 2005 - dl.acm.org
The trend towards many-core multi-processor systems and clusters will make systems with
tens and hundreds of processors more widely available. Current manual debugging …
tens and hundreds of processors more widely available. Current manual debugging …
MPI runtime error detection with MUST: advances in deadlock detection
T Hilbrich, J Protze, M Schulz… - Scientific …, 2013 - content.iospress.com
Abstract The widely used Message Passing Interface (MPI) is complex and rich. As a result,
application developers require automated tools to avoid and to detect MPI programming …
application developers require automated tools to avoid and to detect MPI programming …
MPI‐CHECK: a tool for checking Fortran 90 MPI programs
G Luecke, H Chen, J Coyle, J Hoekstra… - Concurrency and …, 2003 - Wiley Online Library
MPI is commonly used to write parallel programs for distributed memory parallel computers.
MPI‐CHECK is a tool developed to aid in the debugging of MPI programs that are written in …
MPI‐CHECK is a tool developed to aid in the debugging of MPI programs that are written in …
Formal analysis of MPI-based parallel programs
Formal analysis of MPI-based parallel programs Page 1 82 CommunICatIonS of tHe aCm |
DeceMBer 2011 | voL. 54 | No. 12 contributed articles MosT ParaLLeL CoMPUTiNG applications …
DeceMBer 2011 | voL. 54 | No. 12 contributed articles MosT ParaLLeL CoMPUTiNG applications …
Formal verification of practical MPI programs
A Vo, S Vakkalanka, M DeLisi, G Gopalakrishnan… - ACM Sigplan …, 2009 - dl.acm.org
This paper considers the problem of formal verification of MPI programs operating under a
fixed test harness for safety properties without building verification models. In our approach …
fixed test harness for safety properties without building verification models. In our approach …
GRace: a low-overhead mechanism for detecting data races in GPU programs
In recent years, GPUs have emerged as an extremely cost-effective means for achieving
high performance. Many application developers, including those with no prior parallel …
high performance. Many application developers, including those with no prior parallel …
PNMPI tools: a whole lot greater than the sum of their parts
M Schulz, BR De Supinski - Proceedings of the 2007 ACM/IEEE …, 2007 - dl.acm.org
PN MPI extends the PMPI profiling interface to support multiple concurrent PMPI-based tools
by enabling users to assemble tool stacks. We extend this basic concept to include new …
by enabling users to assemble tool stacks. We extend this basic concept to include new …
Dynamic verification of MPI programs with reductions in presence of split operations and relaxed orderings
S Vakkalanka, G Gopalakrishnan, RM Kirby - … Princeton, NJ, USA, July 7-14 …, 2008 - Springer
Dynamic verification methods are the natural choice for debugging real world programs
when model extraction and maintenance are expensive. Message passing programs written …
when model extraction and maintenance are expensive. Message passing programs written …