A Fast Approximate Interprocedural Analysis for Speculative Multithreading Compilers

Proceedings of the International Conference on Supercomputing

Volumn , Issue , 2003, Pages 32-41

  Bhowmik, Anasua ^a   Franklin, Manoj ^a  

^a UNIVERSITY OF MARYLAND   (United States)

Author keywords

Interpretedural analysis; Pointer analysis; Speculative multithreading (SpMT); Thread level parallelism (TLP)

Indexed keywords

ALGORITHMS; COMPUTER ARCHITECTURE; COMPUTER PROGRAMMING; COMPUTER SIMULATION; DATA STORAGE EQUIPMENT; PARALLEL PROCESSING SYSTEMS;

INTERPROCEDURAL ANALYSIS; POINTER ANALYSIS; SPECULATIVE MULTITHREADING (SPMT); THREAD LEVEL PARALLELISM (TLP);

PROGRAM COMPILERS;

EID: 1142280991     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/782821.782822     Document Type: Conference Paper

References (23)

1. H. Akkary and M. A. Driscoll. "A Dynamic Multithreading Processor," in Proc. Intl. Symp. on Microarchitecture, 1998.
2. A. Bhowmik and M. Franklin. "A General Compiler Framework for Speculative Multithreading," in Proc. ACM Symp. on Parallel Algorithms and Architectures, 2002.
3. A. Bhowmik. "A General Compiler Framework for Speculative Multithreaded Processors," PhD. Thesis, Computer Science Department, University of Maryland, College Park, 2003.
4. D. R. Chase, M. Wegman, and F. K. Zadeck. "Analysis of Pointers and Structures," in Proc. Conf. on Programming Language Design and Implementation, 1990.
5. J-D. Choi, M. Burke, and P. Carini. "Efficient Flow-Sensitive Interprocedural Computation of Pointer-Induced Aliases and Side-Effects," in Proc. Symp. on Principles of Programming Languages, 1993.
6. M. Emami. "A Practical Interprocedural Alias Analysis For an Optimizing/Parallelizing C Compiler," Masters Thesis, School of Computer Science, McGill University, 1993.
7. M. Emami, R. Ghiya and L. J. Hendren. "Context-Sensitive Interprocedural Points-to Analysis in Presence of Function Pointers," in Proc. Conf. on Programming Language Design and Implementation, 1994.
8. M. Franklin. "Multiscalar Processors," Kluwer Academic Publishers, 2002.
9. L. Hammond, M. Willey and K. Olukotun. "Data Speculation Support for a Chip Multiprocessor." in Proc. Conf. on Architectural Support for Programming Languages and Operating Systems, 1998.
10. R. Hasti and S. Horwitz. "Using Static Single Assignment Form to Improve Flow-Insensitive Pointer Analysis," in Proc. Conf. on Programming Language Design and Implementation, 1998.
11. W. Landi and B. G. Ryder. "A Safe Approximate Algorithm for Interprocedural Pointer Aliasing," in Proc. Conf. on Programming Language Design and Implementation, 1992.
12. W. Landi, B. G. Ryder, and S Zhang. "Interprocedural Modification Side-Effect Analysis with Pointer Aliasing," in Proc. Conf. on Programming Language Design and Implementation, 1993.
13. P. Marcuello and A. Gonzalez. "Clustered Speculative Multithreaded Processors." in Proc. ACM Int'l Conf. on Supercomputing, 1999.
14. K. Olukotun, L. Hammond, and M. Willey. "Improving the Performance of Speculatively Parallel Applications on the Hydra CMP," in Proc. ACM Int'l Conf. on Supercomputing, 1999.
15. E. Ruf. "Context-Insensitive Alias Analysis Reconsidered," in Proc. Conf. on Programming Language Design and Implementation, 1995.
16. M. Shapiro and S. Horwitz. "Fast and Accurate Flow-Insensitive Points-To Analysis," in Proc. Symp. on Principles of Programming Languages, 1997.
17. B. Steensgard. "Points-to Analysis in Almost Linear Time," in Proc. Symp. on Principles of Programming Languages, 1996.
18. J. G. Steffan and T. Mowry. "The Potential for Using Thread-Level Data Speculation to Facilitate Automatic Parallelization," in Proc. Int'l Symp. on High-Performance Computer Architecture, 1998.
19. J-Y. Tsai and P-C. Yew. "The Superthreaded Architecture: Thread Pipelining with Run-Time Data Dependence Checking and Control Speculation, " in Proc. Int'l Conf. on Parallel Architectures and Compilation Techniques, 1996.
20. J.-Y. Tsai, Z. Jiang, Z. Li, D. J. Lilja, X. Wang, P.-C. Yew, B. Zheng, and S. Schwinn. "Integrating Compilation Technology and Processor Architecture for Cost-Effective Concurrent Multithreading," in Journal of Information Science and Engineering, March 1998.
21. T. N. Vijaykumar and G. S. Sohi. "Task Selection for a Multiscalar Processor," in Proc. Int'l Symp. on Microarchitecture, 1998.
22. R. Wilson, R. French, C. Wilson, S. Amarsinghe, J. Anderson, S. Tjiang, S. Liao, C.-W. Tseng, M. Hall, M. Lam, and J. Hennesy. "SUIF: An Infrastructure for Research on Parallelizing and Optimizing Compiler," ACM SIGPLAN Notices. Vol. 29, No. 12, December 1996.
23. R. P. Wilson and M. S. Lam. "Efficient Context-Sensitive Pointer Analysis for C Programs," in Proc. Conf. on Programming Language Design and Implementation, 1995.