Interprocedural Data Flow Analysis for Compile-time Memory Management (1992) [2 citations — 0 self]
Abstract:
We have designed and implemented in C an interprocedural data flow analysis that will estimate the memory object lifetime and its temporal locality. The analysis is an abstract interpretation. The target language is a multilingual intermediate language called MIL. Since we have ANSI C, Fortran, and Scheme front-ends for the target language, the analysis works for programs written in these high-level languages. The analysis information can be used for many kinds of compile-time memory management, which include boosting the generational garbage collection, explicit garbage deallocation, hierarchical memory performance improvement, and static memory performance evaluation. We present an analysis example of our implementation. Contents 1 Introduction 2 1.1 Goal : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 2 1.2 Target Language : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 2 1.3 Collecting Analy...
Citations
| 388 | Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory – Stoy - 1977 |
| 288 | Generation scavenging: A non-disruptive high performance storage management reclamation algorithm – Ungar - 1984 |
| 258 | Cousot and Radhia Cousot. Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints – Patrick - 1977 |
| 82 | The interprocedural analysis and automatic parallelization of Scheme programs – Harrison - 1989 |
| 52 | Cousot and Radhia Cousot. Systematic design of program analysis frameworks – Patrick - 1979 |
| 48 | Tenuring policies for generationbased storage reclamation – Ungar, Jackson - 1988 |
| 38 | A Control-Flow Normalization Algorithm and Its Complexity – Ammarguellat - 1992 |
| 22 | Abstract Interpretation and the Parallel Evaluation of Functional Languages – Burn - 1987 |
| 2 | Semantic Analysis of Symbolic Programs for Automatic Parallelization – Harrison - 1992 |

