Programmer specified pointer independence

Proceedings of the ACM SIGPLAN Workshop on Memory System Performance, MSP 2004

Volumn , Issue , 2004, Pages 51-59

  Koes, David ^a   Budiu, Mihai ^a   Venkataramani, Girish ^b  

^a CARNEGIE MELLON UNIVERSITY   (United States)

^b CARNEGIE MELLON UNIVERSITY   (United States)

Author keywords

Alias Analysis; Memory Performance; Pointer Independence

Indexed keywords

ALIAS ANALYSIS; ALIASING; INTER-PROCEDURAL ANALYSIS; MEMORY PERFORMANCE; MODERN PROCESSORS; PROGRAM PERFORMANCE; SOURCE CODES;

PROGRAM COMPILERS;

COMPUTER PROGRAMMING;

EID: 39749091538     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1065895.1065905     Document Type: Conference Paper

References (27)

1. J. Aldrich, V. Kostadinov, and C. Chambers. Alias annotations for program understanding. In Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA), November 2002., 2002.
2. ANSI. Programming languages - C, 1999.
3. Mihai Budiu and Seth Copen Goldstein. Compiling application-specific hardware. In Proceedings of the 12th International Conference on Field Programmable Logic and Applications, Montpellier (La Grande-Motte), France, September 2002.
4. Mihai Budiu and Seth Copen Goldstein. Optimizing memory accesses for spatial computation. In Proceedings of the 1st International ACM/IEEE Symposium on Code Generation and Optimization (CGO 03), San Francisco, CA, March 23-26 2003.
5. Doug Burger and Todd M. Austin. The SimpleScalar tool set, version 2.0. In Computer Architecture News, volume 25 (3), pages 13-25. ACM SIGARCH, June 1997.
6. Ben-Chung Cheng and Wen-Mei W. Hwu. Modular interprocedural pointer analysis using access paths: design, implementation, and evaluation. In Proceedings of the ACM SIGPLAN 2000 conference on Programming language design and implementation, pages 57-69. ACM Press, 2000.
7. David Evans. Static detection of dynamic memory errors. In SIGPLAN Conference on Programming Language Design and Implementation (PLDI '96), 1996.
8. Jeffrey S. Foster, Tachio Terauchi, and Alex Aiken. Flow-sensitive type qualifiers. In Proceeding of the ACM SIGPLAN 2002 Conference on Programming language design and implementation, pages 1-12. ACM Press, 2002.
9. Rakesh Ghiya and Laurie J. Hendren. Putting pointer analysis to work. In Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, pages 121-133. ACM Press, 1998.
10. Rakesh Ghiya, Daniel Lavery, and David Sehr. On the importance of points-to analysis and other memory disambiguation methods for C programs. In Proceedings of the ACM SIGPLAN 2001 conference on Programming language design and implementation, pages 47-58. ACM Press, 2001.
11. Dan Grossman, Greg Morrisett, Trevor Jim, Michael Hicks, Yanling Wang, and James Cheney. Region-based memory management in Cyclone. In Proceedings of the ACM Conference on Programming Language Design and Implementation, June 2002.
12. Michael Hind. Pointer analysis: haven't we solved this problem yet? In Proceedings of the 2001 ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering, pages 54-61. ACM Press, 2001.
13. Michael Hind, Michael Burke, Paul Carini, and Jong-Deok Choi. Interprocedural pointer alias analysis. ACM Transactions on Programming Languages and Systems, 21 (4):848-894, 1999.
14. Michael Hind and Anthony Pioli. Evaluating the effectiveness of pointer alias analyses. Sci. Comput. Program., 39 (1):31-55, 2001.
15. Joseph Hummel, Laurie J. Hendren, and Alexandru Nicolau. A language for conveying the aliasing properties of dynamic, pointer-based data structures. In Proceedings of the 8th International Parallel Processing Symposium, pages 208-216, Cancun, Mexico, April 1994. IEEE Computer Society.
16. Intel Corporation. Intel Itanium 2 Processor Reference Manual, 2002.
17. Chunho Lee, Miodrag Potkonjak, and William H. Mangione-Smith. MediaBench: a tool for evaluating and synthesizing multimedia and communications systems. In Micro-30, 30th annual ACM/IEEE international symposium on Microarchitecture, pages 330-335, 1997.
18. Jin Lin, Tong Chen, Wei-Chung Hsu, and Pen-Chung Yew. Speculative register promotion using advanced load address table (alat). In International Symposium on Code Generation and Optimization, pages 125-133, 2003.
19. John Lu and Keith D. Cooper. Register promotion in C programs. In Proceedings of the 1997 ACM SIGPLAN conference on Programming language design and implementation, pages 308-319. ACM Press, 1997.
20. Alexandru Nicolau. Run-time disambiguation: coping with statically unpredictable dependencies. IEEE Transactions on Computers, 38 (5):633-678, 1989.
21. Matt Postiff, David Greene, and Trevor N. Mudge. The store-load address table and speculative register promotion. In International Symposium on Microarchitecture, pages 235-244, 2000.
22. A. V. S. Sastry and Roy D. C. Ju. A new algorithm for scalar register promotion based on SSA form. In Proceedings of the ACM SIGPLAN '98 conference on Programming Language Design and Implementation, pages 15-25. ACM Press, 1998.
23. Standard Performance Evaluation Corp. SPEC CPU95 Benchmark Suite, 1995.
24. Standard Performance Evaluation Corp. SPEC CPU2000 Benchmark Suite, 2000.
25. Linus Torvalds. Managing kernel development. Presentation at Linux Lunacy Geek Cruise, September 2003.
26. Robert P. Wilson, Robert S. French, Christopher S. Wilson, Saman P. Amarasinghe, Jennifer M. Anderson, Steve W. K. Tjiang, Shih-Wei Liao, Chau-Wen Tseng, Mary W. Hall, Monica S. Lam, and John L. Hennessy. SUIF: An infrastructure for research on parallelizing and optimizing compilers. In ACM SIGPLAN Notices, volume 29, pages 31-37, December 1994.
27. Robert P. Wilson and Monica S. Lam. Efficient context-sensitive pointer analysis for C programs. In Proceedings of the ACM SIGPLAN 1995 conference on Programming language design and implementation, pages 1-12. ACM Press, 1995.