Implementation Issues of Loop-Level Speculative Run-Time Parallelization Conference Paper uri icon

abstract

  • © Springer-Verlag Berlin Heidelberg 1999. 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.

name of conference

  • Compiler Construction, 8th International Conference, CC'99, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, 22-28 March, 1999, Proceedings

published proceedings

  • COMPILER CONSTRUCTION

author list (cited authors)

  • Patel, D., & Rauchwerger, L

citation count

  • 3

complete list of authors

  • Patel, Devang||Rauchwerger, Lawrence

editor list (cited editors)

  • Jähnichen, S.

publication date

  • January 1999