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 条
  • [41] Collision checking analysis tool: discovering dynamic collisions in a modeling and simulation environment
    Ludwig, Luke
    Haurykiewicz, John
    [J]. INTERNATIONAL JOURNAL OF INTERACTIVE DESIGN AND MANUFACTURING - IJIDEM, 2007, 1 (03): : 135 - 141
  • [42] αSPIN: A tool for abstract model checking
    María del Mar Gallardo
    Jesús Martínez
    Pedro Merino
    Ernesto Pimentel
    [J]. International Journal on Software Tools for Technology Transfer, 2004, 5 (2-3) : 165 - 184
  • [43] VET: A tool for reaction plausibility checking
    Durant, JL
    Leland, BA
    Nourse, JG
    [J]. JOURNAL OF CHEMICAL INFORMATION AND MODELING, 2006, 46 (02) : 762 - 766
  • [44] ALChecker: A Tool for Checking Mobile Ambients
    Li, Xuansong
    Song, Wei
    Ye, Haibo
    [J]. 2018 IEEE SMARTWORLD, UBIQUITOUS INTELLIGENCE & COMPUTING, ADVANCED & TRUSTED COMPUTING, SCALABLE COMPUTING & COMMUNICATIONS, CLOUD & BIG DATA COMPUTING, INTERNET OF PEOPLE AND SMART CITY INNOVATION (SMARTWORLD/SCALCOM/UIC/ATC/CBDCOM/IOP/SCI), 2018, : 1577 - 1581
  • [45] CSL model checking for the GreatSPN tool
    D'Aprile, D
    Donatelli, S
    Sproston, J
    [J]. COMPUTER AND INFORMATION SCIENCES - ISCIS 2004, PROCEEDINGS, 2004, 3280 : 543 - 552
  • [46] Runtime Assertion Checking with the XJML Tool
    Ramirez-de-Leon, Edgar D.
    Garcia-Alcocer, Eddy A.
    Torres-Martinez, Nicolas
    Chavez-Bosquez, Oscar A.
    Francisco-Leon, Julian J.
    [J]. 2014 IEEE BIENNIAL CONGRESS OF ARGENTINA (ARGENCON), 2014, : 141 - 146
  • [47] GreASE: A Tool for Efficient "Nonequivalence" Checking
    de Francesco, Nicoletta
    Lettieri, Giuseppe
    Santone, Antonella
    Vaglini, Gigliola
    [J]. ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY, 2014, 23 (03)
  • [48] Tool for checking the CSP sat property
    [J]. Martin, Jeremy M.R., 1600, Oxford Univ Press, Oxford, United Kingdom (43):
  • [49] Ferret: A host vulnerability checking tool
    Sharma, A
    Martin, JR
    Anand, N
    Cukier, M
    Sanders, WH
    [J]. 10TH IEEE PACIFIC RIM INTERNATIONAL SYMPOSIUM ON DEPENDABLE COMPUTING, PROCEEDINGS, 2004, : 389 - 394
  • [50] A tool for checking the CSP sat property
    Martin, JMR
    [J]. COMPUTER JOURNAL, 2000, 43 (01): : 13 - 23
12345