Nasty-MPI: Debugging Synchronization Errors in MPI-3 One-Sided Applications

Kowalewski, Roger; Fürlinger, Karl

doi:10.1007/978-3-319-43659-3_4

Cited by 9 publications

(4 citation statements)

References 18 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…For the dynamic testing techniques, we studied more than 15 testing tools that use dynamic testing for MPI-related programs to detect various errors. For detecting runtime errors including mismatching, data race, and deadlocks, many testing tools have been used such as MUST [10], [11], MEMCHECKER [5], Intel Message Checker [12], STAT [13], Nasty-MPI [14], and MARMOT [15]. In addition, the testing tools that have been used for detecting mismatching and deadlocks include Umpire [16], GEM [17], and MPI-CHECK [18].…”

Section: Related Workmentioning

confidence: 99%

ACC_TEST: Hybrid Testing Techniques for MPI-Based Programs

et al. 2020

View full text Add to dashboard Cite

Recently, MPI has become widely used in many scientific applications, including different non-computer science fields, for parallelizing their applications. An MPI programming model is used for supporting parallelism in several programming languages, including C, C++, and Fortran. MPI also supports integration with some programming models and has several implementations from different vendors, including open-source and commercial implementations. However, testing parallel programs is a difficult task, especially when using programming models with different behaviours and types of error based on the programming model type. In addition, the increased use of these programming models by non-computer science specialists can cause several errors due to lack of experience in programming, which needs to be considered when using any testing tools. We noticed that dynamic testing techniques have been used for testing the majority of MPI programs. The dynamic testing techniques detect errors by analyzing the source code during runtime, which will cause overheads, and this will affect the program's performance, especially when targeting massive parallel applications generating thousands or millions of threads. In this paper, we enhance ACC_TEST to have the ability to test MPI-based programs and detect runtime errors occurring with different types of MPI communications. We decided to use hybrid-testing techniques by combining both static and dynamic testing techniques to gain the benefit of each and reduce the cost. INDEX TERMS MPI, MPI testing tool, hybrid testing techniques, parallel programming, ACC_TEST.

show abstract

Section: Related Workmentioning

confidence: 99%

ACC_TEST: Hybrid Testing Techniques for MPI-Based Programs

et al. 2020

View full text Add to dashboard Cite

show abstract

“…Regarding detecting errors in the MPI programming model, fourteen testing tools use a dynamic technique that targets MPI. The testing tools MEMCHECKER [19], MUST [20], STAT [21], Nasty-MPI [22], and Intel Message Checker [23] were used to detect MPI runtime errors, including deadlocks, data race, and mismatching. For detecting deadlocks and mismatching, MPI-CHECK [24], GEM [25], and Umpire [26] were used.…”

Section: Dynamic Testing Techniquesmentioning

confidence: 99%

Parallel Hybrid Testing Techniques for the Dual-Programming Models-Based Programs

et al. 2020

View full text Add to dashboard Cite

The importance of high-performance computing is increasing, and Exascale systems will be feasible in a few years. These systems can be achieved by enhancing the hardware’s ability as well as the parallelism in the application by integrating more than one programming model. One of the dual-programming model combinations is Message Passing Interface (MPI) + OpenACC, which has several features including increased system parallelism, support for different platforms with more performance, better productivity, and less programming effort. Several testing tools target parallel applications built by using programming models, but more effort is needed, especially for high-level Graphics Processing Unit (GPU)-related programming models. Owing to the integration of different programming models, errors will be more frequent and unpredictable. Testing techniques are required to detect these errors, especially runtime errors resulting from the integration of MPI and OpenACC; studying their behavior is also important, especially some OpenACC runtime errors that cannot be detected by any compiler. In this paper, we enhance the capabilities of ACC_TEST to test the programs built by using the dual-programming models MPI + OpenACC and detect their related errors. Our tool integrated both static and dynamic testing techniques to create ACC_TEST and allowed us to benefit from the advantages of both techniques reducing overheads, enhancing system execution time, and covering a wide range of errors. Finally, ACC_TEST is a parallel testing tool that creates testing threads based on the number of application threads for detecting runtime errors.

show abstract

“…For MPI applications, tools like Nasty-MPI [38], MUST [39], and MEMCHECKER [40] serve as dynamic testing tools to detect runtime errors. Effort is still continuing to design tools that can effectively detect runtime errors in MPI and other programming models.…”

Section: Introductionmentioning

confidence: 99%

Temporal-Logic-Based Testing Tool Architecture for Dual-Programming Model Systems

Saad,

Fadel,

Alzamzami

et al. 2024

Computers

View full text Add to dashboard Cite

Today, various applications in different domains increasingly rely on high-performance computing (HPC) to accomplish computations swiftly. Integrating one or more programming models alongside the used programming language enhances system parallelism, thereby improving its performance. However, this integration can introduce runtime errors such as race conditions, deadlocks, or livelocks. Some of these errors may go undetected using conventional testing techniques, necessitating the exploration of additional methods for enhanced reliability. Formal methods, such as temporal logic, can be useful for detecting runtime errors since they have been widely used in real-time systems. Additionally, many software systems must adhere to temporal properties to ensure correct functionality. Temporal logics indeed serve as a formal frame that takes into account the temporal aspect when describing changes in elements or states over time. This paper proposes a temporal-logic-based testing tool utilizing instrumentation techniques designed for a dual-level programming model, namely, Message Passing Interface (MPI) and Open Multi-Processing (OpenMP), integrated with the C++ programming language. After a comprehensive study of temporal logic types, we found and proved that linear temporal logic is well suited as the foundation for our tool. Notably, while the tool is currently in development, our approach is poised to effectively address the highlighted examples of runtime errors by the proposed solution. This paper thoroughly explores various types and operators of temporal logic to inform the design of the testing tool based on temporal properties, aiming for a robust and reliable system.

show abstract

Nasty-MPI: Debugging Synchronization Errors in MPI-3 One-Sided Applications

Cited by 9 publications

References 18 publications

ACC_TEST: Hybrid Testing Techniques for MPI-Based Programs

ACC_TEST: Hybrid Testing Techniques for MPI-Based Programs

Parallel Hybrid Testing Techniques for the Dual-Programming Models-Based Programs

Temporal-Logic-Based Testing Tool Architecture for Dual-Programming Model Systems

Contact Info

Product

Resources

About