Highlighting PARCOACH Improvements on MBI.

Philippe Virouleau,Emmanuelle Saillard,Marc Sergent,Pierre Lemarinier

SC-W '23: Proceedings of the SC '23 Workshops of The International Conference on High Performance Computing, Network, Storage, and Analysis（2023）

引用 0|浏览1

暂无评分

摘要

PARCOACH is one of the few verification tools that mainly relies on a static analysis to detect errors in MPI programs. First focused on the detection of call ordering errors with collectives, it has recently been extended to detect local concurrency errors in MPI-RMA programs. Furthermore, the new version of the tool fixes multiple errors and is easier to use. This paper presents the improvements we made and the results we obtained on the MPI Bugs Initiative.

查看译文

AI 理解论文

溯源树

样例

生成溯源树，研究论文发展脉络

Chat Paper

正在生成论文摘要