Exploring the interaction between Java's implicitly thrown exceptions and instruction scheduling

International Journal of Parallel Programming

Volumn 29, Issue 2, 2001, Pages 111-137

  Arnold, Matthew ^a   Hsiao, Michael ^b   Kremer, Ulrich ^a   Ryder, Barbara G ^a  

^a RUTGERS UNIVERSITY   (United States)

^b RUTGERS UNIVERSITY   (United States)

Author keywords

Java exceptions instruction scheduling

Indexed keywords

JAVA COMPILER; JAVA EXCEPTIONS INSTRUCTION SCHEDULING; JAVA HINDER INSTRUCTION SCHEDULING; REORDERING INSTRUCTIONS;

ALGORITHMS; COMPUTER HARDWARE; MATHEMATICAL MODELS; PROGRAM COMPILERS; SCHEDULING; SEMANTICS;

JAVA PROGRAMMING LANGUAGE;

EID: 2942740533     PISSN: 08857458     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (30)

1. A. Gelsey, D. Smith, M. Schwabacher, K. Rasheed, and K. Miyake, A Search Space Toolkit, Decision Support Systems - special issue on Unification of Artificial Intelligence with Optimization, 18:341-356 (1996).
2. J. Keane and T. Ellman, Knowledge-Based Re-Engineering of Legacy Programs for Robustness in Automated Designs, Proc. Eleventh Knowledge-Based Software Enging. Conf. (1996).
3. K. Arnold and J. Gosling, The Java Programming Language, Second Edition, Addison-Wesley (1998).
4. J. Gosling, B. Joy, and G. L. Steele, The Jave™ Language Specification, The Java Series, Addison-Wesley, Reading, Massachusetts (1996).
5. J.-D. Choi, D. Grove, M. Hind, and V. Sarkar, Efficient and Precise Modeling of Exceptions for the Analysis of Java Programs, Proc. ACM SIGPLAN/SIGSOFT Workshop on Program Analysis for Software Tools and Engineering, pp. 21-31 (September 1999).
6. R. Bodik, R. Gupta, and V. Sarkar, ABCD: Eliminating Array Bounds Checks on Demand, SIGPLAN Conf. Progr. Lang. Design and Implementation (June 2000).
7. M. Cierniak, G.-Y. Lueh, and J. M. Stichnoth, Practicing JUDO: Java Under Dynamic Optimizations, SIGPLAN Conf. Progr. Lang. Design and Implementation (June 2000).
8. W. W. Hwu, S. A. Mahlke, W. Y. Chen, P. P. Chang, N. J. Warter, R. A. Bringmann, R. G. Ouellette, R. E. Hank, T. Kiyohara, G. E. Haab, J. G. Holm, and D. M. Lavery, The Superblock: An Effective Technique for VLIW and Superscalar Compilation, J. Supercomputing, 7:229-248 (1993).
9. J. A. Fisher, Trace Scheduling: A Technique for Global Microcode Compaction, IEEE Trans. Comput., C-30(7):478-490 (1981).
10. S. A. Mahlke, W. Y. Chen, R. A. Bringmann, R. E. Hank, W. W. Hwu, B. R. Rau, and M. S. Schlansker, Sentinel Scheduling: A Model for Compiler-Controlled Speculative Execution, ACM Trans. Computer Syst., 11(4):376-408 (November 1993).
11. Intel, IA-64 Application Developer's Architecture Guide (1999). URL: http://developer.intel.com/design/ia64
12. R. A. Bringmann, S. A. Mahlke, R. E. Hank, J. C. Gyllenhaal, and W.-M. W. Hwu, Speculative Execution Exception Recovery Using Write-Back Suppression, Proc. 26th Ann. Int'l. Symp. Microarchitecture (MICRO'93), SIGMICRO Newsletter, Vol. 24, IEEE Computer Society Press, Los Alamitos, California, pp. 214-224 (December 1993).
13. D. August, B. Deitrich, and S. Mahlke, Sentinel Scheduling with Recovery Blocks, Computer Science Technical Report CRHC-95-05, University of Illinois, Urbana, Illinois (February 1995).
14. T. A. Proebsting, G. Townsend, P. Bridges, J. H. Hartman, T. Newsham, and S. A. Watterson, Toba: Java for Applications: A Way Ahead of Time (WAT) Compiler, Proc. Third Conf. Object-Oriented Technol. Syst., Usenix Association, Berkeley, pp. 41-54 (June 16-20, 1997).
15. Trimaran: An Infrastructure for Research in Instruction-Level Parallelism. Produced by a collaboration between Hewlet Packard, University of Illinois, and New York University. URL: http://www.trimaran.org
16. J. Dean, G. DeFouw, D. Grove, V. Litvinov, and C. Chambers, Vortex: An Optimizing Compiler for Object-Oriented Languages, ACM Conf. Object-Oriented Progr. Syst. Lang. Appl., pp. 83-100 (October 1996).
17. D. August, D. Connors, S. Mahlke, J. Sias, K. Crozier, B. Cheng, P. Eaton, Q. Olaniran, and W. Hwu, Integrated Predicated and Speculative Execution in the IMPACT EPIC Architecture, Proc. 25th Ann. Int'l. Symp. Computer Architecture (ISCA-98), ACM Computer Architecture News, Vol. 26, No. 3, ACM Press, New York, pp. 227-237 (June 27-July 1, 1998).
18. J. L. Hennessy and D. A. Patterson, Computer Architecture A Quantitative Approach, Morgan Kaufmann Publishers Inc., Santo Mateo, California (1990).
19. B. Alpern, C. R. Attanasio, J. J. Barton, M. G. Burke, P. Cheng, J.-D. Choi, A. Cocchi, S. J. Fink, D. Grove, M. Hind, S. F. Hummel, D. Lieber, V. Litvinov, M. F. Mergen, T. Ngo, J. R. Russell, V. Sarkar, M. J. Serrano, J. C. Shepherd, S. E. Smith, V. C. Sreedhar, H. Srinivasan, and J. Whaley, The Jalapeno Virtual Machine, IBM Syst. J., 39(1) (2000).
20. R. Fitzgerald, T. B. Knoblock, E. Ruf, B. Steensgaard, and D. Tarditi, Marmot: An Optimizing Compiler for Java, Software - Practice and Experience, 30(3): 199-232 (March 2000). Also available as Microsoft Research Technical Report MSR-TR-99-33.
21. C. Chambers, I. Pechtchanski, V. Sarkar, M. J. Serrano, and H. Srinivasan, Dependence Analysis for Java, Proc. 12th Int'l. Workshop on Languages and Compilers for Parallel Computing, LCPC'99 (August 1999).
22. B. C. Le, An Out-of-Order Execution Technique for Runtime Binary Translators, Proc. Eighth Int'l. Conf. on Architectural Support for Progr. Lang. Oper. Syst. (ASPLOS), Vol. 33, pp. 151-158 (November 1998).
23. M. Gupta, J.-D. Choi, and M. Hind, Optimizing Java Programs in the Presence of Exceptions, P roc. Europ. Conf. Object-Oriented Progr. (2000).
24. K. Ebcioglu and E. R. Altman, DAISY: Dynamic Compilation for 100% Architectural Compatibility, Proc. 24th Ann. Int'l. Symp. Computer Architecture (ISCA-97), Computer Architecture News, Vol. 25, No. 2, ACM Press, New York, pp. 26-37 (June 2-4, 1997).
25. S. Lee, B.-S. Yang, S. Kim, S. Park, and S.-M. Moon, Efficient Java Exception Handling in Just-in-Time Compilation, ACM Java Grande Conf., San Francisco, California (June 2000).
26. J. E. Moreira, S. P. Midkiff, and M. Gupta, From Flop to Megaflops: Java for Technical Computing, Proc. 11th Int'l. Workshop on Lang. Compilers for Parallel Computing, LCPC'98, IBM Research Report 21166 (1998).
27. S. P. Jones, A. Reid, F. Henderson, T. Hoare, and S. Marlow, A Semantics for Imprecise Exceptions, Proc. ACM SIGPLAN Conf. Progr. Lang. Design and Implementation, pp. 25-36 (1999).
28. M. Robillard and G. Murphy, Analyzing Exception Flow in Java Programs, Proc. Seventh ACM SIGSOFT Symp. Foundations of Software Eng., pp. 322-337 (September 1999).
29. Also appears as Lecture Notes in Computer Science, Vol. 1687.
30. B. Ryder, D. Smith, U. Kremer, M. Gordon, and N. Shah, A Static Study of Java Exceptions Using JESP, Proc. Ninth Ann. Int'l. Conf. Compiler Construction (March 2000).