Compiler optimization of memory-resident value communication between speculative threads

International Symposium on Code Generation and Optimization, CGO

Volumn , Issue , 2004, Pages 39-50

  Zhai, Antonia ^a   Colohan, Christopher B ^a   Steffan, J Gregory ^b   Mowry, Todd C ^a  

^a Carnegie Mellon University   (United States)

^b UNIVERSITY OF TORONTO   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

DATA DEPENDENCE; MEMORY-RESIDENT VALUES; SCALAR VALUE COMMUNICATION; THREAD-LEVEL SPECULATION (TLS);

BENCHMARKING; COMPUTER PROGRAMMING LANGUAGES; DATA PROCESSING; OPTIMIZATION; PARALLEL PROCESSING SYSTEMS; PROBABILITY; PROGRAM COMPILERS; SYNCHRONIZATION;

MULTIPROCESSING SYSTEMS;

EID: 3042567406     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (32)

1. AKKARY, H., AND DRISCOLL, M. A Dynamic Multithreading Processor. In MICRO-31 (December 1998).
2. BANERJEE, U. Dependence Analysis for Supercomputing. Kluwer Academic Publishers, Norwell, Mass., 1988.
3. BHOWMIK, A., AND FRANKLIN, M. A fast approximate interprocedural analysis for speculative multithreading compiler. In 17th Annual ACM International Conference on Supercomputing (2003).
4. CHEN, D. K., AND YEW, P. C. Redundant synchronization elimination for doacross loops. IEEE Transactions on Parallel and Distributed System 10, 5 (1999), 459-470.
5. CHEN, P.-S., HUNG, M.-Y., HWANG, Y.-S., Ju, R., AND LEE, J. K. Compiler support for speculative multithreading architecture with probabilistic points-to analysis. In ACM SIGPLAN 2003 Symposium on Principles and Practice of Parallel Programming (2003).
6. CHEN, T., LIN, J., DAI, X., Hsu, W.-C., AND P.-C. YEW. Data dependence profiling for speculative optimization. In 13th International Conference on Compiler Construction (Barcelona, Spain, March 2004).
7. CHRYSOS, G., AND EMER, J. Memory dependence prediction using store sets. In Proceedings of the 25th ISCA (June 1998).
8. CINTRA, M., AND TORRELLAS, J. Eliminating squashes through learning cross-thread violations in speculative parallelization for multiprocessors. In Proceedings of the 8th HPCA (Feb 2002).
9. CYTRON, R. Doarcoss: Beyond vectorization for multiprocessors. In Int'l. Conf. on Parallel Processing (Aug. 1986).
10. GOPAL, S., VIJAYKUMAR, T., SMITH, J., AND SOHI, G. Speculative Versioning Cache. In Proceedings of the 4th HPCA (February 1998).
11. GOPAL, S., VIJAYKUMAR, T. N., SMITH, J. E., AND SOHI, G. S. Speculative Versioning Cache. Tech. Rep. 1334, Computer Sciences Department, University of Wisconsin-Madison, July 1997.
12. GUPTA, M., AND NIM, R. Techniques for Speculative Run-Time Parallelization of Loops. In Supercomputing '98 (November 1998).
13. HAMMOND, L., WILLEY, M., AND OLUKOTUN, K. Data Speculation Support for a Chip Multiprocessor. In Proceedings of ASPLOS-VIII (October 1998).
14. LIVSHITS, V. B., AND LAM, M. S. Tracking pointers with path and context sensitivity for bug detection in c programs. In 11th ACM SIGSOFT International Symposium on the Foundations of Software Engineering (FSE-11) (September 2003).
15. MARCUELLO, P., AND GONZALES, A. Clustered Speculative Multithreaded Processors. In Proc. of the ACM Int. Conf. on Supercomputing (June 1999).
16. MARCUELLO, P., TUBELLA, J., AND GONZALEZ, A. Value prediction for speculative multithreaded architectures. In Proceedings of Micro-32 (Haifa, Israel, Nov. 1999).
17. MOCK, M., DAS, M., CHAMBERS, C., AND EGGERS, S. J. Dynamic points-to sets: A comparison with static analyses and potential applications in program understanding and optimization. In SIGSOFT workshop on on Program analysis for software tools and engineering Snowbird (June 2001).
18. MOSHOVOS, A. I., BREACH, S. E., VIJAYKUMAR, T., AND SOHI, G. S. Dynamic speculation and synchronization of data dependences. In Proceedings of the 24th ISCA (June 1997).
19. OPLINGER, J., HEINE, D., AND LAM, M. S. In Search of Speculative Thread-Level Parallelism. In Proceedings of PACT '99 (October 1999).
20. RAUCHWERGER, L., AND PADUA, D. A. The LRPD test: Speculative run-time parallelization of loops with privatization and reduction parallelization. IEEE Transactions on Parallel and Distributed System 10, 2 (1999), 160-172.
21. ROTENBERG, E., JACOBSON, Q., SAZEIDES, Y., AND SMITH, J. Trace processors. In Proceedings of Micro 30 (1997).
22. STANDARD PERFORMANCE EVALUATION CORPORATION. The SPEC Benchmark Suite. http://www.specbench.org.
23. STEFFAN, J. G., COLOHAN, C. B., AND MOWRY, T. C. Architectural Support for Thread-Level Data Speculation. Tech. Rep. CMU-CS-97-188, School of Computer Science, Carnegie Mellon University, November 1997.
24. STEFFAN, J. G., COLOHAN, C. B., ZHAI, A., AND MOWRY, T. C. A Scalable Approach to Thread-Level Speculation. In Proceedings of the 27th ISCA (June 2000).
25. STEFFAN, J. G., COLOHAN, C. B., ZHAI, A., AND MOWRY, T. C. Improving Value Communication for Thread-Level Speculation. In Proceedings of the 8th HPCA (February 2002).
26. SURA, z., WONG, C.-L., FANG, X., MIDKIFF, J. L. S., AND PADUA, D. Automatic implementation of programming language consistency models. In Sixth International Symposium on Parallel Architectures, Algorithms and Networks (LCPC'02) (2002).
27. TJIANG, S., WOLF, M., LAM, M., PIEPER, K., AND HENNESSY, J. Languages and Compilers for Parallel Computing. Springer-Verlag, Berlin, Germany, 1992, pp. 137-151.
28. TSAI, J.-Y., HUANG, J., AMLO, C., LILJA, D., AND YEW, P.-C. The Superthreaded Processor Architecture. IEEE Transactions on Computers, Special Issue on Multithreaded Architectures 48, 9 (September 1999).
29. WILSON, R. P., AND LAM, M. S. Efficient context-sensitive pointer analysis for c programs. In Proc. ACM SIGPLAN 95 Conference on Programming Language Design and Implementation (June 1995), pp. 1-12.
30. WOLFE, M. Optimizing Supercompilers for Supercomputers. The MIT Press, Cambridge, Massachusetts, 1989.
31. YEAGER, K. The MIPS R10000 superscalar microprocessor. IEEE Micro (April 1996).
32. ZHAI, A., COLOHAN, C. B., STEFFAN, J. G., AND MOWRY, T. C. Compiler Optimization of Scalar Value Communication Between Speculative Threads. In Proceedings of the 10th ASPLOS (Oct 2002).