MARMOT:: An MPI analysis and checking tool

被引：0
|
作者：
Krammer, B [1 ]
Bidmon, K [1 ]
Müller, MS [1 ]
Resch, MM [1 ]
机构：
[1] High Performance Comp Ctr Stuttgart, D-70550 Stuttgart, Germany
来源：
PARALLEL COMPUTING: SOFTWARE TECHNOLOGY, ALGORITHMS, ARCHITECTURES AND APPLICATIONS | 2004年 / 13卷
关键词：
D O I：
暂无
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
The Message Passing Interface (MPI) is widely used to write parallel programs using message passing. MARMOT is a tool to aid in the development and debugging of MPI programs. This paper presents the situations where incorrect usage of MPI by the application programmer is automatically detected. Examples are the introduction of irreproducibility, deadlocks and incorrect management of resources like communicators, groups, datatypes and operators.
引用
收藏
页码：493 / 500
页数：8
相关论文
共 50 条
  • [1] MPI correctness checking with Marmot
    Krammer, Bettina
    Hilbrich, Tobias
    Himmler, Valentin
    Czink, Blasius
    Dichev, Kiril
    Mueller, Matthias S.
    [J]. TOOLS FOR HIGH PERFORMANCE COMPUTING, 2008, : 61 - +
  • [2] MPI application development using the analysis tool MARMOT
    Krammer, B
    Müller, MS
    Resch, MM
    [J]. COMPUTATIONAL SCIENCE - ICCS 2004, PT 3, PROCEEDINGS, 2004, 3038 : 464 - 471
  • [3] Correctness checking of MPI one-sided communication using marmot
    Krammer, Bettina
    Resch, Michael M.
    [J]. RECENT ADVANCES IN PARALLEL VIRTUAL MACHINE AND MESSAGE PASSING INTERFACE, 2006, 4192 : 105 - 114
  • [4] ISP: A Tool for Model Checking MPI Programs
    Vakkalanka, Sarvani
    Sharma, Subodh
    Gopalakrishnan, Ganesh
    Kirby, Robert M.
    [J]. PPOPP'08: PROCEEDINGS OF THE 2008 ACM SIGPLAN SYMPOSIUM ON PRINCIPLES AND PRACTICE OF PARALLEL PROGRAMMING, 2008, : 285 - 286
  • [5] MPI-CHECK: a tool for checking Fortran 90 MPI programs
    Leucke, G
    Chen, H
    Coyle, J
    Hoekstra, J
    Kraeva, M
    Zou, Y
    [J]. CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE, 2003, 15 (02): : 93 - 100
  • [6] MPI I/O analysis and error detection with MARMOT
    Krammer, B
    Müller, MS
    Resch, MM
    [J]. RECENT ADVANCES IN PARALLEL VIRTUAL MACHINE AND MESSAGE PASSING INTERFACE, PROCEEDINGS, 2004, 3241 : 242 - 250
  • [7] Coupling DDT and Marmot for Debugging of MPI Applications
    Krammer, Bettina
    Himmler, Valentin
    Lecomber, David
    [J]. PARALLEL COMPUTING: ARCHITECTURES, ALGORITHMS AND APPLICATIONS, 2008, 15 : 653 - +
  • [8] MPI Correctness Checking for OpenMP/MPI Applications
    Tobias Hilbrich
    Matthias S. Müller
    Bettina Krammer
    [J]. International Journal of Parallel Programming, 2009, 37 : 277 - 291
  • [9] MPI Correctness Checking for OpenMP/MPI Applications
    Hilbrich, Tobias
    Mueller, Matthias S.
    Krammer, Bettina
    [J]. INTERNATIONAL JOURNAL OF PARALLEL PROGRAMMING, 2009, 37 (03) : 277 - 291
  • [10] Checking interaction consistency in MARMOT component refinements
    Choi, Yunja
    [J]. SOFSEM 2007: THEORY AND PRACTICE OF COMPUTER SCIENCE, PROCEEDINGS, 2007, 4362 : 832 - 843
12345