A new dependence test based on shape analysis for pointer-based codes
作者： A. Navarro , F. Corbera , R. Asenjo , A. Tineo , O. Plata
DOI: 10.1007/11532378_28
关键词:
摘要: The approach presented in this paper focus on detecting data dependences induced by heap-directed pointers loops that access dynamic structures. Knowledge about the shape of structure accessible from a pointer, provides critical information for disambiguating heap accesses originating it. Our is based previously developed analysis maintains topological connections among different nodes (memory locations) structure. Basically, novelty our carries out abstract interpretation statements being analyzed, and let us annotate memory locations reached each statement with read/write information. This will be later used order to find very accurate dependence test which we introduce paper.
springer.com
sci-hub.st 参考文章(13)
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
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
Yuan-Shin Hwang, Joel H. Saltz, Identifying parallelism in programs with cyclic graphs Journal of Parallel and Distributed Computing. ,vol. 63, pp. 337- 355 ,(2003) , 10.1016/S0743-7315(02)00026-6
Rakesh Ghiya, Laurie J. Hendren, Putting pointer analysis to work symposium on principles of programming languages. pp. 121- 133 ,(1998) , 10.1145/268946.268957
Marc Shapiro, Susan Horwitz, Fast and accurate flow-insensitive points-to analysis symposium on principles of programming languages. pp. 1- 14 ,(1997) , 10.1145/263699.263703
T. J. Parr, R. W. Quong, ANTLR: a predicated- LL(k) parser generator Software - Practice and Experience. ,vol. 25, pp. 789- 810 ,(1995) , 10.1002/SPE.4380250705
Joseph Hummel, Laurie J. Hendren, Alexandru Nicolau, A general data dependence test for dynamic, pointer-based data structures programming language design and implementation. ,vol. 29, pp. 218- 229 ,(1994) , 10.1145/178243.178262
L.J. Hendren, A. Nicolau, Parallelizing programs with recursive data structures IEEE Transactions on Parallel and Distributed Systems. ,vol. 1, pp. 35- 47 ,(1990) , 10.1109/71.80123
Robert P. Wilson, Monica S. Lam, Efficient, context-sensitive pointer analysis for C programs ,(1997)
S. Horwitz, P. Pfeiffer, T. Reps, Dependence analysis for pointer variables Proceedings of the ACM SIGPLAN 1989 Conference on Programming language design and implementation - PLDI '89. ,vol. 24, pp. 28- 40 ,(1989) , 10.1145/73141.74821