More Web Proxy on the site http://driver.im/

Article

Design, implementation and evaluation of adaptive recompilation with on-stack replacement

Authors:

Stephen J. Fink,

Feng QianAuthors Info & Claims

CGO '03: Proceedings of the international symposium on Code generation and optimization: feedback-directed and runtime optimization

Pages 241 - 252

Published: 23 March 2003 Publication History

Abstract

Modern virtual machines often maintain multiple compiled versions of a method. An on-stack replacement (OSR) mechanism enables a virtual machine to transfer execution between compiled versions, even while a method runs. Relying on this mechanism, the system can exploit powerful techniques to reduce compile time and code space, dynamically de-optimize code, and invalidate speculative optimizations.This paper presents a new, simple, mostly compiler-independent mechanism to transfer execution into compiled code. Additionally, we present enhancements to an analytic model for recompilation to exploit OSR for more aggressive optimization. We have implemented these techniques in Jikes RVM and present a comprehensive evaluation, including a study of fully automatic, online, profile-driven deferred compilation.

References

[1]

M. Arnold, S. Fink, D. Grove, M. Hind, and P. Sweeney. Adaptive optimization in the Jalapeño JVM: The controller's analytical model. In 3rd ACM Workshop on Feedback-Directed and Dynamic Optimization (FDDO-3), Dec. 2000.]]

Digital Library

[2]

M. Arnold, D. Grove, S. Fink, M. Hind, and P. Sweeney. Adaptive optimization in the Jalapeño JVM. In Proceedings of the ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA 2000), Minneapolis, MN, Oct. 2000. Also published as ACM SIGPLAN Notices, volume 35, number 10.]]

Digital Library

[3]

D. Bruening and E. Duesterwald. Exploring Optimal Compilation Unit Shapes for an Embedded Just-In-Time Compiler. In Proceedings of the 2000 ACM Workshop on Feedback-Directed and Dynamic Optimization FDDO-3, Dec 2000.]]

[4]

C. Chambers. The Design and Implementation of the Self Compiler, an Optimizing Compiler for Object-Oriented Programming Languages. PhD thesis, Stanford University, Mar. 1992. Published as technical report STAN-CS-92-1420.]]

Digital Library

[5]

C. Chambers and D. Ungar. Making pure object-oriented languages practical. In ACM Conference on Object-Oriented Programming Systems, Languages, and Applications, pages 1--15, Nov. 1991.]]

Digital Library

[6]

R. Cytron, J. Ferrante, B. K. Rosen, M. N. Wegman, and F. K. Zadeck. An efficient method for computing static single assignment form and the control dependence graph. ACM Transactions on Programming Languages and Systems, 13(4):451--490, 1991.]]

Digital Library

[7]

D. Detlefs and O. Agesen. Inlining of virtual methods. In 13th European Conference on Object-Oriented Programming, June 1999.]]

Digital Library

[8]

S. Fink, K. Knobe, and V. Sarkar. Unified analysis of array and object references in strongly typed languages. In Seventh International Static Analysis Symposium (2000), June 2000.]]

Digital Library

[9]

U. Hölzle, C. Chambers, and D. Ungar. Debugging optimized code with dynamic deoptimization. ACM SIGPLAN Notices, 27(7):32--43, July 1992.]]

Digital Library

[10]

U. Holzle and D. Ungar. A third generation self implementation: Reconciling responsiveness with performance. In ACM Conference on Object-Oriented Programming Systems, Languages, and Applications, pages 229--243, 1994.]]

Digital Library

[11]

T. Lindholm and F. Yellin. The Java Virtual Machine Specification Second Edition. The Java Series. Addison-Wesley, 1999.]]

Digital Library

[12]

M. Paleczny, C. Vick, and C. Click. The Java Hotspot(tm) Server Compiler. In USENIX Java Virtual Machine Research and Technology Symposium, pages 1--12, Apr 2001.]]

Digital Library

[13]

T. Suganama, T. Ogasawara, M. Takeuchi, T. Yasue, M. Kawahito, K. Ishizaki, H. Komatsu, and T. Nakatani. Overview of the IBM Java Just-in-Time compiler. IBM Systems Journal, 39(1), 2000.]]

Digital Library

[14]

T. Suganuma, T. Yasue, M. Kawahito, H. Komatsu, and T. Nakatani. A dynamic optimization framework for a Java just-in-time compiler. In ACM Conference on Object-Oriented Programming Systems, Languages, and Applications, pages 180--195, Oct. 2001.]]

Digital Library

[15]

The Standard Performance Evaluation Corporation. SPEC JVM98 Benchmarks. http://www.spec.org/osg/jvm98/, 1998.]]

[16]

J. Whaley. Partial method compilation using dynamic profile information. In ACM Conference on Object-Oriented Programming Systems, Languages, and Applications, Oct 2001.]]

Digital Library

Cited By

Vukasovic MProkopec A(2023)Exploiting Partially Context-sensitive Profiles to Improve Performance of Hot CodeACM Transactions on Programming Languages and Systems10.1145/361293745:4(1-64)Online publication date: 1-Dec-2023
https://dl.acm.org/doi/10.1145/3612937
Theodorakis GKounelis FPietzuch PPirk H(2021)ScabbardProceedings of the VLDB Endowment10.14778/3489496.348951515:2(361-374)Online publication date: 1-Oct-2021
https://dl.acm.org/doi/10.14778/3489496.3489515
D'Souza MDuboscq GRichards GRigger M(2021)Lightweight on-stack replacement in languages with unstructured loopsProceedings of the 13th ACM SIGPLAN International Workshop on Virtual Machines and Intermediate Languages10.1145/3486606.3486782(4-13)Online publication date: 19-Oct-2021
https://dl.acm.org/doi/10.1145/3486606.3486782
Show More Cited By

Index Terms

Design, implementation and evaluation of adaptive recompilation with on-stack replacement
1. Software and its engineering
  1. Software notations and tools
    1. Compilers
      1. Incremental compilers
      2. Runtime environments

Recommendations

On-stack replacement, distilled
PLDI 2018: Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation

On-stack replacement (OSR) is essential technology for adaptive optimization, allowing changes to code actively executing in a managed runtime. The engineering aspects of OSR are well-known among VM architects, with several implementations available to ...
A modular approach to on-stack replacement in LLVM
VEE '13

On-stack replacement (OSR) is a technique that allows a virtual machine to interrupt running code during the execution of a function/method, to re-optimize the function on-the-fly using an optimizing JIT compiler, and then to resume the interrupted ...
Odin: on-demand instrumentation with on-the-fly recompilation
PLDI 2022: Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation

Instrumentation is vital to fuzzing. It provides fuzzing directions and helps detect covert bugs, yet its overhead greatly reduces the fuzzing throughput. To reduce the overhead, compilers compromise instrumentation correctness for better optimization, ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image ACM Conferences

CGO '03: Proceedings of the international symposium on Code generation and optimization: feedback-directed and runtime optimization

March 2003

349 pages

ISBN:076951913X

General Chairs:
Richard Johnson
Transmeta
,
Tom Conte
NC State University
,
Program Chair:
Wen-mei Hwu
University of Illinois at Urbana-Champaign

Copyright © Copyright (c) 2003 Institute of Electrical and Electronics Engineers, Inc. All rights reserved.

Sponsors

IEEE Computer Society TC-uARCH
SIGMICRO: ACM Special Interest Group on Microarchitectural Research and Processing

Publisher

IEEE Computer Society

United States

Publication History

Published: 23 March 2003

Check for updates

Qualifiers

Article

Conference

CGO03

Sponsor:

SIGMICRO

CGO03: First Annual International IEEE/ACM Symposium on Code Generation and Optimization 2003

March 23 - 26, 2003

California, San Francisco, USA

Acceptance Rates

Overall Acceptance Rate 312 of 1,061 submissions, 29%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

71
Total Citations
View Citations
744
Total Downloads

Downloads (Last 12 months)5
Downloads (Last 6 weeks)3

Reflects downloads up to 11 Dec 2024

Other Metrics

View Author Metrics

Citations

Cited By

Vukasovic MProkopec A(2023)Exploiting Partially Context-sensitive Profiles to Improve Performance of Hot CodeACM Transactions on Programming Languages and Systems10.1145/361293745:4(1-64)Online publication date: 1-Dec-2023
https://dl.acm.org/doi/10.1145/3612937
Theodorakis GKounelis FPietzuch PPirk H(2021)ScabbardProceedings of the VLDB Endowment10.14778/3489496.348951515:2(361-374)Online publication date: 1-Oct-2021
https://dl.acm.org/doi/10.14778/3489496.3489515
D'Souza MDuboscq GRichards GRigger M(2021)Lightweight on-stack replacement in languages with unstructured loopsProceedings of the 13th ACM SIGPLAN International Workshop on Virtual Machines and Intermediate Languages10.1145/3486606.3486782(4-13)Online publication date: 19-Oct-2021
https://dl.acm.org/doi/10.1145/3486606.3486782
D'Elia DDemetrescu C(2018)On-stack replacement, distilledACM SIGPLAN Notices10.1145/3296979.319239653:4(166-180)Online publication date: 11-Jun-2018
https://dl.acm.org/doi/10.1145/3296979.3192396
Wang KBlackburn SHosking ANorrish M(2018)Hop, Skip, & JumpACM SIGPLAN Notices10.1145/3296975.318641253:3(1-16)Online publication date: 25-Mar-2018
https://dl.acm.org/doi/10.1145/3296975.3186412
D'Elia DDemetrescu CFoster JGrossman D(2018)On-stack replacement, distilledProceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation10.1145/3192366.3192396(166-180)Online publication date: 11-Jun-2018
https://dl.acm.org/doi/10.1145/3192366.3192396
Wang KBlackburn SHosking ANorrish M(2018)Hop, Skip, & JumpProceedings of the 14th ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments10.1145/3186411.3186412(1-16)Online publication date: 25-Mar-2018
https://dl.acm.org/doi/10.1145/3186411.3186412
Majo ZHartmann TMohler MGross T(2017)Integrating Profile Caching into the HotSpot Multi-Tier Compilation SystemProceedings of the 14th International Conference on Managed Languages and Runtimes10.1145/3132190.3132210(105-118)Online publication date: 27-Sep-2017
https://dl.acm.org/doi/10.1145/3132190.3132210
Béra CMiranda EFelgentreff TDenker MDucasse S(2017)SistaProceedings of the 14th International Conference on Managed Languages and Runtimes10.1145/3132190.3132201(1-11)Online publication date: 27-Sep-2017
https://dl.acm.org/doi/10.1145/3132190.3132201
Wimmer CJovanovic VEckstein EWürthinger TWu PHack S(2017)One compiler: deoptimization to optimized codeProceedings of the 26th International Conference on Compiler Construction10.1145/3033019.3033025(55-64)Online publication date: 5-Feb-2017
https://dl.acm.org/doi/10.1145/3033019.3033025
Show More Cited By

View Options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Media

Figures

Other

Tables

View Table of Contents