Memory Classification Analysis for Recursive C Structures

Abstract

The long-time quest of the parallelizing compiler community for effective aggregate summarization techniques has led to increasingly sophisticated array section representations. In this paper, we show how the latest of these can be used for nested C structure summarization. We then show how this summarization notation can be used to make Shape Analysis precise on arbitrarily low-level code. Combining these techniques, we show that an appropriate generalization of Memory Classification Analysis, originally presented for Fortran programs, provides a flow dependence summarization technique for C code as well, while avoiding code normalization compared with previous techniques. In so doing, we break down perhaps the final conceptual barriers in the construction of practical programmer-friendly C parallelizing compilers.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Feb 07, 1999
Accession Number
AD1020285

Entities

People

  • Naftali Schwartz

Organizations

  • New York University

Tags

DTIC Thesaurus Topics

  • Algorithms
  • Artificial Intelligence
  • Automated Text Summarization
  • Classification
  • Compilers
  • Computer Programming
  • Computer Science
  • Computers
  • Construction
  • Heavy Duty
  • Language
  • New York
  • Notation
  • Parallel Computing
  • Programming Languages
  • Universities

Fields of Study

  • Computer science
  • Engineering

Readers

  • Business Analytics
  • Computer Vision.
  • Parallel and Distributed Computing.