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 abstraction algorithm that refines the existing stack hash abstraction.