Optimizing indirect branch prediction accuracy in virtual machine interpreters

ACM Transactions on Programming Languages and Systems

Volumn 29, Issue 6, 2007, Pages

  Casey, Kevin ^a   Ertl, M Anton ^b   Gregg, David ^a  

^a TRINITY COLLEGE DUBLIN   (Ireland)

^b VIENNA UNIVERSITY OF TECHNOLOGY   (Austria)

Author keywords

Branch prediction; Branch target buffer; Code replication; Interpreter; Superinstruction

Indexed keywords

BRANCH PREDICTION; BRANCH TARGET BUFFER; CODE REPLICATION; SUPERINSTRUCTION;

DYNAMIC PROGRAMMING; JAVA PROGRAMMING LANGUAGE; OPTIMIZATION; VIRTUAL REALITY;

PROGRAM INTERPRETERS;

EID: 36048973219     PISSN: 01640925     EISSN: 15584593     Source Type: Journal    
DOI: 10.1145/1286821.1286828     Document Type: Article

References (36)

1. BELL, J. R. 1973. Threaded code. Commun. ACM 16, 6, 370-372.
2. BELL, T. C., CLEARY, J. G., AND WITTEN, I. H. 1990. Text Compression. Prentice-Hall.
3. BERNDL, M., VITALE, B., ZALESKI, M., AND BROWN, A. D. 2005. Context threading: A flexible and efficient dispatch technique for virtual machine interpreters. In 3nd IEEE / ACM International Symposium on Code Generation and Optimization (CGO'05), San Jose, CA. 15-26.
4. CALDER, B. AND GRUNWALD, D. 1994. Reducing branch costs via branch alignment. In Architectural Support for Programming Languages and Operating Systems (ASPLOS-VI). 242-251.
5. CASEY, K., ERTL, A., AND GREGG, D. 2005. Optimizations for a Java interpreter using instruction set enhancement. Tech. rep. TCD-CS-2005-61, Department of Computer Science, University of Dublin, Trinity College, Dublin, Ireland.
6. CASEY, K., GREGG, D., AND ERTL, A. 2005. Tiger-an interpreter generation tool. In International Conference on Compiler Construction (CC'05). Lecture Notes in Computer Science, vol. 3443. Springer Verlag, 246-249.
7. CASEY, K., GREGG, D., ERTL, M. A., AND NISBET, A. 2003. Towards superinstructions for Java interpeters. In Proceedings of the 7th International Workshoop on Software and Compilers for Embedded Systems (SCOPES'03), A. Krall, Ed. Lecture Notes in Computer Science, Vol. 2826. 329-343.
8. DRIESEN, K. AND HÖLZLE, U. 1998. Accurate indirect branch prediction. In Proceedings of the 25th Annual International Symposium on Computer Architecture (ISCA98). 167-178.
9. DRIESEN, K. AND HÖLZLE, U. 1999. Multi-stage cascaded prediction. In EuroPar'99 Conference Proceedings. Lecture Notes in Computer Science, vol. 1685. Springer, 1312-1321.
10. ERTL, M. A. 1995. Stack caching for interpreters. In SIGPLAN '95 Conference on Programming Language Design and Implementation. 315-327.
11. ERTL, M. A. AND GREGG, D. 2003a. Optimizing indirect branch prediction accuracy in virtual machine interpreters. In SIGPLAN '03 Conference on Programming Language Design and Implementation.
12. ERTL, M. A. AND GREGG, D. 2003b. The structure and performance of Efficient interpreters. J. Instruc.-Lev. Paral. 5. http://www.jilp.org/vol5/.
13. ERTL, M. A. AND GREGG, D. 2006. Optimizing Interpreters for Processors with Branch Target Buffers. Tech. rep. TCD-CS-2006-51, Department of Computer Science, University of Dublin, Trinity College, Dublin, Ireland.
14. ERTL, M. A., GREGG, D., KRALL, A., AND PAYSAN, B. 2002. vrngen - a generator of efficient virtual machine interpreters. Softw. Prac. Exper. 32, 3, 265-294.
15. ERTL, M. A., THALINGER, C., AND KRALL, A. 2006. Superinstructions and replication in the Cacao JVM interpreter. J. .Net Techn. 4, 1, 31-38.
16. GAGNON, E. 2003. A portable research framework for the execution of Java bytecode. Ph.D. thesis, McGill University.
17. GAGNON, E. AND HENDREN, L. J. 2003. Effective inline-threaded interpretation of Java bytecode using preparation sequences. In Proceedings of Compiler Construction, 12th International Conference (CC'03). The Joint European Conferences on Theory and Practice of Software, ETAPS'03. 170-184.
18. GAGNON, E. M. AND HENDREN, L. J. 2001. SableVM: A research framework for the efficient execution of Java bytecode. In Proceedings of the Java Virtual Machine Research and Technology Symposium (JVM'01). Monterey, CA, 27-39.
19. GOCHMAN, S., RONEN, R., ANATI, I., BERKOVITS, A., KURTS, T., NAVEH, A., SAEED, A., SPERBER, Z., AND VALENTINE, R. 2003. The Intel Pentium M processor: microarchitecture and performance. Intel Tech. J. 7, 2, 20-36.
20. HOOGERBRUGGE, J. AND AUGUSTEIJN, L. 2000. Pipelined Java virtual machine interpreters. In Proceedings of the 9th International Conference on Compiler Construction (CC'00). Lecture Notes in Computer Science, Springer Verlag.
21. HOOGERBRUGGE, J., AUGUSTEIJN, L., TRUM, J., AND VAN DE WIEL, R. 1999. A code compression system based on pipelined interpreters. Softw. Prac. Exper. 29, 11, 1005-1023.
22. KAELI, D. R. AND EMMA, P. G. 1994. Case block table for holding multi-way branches. US Patent No. 5,333,283.
23. KAELI, D. R. AND EMMA, P. G. 1997. Improving the accuracy of history-based branch prediction. IEEE Trans. Comput. 46, 4, 469-472.
24. KALAMATIANOS, J. AND KAELI, D. 1999. Indirect branch prediction using data compression techniques. J. Instruc. Lev. Paral.
25. KRALL, A. 1994. Improving semi-static branch prediction by code replication. In Conference on Programming Language Design and Implementation. ACM, 97-106.
26. LI, T., BHARGAVA, R., AND JOHN, L. K. 2005. Adapting branch-target buffer to improve the target predictability of Java code. ACM Trans. Archit. Code Optimiz. 2, 2, 109-130.
27. PIUMARTA, I. AND RICCARDI, F. 1998. Optimizing direct threaded code by selective inlining. In SIGPLAN'98 Conference on Programming Language Design and Implementation. 291-300.
28. PROEBSTING, T. A. 1995. Optimizing an ANSI C interpreter with superoperators. In Principles of Programming Languages (POPL'95). 322-332.
29. ROMER, T. H., LEE, D., VOELKER, G. M., WOLMAN, A., WONG, W. A., BAER, J.-L., BERSHAD, B. N., AND LEVY, H. M. 1996. The structure and performance of interpreters. In Architectural Support for Programming Languages and Operating Systems (ASPLOS-VII). 150-159.
30. ROSSI, M. AND SIVALINGAM, K. 1996. A survey of instruction dispatch techniques for byte-code interpreters. Tech. rep. TKO-C79, Faculty of Information Technology, Helsinki University of Technology.
31. SANTOS COSTA, V. 1999. Optimising bytecode emulation for Prolog. In Proceedings of PPDP'99. Lecture Notes in Computer Science, vol. 1702. Springer-Verlag, 261-267.
32. SMITH, J. AND NAIR, R. 2005. Virtual Machines: Versatile Platforms for Systems and Processes. Morgan Kaufmann.
33. SUN-MICROSYSTEMS. 2001. The Java Hotspot virtual machine. Tech. rep., Sun Microsystems Inc.
34. YOUNG, C., GLOY, N., AND SMITH, M. D. 1995. A comparative analysis of schemes for correlated branch prediction. In 22nd Annual International Symposium on Computer Architecture. 276-286.
35. YOUNG, C. AND SMITH, M. D. 1994. Improving the accuracy of static branch prediction using branch correlation. In Achitectural Support for Programming Languags and Operating Systems (ASP-LOS VI).
36. ZHOU, J. AND ROSS, K. A. 2004. Buffering database operations for enhanced instruction cache performance. In Proceedings of the ACM SIGMOD International Conference on Management of Data. ACM Press, 191-202.