Interprocedural array data-flow analysis for cache coherence

Lynn Choi, Pen Chung Yew

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2 Citations (Scopus)

Abstract

The presence of procedures and procedure calls introduces side effects, which complicate the analysis of stale reference detection in compiler-directed cache coherence schemes [4, 3, IO]. Previous compiler algorithms use the invalidation of an entire cache at procedure boundary [5, 8] or inlining [8] to avoid reference marking interprocedurally. HOwever, frequent cache invalidations will result in poor performance since locality can not be exploited across the procedure boundary. Also, the inlining is often prohibitive due to both its code expansion and increase in its compilation time and memory requirements. In this paper, we introduce an improved intraprocedural and interprocedural algorithms for detecting references to stale data. The intraprocedural algorithm can mark potential stale references without relying on any cache invalidation or inlining at procedure boundaries, thus avoiding unnecessary cache misses for subroutine local data. The interprocedural algorithm performs bottomup and top-down analysis on the procedure call graph to.further exploit locality across procedure boundames.

Original languageEnglish
Title of host publicationLanguages and Compilers for Parallel Computing - 8th International Workshop, LCPC 1995, Proceedings
EditorsChua-Huang Huang, Ponnuswamy Sadayappan, Utpal Banerjee, David Gelernter, Alex Nicolau, David Padua
PublisherSpringer Verlag
Pages81-95
Number of pages15
ISBN (Print)9783540607656
DOIs
Publication statusPublished - 1996
Event8th International Workshop on Languages and Compilers for Parallel Computing, LCPC 1995 - Columbus, United States
Duration: 1995 Aug 101995 Aug 12

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume1033
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Other

Other8th International Workshop on Languages and Compilers for Parallel Computing, LCPC 1995
CountryUnited States
CityColumbus
Period95/8/1095/8/12

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

Fingerprint Dive into the research topics of 'Interprocedural array data-flow analysis for cache coherence'. Together they form a unique fingerprint.

  • Cite this

    Choi, L., & Yew, P. C. (1996). Interprocedural array data-flow analysis for cache coherence. In C-H. Huang, P. Sadayappan, U. Banerjee, D. Gelernter, A. Nicolau, & D. Padua (Eds.), Languages and Compilers for Parallel Computing - 8th International Workshop, LCPC 1995, Proceedings (pp. 81-95). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 1033). Springer Verlag. https://doi.org/10.1007/bfb0014193