NDLI: Facilitating the search for compositions of program transformations

Please wait, while we are loading the content...

Reducing latencies of pipelined cache accesses through set prediction

Fast branch misprediction recovery in out-of-order superscalar processors

Low-overhead call path profiling of unmodified, optimized code

Automatic thread distribution for nested parallelism in OpenMP

Generating new general compiler optimization settings

TAPE: a transactional application profiling environment

The architecture of the HP Superdome shared-memory multiprocessor

Transparent caching with strong consistency in dynamic content web sites

System noise, OS clock ticks, and fine-grained parallel applications

Improving the computational intensity of unstructured mesh applications

What is worth learning from parallel workloads?: a user and session based analysis

Characterization of L3 cache behavior of SPECjAppServer2002 and TPC-C

Tornado warning: the perils of selective replay in multithreaded processors

Design of a next generation sampling service for large scale data analysis applications

Lightweight reference affinity analysis

An integrated simdization framework using virtual vectors

Low-power, low-complexity instruction issue using compiler assistance

Scaling physics and material science applications on a massively parallel Blue Gene/L system

Disk layout optimization for reducing energy consumption

Another approach to backfilled jobs: applying virtual malleability to expired windows

Parallel sparse LU factorization on second-class message passing platforms

affinity-on-next-touch: increasing the performance of an industrial PDE solver on a cc-NUMA system

A hybrid hardware/software approach to efficiently determine cache coherence Bottlenecks

An asymmetric clustered processor based on value content

Online performance analysis by statistical sampling of microprocessor performance counters

Think globally, search locally

Tasking with out-of-order spawn in TLS chip multiprocessors: microarchitecture and compilation

Thread-Level Speculation on a CMP can be energy efficient

Optimization of MPI collective communication on BlueGene/L systems

Continuous Replica Placement schemes in distributed systems

High performance support of parallel virtual file system (PVFS2) over Quadrics

Cache oblivious stencil computations

Automatic generation and tuning of MPI collective communication routines

A NUCA substrate for flexible CMP cache sharing

A heterogeneously segmented cache architecture for a packet forwarding engine

Improved automatic testcase synthesis for performance model validation

Facilitating the search for compositions of program transformations

Towards automatic translation of OpenMP to MPI

Power-aware resource allocation in high-end systems via online simulation

A performance-conserving approach for reducing peak power consumption in server systems

The implications of working set analysis on supercomputing memory hierarchy design

Multigrain parallel Delaunay Mesh generation: challenges and opportunities for multithreaded architectures

Facilitating the search for compositions of program transformations

Content Provider	ACM Digital Library
Author	Sigler, Marc Parello, David Vasilache, Nicolas Cohen, Albert Girbal, Sylvain Temam, Olivier
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++.
Starting Page	151
Ending Page	160
Page Count	10
File Format	PDF
ISBN	1595931678
DOI	10.1145/1088149.1088169
Language	English
Publisher	Association for Computing Machinery (ACM)
Publisher Date	2005-06-20
Publisher Place	New York
Access Restriction	Subscribed
Content Type	Text
Resource Type	Article

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in

Facilitating the Exploration of Compositions of Program Transformations (2004)

Facilitating the Exploration of Compositions of Program Transformations

Facilitating the Exploration of Compositions of Program Transformations

Facilitating the Search for Compositions of Program Transformations (2005)

Search Based Transformations (2003)

Synthesizing data structure transformations from input-output examples

Facilitating transformations in a human genome project database

ClassSearch: facilitating the development of web search skills through social learning

Search-based failure discovery using testability transformations to generate pseudo-oracles

Facilitating the search for compositions of program transformations

Similar Documents

Facilitating the Exploration of Compositions of Program Transformations (2004)

Facilitating the Exploration of Compositions of Program Transformations

Facilitating the Exploration of Compositions of Program Transformations

Facilitating the Search for Compositions of Program Transformations (2005)

Search Based Transformations (2003)

Synthesizing data structure transformations from input-output examples

Facilitating transformations in a human genome project database

ClassSearch: facilitating the development of web search skills through social learning

Search-based failure discovery using testability transformations to generate pseudo-oracles

Facilitating the search for compositions of program transformations