Implementing jalapeño in Java

Authors:
Bowen Alpern;C. R. Attanasio;Anthony Cocchi;Derek Lieber;Stephen Smith;Ton Ngo;John J. Barton;Susan Flynn Hummel;Janice C. Sheperd;Mark Mergen
Affiliations:
IBM T.J. Watson Research Center, PO box 218, Yorktown Heights, NY;IBM T.J. Watson Research Center, PO box 218, Yorktown Heights, NY;IBM T.J. Watson Research Center, PO box 218, Yorktown Heights, NY;IBM T.J. Watson Research Center, PO box 218, Yorktown Heights, NY;IBM T.J. Watson Research Center, PO box 218, Yorktown Heights, NY;IBM T.J. Watson Research Center, PO box 218, Yorktown Heights, NY;Hewlett Packard Laboratories, 1501 Page Mill Road, Palo AIto, CA;IBM T.J. Watson Research Center, PO box 218, Yorktown Heights, NY;IBM T.J. Watson Research Center, PO box 218, Yorktown Heights, NY;IBM T.J. Watson Research Center, PO box 218, Yorktown Heights, NY
Venue:
Proceedings of the 14th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Year:
1999

Citing 11
Cited 130

Garbage collection: algorithms for automatic dynamic memory management

Garbage collection: algorithms for automatic dynamic memory management
Back to the future: the story of Squeak, a practical Smalltalk written in itself

Proceedings of the 12th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Thin locks: featherweight synchronization for Java

PLDI '98 Proceedings of the ACM SIGPLAN 1998 conference on Programming language design and implementation
Support for garbage collection at every instruction in a Java compiler

Proceedings of the ACM SIGPLAN 1999 conference on Programming language design and implementation
The Jalapeño dynamic optimizing compiler for Java

JAVA '99 Proceedings of the ACM 1999 conference on Java Grande
A study of locking objects with bimodal fields

Proceedings of the 14th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Java Virtual Machine Specification

Java Virtual Machine Specification
The Java Language Specification

The Java Language Specification
Dynamic Linking on a Shared-Memory Multiprocessor

PACT '99 Proceedings of the 1999 International Conference on Parallel Architectures and Compilation Techniques
Implementing a Java TM Virtual Machine in the Java Programming Language

Implementing a Java TM Virtual Machine in the Java Programming Language
The Jalapeño virtual machine

IBM Systems Journal

Efficient and precise modeling of exceptions for the analysis of Java programs

Proceedings of the 1999 ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering
A framework for interprocedural optimization in the presence of dynamic class loading

PLDI '00 Proceedings of the ACM SIGPLAN 2000 conference on Programming language design and implementation
A comparative study of static and profile-based heuristics for inlining

DYNAMO '00 Proceedings of the ACM SIGPLAN workshop on Dynamic and adaptive compilation and optimization
Adaptive optimization in the Jalapeño JVM

OOPSLA '00 Proceedings of the 15th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Quicksilver: a quasi-static compiler for Java

OOPSLA '00 Proceedings of the 15th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Java without the coffee breaks: a nonintrusive multiprocessor garbage collector

Proceedings of the ACM SIGPLAN 2001 conference on Programming language design and implementation
Program analysis for safety guarantees in a Java virtual machine written in Java

PASTE '01 Proceedings of the 2001 ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering
Efficient implementation of Java interfaces: Invokeinterface considered harmless

OOPSLA '01 Proceedings of the 16th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Dynamic optimistic interprocedural analysis: a framework and an application

OOPSLA '01 Proceedings of the 16th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Pretenuring for Java

OOPSLA '01 Proceedings of the 16th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Error-free garbage collection traces: how to cheat and not get caught

SIGMETRICS '02 Proceedings of the 2002 ACM SIGMETRICS international conference on Measurement and modeling of computer systems
Understanding the connectivity of heap objects

Proceedings of the 3rd international symposium on Memory management
Visualising the train garbage collector

Proceedings of the 3rd international symposium on Memory management
In or out?: putting write barriers in their place

Proceedings of the 3rd international symposium on Memory management
Beltway: getting around garbage collection gridlock

PLDI '02 Proceedings of the ACM SIGPLAN 2002 Conference on Programming language design and implementation
Online feedback-directed optimization of Java

OOPSLA '02 Proceedings of the 17th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
GCspy: an adaptable heap visualisation framework

OOPSLA '02 Proceedings of the 17th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Efficient Dispatch of Java Interface Methods

HPCN Europe 2001 Proceedings of the 9th International Conference on High-Performance Computing and Networking
An Empirical Study of Selective Optimization

LCPC '00 Proceedings of the 13th International Workshop on Languages and Compilers for Parallel Computing-Revised Papers
OpenJIT: An Open-Ended, Reflective JIT Compiler Framework for Java

ECOOP '00 Proceedings of the 14th European Conference on Object-Oriented Programming
Concurrent Cycle Collection in Reference Counted Systems

ECOOP '01 Proceedings of the 15th European Conference on Object-Oriented Programming
Debugging by Remote Reflection

Euro-Par '00 Proceedings from the 6th International Euro-Par Conference on Parallel Processing
OpenJIT Frontend System: An Implementation of the Reflective JIT Compiler Frontend

Proceedings of the 1st OOPSLA Workshop on Reflection and Software Engineering: Reflection and Software Engineering, Papers from OORaSE 1999
Targeting Dynamic Compilation for Embedded Environments

Proceedings of the 2nd Java Virtual Machine Research and Technology Symposium
Experiences Porting the Jikes RVM to Linux/IA32

Proceedings of the 2nd Java Virtual Machine Research and Technology Symposium
A Framework for Persistence-Enabled Optimization of Java Object Stores

POS-9 Revised Papers from the 9th International Workshop on Persistent Object Systems
Older-first garbage collection in practice: evaluation in a Java Virtual Machine

Proceedings of the 2002 workshop on Memory system performance
Automatic program specialization for Java

ACM Transactions on Programming Languages and Systems (TOPLAS)
Continuous program optimization: A case study

ACM Transactions on Programming Languages and Systems (TOPLAS)
Controlling fragmentation and space consumption in the metronome, a real-time garbage collector for Java

Proceedings of the 2003 ACM SIGPLAN conference on Language, compiler, and tool for embedded systems
Joeq: a virtual machine and compiler infrastructure

Proceedings of the 2003 workshop on Interpreters, virtual machines and emulators
An on-the-fly mark and sweep garbage collector based on sliding views

OOPSLA '03 Proceedings of the 18th annual ACM SIGPLAN conference on Object-oriented programing, systems, languages, and applications
Mark-copy: fast copying GC with less space overhead

OOPSLA '03 Proceedings of the 18th annual ACM SIGPLAN conference on Object-oriented programing, systems, languages, and applications
Ulterior reference counting: fast garbage collection without a long wait

OOPSLA '03 Proceedings of the 18th annual ACM SIGPLAN conference on Object-oriented programing, systems, languages, and applications
Myths and realities: the performance impact of garbage collection

Proceedings of the joint international conference on Measurement and modeling of computer systems
The Jalapeño virtual machine

IBM Systems Journal
MC2: high-performance garbage collection for memory-constrained environments

OOPSLA '04 Proceedings of the 19th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Finding your cronies: static analysis for dynamic object colocation

OOPSLA '04 Proceedings of the 19th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Vertical profiling: understanding the behavior of object-priented applications

OOPSLA '04 Proceedings of the 19th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Automatic heap sizing: taking real memory into account

Proceedings of the 4th international symposium on Memory management
Barriers: friend or foe?

Proceedings of the 4th international symposium on Memory management
Dynamic object sampling for pretenuring

Proceedings of the 4th international symposium on Memory management
Effective Adaptive Computing Environment Management via Dynamic Optimization

Proceedings of the international symposium on Code generation and optimization
JiST: an efficient approach to simulation using virtual machines: Research Articles

Software—Practice & Experience
An execution layer for aspect-oriented programming languages

Proceedings of the 1st ACM/USENIX international conference on Virtual execution environments
Garbage collection without paging

Proceedings of the 2005 ACM SIGPLAN conference on Programming language design and implementation
The Jikes research virtual machine project: building an open-source research community

IBM Systems Journal
Quantifying the performance of garbage collection vs. explicit memory management

OOPSLA '05 Proceedings of the 20th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Safe futures for Java

OOPSLA '05 Proceedings of the 20th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Constructing a metacircular Virtual machine in an exploratory programming environment

OOPSLA '05 Companion to the 20th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
The squawk virtual machine: Java™ on the bare metal

OOPSLA '05 Companion to the 20th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Testing in resource constrained execution environments

Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering
Yama: A Scalable Generational Garbage Collector for Java in Multiprocessor Systems

IEEE Transactions on Parallel and Distributed Systems
Generating object lifetime traces with Merlin

ACM Transactions on Programming Languages and Systems (TOPLAS)
Reducing generational copy reserve overhead with fallback compaction

Proceedings of the 5th international symposium on Memory management
Compile-time deallocation of individual objects

Proceedings of the 5th international symposium on Memory management
The Compressor: concurrent, incremental, and parallel compaction

Proceedings of the 2006 ACM SIGPLAN conference on Programming language design and implementation
Free-Me: a static analysis for automatic individual object reclamation

Proceedings of the 2006 ACM SIGPLAN conference on Programming language design and implementation
Java™ on the bare metal of wireless sensor devices: the squawk Java virtual machine

Proceedings of the 2nd international conference on Virtual execution environments
Impact of virtual execution environments on processor energy consumption and hardware adaptation

Proceedings of the 2nd international conference on Virtual execution environments
Relative factors in performance analysis of Java virtual machines

Proceedings of the 2nd international conference on Virtual execution environments
Strong agent mobility for aglets based on the IBM JikesRVM

Proceedings of the 2006 ACM symposium on Applied computing
Efficient control flow quantification

Proceedings of the 21st annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications
The DaCapo benchmarks: java benchmarking development and analysis

Proceedings of the 21st annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications
Enabling Java mobile computing on the IBM Jikes research virtual machine

PPPJ '06 Proceedings of the 4th international symposium on Principles and practice of programming in Java
Profile-based pretenuring

ACM Transactions on Programming Languages and Systems (TOPLAS)
Effective management of multiple configurable units using dynamic optimization

ACM Transactions on Architecture and Code Optimization (TACO)
Cork: dynamic memory leak detection for garbage-collected languages

Proceedings of the 34th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Joeq: a virtual machine and compiler infrastructure

Science of Computer Programming - Special issue on advances in interpreters, virtual machines and emulators (IVME'03)
A machine code model for efficient advice dispatch

Proceedings of the 1st workshop on Virtual machines and intermediate languages for emerging modularization mechanisms
Online optimizations driven by hardware performance monitoring

Proceedings of the 2007 ACM SIGPLAN conference on Programming language design and implementation
Cloneable JVM: a new approach to start isolated java applications faster

Proceedings of the 3rd international conference on Virtual execution environments
An efficient on-the-fly cycle collection

ACM Transactions on Programming Languages and Systems (TOPLAS)
Using hardware performance monitors to understand the behavior of java applications

VM'04 Proceedings of the 3rd conference on Virtual Machine Research And Technology Symposium - Volume 3
SableVM: a research framework for the efficient execution of java bytecode

JVM'01 Proceedings of the 2001 Symposium on JavaTM Virtual Machine Research and Technology Symposium - Volume 1
Dynamic type checking in jalapeño

JVM'01 Proceedings of the 2001 Symposium on JavaTM Virtual Machine Research and Technology Symposium - Volume 1
Implementing JNI in java for jalapeño

JVM'01 Proceedings of the 2001 Symposium on JavaTM Virtual Machine Research and Technology Symposium - Volume 1
The hotspotTM serviceability agent: an out-of-process high level debugger for a JavaTM virtual machine

JVM'01 Proceedings of the 2001 Symposium on JavaTM Virtual Machine Research and Technology Symposium - Volume 1
Mostly accurate stack scanning

JVM'01 Proceedings of the 2001 Symposium on JavaTM Virtual Machine Research and Technology Symposium - Volume 1
A simple and efficient algorithm for cycle collection

ACM SIGPLAN Notices
Uniqueness inference for compile-time object deallocation

Proceedings of the 6th international symposium on Memory management
Mobile JikesRVM: A framework to support transparent Java thread migration

Science of Computer Programming
Lightweight virtual machine support for AspectJ

Proceedings of the 7th international conference on Aspect-oriented software development
Phase-based adaptive recompilation in a JVM

Proceedings of the 6th annual IEEE/ACM international symposium on Code generation and optimization
Immix: a mark-region garbage collector with space efficiency, fast collection, and mutator performance

Proceedings of the 2008 ACM SIGPLAN conference on Programming language design and implementation
A study of Java object demographics

Proceedings of the 7th international symposium on Memory management
Building computational institutions for agents with RoleX

Artificial Intelligence and Law
Practical Object-Oriented Back-in-Time Debugging

ECOOP '08 Proceedings of the 22nd European conference on Object-Oriented Programming
The maxine virtual machine and inspector

Companion to the 23rd ACM SIGPLAN conference on Object-oriented programming systems languages and applications
HeDGE: Hybrid Dataflow Graph Execution in the Issue Logic

HiPEAC '09 Proceedings of the 4th International Conference on High Performance Embedded Architectures and Compilers
Aspects and class-based security: a survey of interactions between advice weaving and the Java 2 security model

Proceedings of the 2nd Workshop on Virtual Machines and Intermediate Languages for emerging modularization mechanisms
Dynamic memory balancing for virtual machines

Proceedings of the 2009 ACM SIGPLAN/SIGOPS international conference on Virtual execution environments
Demystifying magic: high-level low-level programming

Proceedings of the 2009 ACM SIGPLAN/SIGOPS international conference on Virtual execution environments
Dynamic shape analysis via degree metrics

Proceedings of the 2009 international symposium on Memory management
Dynamic software updates: a VM-centric approach

Proceedings of the 2009 ACM SIGPLAN conference on Programming language design and implementation
Dynamic memory balancing for virtual machines

ACM SIGOPS Operating Systems Review
Thread migration techniques on Java virtual machine

PDCS '07 Proceedings of the 19th IASTED International Conference on Parallel and Distributed Computing and Systems
Virtual class support at the virtual machine level

Proceedings of the Third Workshop on Virtual Machines and Intermediate Languages
Using prefetching to improve reference-counting garbage collectors

CC'07 Proceedings of the 16th international conference on Compiler construction
A comparative evaluation of parallel garbage collector implementations

LCPC'01 Proceedings of the 14th international conference on Languages and compilers for parallel computing
Breadcrumbs: efficient context sensitivity for dynamic bug detection analyses

PLDI '10 Proceedings of the 2010 ACM SIGPLAN conference on Programming language design and implementation
PACER: proportional detection of data races

PLDI '10 Proceedings of the 2010 ACM SIGPLAN conference on Programming language design and implementation
Temporal vertical profiling

Software—Practice & Experience
Headroom-based pretenuring: dynamically pretenuring objects that live "long enough"

Proceedings of the 8th International Conference on the Principles and Practice of Programming in Java
Late binding of AspectJ advice

TOOLS'10 Proceedings of the 48th international conference on Objects, models, components, patterns
An efficient approach to cyclic reference counting based on a coarse-grained search

Information Processing Letters
Implementing statically typed object-oriented programming languages

ACM Computing Surveys (CSUR)
Magic for the masses: safer high-level low-level programming through customizable static analyses

Proceedings of the 1st workshop on Modularity in systems software
Adaptive optimization in the Jalapeno JVM

ACM SIGPLAN Notices
JP2: collecting dynamic bytecode metrics in JVMs

Proceedings of the ACM international conference companion on Object oriented programming systems languages and applications companion
Cyclic reference counting by typed reference fields

Computer Languages, Systems and Structures
Using platform-specific performance counters for dynamic compilation

LCPC'05 Proceedings of the 18th international conference on Languages and Compilers for Parallel Computing
Portable and accurate collection of calling-context-sensitive bytecode metrics for the Java virtual machine

Proceedings of the 9th International Conference on Principles and Practice of Programming in Java
ALIA4J's [(just-in-time) compile-time] MOP for advanced dispatching

Proceedings of the compilation of the co-located workshops on DSM'11, TMC'11, AGERE!'11, AOOPES'11, NEAT'11, & VMIL'11
Next in line, please!: exploiting the indirect benefits of inlining by accurately predicting further inlining

Proceedings of the compilation of the co-located workshops on DSM'11, TMC'11, AGERE!'11, AOOPES'11, NEAT'11, & VMIL'11
Hardware concurrent garbage collection for short-lived objects in mobile java devices

EUC'05 Proceedings of the 2005 international conference on Embedded and Ubiquitous Computing
Age-Oriented concurrent garbage collection

CC'05 Proceedings of the 14th international conference on Compiler Construction
An efficient on-the-fly cycle collection

CC'05 Proceedings of the 14th international conference on Compiler Construction
Unpicking the knot: teasing apart VM/application interdependencies

VEE '12 Proceedings of the 8th ACM SIGPLAN/SIGOPS conference on Virtual Execution Environments
Memory usage verification for OO programs

SAS'05 Proceedings of the 12th international conference on Static Analysis
A lightweight cyclic reference counting algorithm

GPC'06 Proceedings of the First international conference on Advances in Grid and Pervasive Computing
Transparently reconciling transactions with locking for java synchronization

ECOOP'06 Proceedings of the 20th European conference on Object-Oriented Programming
Multi-level virtual machine debugging using the java platform debugger architecture

PSI'09 Proceedings of the 7th international Andrei Ershov Memorial conference on Perspectives of Systems Informatics
A black-box approach to understanding concurrency in DaCapo

Proceedings of the ACM international conference on Object oriented programming systems languages and applications
Maxine: An approachable virtual machine for, and in, java

ACM Transactions on Architecture and Code Optimization (TACO) - Special Issue on High-Performance Embedded Architectures and Compilers
S-RVM: a secure design for a high-performance java virtual machine

Proceedings of the sixth ACM workshop on Virtual machines and intermediate languages
Bypassing portability pitfalls of high-level low-level programming

Proceedings of the sixth ACM workshop on Virtual machines and intermediate languages
Bottle graphs: visualizing scalability bottlenecks in multi-threaded applications

Proceedings of the 2013 ACM SIGPLAN international conference on Object oriented programming systems languages & applications
Low-level detection of language-level data races with LARD

Proceedings of the 19th international conference on Architectural support for programming languages and operating systems
Reconfigurable vertical profiling framework for the android runtime system

ACM Transactions on Embedded Computing Systems (TECS) - Special Section ESFH'12, ESTIMedia'11 and Regular Papers

Quantified Score

Hi-index	0.00

Visualization

Abstract

Jalapeño is a virtual machine for Java™ servers written in Java.A running Java program involves four layers of functionality: the user code, the virtual-machine, the operating system, and the hardware. By drawing the Java / non-Java boundary below the virtual machine rather than above it, Jalapeño reduces the boundary-crossing overhead and opens up more opportunities for optimization.To get Jalapeño started, a boot image of a working Jalapeño virtual machine is concocted and written to a file. Later, this file can be loaded into memory and executed. Because the boot image consists entirely of Java objects, it can be concocted by a Java program that runs in any JVM. This program uses reflection to convert the boot image into Jalapeño's object format.A special MAGIC class allows unsafe casts and direct access to the hardware. Methods of this class are recognized by Jalapeño's three compilers, which ignore their bytecodes and emit special-purpose machine code. User code will not be allowed to call MAGIC methods so Java's integrity is preserved.A small non-Java program is used to start up a boot image and as an interface to the operating system.Java's programming features — object orientation, type safety, automatic memory management — greatly facilitated development of Jalapeño. However, we also discovered some of the language's limitations.