Identifying parallelism in programs with cyclic graphs

作者: Yuan-Shin Hwang , Joel H. Saltz

DOI: 10.1016/S0743-7315(02)00026-6

关键词:

摘要: Dependence analysis algorithms have been proposed to identify parallelism in programs with tree-like data structures. However, they cannot analyze the dependence of statements if recursive structures are cyclic. This paper presents a technique cyclic graphs. The consists three steps: (1) traversal patterns that loops or procedures traverse graphs identified, and construct links will be located by definition-use chains structures; (2) traversal-pattern-sensitive shape is performed estimate possible shapes patterns, (3) using result analysis. approach can due facts many follow acyclic (i.e. patterns) access all nodes on Once isolated from overall structures, applied parallelism.

参考文章(35)
Rakesh Ghiya, Laurie J. Hendren, Yingchun Zhu, Detecting Parallelism in C Programs with Recursive Darta Structures compiler construction. pp. 159- 173 ,(1998) , 10.1007/BFB0026429
Ravi Sethi, Jeffrey D. Ullman, Alfred V. Aho, Compilers: Principles, Techniques, and Tools ,(1986)
Yuan-Shin Hwang, Joel Saltz, Identifying DEF/USE Information of Statements that Construct and Traverse Dynamic Recursive Data Structures languages and compilers for parallel computing. pp. 131- 145 ,(1997) , 10.1007/BFB0032688
William Landi, Sean Zhang, Barbara G. Ryder, Interprocedural Side Effect Analysis With Pointer Aliasing. programming language design and implementation. pp. 56- 67 ,(1993)
Vincent A. Guarna, A Technique for Analyzing Pointer and Structure References In Parallel Restructuring Compilers. international conference on parallel processing. pp. 212- 220 ,(1988)
D. Callahan, The program summary graph and flow-sensitive interprocedual data flow analysis programming language design and implementation. ,vol. 23, pp. 47- 56 ,(1988) , 10.1145/960116.53995
J. R. Larus, P. N. Hilfinger, Detecting conflicts between structure accesses programming language design and implementation. ,vol. 23, pp. 24- 31 ,(1988) , 10.1145/960116.53993
David Chase, Mark Wegman, F. Ken Zadeck, Analysis of pointers and structures ACM SIGPLAN Notices. ,vol. 39, pp. 343- 359 ,(2004) , 10.1145/989393.989429
Ron Cytron, Jeanne Ferrante, Barry K. Rosen, Mark N. Wegman, F. Kenneth Zadeck, Efficiently computing static single assignment form and the control dependence graph ACM Transactions on Programming Languages and Systems. ,vol. 13, pp. 451- 490 ,(1991) , 10.1145/115372.115320
Martin C. Rinard, Pedro C. Diniz, Commutativity analysis Proceedings of the ACM SIGPLAN 1996 conference on Programming language design and implementation - PLDI '96. ,vol. 31, pp. 54- 67 ,(1996) , 10.1145/231379.231390