Abstract:Static compiler optimizations can hardly cope with the complex run-time behavior and hardware components interplay of modern processor architectures. Multiple architectural phenomena occur and interact simultaneously, which requires the optimizer to combine multiple program transformations. Whether these transformations are selected through static analysis and models, runtime feedback, or both, the underlying infrastructure must have the ability to perform long and complex compositions of program transformations in a flexible manner. Existing compilers are ill-equipped to perform that task because of rigid phase ordering, fragile selection rules using pattern matching, and cumbersome expression of loop transformations on syntax trees. Moreover, iterative optimization emerges as a pragmatic and general means to select an optimization strategy via machine learning and operations research. Searching for the composition of dozens of complex, dependent, parameterized transformations is a challenge for iterative approaches.The purpose of this article is threefold: (1) to facilitate the automatic search for compositions of program transformations, introducing a richer framework which improves on classical polyhedral representations, suitable for iterative optimization on a simpler, structured search space, (2) to illustrate, using several examples, that syntactic code representations close to the operational semantics hamper the composition of transformations, and (3) that complex compositions of transformations can be necessary to achieve significant performance benefits. The proposed framework relies on a unified polyhedral representation of loops and statements. The key is to clearly separate four types of actions associated with program transformations: iteration domain, schedule, data layout and memory access functions modifications. The framework is implemented within the Open64/ORC compiler, aiming for native IA64, AMD64 and IA32 code generation, along with source-to-source optimization of Fortran90, C and C++.

Synthesizing Nested Loop Algorithms Using Nonlinear Transformation Method.

A New Loop Partition Method - Clustering

Energy-Aware Loop Parallelism Maximization for Multi-core DSP Architectures

The Potential of Synergistic Static, Dynamic and Speculative Loop Nest Optimizations for Automatic Parallelization

Improved Affine Partition Algorithm for Compile-Time and Runtime Performance.

A Parallel Function Evaluation Approach for Solution to Large-Scale Equation-Oriented Models.

Compile-Time Scheduling Of Multithread With Data Localities On Multiple Vector Processors

A Compile/Run-time Environment for the Automatic Transformation of Linked List Data Structures

Source-code-level Transformation and APT-Driven Parallelism Pre-processes for Embedded System Automated Design

Exploiting Outer Loop Parallelism of Nested Loop on Coarse-Grained Reconfigurable Architectures

Mapping of Nested Loops to Multiprocessors

Searching Algorithm for Space and Time Mapping in Linear Systolic Array Transformation

Extending the Nested Parallel Model to the Nested Dataflow Model with Provably Efficient Schedulers

Facilitating the search for compositions of program transformations

Design space exploration of multiple loops on FPGAs using high level synthesis

Optimizing Spatial Mapping of Nested Loop for Coarse-Grained Reconfigurable Architectures

A Parallel Dynamic Programming Algorithm on a Multi-Core Architecture

A Run-Time Technique for Parallel Loop Identification Based on Distributed System

Nonlinear Asynchronous Block Iterative Method

NestedMP: Taming Complex Configuration Space of Degree of Parallelism for Nested-Parallel Programs

Abstract acceleration of general linear loops