A Novel Probabilistic Data Flow Framework

A Novel Probabilistic Data Flow Framework

Abstract

Classical data flow analysis determines whether a data flow fact may hold or does not hold at some program point. Probabilistic data flow systems compute a range, i.e. a probability, with which a data flow fact will hold at some program point. In this paper we develop a novel, practicable framework for probabilistic data flow problems. In contrast to other approaches, we utilize execution history for calculating the probabilities of data flow facts. In this way we achieve significantly better results. Effectiveness and efficiency of our approach are shown by compiling and running the SPECint95 benchmark suite.

Grafik Top
Authors
  • Mehofer, Eduard
  • Scholz, B.
Grafik Top
Shortfacts
Category
Technical Report (Technical Report)
Divisions
Scientific Computing
Publisher
Institute for Software Science, University of Vienna
Date
January 2001
Official URL
http://www.par.univie.ac.at/publications/download/...
Export
Grafik Top