ISP Tool Update: Scalable MPI Verification

被引：0
|
作者：
Anh Vo [1 ]
Vakkalanka, Sarvani [1 ]
Gopalakrishnan, Ganesh [1 ]
机构：
[1] Univ Utah, Sch Comp, Salt Lake City, UT 84112 USA
来源：
TOOLS FOR HIGH PERFORMANCE COMPUTING 2009 | 2010年
关键词：
D O I：
10.1007/978-3-642-11261-4_12
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
We provide a status update of ISP, our dynamic formal verifier for MPI programs. ISP determines and explores all relevant schedules of an MPI program. The highlights of this paper are (i) a recap of ISP's features, and (ii) an overview of work in progress, including a graphical explorer for message passing (GEM) and a distributed MPI analyzer (DMA), an adaptation of ISP for the distributed setting.
引用
收藏
页码：175 / 184
页数：10
相关论文
共 50 条
  • [1] 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
  • [2] A Scalable InfiniBand Network Topology-Aware Performance Analysis Tool for MPI
    Subramoni, Hari
    Vienne, Jerome
    Panda, Dhabaleswar K.
    [J]. EURO-PAR 2012: PARALLEL PROCESSING WORKSHOPS, 2013, 7640 : 439 - 450
  • [3] Verification of MPI Applications
    Meca, Ondrej
    Boehm, Stanislav
    [J]. PROCEEDINGS OF THE INTERNATIONAL CONFERENCE OF NUMERICAL ANALYSIS AND APPLIED MATHEMATICS 2014 (ICNAAM-2014), 2015, 1648
  • [4] Runtime verification methods for MPI
    Gopalakrishnan, Ganesh L.
    Kirby, Robert M.
    [J]. 2008 IEEE INTERNATIONAL SYMPOSIUM ON PARALLEL & DISTRIBUTED PROCESSING, VOLS 1-8, 2008, : 2734 - 2738
  • [5] Faster and Scalable MPI Applications Launching
    Dong, Yong
    Dai, Yiqin
    Xie, Min
    Lu, Kai
    Wang, Ruibo
    Chen, Juan
    Shao, Mingtian
    Wang, Zheng
    [J]. IEEE TRANSACTIONS ON PARALLEL AND DISTRIBUTED SYSTEMS, 2024, 35 (02) : 264 - 279
  • [6] The MPI BUGS INITIATIVE: a Framework for MPI Verification Tools Evaluation
    Laurent, Mathieu
    Saillard, Emmanuelle
    Quinson, Martin
    [J]. PROCEEDINGS OF FIFTH INTERNATIONAL WORKSHOP ON SOFTWARE CORRECTNESS FOR HPC APPLICATIONS (CORRECTNESS 2021), 2021, : 16 - 24
  • [7] SMPI: Scalable Serverless MPI Computing
    Yuan, Yuxin
    Shi, Xiao
    Lei, Zhengyu
    Wang, Xiaohong
    Zhao, Xiaofang
    [J]. 2022 IEEE INTERNATIONAL PERFORMANCE, COMPUTING, AND COMMUNICATIONS CONFERENCE, IPCCC, 2022,
  • [8] A Scalable Network-Based Performance Analysis Tool for MPI on Large-Scale HPC Systems
    Subramoni, Hari
    Lu, Xiaoyi
    Panda, Dhabaleswar K.
    [J]. 2017 IEEE INTERNATIONAL CONFERENCE ON CLUSTER COMPUTING (CLUSTER), 2017, : 354 - 358
  • [9] Formal Verification of Practical MPI Programs
    Vo, Anh
    Vakkalanka, Sarvani
    DeLisi, Michael
    Gopalakrishnan, Ganesh
    Kirby, Robert M.
    Thakur, Rajeev
    [J]. ACM SIGPLAN NOTICES, 2009, 44 (04) : 261 - 269
  • [10] Dynamic Symbolic Verification of MPI Programs
    Khanna, Dhriti
    Sharma, Subodh
    Rodriguez, Cesar
    Purandare, Rahul
    [J]. FORMAL METHODS, 2018, 10951 : 466 - 484
12345