Title | ||
---|---|---|
Efficient interprocedural array data-flow analysis for automatic program parallelization |
Abstract | ||
---|---|---|
Since sequential languages such as Fortran and C are more machine-independent than current parallel languages, it is highly desirable to develop powerful parallelization tools which can generate parallel codes, automatically or semi-automatically, targeting different parallel architectures. Array data-flow analysis is known to be crucial to the success of automatic parallelization. Such an analysis should be performed interprocedurally and symbolically and it often needs to handle the predicates represented by IF conditions. Unfortunately, such a powerful program analysis can be extremely time-consuming if it is not carefully designed. How to enhance the efficiency of this analysis to a practical level remains an issue largely untouched to date. This paper presents techniques for efficient interprocedural array data-flow analysis and documents experimental results of its implementation in a research parallelizing compiler. Our techniques are based on guarded array regions and the resulting tool runs faster, by one or two orders of magnitude, than other similarly powerful tools |
Year | DOI | Venue |
---|---|---|
2000 | 10.1109/32.842950 | IEEE Trans. Software Eng. |
Keywords | Field | DocType |
powerful tool,predicates,efficient interprocedural array data-flow,arrays,parallel programming,different parallel architecture,symbolic analysis,powerful parallelization-tools,parallel architectures,data structures,automatic parallelization,software performance evaluation,parallelizing compiler,automatic program parallelization,interprocedural array data-flow analysis,array data-flow analysis,automatic programming,guarded array region,parallelising compilers,parallel code generation,data flow analysis,powerful program analysis,guarded array regions,parallel code,current parallel language,efficiency enhancement,if conditions,data analysis,text analysis,flow analysis,computer applications,power generation,concurrent computing | Data structure,Programming language,Computer science,Parallel computing,Fortran,Data-flow analysis,Compiler,Symbolic data analysis,Program analysis,Automatic programming,Automatic parallelization | Journal |
Volume | Issue | ISSN |
26 | 3 | 0098-5589 |
Citations | PageRank | References |
6 | 0.60 | 28 |
Authors | ||
2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Junjie Gu | 1 | 53 | 6.59 |
Zhiyuan Li | 2 | 1380 | 155.70 |