SableSpMT: A software framework for analysing speculative multithreading in Java

ACM SIGPLAN/SIGSOFT Workshop on Program Analysis for Software Tools and Engineering

Volumn , Issue , 2005, Pages 59-66

  Pickett, Christopher J F ^a   Verbrugge, Clark ^a  

^a MCGILL UNIVERSITY   (Canada)

Author keywords

java; profiling; speculative multithreading; static and dynamic analysis; thread level speculation; virtual machines

Indexed keywords

JAVA; PROFILING; SPECULATIVE MULTITHREADING; STATIC AND DYNAMIC ANALYSIS; THREAD LEVEL SPECULATION; VIRTUAL MACHINES;

COMPUTER PROGRAMMING; COMPUTER SOFTWARE; EMBEDDED SYSTEMS; HARDWARE; MULTIPROCESSING SYSTEMS; OPTIMIZATION; PROGRAM COMPILERS;

JAVA PROGRAMMING LANGUAGE;

EID: 42149083580     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1108792.1108809     Document Type: Conference Paper

References (42)

1. M. Arnold, S. J. Fink, D. Grove, M. Hind, and P. F. Sweeney. A survey of adaptive optimization in virtual machines. Proceedings of the IEEE, 93(2):449-466, Feb. 2005. (Pubitemid 40851235)
2. A. Bhowmik and M. Franklin. A general compiler framework for speculative multithreading. In Proceedings of the 14th Annual ACM Symposium on Parallel Algorithms and Architectures (SPAA '02), pages 99-108, Aug. 2002.
3. D. Bruening, S. Devabhaktuni, and S. Amarasinghe. Softspec: Software-based speculative parallelism. In Proceedings of the 3rd ACM Workshop on Feedback-Directed and Dynamic Optimization (FDDO-3), Dec. 2000.
4. M. K. Chen and K. Olukotun. Exploiting method-level parallelism in single-threaded Java programs. In Proceedings of the 1998 International Conference on Parallel Architectures and Compilation Techniques (PACT '98), pages 176-184, Oct. 1998.
5. M. K. Chen and K. Olukotun. The Jrpm system for dynamically parallelizing Java programs. In Proceedings of the 30th Annual International Symposium on Computer Architecture (ISCA '03), pages 434-446, June 2003.
6. M. Cintra and D. R. Llanos. Toward efficient and robust software speculative parallelization on multiprocessors. In Proceedings of the 9th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPoPP '03), pages 13-24, June 2003.
7. J. J. Cook. Reverse execution of Java bytecode. The Computer Journal, 45(6):608-619, May 2002.
8. Z.-H. Du, C.-C. Lim, X.-F. Li, C. Yang, Q. Zhao, and T.-F. Ngai. A cost-driven compilation framework for speculative parallelization of sequential programs. In Proceedings of the ACM SIGPLAN 2004 Conference on Programming Language Design and Implementation (PLDI '04), pages 71-81, June 2004.
9. B. Dufour. Objective quantification of program behaviour using dynamic metrics. Master's thesis, McGill University, Montréal, Québec, Canada, Oct. 2004.
10. P. Eugster. Java virtual machine with rollback procedure allowing systematic and exhaustive testing of multi-threaded Java programs. Master's thesis, ETH Zürich, Zürich, Switzerland, Mar. 2003.
11. M. Franklin. The Multiscalar Architecture. PhD thesis, University of Wisconsin-Madison, Madison, Wisconsin, USA, 1993.
12. R. Friedman and A. Kama. Transparent fault-tolerant Java virtual machine. In Proceedings of the 22nd IEEE Symposium on Reliable Distributed Systems (SRDS '03), pages 319-328, Oct. 2003.
13. E. M. Gagnon. A Portable Research Framework for the Execution of Java Bytecode. PhD thesis, McGill University, Montréal, Québec, Canada, Dec. 2002. http://www.sablevm.org.
14. L. Hammond, B. A. Hubbert, M. Siu, M. K. Prabhu, M. Chen, and K. Olukotun. The Stanford Hydra CMP. IEEE Micro, 20(2):71-84, Mar. 2000.
15. T. Harris and K. Fraser. Language support for lightweight transactions. In Proceedings of the 18th Annual ACM SIGPLAN Conference on Object-Oriented Programing, Systems, Languages, and Applications (OOPSLA '03), pages 388-402, Oct. 2003.
16. S. Hu, R. Bhargava, and L. K. John. The role of return value prediction in exploiting speculative method-level parallelism. Journal of Instruction-Level Parallelism, 5, Nov. 2003.
17. T. A. Johnson, R. Eigenmann, and T. N. Vijaykumar. Min-cut program decomposition for thread-level speculation. In Proceedings of the ACM SIGPLAN 2004 Conference on Programming Language Design and Implementation (PLDI '04), pages 59-70, June 2004.
18. I. H. Kazi and D. J. Lilja. JavaSpMT: A speculative thread pipelining parallelization model for Java programs. In Proceedings of the 14th International Parallel and Distributed Processing Symposium (IPDPS '00), pages 559-564, May 2000.
19. I. H. Kazi and D. J. Lilja. Coarse-grained thread pipelining: A speculative parallel execution model for shared-memory multiprocessors. IEEE Transactions on Parallel and Distributed Systems, 12(9):952-966, Sept. 2001.
20. V. Krishnan and J. Torrellas. A direct-execution framework for fast and accurate simulation of superscalar processors. In Proceedings of the 1998 International Conference on Parallel Architectures and Compilation Techniques (PACT '98), pages 286-293, Oct. 1998.
21. V. Krishnan and J. Torrellas. A chip-multiprocessor architecture with speculative multithreading. IEEE Transactions on Computers, 48(9):866-880, Sept. 1999.
22. T. Lindholm and F. Yellin. The Java Virtual Machine Specification. Sun Microsystems, 2nd edition, 1999.
23. J. Manson, W. Pugh, and S. V. Adve. The Java memory model. In Proceedings of the 32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL '05), pages 378-391, Jan. 2005.
24. J. F. Martínez and J. Torrellas. Speculative locks for concurrent execution of critical sections in shared-memory multiprocessors. In Proceedings of the 1st Annual Workshop on Memory Performance Issues (WMPI '01), June 2001.
25. J. T. Oplinger, D. L. Heine, and M. S. Lam. In search of speculative thread-level parallelism. In Proceedings of the 1999 International Conference on Parallel Architectures and Compilation Techniques (PACT '99), pages 303-313, Oct. 1999.
26. C. J. F. Pickett and C. Verbrugge. Compiler analyses for improved return value prediction. Technical Report SABLE-TR-2004-6, Sable Research Group, McGill University, Oct. 2004.
27. C. J. F. Pickett and C. Verbrugge. Return value prediction in a Java virtual machine. In Proceedings of the 2nd Value-Prediction and Value-Based Optimization Workshop (VPW2), pages 40-47, Oct. 2004.
28. C. J. F. Pickett and C. Verbrugge. Speculative multithreading in a Java virtual machine. Technical Report SABLE-TR-2005-1, Sable Research Group, McGill University, Mar. 2005.
29. P. Pominville, F. Qian, R. Vallée-Rai, L. Hendren, and C. Verbrugge. A framework for optimizing Java using attributes. In R. Wilhelm, editor, Proceedings of the 10th International Conference on Compiler Construction (CC '01), volume 2027 of Lecture Notes in Computer Science (LNCS), pages 334-354, Apr. 2001.
30. R. Rajwar and J. R. Goodman. Speculative lock elision: enabling highly concurrent multithreaded execution. In Proceedings of the 34th Annual ACM/IEEE International Symposium on Microarchitecture (MICRO 34), pages 294-305, Dec. 2001.
31. J. Renau, J. Tuck, W. Liu, L. Ceze, K. Strauss, and J. Torrellas. Tasking with out-of-order spawn in TLS chip multiprocessors: Microarchitecture and compilation. In Proceedings of the 19th ACM International Conference on Supercomputing (ICS '05), June 2005.
32. P. Rundberg and P. Stenström. An all-software thread-level data dependence speculation system for multiprocessors. Journal of Instruction-Level Parallelism, 3, Oct. 2001.
33. The SPEC JVM Client98 benchmark suite. http://www.spec.org/jvm98/jvm98/.
34. J. G. Steffan, C. B. Colohan, A. Zhai, and T. C. Mowry. A scalable approach to thread-level speculation. In Proceedings of the 27th Annual International Symposium on Computer Architecture (ISCA '00), pages 1-12, June 2000.
35. J. G. Steffan, C. B. Colohan, A. Zhai, and T. C. Mowry. The STAMPede approach to thread-level speculation. ACM Transactions on Computer Systems, 2005. To appear.
36. M. Tremblay, J. Chan, S. Chaudhry, A. W. Conigliaro, and S. S. Tse. The MAJC architecture: A synthesis of parallelism and scalability. IEEE Micro, 20(6):12-25, Dec. 2000.
37. J.-Y. Tsai, J. Huang, C. Amlo, D. J. Lilja, and P.-C. Yew. The superthreaded processor architecture. IEEE Transactions on Computers, 48(9):881-902, Sept. 1999.
38. R. Vallée-Rai. Soot: A Java bytecode optimization framework. Master's thesis, McGill University, Montréal, Québec, Canada, July 2000.
39. F. Warg and P. Stenström. Limits on speculative module-level parallelism in imperative and object-oriented programs on CMP platforms. In Proceedings of the 2001 International Conference on Parallel Architectures and Compilation Techniques (PACT '01), pages 221-230, Sept. 2001.
40. A. Welc, S. Jagannathan, and A. Hosking. Safe futures for Java. In Proceedings of the 20th Annual ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA '05), Oct. 2005. To appear.
41. J. Whaley and C. Kozyrakis. Heuristics for profile-driven method-level speculative parallelization. In Proceedings of the 34th International Conference on Parallel Processing (ICPP '05), pages 147-156, June 2005.
42. K. Yoshizoe, T. Matsumoto, and K. Hiraki. Speculative parallel execution on JVM. In Proceedings of the 1st UK Workshop on Java for High Performance Network Computing, Sept. 1998.