Visualization of deadlock and wait-notify anomaly in multithreaded programs

Abstract

The paper addresses deadlock due to lock acquisition dependency and wait-notify anomalies. In this work, dependencies are visualized with three types of dependence graphs namely data-control, lock acquisition and wait-notify dependence graphs. Algorithms are also proposed for generating graphs; and hence, bugs are detected due to blockage. Graphical method is used to detect bugs. A prototype tool “Bug Visualizer” is implemented in Java version 7.