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.

Deadlock Detection and Recovery for Component-Based Systems

Using Dynamic Probe for Deadlock Detection in Component-Based System

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

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

Sequence Control of Essential Siphons for Deadlock Prevention in Petri Nets

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

Capability Analysis and Integrated Application of Deadlock Detection Tools

A framework for deadlock detection in core ABS

Fast and Low Cost Deadlock Detection and Resolution in Distributed Systems

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

An Effective Deadlock Prevention Mechanism for Distributed Transaction Management

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

Checking Deadlock-Freedom of Parametric Component-Based Systems

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

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

A Semi-centralized Algorithm to Detect and Resolve Distributed Deadlocks in the Generalized Model

Towards Online Localization and Recovery for Faulty Components in Component-Based Applications

Optimized symbolic model checking for component-based systems

Petri Net Unfolding-Based Detection and Replay of Program Deadlocks

Local Deadlock Analysis of Simulink Models based on Timed Behavioural Patterns and Theorem Proving