Dynamic Memory Interval Test vs. Interprocedural Pointer Analysis in Multimedia Applications

ACM Transactions on Architecture and Code Optimization

Volumn 2, Issue 2, 2005, Pages 199-219

  Salamí, Esther ^a   Valero, Mateo ^a  

^a UNIVERSITAT POLITÈCNICA DE CATALUNYA   (Spain)

Author keywords

Languages; Memory disambiguation; Multimedia; Performance; VLIW

Indexed keywords

EID: 38549166028     PISSN: 15443566     EISSN: 15443973     Source Type: Journal    
DOI: 10.1145/1071604.1071608     Document Type: Article

References (36)

1. Aditya, S., Kathail, V., and Rau, B. R. 1998. Elcor's machine description system: Version 3.0. Technical Report HPL-98-128, Information Technology Center.
2. Andersen, L. O. 1994. Program Analysis and Specialization for the C Programming Language. PhD thesis, DIKU, University of Copenhagen.
3. Bernstein, D., Cohen, D., and Maydan, D. E. 1994. Dynamic memory disambiguation for array references. In Proceedings of the 27th Annual International Symposium on Microarchitecture. 105-111.
4. Blume, W. and Eigenmann, R. 1994. The range test: a dependence test for symbolic, non-linear expressions. In Proceedings of the 1994 Conference on Supercomputing. 528-537.
5. Carr, S., McKinley, K. S., and Tseng, C.-W. 1994. Compiler optimizations for improving data locality. In Proceedings of the 6th International Conference on Architectural Support for Programming Languages and Operating Systems. 252-262.
6. Choi, J.-D., Burke, M., and Carini, P. 1993. Efficient flow-sensitive interprocedural computation of pointer-induced aliases and side effects. In Proceedings of the 20th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (Charleston, SC). 232-245.
7. Emami, M., Ghiya, R., and Hendren, L. J. 1994. Context-sensitive interprocedural points-to analysis in the presence of function pointers. In Proceedings of the ACM SIGPLAN'94 Conference on Programming Language Design and Implementation. 242-256.
8. Feautrier, P. 1991. Dataflow analysis of array and scalar references. International Journal of Parallel Programming 20, 1, 23-53.
9. Gallagher, D. M. 1995. Memory Disambiguation to Facilitate Instruction-Level Parallelism Compilation. PhD thesis, Dept. of Electrical and Computer Engineering, University of Illinois.
10. Gallagher, D. M., Chen, W. Y., Mahlke, S. A., Gyllenhaal, J. C., and Hwu, W. W. 1994. Dynamic memory disambiguation using the memory conflict buffer. ACM SIGPLAN Notices 29, 11, 183-193.
11. Goff, G., Kennedy, K., and Tseng, C. 1991. Practical dependence testing. In Proceedings of the ACM SIGPLAN'91 Conference on Programming Language Design and Implementation. 15-29.
12. Hind, M. and Pioli, A. 2000. Which pointer analysis should I use? In Proceedings of the 2000 ACM SIGSOFT International Symposium on Software Testing and Analysis. 113-123.
13. Huang, A., Slavenburg, G., and Shen, J. 1994. Speculative disambiguation: A compilation technique for dynamic memory disambiguation. In Proceedings of the 21st International Symposium on Computer Architecture. 200-210.
14. Hwu, W. W., Mahlke, S. A., Chen, W. Y., Chang, P. P., Warter, N. J., Bringmann, R. A., Ouellette, R. G., Hank, R. E., Kiyohara, T., Haab, G. E., Holm, J. G., and Lavery, D. M. 1993. The superblock: An effective technique for vliw and superscalar compilation. The J. Supercomputing 7, 229-248.
15. Hwu, W. W., Hank, R., Gallagher, D., Mahlke, S., Lavery, D., Haab, G., Gyllenhaal, J., and August, D. 1995. Compiler technology for future microprocessors. Proceedings of the IEEE 83, 625-1640.
16. Kathail, V., Schlansker, M., and Rau, B. R. 2000. Hpl-pd architecture specification: Version 1.1. Technical Report HPL-93-80(R.1), Hewlett-Packard Lab.
17. Lab., H. P., Group, R.-I., and Group, I. 1998. Trimaran user manual. http://www.trimaran.org/-docs.html.
18. Landi, W. 1992. Undecidability of static analysis. ACM Lett. Programming Languages Systems 1, 4 (Dec.), 323-337.
19. Landi, W. and Ryder, B. G. 1992. A safe approximate algorithm for interprocedural pointer aliasing. SIGPLANNotices 27, 7 (June), 235-248.
20. Lee, C., Potkonjak, M., and Mangione-Smith, W. H. 1997. Mediabench: A tool for evaluating and synthesizing multimedia and communicatons systems. In Proceedings of the 30th International Symposium on Microarchitecture. 330-335.
21. Mahlke, S. A., Lin, D. C., Chen, W. Y., Hank, R. E., and Bringmann, R. A. 1992. Effective compiler support for predicated execution using the hyperblock. In Proceedings of the 25th International Symposium on Microarchitecture. 45-54.
22. Maydan, D., Hennessy, J., and Lam, M. 1991. Efficient and exact data dependence analysis. In Proceedings of the ACM SIGPLAN'91 Conference on Programming Language Design and Implementation. 1-14.
23. Moon, S. and Hall, M. W. 1999. Evaluation of predicated array data-flow analysis for automatic parallelization. in Proceedings of the ACM Symposium on Principles Practice of Parallel Programming. 84-95.
24. Nicolau, A. 1989. Run-time disambiguation: Coping with statically unpredictable dependencies. IEEE Trans. Computers 38, 5 (May), 663-678.
25. Paek, Y., Hoeflinger, J., and Padua, D. 1998. Simplification of array access patterns for compiler optimizations. In Proceedings of the ACM SIGPLAN'98 Conference on Programming Language Design and Implementation. 60-71.
26. Pugh, W. and Wonnacott, D. 1998. Constraint-based array dependence analysis. ACM Transactions on Programming Languages and Systems 20, 3 (May), 635-678.
27. Ramalingam, G. 1994. The undecidability of aliasing. ACM Trans. Programming Languages and Systems 16, 5 (Sept.), 1467-1471.
28. Rau, B. R. 1995. Iterative modulo scheduling. Technical Report HPL-94-115, Hewlett-Packard Lab.
29. Rauchwerger, L. and Padua, D. 1994. The Privatizing Doall test: A run-time technique for DOALL loop identification and array privatization. In Proceedings of the ACM International Conference on Supercomputing (Manchester, England).
30. Salamí, E., Corbal, J., Alvarez, C., and Valero, M. 2002. Cost effective memory disambiguation for multimedia codes. In Proceedings of the International Conference on Compilers, Architecture, and Synthesis for Embedded Systems. 117-126.
31. SalamI, E., Corbal, J., Espasa, R., and Valero, M. 1999. An evaluation of different dlp alternatives for the embedded media domain. In Proceedings of the 1st Workshop on Media Processors and DSPs. 100-109.
32. Shapiro, M. and Horwitz, S. 1997. Fast and accurate flow-insensitive points-to analysis. In Proceedings of the ACM Symposium on Principles of Programming Languages. 1-14.
33. Steensgaard, B. 1996. Points-to analysis in almost linear time. In Proceedings of the 23rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. 32-41.
34. Wilson, R. P. and Lam, M. S. 1995. Efficient context-sensitive pointer analysis for c programs. In Proceedings of the ACM SIGPLAN'95 Conference on Programming Language Design and Implementation. 1-12.
35. Wolf, M. E. and Lam, M. S. 1991. A data locality optimizing algorithm. In Proceedings of the ACM SIGPLAN'91 Conference on Programming Language Design and Implementation. 30-44.
36. Yong, S. H., Horwitz, S., and Reps, T. W. 1999. Pointer analysis for programs with structures and casting. In SIGPLAN Conference on Programming Language Design and Implementation. 91-103.