HOME | DEUTSCH | IMPRESSUM | KIT

Other Publications: Lock-sensitive Interference Analysis for Java: Combining Program Dependence Graphs with Dynamic Pushdown Networks

[pdgwithdpn2013id]Jürgen Graf, Martin Hecker, Martin Mohr, Benedikt Nordhoff, Lock-sensitive Interference Analysis for Java: Combining Program Dependence Graphs with Dynamic Pushdown Networks, January 2013. 1st International Workshop on Interference and Dependence

Abstract

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.

Download

  [PDF]

BibTeX

Authors at the institute

Partner
Benedikt Nordhoff
Former Staff Member
Dr.-Ing. Jürgen Graf
Dipl.-Inf. Univ. Martin Hecker
Dipl.-Math. Dipl.-Inform. Martin Mohr

Projects

Project
IFC for Mobile Components
VALSOFT/Joana