Lock-sensitive Interference Analysis for Java: Combining Program Dependence Graphs with Dynamic Pushdown Networks
Graf Jürgen, Hecker Martin, Mohr Martin, Nordhoff Benedikt
Other scientific publicationAbstract
We combine the static analysis techniques of Program Dependence Graphs (PDG) and Dynamic Pushdown Networks (DPN) to improve the precision of interference analysis for multithreaded Java programs. PDGs soundly approximate possible dependence between program points in sequential programs through data and control dependence edges. In a concurrent setting a third category of so-called interference edges captures the potential interferences between memory accesses in different threads. DPNs model concurrent programs with recursive procedures, dynamic thread creation and nested locking. We use a lock-sensitive analysis based on DPNs to remove spurious interference edges, and apply the results to information flow control.
Details about the publication
Authors from the University of Münster
| Nordhoff, Benedikt | Professorship for practical computer science (Prof. Müller-Olm) |
Projects the publication originates from
SPP 1496 – WP: Information Flow Control for Mobile Components Based on Precise Analysis for Parallel Programs (2nd funding period) (IFC for Mobile Components) Duration: 01/10/2012 - 30/09/2015 | 2nd Funding period Funded by: DFG - Priority Programme Type of project: Subproject in DFG-joint project hosted outside University of Münster | |
SPP 1496 - WP: Information Flow Control for Mobile Components Based on Precise Analysis for Parallel Programs (1st funding period) (IFC for Mobile Components) Duration: 01/10/2010 - 30/09/2013 | 1st Funding period Funded by: DFG - Priority Programme Type of project: Subproject in DFG-joint project hosted outside University of Münster |