Static Deadlock Detection for Java Libraries MIT CSAIL对于java库 MIT CSAIL静态死锁检测.pptVIP

Thursday, June 28, 2005 Static Deadlock Detection for Java Libraries Amy Williams, William Thies, and Michael D. Ernst Deadlock Each deadlocked thread attempts to acquire a lock held by another thread Can halt entire program execution Difficult to expose during testing Once exposed, difficult to replicate Example: Deadlock in Libraries Library writers may wish to provide guarantees JDK’s StringBuffer documentation says class is thread-safe Goal: find client calls that deadlock library or verify that none exist Analyzing Programs / Libraries Deadlock from Sun’s JDK import java.beans.beancontext