TeamWork: synchronizing threads globally to detect real deadlocks for multithreaded programs

Abstract

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.