MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Interprocedural Data Flow Analysis for Compile-time Memory Management (1992) [2 citations — 0 self]

by Kwangkeun Yi ,  Williams Ludwell ,  Harrison Iii
Add To MetaCart

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