Interprocedural array data-flow analysis for cache coherence

Lynn Choi, Pen Chung Yew

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

2 Scopus citations


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 (US)
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
Number of pages15
ISBN (Print)9783540607656
StatePublished - 1996
Event8th International Workshop on Languages and Compilers for Parallel Computing, LCPC 1995 - Columbus, United States
Duration: Aug 10 1995Aug 12 1995

Publication series

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


Other8th International Workshop on Languages and Compilers for Parallel Computing, LCPC 1995
Country/TerritoryUnited States


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

Cite this