NDLI: Using integer sets for data-parallel program analysis and optimization

Content Provider	ACM Digital Library
Author	Adve, Vikram Mellor-Crummey, John
Abstract	In this paper, we describe our experience with using an abstract integer-set framework to develop the Rice dHPF compiler, a compiler for High Performance Fortran. We present simple, yet general formulations of the major computation partitioning and communication analysis tasks as well as a number of important optimizations in terms of abstract operations on sets of integer tuples. This approach has made it possible to implement a comprehensive collection of advanced optimizations in dHPF, and to do so in the context of a more general computation partitioning model than previous compilers. One potential limitation of the approach is that the underlying class of integer set problems is fundamentally unable to represent HPF data distributions on a symbolic number of processors. We describe how we extend the approach to compile codes for a symbolic number of processors, without requiring any changes to the set formulations for the above optimizations. We show experimentally that the set representation is not a dominant factor in compile times on both small and large codes. Finally, we present preliminary performance measurements to show that the generated code achieves good speedups for a few benchmarks. Overall, we believe we are the first to demonstrate by implementation experience that it is practical to build a compiler for HPF using a general and powerful integer-set framework.
Starting Page	186
Ending Page	198
Page Count	13
File Format	PDF
ISSN	03621340 15581160
DOI	10.1145/277652.277721
Journal	ACM SIGPLAN Notices (SIGP)
Volume Number	33
Issue Number	5
Language	English
Publisher	Association for Computing Machinery (ACM)
Publisher Date	1983-05-01
Publisher Place	New York
Access Restriction	One Nation One Subscription (ONOS)
Content Type	Text
Resource Type	Article
Subject	Computer Graphics and Computer-Aided Design Software

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

Program optimization using indexed and recursive data structures

Generating local addresses and communication sets for data-parallel programs

Parallel-program transformation using a metalanguage

Race Frontier:reproducing data races in parallel-program debugging

Program analysis using binary relations

A technique for the effective and automatic reuse of classical compiler optimizations on multithreaded code

MapReduce program synthesis

Accurate static estimators for program optimization

Data oriented program design

Using integer sets for data-parallel program analysis and optimization

Similar Documents

Program optimization using indexed and recursive data structures

Generating local addresses and communication sets for data-parallel programs

Parallel-program transformation using a metalanguage

Race Frontier:reproducing data races in parallel-program debugging

Program analysis using binary relations

A technique for the effective and automatic reuse of classical compiler optimizations on multithreaded code

MapReduce program synthesis

Accurate static estimators for program optimization

Data oriented program design

Using integer sets for data-parallel program analysis and optimization