Bytecode (e.g., Java)

Method and apparatus for eliminating C recursion from a Java™ bytecode interpreter

6915508

Abstract

Methods and apparatus for eliminating C recursion from interpreter loops are disclosed. According to one aspect of the present invention, a computer-implemented method for substantially eliminating C recursion from the execution of static initializer methods in a virtual machine environment includes rewriting native C code associated with a static initializer as a Java™ method, and using a transition frame in a Java™ stack to execute the Java™ method. The method also includes using a native method to manipulate the Java™ stack, and using a first opcode in the transition frame. In one embodiment, using the first opcode in the transition frame includes using the first opcode to determine that the transition frame is associated with the static initializer. In another embodiment, the method further includes causing the static initializer to run, wherein the static initializer using a second opcode, and resuming execution at the second opcode after the static initializer has run.


Claims

1. A computer-implemented method for reducing C recursion from the execution of static initializer methods in a virtual machine environment, the method comprising:

rewriting native C code associated with a static initializer as a JAVA programming language method;

using a transition frame in a JAVA virtual machine stack to execute the JAVA programming language method;

using a native method to manipulate the JAVA virtual machine stack; and

using a first opcode in the transition frame.

2. A method as recited in claim 1 wherein using the first opcode in the transition frame includes using the first opcode to determine that the transition frame is associated with the static initializer.

3. A method as recited in claim 2 further including causing the static initializer to run, wherein the static initializer is caused to run by a second opcode.

4. A method as recited in claim 3 further including resuming execution at the first opcode after the static initializer has run.

5. A method as recited in claim 1 wherein the native C code includes code for identifying the static initializer.

6. An apparatus for reducing C recursion from the execution of static initializer methods in a virtual machine environment, the method comprising:

a means for rewriting native C code associated with a static initializer as a JAVA programming language method;

a means for using a transition frame in a JAVA virtual machine stack to execute the JAVA programming language method;

a means for using a native method to manipulate the JAVA virtual machine stack; and

a means for using a first opcode in the transition frame.

7. An apparatus as recited in claim 6 further comprising:

a means for using the first opcode to determine that the transition frame is associated with the static initializer.

8. An apparatus as recited in claim 7 further comprising:

a means for causing the static initializer to run, wherein the static initializer is caused to run by a second opcode.

9. An apparatus as recited in claim 8 further comprising:

a means for resuming execution at the first opcode after the static initializer has run.

10. An apparatus as recited in claim 6 wherein the native C code includes code for identifying the static initializer.

11. A computer program product for reducing C recursion from the execution of static initializer methods in a virtual machine environment, comprising:

computer code for rewriting native C code associated with a static initializer as a JAVA programming language method;

computer code for using a transition frame in a JAVA virtual machine stack to execute the JAVA programming language method;

computer code for using a native method to manipulate the JAVA virtual machine stack;

computer code for using a first opcode in the transition frame; and

a computer readable medium for storing the computer program product.

12. A computer program product as recited in claim 11 wherein using the first opcode in the transition frame includes using the first opcode to determine that the transition frame is associated with the static initializer.

13. A computer program product as recited in claim 12 further including:

computer code for causing the static initializer to run, wherein the static initializer is caused to run by a second opcode.

14. A computer program product as recited in claim 13 further including:

computer code for resuming execution at the first opcode after the static initializer has run.

15. A computer program product as recited in claim 1 wherein the native C code includes code for identifying the static initializer.


Description

BACKGROUND OF THE INVENTION

1. Field of Invention

The present invention relates generally to computing systems which include virtual machines. More particularly, the present invention relates to increasing efficiency associated with virtual machines or, more specifically, bytecode interpreters associated with virtual machines.

2. Description of the Related Art

A typical implementation of the JAVA programming language, developed by Sun Microsystems, Inc., of Palo Alto, Calif., is a JAVA programming language virtual machine which contains a bytecode interpreter. A bytecode interpreter, as will be understood by those skilled in the art is typically written in a low-level programming language, e.g., the C programming language, and executes a stack-based intermediate representation of the JAVA programming. The stack-based intermediate representation of the JAVA programming language is called Java bytecodes.

During the course of execution, a virtual machine may use C recursion in a variety of different situations. By way of example, C recursion may occur when a virtual machine re-enters an interpreter loop. A virtual machine may re-enter an interpreter loop such as a JAVA programming language bytecode interpreter loop during the execution of "
When "
The native C function also performs a lookup for the "
C recursion also occurs in an interpreter loop that is associated with calling a Method.invoke( ) method. When a Method.invoke( ) method is called, JAVA programming language frame on a stack may be set up with the arguments for the method that is to be called, and a lookup may be performed to identify the appropriate method to invoke. Then, an interpreter loop may be called to execute the method. In general, when the interpreter loop is called to execute the method, C recursion occurs. After the method is executed, as will be understood by those skilled in the art, cleanup and result handling may be performed.

As mentioned above, calling a Constructor.newInstance( ) method generally requires C recursion in the interpreter loop in order to invoke the constructor method of the object instantiated by the Constructor.newInstance( ) method. When a Constructor.newInstance( ) method is called, a JAVA programming language frame with the arguments for the constructor may be set up, and a lookup may be performed to identify a suitable constructor. An interpreter loop is then typically called to execute the constructor, causing C recursion to occur. After the constructor is executed, cleanup and result handling may be performed.

C recursion is often problematic for a virtual machine, as will be appreciated by those skilled in the art. By way of example, it is generally difficult to efficiently detect C stack overflow. In addition, it may also be difficult to expand an associated C stack. The difficulty associated with expanding a C stack includes the fact that expanding a C stack generally requires machine specific code.

Therefore, it would be desirable to reduce the amount of C recursion which occurs with respect to an interpreter. More particularly, what is needed is a method and an apparatus for replacing C recursion with JAVA programming language recursion in a JAVA programming language bytecode interpreter.

SUMMARY OF THE INVENTION

The present invention relates to methods and apparatus for eliminating C recursion from interpreter loops. By replacing recursive C loops with, for example, JAVA programming language recursion, stack overflow may be readily identified by a virtual machine, and the overflowed stack may be expanded efficiency. As a result, the overall execution of a virtual machine or, more specifically, an interpreter associated with the virtual machine, may occur more efficiently.

According to one aspect of the present invention, a computer-implemented method for substantially eliminating C recursion from the execution of static initializer methods in a virtual machine environment includes rewriting native C code associated with a static initializer as a JAVA programming language method, and using a transition frame in a JAVA programming language stack to execute the JAVA programming language method. The method also includes using a native method to manipulate the JAVA programming language stack, and using a first opcode in the transition frame. In one embodiment, using the first opcode in the transition frame includes using the first opcode to determine that the transition frame is associated with the static initializer. In another embodiment, the method further includes causing the static initializer to run, wherein the static initializer using a second opcode, and resuming execution at the second opcode after the static initializer has run.

These and other advantages of the present invention will become apparent upon reading the following detailed descriptions and studying the various figures of the drawings.

BRIEF DESCRIPTION OF THE DRAWINGS

The invention may best be understood by reference to the following description taken in conjunction with the accompanying drawings in which:

FIG. 1 is a process flow diagram which illustrates the steps associated with the calling of a "
FIG. 2 is a diagrammatic representation of the source code associated with Class.runStaticInitializers( ) in accordance with an embodiment of the present invention.

FIG. 3 is a process flow diagram which illustrates the steps associated with the execution of a Method.invoke( ) method which avoids C recursion in accordance with an embodiment of the present invention.

FIG. 4 is a diagrammatic representation of a general-purpose computer system suitable for implementing the present invention.

FIG. 5 is a diagrammatic representation of a virtual machine suitable for implementing the present invention.

FIG. 6 is a process flow diagram that broadly illustrates a method to reduce recursion from the execution of static initializer methods in a virtual machine environment.

DETAILED DESCRIPTION OF THE EMBODIMENTS

In the following description, numerous specific details are set forth in order to provide a thorough understanding of the present invention. It will be apparent, however, to one skilled in the art that the present invention may be practiced without some or all of these specific details. In other instances, well known structures or operations have not been described in detail in order to not unnecessarily obscure the invention.

In general, C recursion is undesirable with respect to the execution of a virtual machine. The undesirability includes, for instance, the fact that overflow is difficult to efficiently detect on a C stack, and the fact that it is difficult to expand the size of a C stack. As such, it would be desirable to use JAVA programming language recursion instead of C recursion whenever possible, as a JAVA programming language stack has the advantage of being relatively easy to expand when necessary. It is also relatively easy for a virtual machine to detect stack overflow on a JAVA programming language stack.

C recursion may be associated with the execution of "
In one embodiment, C recursion may be eliminated for the execution of "
Transition frames may be used to simplify invoking a method from virtual machine native code, and may be used to remove C recursion. The transition frames may further be used for purposes other than removing C recursion. In general, a transition frame is a small piece of JAVA programming language bytecodes which "know" how to invoke a particular method. When such bytecodes are executed by an interpreter loop, the associated method may be invoked. Typically, a transition frame is pushed when the interpreter is first entered. Pushing the transition frame allows the interpreter to invoke the initial method without requiring relatively extensive setup outside the interpreter beforehand.

SNI methods are native methods that "understand" how a virtual machine works internally, e.g., SNI methods have knowledge regarding the layout of an associated stack. In one embodiment, there is a specific application programming interface (API) that the interpreter uses to call SNI methods. The API may also be arranged to allow an SNI method to return a new method that the interpreter should jump to. As such, the API enables a JAVA programming language native method to determine which method gets executed next, while also allowing the JAVA programming language native method to remove itself from the JAVA programming language calling chain before the next method is invoked. This allows for simpler argument passing and result handling of the JAVA programming language method that is invoked.

If the virtual machine is executing an opcode that requires that the "
FIG. 6 is a process flow diagram that broadly illustrates a method to reduce recursion from the execution of static initializer methods in a virtual machine environment. Step 602 includes rewriting native C code associated with static initializer as a JAVA programming language method. Step 604 includes using a transition frame in a JAVA programming language stack to execute the JAVA programming language method. Step 606 includes using a native method to manipulate the JAVA programming language stack. Step 608 includes using a first opcode in the transition frame to determine that the transition frame is associated with the static initializer. Step 610 includes causing the static initializer to run by a second opcode. At step 612, execution is resumed at the second opcode after the static initializer has run.

FIG. 1 is a process flow diagram which illustrates the steps associated with the calling of a "
After the transition frame is pushed onto the JAVA programming language stack, the execution in the interpreter loop associated with the opcode resumes with the transition method in step 106. The execution of the transition method, in the described embodiment, causes Class.runStaticInitializers( ) to be invoked. Then, in step 110, Class.runStaticInitializers( ) performs operations performed by the original native C function called by the interpreter loop.

In step 114, Class.runStaticInitializer( ) calls executeClinit( ), an SNI native method. Such an invocation may be performed via the interpreter SNI invocation API. Once called, the executeClinit( ) method locates the appropriate "
When the executeClinit( ) method returns to the interpreter, the interpreter pushes the JAVA programming language frame for the "
In general, the next frame on the JAVA programming language stack after the JAVA programming language frame for the "
After the interpreter returns to the transition frame, the transition method executes the exittransition opcode in step 134. The exittransition opcode detects that the transition frame was used to assist in the execution of a "
C recursion may be substantially eliminated from the execution of Method.invoke( ) methods by using various mechanisms. In general, to substantially eliminate C recursion, Method.invoke( ) native methods may be rewritten as JAVA programming language methods, and transition frames may also be used to invoke the method passed to Method.invoke( ), thereby enabling Method.invoke( ) to invoke the appropriate method without the need for re-entry into the interpreter. The transition frames may be pushed using an SNI method, and a new opcode, e.g., an opcode called exittransition, may be used in the transition frame to avoid having to put extra checks in the return opcode and to handle the function result of the invoked method. As described above, the placement of extra checks in return opcode often results in an overall virtual machine slowdown.

FIG. 3 is a process flow diagram which illustrates the steps associated with the execution of a Method.invoke( ) method in accordance with an embodiment of the present invention. A Method.invoke( ) method may be called during execution of a JAVA programming language method to invoke another JAVA programming language method using reflection. Herein, the method invoked using reflection method will be referred to as the "reflected method."

In step 304, Method.invoke( ) calls an SNI method, or an invokeX( ) SNI method. In one embodiment, a system may include up to approximately ten different SNI methods. The actual SNI method that is called is dependent upon the return type of the reflected method. Once the invokeX( ) method is called, the invokeX( ) method pushes a transition frame onto the JAVA programming language stack in step 308, and stores the arguments for the reflected method on the JAVA programming language stack.

The reflected method is located in step 312, and is stored in the transition frame as the method to be invoked by the transition method. Once the relected method is located and stored, the interpreter starts execution in the transition method in step 320. After the transition method begins to execute, the transition method invokes the reflected method in step 324.

The reflected method returns to the transition method in step 328, which executes the exittransition opcode before returning. The exittransition opcode detects that it is being used to assist in the invocation of a reflected method and, as a result, performs special handling of the result of the reflected method in step 332 and returns the result to the Method.invoke( ) method. The Method.invoke( ) method, in step 336, returns the result to its caller, and the execution of a Method.invoke( ) method is competed.

In one embodiment, recursion may be eliminated from the execution of Constructor.newInstance( ) in substantially the same way as for Method.invoke( ). Essentially, Constructor.newInstance( ) may be rewritten in the JAVA programming language programming language, and calls an SNI method named Constructor.invokeConstructor( ). The Constructor.invokeConstructor( ) SNI method executes in substantially the same way as the invokeX( ) SNI method in order to invoke the proper method. In the case of Constructor.invokeConstructor( ), the proper method may be the constructor of the object rather than a reflected method.

FIG. 4 illustrates a typical, general-purpose computer system suitable for implementing the present invention. The computer system 1030 includes at least one processor 1032 (also referred to as a central processing unit, or CPU) that is coupled to memory devices including primary storage devices 1036 (typically a read only memory, or ROM) and primary storage devices 1034 (typically a random access memory, or RAM).

Computer system 1030 or, more specifically, CPUs 1032, may be arranged to support a virtual machine, as will be appreciated by those skilled in the art. One example of a virtual machine that may be supported on computer system 1030 will be described below with reference to FIG. 5. As is well known in the art, ROM acts to transfer data and instructions uni-directionally to the CPUs 1032, while RAM is used typically to transfer data and instructions in a bi-directional manner. CPUs 1032 may generally include any number of processors. Both primary storage devices 1034, 1036 may include any suitable computer-readable media. A secondary storage medium 1038, which is typically a mass memory device, is also coupled bi-directionally to CPUs 1032 and provides additional data storage capacity. The mass memory device 1038 is a computer-readable medium that may be used to store programs including computer code, data, and the like. Typically, mass memory device 1038 is a storage medium such as a hard disk or a tape which generally slower than primary storage devices 1034, 1036. Mass memory storage device 1038 may take the form of a magnetic or paper tape reader or some other well-known device. It will be appreciated that the information retained within the mass memory device 1038, may, in appropriate cases, be incorporated in standard fashion as part of RAM 1036 as virtual memory. A specific primary storage device 1034 such as a CD-ROM may also pass data uni-directionally to the CPUs 1032.

CPUs 1032 are also coupled to one or more input/output devices 1040 that may include, but are not limited to, devices such as video monitors, track balls, mice, keyboards, microphones, touch-sensitive displays, transducer card readers, magnetic or paper tape readers, tablets, styluses, voice or handwriting recognizers, or other well-known input devices such as, of course, other computers. Finally, CPUs 1032 optionally may be coupled to a computer or telecommunications network, e.g., an internet network or an intranet network, using a network connection as shown generally at 1012. With such a network connection, it is contemplated that the CPUs 1032 might receive information from the network, or might output information to the network in the course of performing the above-described method steps. Such information, which is often represented as a sequence of instructions to be executed using CPUs 1032, may be received from and outputted to the network, for example, in the form of a computer data signal embodied in a carrier wave. The above-described devices and materials will be familiar to those of skill in the computer hardware and software arts.

As previously mentioned, a virtual machine may execute on computer system 1030. FIG. 5 is a diagrammatic representation of a virtual machine which is supported by computer system 1030 of FIG. 4, and is suitable for implementing the present invention. When a computer program, e.g., a computer program written in the JAVA programming language programming language, is executed, source code 1110 is provided to a compiler 1120 within compile-time environment 1105. Compiler 1120 translates source code 1110 into bytecodes 1130. In general, source code 1110 is translated into bytecodes 1130 at the time source code 1110 is created by a software developer.

Bytecodes 1130 may generally be reproduced, downloaded, or otherwise distributed through a network, e.g., network 1012 of FIG. 4, or stored on a storage device such as primary storage 1034 of FIG. 4. In the described embodiment, bytecodes 1130 are platform independent. That is, bytecodes 1130 may be executed on substantially any computer system that is running on a suitable virtual machine 1140.

Bytecodes 1130 are provided to a runtime environment 1135 which includes virtual machine 1140. Runtime environment 1135 may generally be executed using a processor or processors such as CPUs 1032 of FIG. 4. Virtual machine 1140 includes a compiler 1142, an interpreter 1144, and a runtime system 1146. Bytecodes 1130 may be provided either to compiler 1142 or interpreter 1144.

When bytecodes 1130 are provided to compiler 1142, methods contained in bytecodes 1130 are compiled into machine instructions. In one embodiment, compiler 1142 is a just-in-time compiler which delays the compilation of methods contained in bytecodes 1130 until the methods are about to be executed. When bytecodes 1130 are provided to interpreter 1144, bytecodes 1130 are read into interpreter 1144 one bytecode at a time. Interpreter 1144 then performs the operation defined by each bytecode as each bytecode is read into interpreter 1144. That is, interpreter 1144 "interprets" bytecodes 1130, as will be appreciated by those skilled in the art. In general, interpreter 1144 processes bytecodes 1130 and performs operations associated with bytecodes 1130 substantially continuously.

When a method is invoked by another method, or is invoked from runtime environment 1135, if the method is interpreted, runtime system 1146 may obtain the method from runtime environment 1135 in the form of a sequence of bytecodes 1130, which may be directly executed by interpreter 1144. If, on the other hand, the method which is invoked is a compiled method which has not been compiled, runtime system 1146 also obtains the method from runtime environment 1135 in the form of a sequence of bytecodes 1130, then may go on to activate compiler 1142. Compiler 1142 then generates machine instructions from bytecodes 1130, and the resulting machine-language instructions may be executed directly by CPUs 1032. In general, the machine-language instructions are discarded when virtual machine 1140 terminates. The operation of virtual machines or, more particularly, JAVA programming language virtual machines, is described in more detail in The Java™ Virtual Machine Specification by Tim Lindholm and Frank Yellin (ISBN 0-201-63452-X), which is incorporated herein by reference.

Although only a few embodiments of the present invention have been described, it should be understood that the present-invention may be embodied in many other specific forms without departing from the spirit or the scope of the present invention. By way of example, although the present invention has generally been described as being suitable for use with respect to a JAVA programming language virtual machine, the present invention may generally be used with respect to substantially any suitable virtual machine. Suitable virtual machines may include, but are not limited to, Smalltalk virtual machines.

In addition to the areas described above, C recursion may also be substantially eliminated from such areas as classloading using, for example, steps similar to those used to remove C recursion associated with "
In general, the steps associated with the various processes of the present invention may be widely varied. For instance, steps may be modified and reordered. Steps may also be added and removed without departing from the spirit or the scope of the present invention. Therefore, the present examples are to be considered as illustrative and not restrictive, and the invention is not to be limited to the details given herein, but may be modified within the scope of the appended claims.

«Previous Next»
Method and system for detecting common bytecode sequences Round-trip maintenance of software configuration