research-article

The JVM is not observable enough (and what to do about it)

Authors:

Danilo Ansaloni,

Lukáš MarekAuthors Info & Claims

VMIL '12: Proceedings of the sixth ACM workshop on Virtual machines and intermediate languages

Pages 33 - 38

https://doi.org/10.1145/2414740.2414747

Published: 21 October 2012 Publication History

Abstract

Bytecode instrumentation is a preferred technique for building profiling, debugging and monitoring tools targeting the Java Virtual Machine (JVM), yet is fundamentally dangerous. We illustrate its dangers with several examples gathered while building the DiSL instrumentation framework. We argue that no Java platform mechanism provides simultaneously adequate performance, reliability and expressiveness, but that this weakness is fixable. To elaborate, we contrast internal with external observation, and sketch some approaches and requirements for a hybrid mechanism.

References

[1]

E. E. Aftandilian, S. Z. Guyer, M. Vechev, and E. Yahav. Asynchronous assertions. In Proc. OOPSLA'11. ACM.

Digital Library

[2]

P. Bothner. Compiling Java with GCJ. Linux Journal, 2003.

Digital Library

[3]

B. M. Cantrill, M. W. Shapiro, and A. H. Leventhal. Dynamic instrumentation of production systems. In Proc. USENIX ATEC'04. USENIX Association.

Digital Library

[4]

G. Czajkowski and L. Daynés. Multitasking without compromise: a virtual machine evolution. In Proc. OOPSLA'01. ACM.

Digital Library

[5]

N. Geoffray. Fostering Systems Research with Managed Runtimes. PhD thesis, Paris, France, September 2009.

[6]

Y.-G. Gueheneuc, R. Douence, and N. Jussien. No Java without Caffeine: A tool for dynamic analysis of Java programs. In Proc. ASE'02. IEEE, 2002.

Digital Library

[7]

G. C. Hunt and J. R. Larus. Singularity: rethinking the software stack. SIGOPS Oper. Syst. Rev., 41(2):37--49, Apr. 2007.

Digital Library

[8]

S. Kell and C. Irwin. Virtual machines should be invisible. In Proc. VMIL'11, SPLASH''11 Workshops. ACM.

Digital Library

[9]

C. Lattner and V. Adve. LLVM: A compilation framework for lifelong program analysis & transformation. In Proc. CGO'04. IEEE Computer Society, IEEE.

Digital Library

[10]

S. Liang and D. Viswanathan. Comprehensive profiling support in the Java virtual machine. In Proc. COOTS'99, COOTS'99, Berkeley, CA, USA. USENIX Association.

Digital Library

[11]

L. Marek, A. Villazón, Y. Zheng, D. Ansaloni, W. Binder, and Z. Qi. DiSL: a domain-specific language for bytecode instrumentation. In Proc. AOSD'12. ACM.

Digital Library

[12]

P. Moret, W. Binder, and E. Tanter. Polymorphic bytecode instrumentation. In Proc. AOSD'10. ACM.

Digital Library

[13]

S. Nagarakatte, J. Zhao, M. M. Martin, and S. Zdancewic. Softbound: highly compatible and complete spatial memory safety for C. In Proc. PLDI'09. ACM.

Digital Library

[14]

A. Popovici, T. Gross, and G. Alonso. Dynamic weaving for aspect-oriented programming. In Proc. AOSD'02. ACM.

Digital Library

[15]

Y. Saito. Jockey: a user-space library for record-replay debugging. In Proc. AADEBUG'05. ACM.

Digital Library

[16]

A. Sewe, M. Mezini, A. Sarimbekov, D. Ansaloni, W. Binder, N. Ricci, and S. Z. Guyer. new Scala() instance of Java: a comparison of the memory behaviour of Java and Scala programs. In Proc. ISMM'12. ACM.

Digital Library

Cited By

Soueidi CFalcone Y(2023)Instrumentation for RV: From Basic Monitoring to Advanced Use CasesRuntime Verification10.1007/978-3-031-44267-4_23(403-427)Online publication date: 1-Oct-2023
https://doi.org/10.1007/978-3-031-44267-4_23
Rosales EBasso MRosà ABinder W(2023)Large‐scale characterization of Java streamsSoftware: Practice and Experience10.1002/spe.321353:9(1763-1792)Online publication date: 5-Jun-2023
https://doi.org/10.1002/spe.3213
Rosales ERosa ABasso MVillazon AOrellana AZenteno ARivero JBinder W(2022)Characterizing Java Streams in the Wild2022 26th International Conference on Engineering of Complex Computer Systems (ICECCS)10.1109/ICECCS54210.2022.00025(143-152)Online publication date: Mar-2022
https://doi.org/10.1109/ICECCS54210.2022.00025
Show More Cited By

Index Terms

The JVM is not observable enough (and what to do about it)
1. Software and its engineering
  1. Software notations and tools
    1. Compilers
      1. Runtime environments

Recommendations

ShadowVM: robust and comprehensive dynamic program analysis for the java platform
GPCE '13: Proceedings of the 12th international conference on Generative programming: concepts & experiences

Dynamic analysis tools are often implemented using instrumentation, particularly on managed runtimes including the Java Virtual Machine (JVM). Performing instrumentation robustly is especially complex on such runtimes: existing frameworks offer limited ...
A tracing technique using dynamic bytecode instrumentation of Java applications and libraries at basic block level
ICOOOLPS '11: Proceedings of the 6th Workshop on Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems

Implementing a profiler to trace a program execution is non-trivial. One way to do this on running Java programs is through bytecode instrumentation. Nowadays, tools exist that ease the instrumentation process itself, but as far as we know, none offers ...
SafeCheck: safety enhancement of Java unsafe API
ICSE '19: Proceedings of the 41st International Conference on Software Engineering

Java is a safe programming language by providing bytecode verification and enforcing memory protection. For instance, programmers cannot directly access the memory, but have to use object references. Yet, the Java runtime provides an Unsafe API as a ...

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences

VMIL '12: Proceedings of the sixth ACM workshop on Virtual machines and intermediate languages

October 2012

66 pages

ISBN:9781450316330

DOI:10.1145/2414740

Program Chair:
David Grove
IBM Research, USA

Copyright © 2012 ACM.

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Sponsors

SIGPLAN: ACM Special Interest Group on Programming Languages

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 21 October 2012

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Research-article

Conference

SPLASH '12

Sponsor:

SIGPLAN

SPLASH '12: Conference on Systems, Programming, and Applications: Software for Humanity

October 21, 2012

Arizona, Tucson, USA

Acceptance Rates

Overall Acceptance Rate 4 of 4 submissions, 100%

Upcoming Conference

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

25
Total Citations
View Citations
207
Total Downloads

Downloads (Last 12 months)8
Downloads (Last 6 weeks)0

Reflects downloads up to 05 Mar 2025

Other Metrics

View Author Metrics

Citations

Cited By

Soueidi CFalcone Y(2023)Instrumentation for RV: From Basic Monitoring to Advanced Use CasesRuntime Verification10.1007/978-3-031-44267-4_23(403-427)Online publication date: 1-Oct-2023
https://doi.org/10.1007/978-3-031-44267-4_23
Rosales EBasso MRosà ABinder W(2023)Large‐scale characterization of Java streamsSoftware: Practice and Experience10.1002/spe.321353:9(1763-1792)Online publication date: 5-Jun-2023
https://doi.org/10.1002/spe.3213
Rosales ERosa ABasso MVillazon AOrellana AZenteno ARivero JBinder W(2022)Characterizing Java Streams in the Wild2022 26th International Conference on Engineering of Complex Computer Systems (ICECCS)10.1109/ICECCS54210.2022.00025(143-152)Online publication date: Mar-2022
https://doi.org/10.1109/ICECCS54210.2022.00025
Papadopoulos AVersluis LBauer AHerbst NKistowski JAli-Eldin AAbad CAmaral JTuma PIosup A(2021)Methodological Principles for Reproducible Performance Evaluation in Cloud ComputingIEEE Transactions on Software Engineering10.1109/TSE.2019.292790847:8(1528-1543)Online publication date: 1-Aug-2021
https://doi.org/10.1109/TSE.2019.2927908
Magalhães CAndrade JPerrusi LMota ABarros FMaia E(2020)HSPJournal of Systems and Software10.1016/j.jss.2019.110430159:COnline publication date: 1-Jan-2020
https://dl.acm.org/doi/10.1016/j.jss.2019.110430
Rosà ARosales EBinder W(2019)Analysis and Optimization of Task Granularity on the Java Virtual MachineACM Transactions on Programming Languages and Systems10.1145/333849741:3(1-47)Online publication date: 16-Jul-2019
https://dl.acm.org/doi/10.1145/3338497
Rosales ERosà ABinder W(2019)Optimization coaching for fork/join applications on the Java virtual machineCompanion Proceedings of the 3rd International Conference on the Art, Science, and Engineering of Programming10.1145/3328433.3328441(1-3)Online publication date: 1-Apr-2019
https://dl.acm.org/doi/10.1145/3328433.3328441
Prokopec ARosà ALeopoldseder DDuboscq GTůma PStudener MBulej LZheng YVillazón ASimon DWürthinger TBinder WMcKinley KFisher K(2019)Renaissance: benchmarking suite for parallel applications on the JVMProceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation10.1145/3314221.3314637(31-47)Online publication date: 8-Jun-2019
https://dl.acm.org/doi/10.1145/3314221.3314637
Rosà ARosales ESchiavio FBinder WMarr SSartor J(2018)Understanding task granularity on the JVM: profiling, analysis, and optimizationCompanion Proceedings of the 2nd International Conference on the Art, Science, and Engineering of Programming10.1145/3191697.3191724(54-56)Online publication date: 9-Apr-2018
https://dl.acm.org/doi/10.1145/3191697.3191724
Rosales ERosa ABinder W(2018)lpt: A Tool for Tuning the Level of Parallelism of Spark Applications2018 25th Asia-Pacific Software Engineering Conference (APSEC)10.1109/APSEC.2018.00080(633-637)Online publication date: Dec-2018
https://doi.org/10.1109/APSEC.2018.00080
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.

Figures

Tables

Media

View Table of Conten