Research on Deadlock Detection Technology of Parallel Program Based on Run-LTS

摘要

In order to quickly realize the deadlock detection of parallel programs and accurately obtain the abnormal scene information, this paper combines the deadlock occurrence mechanism to propose a deadlock detection algorithm based on Run-LTS. The algorithm detects deadlock by calculating the waiting-loop between threads when they request shared resources. If the waiting-loop is closed, the deadlock would occur. Otherwise, the request is successful. The lock set in the program is instrumented with the algorithm as a template, and each variable in the lock set is detected by the algorithm at running. Experiments show that the algorithm can quickly detect anomalies and return irregular information when the program occurs a deadlock. In addition, using the algorithm as an instrumentation template has better portability and engineering practicality.