NDLI: Array SSA form and its use in parallelization

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

Higher-order unCurrying

Alias analysis of executable code

Escape analysis: correctness proof, implementation and experimental results

Data flow analysis is model checking of abstract interpretations

Bridging the gulf: a common intermediate language for ML and Haskell

Correctness of monadic state: an imperative call-by-need calculus

A functional representation of data structures with a hole

From system F to typed assembly language

Maximal static expansion

Array SSA form and its use in parallelization

Putting pointer analysis to work

Edge profiling versus path profiling: the showdown

A type system for Java bytecode subroutines

$Java_{light}$ is type-safe—definitely

Classes and mixins

Manufacturing cheap, resilient, and stealthy opaque constructs

From polyvariant flow information to intersection and union types

Inference of polymorphic and conditional strictness properties

Fast interprocedural class analysis

Path-sensitive value-flow analysis

Local type inference

Static typing for dynamic messages

Second-order unification and type inference for Church-style polymorphism

Dynamic typing as staged type inference

Parallel beta reduction is not elementary recursive

Parallelization in calculational forms

Single and loving it: must-alias analysis for higher-order languages

Barrier inference

Secure information flow in a multi-threaded imperative language

The SLam calculus: programming with secrecy and integrity

A typed language for distributed mobile processes (extended abstract)

Security properties of typed applets

Array SSA form and its use in parallelization

Content Provider	ACM Digital Library
Author	Knobe, Kathleen Sarkar, Vivek
Abstract	Static single assignment (SSA) form for scalars has been a significant advance. It has simplified the way we think about scalar variables. It has simplified the design of some optimizations and has made other optimizations more effective. Unfortunately none of this can be be said for SSA form for arrays. The current SSA processing of arrays views an array as a single object. But the kinds of analyses that sophisticated compilers need to perform on arrays, for example those that drive loop parallelization, are at the element level. Current SSA form for arrays is incapable of providing the element-level data flow information required for such analyses.In this paper, we introduce an Array SSA form that captures precise element-level data flow information for array variables in all cases. It is general and simple, and coincides with standard SSA form when applied to scalar variables. It can also be used for structures and other variable types that can be modeled as arrays. An important application of Array SSA form is in automatic parallelization. We show how Array SSA form can enable parallelization of any loop that is free of loop-carried true data dependences. This includes loops with loop-carried anti and output dependences, unanalyzable subscript expressions, and arbitrary control flow within an iteration. Array SSA form achieves this level of generality by making manifest its ¿ functions as runtime computations in cases that are not amenable to compile-time analysis.
Starting Page	107
Ending Page	120
Page Count	14
File Format	PDF
ISBN	0897919793
DOI	10.1145/268946.268956
Language	English
Publisher	Association for Computing Machinery (ACM)
Publisher Date	1998-01-21
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

Abstract Array SSA form and its use in Parallelization

Array SSA form and its use in Parallelization (1998)

Region array SSA

Enhanced Parallelization via Analyses and Transformations on Array SSA Form

Task Static Single Assignment (T-SSA) and Its Use in Safe Program Parallelization (short paper)

Task Static Single Assignment (T-SSA) and Its Use in Safe Program Parallelization (short paper)

Linear scan register allocation on SSA form

Array SSA for Explicitly Parallel Programs (1998)

Optimization in SSA form (common

Array SSA form and its use in parallelization

Similar Documents

Abstract Array SSA form and its use in Parallelization

Array SSA form and its use in Parallelization (1998)

Region array SSA

Enhanced Parallelization via Analyses and Transformations on Array SSA Form

Task Static Single Assignment (T-SSA) and Its Use in Safe Program Parallelization (short paper)

Task Static Single Assignment (T-SSA) and Its Use in Safe Program Parallelization (short paper)

Linear scan register allocation on SSA form

Array SSA for Explicitly Parallel Programs (1998)

Optimization in SSA form (common

Array SSA form and its use in parallelization