TDFix: A lightweight tool for fixing deadlocks based on templates

• 全文链接
• 请求原文

作   者：

Ji, Wangjie;  Bo, Lili;  Yuan, Yanchi;  Sun, Xiaobing; 

作者机构：

Yangzhou Univ; 

关键词：

Deadlock;  AST;  Fixing;  Template; 

期刊名称：

Science of Computer Programming

i s s n：

0167-6423

年卷期：

2024 年 233 卷

页   码：

103073-

页   码：

摘   要：

Deadlock is notoriously difficult to detect and fix correctly. Existing approaches aim at fixing deadlocks under the premise of having known the deadlock and the buggy code involved in the deadlock, which leads to a certain gap from the practical multithreaded software development. In this paper, we describe the design and implementation of TDFix, which can detect, localize, and fix deadlocks in Java programs based on the pre-defined deadlock fixing templates. TDFix locates the buggy code by searching for the destination node in the AST of a program and modifying the node information based on the templates. Experimental results show that TDFix can successfully fix 176 out of 198 deadlocks in at most 90 seconds for each large Java project, indicating its effectiveness and efficiency.