TeamWork: Synchronizing Threads Globally to Detect Real Deadlocks for Multithreaded Programs

摘要

This paper presents the aim of TeamWork, our ongoing effort to develop a comprehensive dynamic deadlock confirmation tool for multithreaded programs. It also presents a refined object abstrac-tion algorithm that refines the existing stack hash abstraction. Categories and Subject Descriptors D.2.5 [Software Engineer-ing]: Testing and Debugging-testing tools. D.4.1 [Operating Systems]: Processing Management-deadlocks, synchronization, threads. General Terms Reliability, Verification