Detecting Potential Deadlocks with Static Analysis and Run-Time Monitoring

Download PDF
Open Webpage

Rahul Agarwal, Liqiang Wang, Scott D. Stoller

Published: 01 Jan 2005, Last Modified: 19 May 2025Haifa Verification Conference 2005EveryoneRevisionsBibTeXCC BY-SA 4.0
Abstract: Concurrent programs are notorious for containing errors that are difficult to reproduce and diagnose. A common kind of concurrency error is deadlock, which occurs when a set of threads is blocked each trying to acquire a lock held by another thread in that set. Static and dynamic (run-time) analysis techniques exist to detect deadlocks.