Abstract:The message passing interface (MPI) has become a de facto standard for programming models of high-performance computing, but its rich and flexible interface semantics makes the program easy to generate communication deadlock, which seriously affects the usability of the system. However, the existing detection tools for MPI communication deadlock are not scalable enough to adapt to the continuous expansion of system scale. In this context, we propose a framework for MPI runtime communication deadlock detection, namely MPI-RCDD, which contains three kinds of main mechanisms. Firstly, MPI-RCDD has a message logging protocol that is associated with deadlock detection to ensure that the communication messages required for deadlock analysis are not lost. Secondly, it uses the asynchronous processing thread provided by the MPI to implement the transfer of dependencies between processes, so that multiple processes can participate in deadlock detection simultaneously, thus alleviating the performance bottleneck problem of centralized analysis. In addition, it uses an AND⊕OR model based algorithm named AODA to perform deadlock analysis work. The AODA algorithm combines the advantages of both timeout-based and dependency-based deadlock analysis approaches, and allows the processes in the timeout state to search for a deadlock circle or knot in the process of dependency transfer. Further, the AODA algorithm cannot lead to false positives and can represent the source of the deadlock accurately. The experimental results on typical MPI communication deadlock benchmarks such as Umpire Test Suit demonstrate the capability of MPI-RCDD. Additionally, the experiments on the NPB benchmarks obtain the satisfying performance cost, which show that the MPI-RCDD has strong scalability.

PBDDR: Probe-Based Deadlock Detection and Recovery Strategy for Component-Based Systems

Deadlock Detection and Recovery for Component-Based Systems

Using Dynamic Probe for Deadlock Detection in Component-Based System

Deadlock and Blockage Control for Manufacturing Systems with Failure-Prone Workstations

Supervisory Control of Deadlock-Prone Production Systems with Routing Flexibility and Unreliable Resources.

Strong Controllable Siphon Basis-Based Robust Deadlock Control for Manufacturing Systems with Multiple Unreliable Resources

Capability Analysis and Integrated Application of Deadlock Detection Tools

A framework for deadlock detection in core ABS

DBDAA: A real-time approach to Dynamic Banker's Deadlock Avoidance Algorithm with optimized time complexity

Reconfigurable Modelling with Deadlock Avoidance for the Clinical Pathway Based on MCPN-CS

Fast and Low Cost Deadlock Detection and Resolution in Distributed Systems

Research on component-based core banking system

Don't Get Stuck: A Deadlock Recovery Approach

Deadlock Prevention Controller for Automated Manufacturing Systems Modeled by S4PR

An Effective Deadlock Prevention Mechanism for Distributed Transaction Management

Database Deadlock Diagnosis for Large-Scale ORM-Based Web Applications.

ASDR: an Application-Specific Deadlock-Free Routing for Chiplet-Based Systems

MPI-RCDD: A Framework for MPI Runtime Communication Deadlock Detection

Petri Net Unfolding-Based Detection and Replay of Program Deadlocks

Deadlock Detection And Resolution In A Dike Safety Detection Management Information System

Deadlock Detection in FPGA Design: A Practical Approach