Implementation issues of loop–level speculative run–time parallelization

Devang Patel, Lawrence Rauchwerger

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

Abstract

Current parallelizing compilers cannot identify a significant fraction of parallelizable loops because they have complex or statically insufficiently defined access patterns. We advocate a novel framework for the identification of parallel loops. It speculatively executes a loop as a doall and applies a fully parallel data dependence test to check for any unsatisfied data dependencies; if the test fails, then the loop is re–executed serially. We will present the principles of the design and implementation of a compiler that employs both run-time and static techniques to parallelize dynamic applications. Run-time optimizations always represent a tradeoff between a speculated potential benefit and a certain (sure) overhead that must be paid. We will introduce techniques that take advantage of classic compiler methods to reduce the cost of run-time optimization thus tilting the outcome of speculation in favor of significant performance gains. Experimental results from the PERFECT, SPEC and NCSA Benchmark suites show that these techniques yield speedups not obtainable by any other known method.

Original languageEnglish (US)
Title of host publicationCompiler Construction - 8th International Conference, CC 1999 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 1999, Proceedings
EditorsStefan Jahnichen
PublisherSpringer-Verlag
Pages183-198
Number of pages16
ISBN (Print)3540657177, 9783540657170
StatePublished - Jan 1 1999
Externally publishedYes
Event8th International Conference on Compiler Construction, CC 1999 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 1999 - Amsterdam, Netherlands
Duration: Mar 22 1999Mar 28 1999

Publication series

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

Conference

Conference8th International Conference on Compiler Construction, CC 1999 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 1999
CountryNetherlands
CityAmsterdam
Period3/22/993/28/99

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

Fingerprint Dive into the research topics of 'Implementation issues of loop–level speculative run–time parallelization'. Together they form a unique fingerprint.

  • Cite this

    Patel, D., & Rauchwerger, L. (1999). Implementation issues of loop–level speculative run–time parallelization. In S. Jahnichen (Ed.), Compiler Construction - 8th International Conference, CC 1999 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 1999, Proceedings (pp. 183-198). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 1575). Springer-Verlag.