Abstract
Array data flow analysis is known to be crucial to the success of array privatization, one of the most important techniques for program parallelization. It is clear that array data flow analysis should be performed interprocedurally and symbolically, and that it often needs to handle the predicates represented by IF conditions. Unfortunately, such a powerful program analysis can be extremely time-consuming if not carefully designed. How to enhance the efficiency of this analysis to a practical level remains an issue largely untouched to date. This paper documents our experience with building a highly efficient array data flow analyzer which is based on guarded array regions and which runs faster, by one or two orders of magnitude, than other similarly powerful tools.
| Original language | English |
|---|---|
| Title of host publication | Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPOPP |
| Editors | Anon |
| Place of Publication | New York, NY, United States |
| Publisher | ACM |
| Pages | 157-167 |
| Number of pages | 11 |
| Publication status | Published - 1997 Jan 1 |
| Externally published | Yes |
| Event | Proceedings of the 1997 6th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming - Las Vegas, NV, USA Duration: 1997 Jun 18 → 1997 Jun 21 |
Other
| Other | Proceedings of the 1997 6th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming |
|---|---|
| City | Las Vegas, NV, USA |
| Period | 97/6/18 → 97/6/21 |
Fingerprint
ASJC Scopus subject areas
- Computer Science(all)
Cite this
Experience with efficient array data flow analysis for array privatization. / Gu, Junjie; Li, Zhiyuan; Lee, Kyung Ho.
Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPOPP. ed. / Anon. New York, NY, United States : ACM, 1997. p. 157-167.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
}
TY - GEN
T1 - Experience with efficient array data flow analysis for array privatization
AU - Gu, Junjie
AU - Li, Zhiyuan
AU - Lee, Kyung Ho
PY - 1997/1/1
Y1 - 1997/1/1
N2 - Array data flow analysis is known to be crucial to the success of array privatization, one of the most important techniques for program parallelization. It is clear that array data flow analysis should be performed interprocedurally and symbolically, and that it often needs to handle the predicates represented by IF conditions. Unfortunately, such a powerful program analysis can be extremely time-consuming if not carefully designed. How to enhance the efficiency of this analysis to a practical level remains an issue largely untouched to date. This paper documents our experience with building a highly efficient array data flow analyzer which is based on guarded array regions and which runs faster, by one or two orders of magnitude, than other similarly powerful tools.
AB - Array data flow analysis is known to be crucial to the success of array privatization, one of the most important techniques for program parallelization. It is clear that array data flow analysis should be performed interprocedurally and symbolically, and that it often needs to handle the predicates represented by IF conditions. Unfortunately, such a powerful program analysis can be extremely time-consuming if not carefully designed. How to enhance the efficiency of this analysis to a practical level remains an issue largely untouched to date. This paper documents our experience with building a highly efficient array data flow analyzer which is based on guarded array regions and which runs faster, by one or two orders of magnitude, than other similarly powerful tools.
UR - http://www.scopus.com/inward/record.url?scp=0030678732&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=0030678732&partnerID=8YFLogxK
M3 - Conference contribution
AN - SCOPUS:0030678732
SP - 157
EP - 167
BT - Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPOPP
A2 - Anon, null
PB - ACM
CY - New York, NY, United States
ER -