ASN: A Dynamic Barrier-Based Approach to Confirmation of Deadlocks from Warnings for Large-Scale Multithreaded Programs

• Published in: IEEE transactions on parallel and distributed systems Vol. 26; no. 1; pp. 13 - 23
• Main Authors: Yan Cai, Changjiang Jia, Shangru Wu, Ke Zhai, Chan, W. K.
• Format: Journal Article
• Language: English
• Published: New York IEEE 01.01.2015; The Institute of Electrical and Electronics Engineers, Inc. (IEEE)
• Subjects: Benchmarking; Computer bugs; Computer networks; deadlock triggering; Debugging; Dynamics; Instruction sets; large-scale multithreaded programs; Locks; Message systems; Monitoring; randomized testing; Schedules; System recovery; Testing; Warning

Many large-scale multithreaded programs incur deadlock bugs. Existing deadlock warning detection techniques only report warning scenarios, which may or may not be real deadlocks. Each warning should be further verified on whether it may manifest into a real deadlock. For this purpose, a number of ac...