System, method and apparatus of directly executing an architecture-independent binary program

Information

  • Patent Grant
  • 5923878
  • Patent Number
    5,923,878
  • Date Filed
    Wednesday, November 13, 1996
    28 years ago
  • Date Issued
    Tuesday, July 13, 1999
    25 years ago
Abstract
A system, method, and apparatus is disclosed for executing an architecture-independent binary program on a computer. An object file is read, and architecture-independent object code is extracted from the object file. Dynamic dependency information is also extracted from the object file. The dependency information is provided to an interpreter, which is invoked to execute the object code. The object file is preferably in an architecture-neutral format, preferably the ELF format defined as the standard binary interface that is used by application programs on operating systems that comply with the UNIX System V Interface Definition.
Description

BACKGROUND
1. Technical Field
This invention relates to a system, method and apparatus for direct execution of an architecture-independent binary program directly on a computer. More particularly, the invention relates to a system, method and apparatus permitting a user to invoke an architecture-independent binary program without identifying an interpreter program used to interpret the architecture-independent program and without specifying any libraries needed to resolve run-time program calls.
2. Background of the Invention
Generally, computer programs are stored in one of two forms. In one form, the program is stored as a text file (source code) consisting of of human-readable statements using an encoding of letters, digits and other printable characters in a character code such as American Standard Code for Information Interchange (ASCII) or Extended Binary Coded Decimal Interchange Code (EBCDIC). Such programs are not directly executable by a computer, and in order to be executed, must be interpreted by a special purpose program, called an interpreter, written to understand the language in which the program is written. A typical example is a program written in Beginner's All-purpose Symbolic Instuction Code (BASIC). BASIC programs are typically presented to an interpreter in source form, and interpreted line-by-line.
In another form, a source code file is processed by a compiler to produce an object file. The object file includes a sequence of binary data (object code) that are meaningful only to a specific computer architecture, in that the data represents a sequence of instructions for that particular architecture. The object file may be loaded into the computer's storage and the instructions directly executed by the computer by instructing the computer to fetch and execute the instructions from the location at which the program is loaded, without the need for an interpreter. Alternatively, the object file may be used by a linker as input to create a file that includes executable program code from several such object files. Using the BASIC example, a BASIC source file may be compiled to produce an object file that is directly executable on a target computer.
A disadvantage to this approach is that such a program is not portable. Because the binary code is machine-specific, the program cannot be easily ported to a computer system of a different architecture. This makes the use of purely binary programs unattractive in a heterogeneous environment.
One approach has been to provide computer programs in a human-readable text format, rather than in binary format. An interpreter is invoked to read the text program (often called a "script" to distinguish it from a binary program) and to interpret the statements in the program, executing them one at a time. This is effectively the first approach of using an interpreted BASIC program. A disadvantage to this approach is that there is significant overhead in interpreting the text statements. For example, the interpreter must devote significant computing resources to lexical scanning and validation of each statement, to assure that it represents a syntactically correct and executable operation. This resource intensity makes the use of scripts unattractive.
Sun.TM. Microsystems has produced a solution known as Java..TM. Java.TM. is designed to meet the challenges of application development in the context of heterogeneous, network-wide distributed environments. The challenges include the secure delivery of applications that consume the minimum of system resources, can run on any hardware and software platform, and can be extended dynamically. The requirement to operate on multiple platforms in heterogeneous networks invalidates the traditional schemes of binary distribution, release, upgrade, patch, and so on. Instead, the Java.TM. system provides an architecture-neutral, portable, and dynamically adaptable quasi-machine code binary format.
A remaining difficulty with this format, however, is that the user is required to know whether a program he or she desires to run is written in Java.TM. or is encoded as a native binary program appropriate for his computing platform. If encoded in the native format, the program is directly executable. If encoded as a Java.TM. class file, the user must invoke the Java.TM. interpreter to interpret the bytecodes in the file.
It is therefore desirable to provide a method of encoding a Java.TM. class file in a format that is consistent with the computing platform on which the program is to be executed. It is further desirable to encode the file in a format that is an industry standard and that is amenable to implementation on a wide variety of computing platforms, thereby ensuring that the file remains portable across such platforms. It is further desirable to provide support in the format for identifying the locations of program files external to the executed file, in order to allow the dynamic resolution of those external files at runtime.
SUMMARY OF THE INVENTION
A system, method, and apparatus is disclosed for executing an architecture-independent binary program on a computer. An object file is read, and object code is extracted from the object file. A field in the object code is interrogated to determine whether the object code is architecture-independent object code that requires interpretation. If so, an interpreter is called to interpret the architecture-independent object code. Dynamic dependency information may also be extracted from the object file and provided to the interpreter. The object file is preferably in an architecture-neutral format, preferably the ELF format defined as the standard binary interface that is used by application programs on operating systems that comply with the UNIX System V Interface Definition.
Additional features of the invention will become apparent upon examination of the description that follows, particularly with reference to the accompanying drawings.





DESCRIPTION OF THE DRAWINGS
The foregoing and other objects, aspects and advantages are better understood from the following detailed description of a preferred embodiment of the invention with reference to the drawings, in which:
FIG. 1 is a block diagram of a representative hardware environment in accordance with a preferred embodiment;
FIG. 2 depicts a sample program written in Java;
FIG. 3 depicts the Java.TM. compilation process;
FIG. 4 depicts the format of a Java.TM. class file;
FIG. 5 depicts the execution of a compiled Java.TM. class;
FIG. 6 depicts an extension to the standard system exec( ) processing extended to support compiled Java.TM. class files;
FIG. 7 depicts the steps of a program javald for creating a script file to set required environment variables and invoke the interpreter;
FIG. 8 depicts an example of a script file produced by the program of FIG. 7.
FIG. 9 depicts the execution of a compiled Java.TM. class through a script as depicted in FIG. 8;
FIG. 10 depicts a procedure for creating a single executable file containing both Java.TM. class file contents and dynamic library location information;
FIG. 11 depicts the format of a binary file in ELF format adapted to support an architecture-independent binary executable code; and
FIG. 12 depicts the execution of the binary ELF file of FIG. 11.





DETAILED DESCRIPTION
A preferred embodiment of a system in accordance with the present invention is preferably practiced in the context of a computer such as Sun.TM. Sparcstation.TM., a UNIX-based workstation, or a personal computer such as IBM PS/2, Apple Macintosh computer. A representative hardware environment is depicted in FIG. 1, which illustrates a typical hardware configuration of a workstation in accordance with a preferred embodiment having a central processing unit 10, such as a microprocessor, and a number of other units interconnected via a system bus 12. The workstation shown in FIG. 1 includes a Random Access Memory (RAM) 14, Read Only Memory (ROM) 16, an I/O adapter 18 for connecting peripheral devices such as disk storage units 20 to the bus 12, a user interface adapter 22 for connecting a keyboard 24, a mouse 26, a speaker 28, a microphone 32, and/or other user interface devices such as a touch screen (not shown) to the bus 12, communication adapter 34 for connecting the workstation to a communication network (e.g., a data processing network) and a display adapter 36 for connecting the bus 12 to a display device 38. The workstation typically has resident thereon an operating system such as Sun.TM. Microsystems' Solaris.TM. or another UNIX-based operating system, or another operating system such as the Microsoft Windows Operating System (OS), the IBM OS/2 operating system, or the Apple Computer MACOS. Those skilled in the art will appreciate that the present invention may also be implemented on platforms and operating systems other than those mentioned.
The Java.TM. computing language and environment is designed to support applications that will be deployed into heterogeneous networked environments. In such environments, applications must be capable of executing on a variety of hardware architectures. Within this variety of hardware platforms, applications must execute atop a variety of operating systems and interoperate with multiple programming language interfaces. To accommodate the diversity of operating environments, the Java.TM. compiler generates class files comprising bytecodes, an architecture neutral intermediate format designed to transport code efficiently to multiple hardware and software platforms. The interpreted nature of Java.TM. solves both the binary distribution problem and the version problem; the same Java.TM. language byte codes will run on any platform.
Java.TM. provides strict data type definitions in its specification of the basic language. The Java.TM. specification specifies the sizes of its basic data types and the behavior of its arithmetic operators. As a result, programs are the same on every platform--there are no data type incompatibilities across hardware and software architectures.
The architecture-neutral and portable language environment of Java.TM. is known as the Java.TM. Virtual Machine. The Java.TM. Virtual Machine is the specification of an abstract machine for which Java.TM. language compilers can generate code. Specific implementations of the Java.TM. Virtual Machine for specific hardware and software platforms then provide the concrete realization of the virtual machine. The Java.TM. Virtual Machine is based primarily on the POSIX interface specification--an industry-standard definition of a portable system interface. Implementing the Java.TM. Virtual Machine on new architectures is a relatively straightforward task as long as the target platform meets basic requirements such as support for multithreading.
FIG. 2 depicts a sample program 201 written in Java.TM.. The program begins with a sequence of lines that constitute a comment 210. A comment is a statement that performs no function and that is ignored by a compiler processing the file; its purpose is to provide human-readable documentation regarding the program.
The next two lines constitute a class statement 220. The class statement provides information regarding the attributes of a program component, called a class. These attributes include the class name (here, "HelloWorldApp"), its storage attributes (here, public, static, void and main) and the name, number and type of parameters accepted by the class (here a single parameter named "args" of datatype "String� !").
The next line 230 shows an invocation of an external program. Here, Java.TM. program 201 is invoking another program (called a "method"), named "System.out.println" and passing it to it the string "Hello, World|" System.out.println is a method whose function is to display a line of text passed to it. When the HelloWorldApp class is executed, the text "Hello, World|" will be displayed on the user's screen.
The last line 240 is an alternative form of a comment statement. The example presented here is for illustrative purposes only. The Java.TM. language is described in full in Gosling, Joy & Steele, The Java.TM. Language Specification (1996), the disclosure of which is hereby incorporated by reference.
FIG. 3 depicts the Java.TM. compilation process. This compilation typically results when the user types the name of the Java.TM. compiler (typically, "javac") followed by the name of the class to be compiled (e.g. "javac HelloWorldApp"). A source file 310 containing Java.TM. source code such as Java.TM. program 201 is provided to the Java.TM. compiler 320. The Java.TM. compiler 320 analyses the source code and produces class file 330. The Java.TM. compiler does not generate "machine code" in the sense of native hardware instructions. Instead it generates a sequence of bytecodes: a high-level, machine-independent code for a hypothetical machine that is implemented by the Java.TM. interpreter and run-time system. One of the early examples of the bytecode approach was the UCSD P-System, which was ported to a variety of eight-bit architectures in the middle 1970s and early 1980s and enjoyed widespread popularity during that period. In the present day, current architectures have the power to support the bytecode approach for distributed software. Java.TM. bytecodes are designed to be easy to interpret on any machine, or to dynamically translate into native machine code if required by performance demands.
The Java.TM. CLASS Format
FIG. 4 depicts the format of a class file 330, which is encoded in the Java.TM. CLASS format. The Java.TM. CLASS format is a highly structured format, and is described in Sun.TM. Microsystems' Java.TM. Virtual Machine Specification, Release 1.0 Beta DRAFT (Aug. 21, 1995), the disclosure of which is hereby incorporated by reference.
Each class file contains the compiled version of either a Java.TM. class or a Java.TM. interface. An interpreter or "virtual machine" designed to execute a Java.TM. program supports all class files that conform to this format.
A Java.TM. class file comprises a stream of 8-bit bytes. All 16-bit and 32-bit quantities are constructed by reading in two or four 8-bit bytes, respectively. The bytes are joined together in network (big-endian) order, where the high bytes come first. This format is supported by the Java.TM. java.io.DataInput and java.io.DataOutput interfaces, and classes such as java.io.DatalnputStream and java.io.DataOutputStream.
The class file format is described here using a structure notation. Successive fields in the structure appear in the external representation without padding or alignment. Variable size arrays, often of variable sized elements are called tables and are commonplace in these structures. The types u1, u2, and u4 mean an unsigned one-, two-, or four-byte quantity, respectively, which are read by method such as readUnsignedByte, readUnsignedShort and readInt of the java.io.DataInputinterface.
Class file 330 is structured as follows:
______________________________________ClassFile {u4 magic;u2 minor.sub.-- version;u2 major.sub.-- version;u2 constant.sub.-- pool.sub.-- count;cp.sub.-- info constant.sub.-- pool�constant.sub.-- pool.sub.-- count-1!;u2 access.sub.-- flags;u2 this.sub.-- class;u2 super.sub.-- class;u2 interfaces.sub.-- count;u2 interfaces�interfaces.sub.-- count!;u2 fields.sub.-- count;field.sub.-- info fields�fields.sub.-- count!;u2 methods.sub.-- count;method.sub.-- info methods �methods.sub.-- count!;u2 attributes.sub.-- count;attribute.sub.-- info attributes�attribute.sub.-- count!;______________________________________
magic
The "magic" field 412 is four bytes in length and is used to identify the file as a Java.TM. class-format file. The magic field has the value 0.times.CAFEBABE.
minor.sub.-- version and major.sub.-- version
The minor.sub.-- version field 414 and major.sub.-- version field 416 contain the version number of the Java.TM. compiler that produced this class file. The combination of the two fields may be interrogated by a virtual machine to determine whether it is capable of executing the compiled class. An implementation of the virtual machine will normally support some range of minor version numbers 0-n of a particular major version number. If the minor version number is incremented, the new code won't run on the old virtual machines, but it is possible to make a new virtual machine which can run versions up to version number n+1. A change of the major version number indicates a major incompatible change, one that requires a different virtual machine that may not support the old major version in any way.
constant.sub.-- pool.sub.-- count
The constant.sub.-- pool.sub.-- countfield 422 indicates the number of entries in the constant pool 425 in the class file.
constant.sub.-- pool
The constant pool 425 is a table of values. The values in the constant pool 425 comprise various string constants, classnames, field names, and others that are referred to by the class structure or by the executable code in the class. The first constant pool entry, denoted as constant.sub.-- pool�0!, is always unused by the compiler, and may be used by an implementation for any purpose.
Each of the constant.sub.-- pool entries 1 through constant.sub.-- pool.sub.-- count-1 is a variable-length entry, whose format is indicated by the first "tag" byte, according to the following table:
______________________________________Value Constant Type Meaning______________________________________1 CONSTANT.sub.-- Utf8 utf-8 format string2 CONSTANT.sub.-- Unicode unicode format string3 CONSTANT.sub.-- Integer integer4 CONSTANT.sub.-- Float floating point5 CONSTANT.sub.-- Long long integer6 CONSTANT.sub.-- Double double floating point7 CONSTANT.sub.-- Class class8 CONSTANT.sub.-- String string9 CONSTANT.sub.-- Fieldref field reference10 CONSTANT.sub.-- Methodref method reference11 CONSTANT.sub.-- InterfaceMethodref interface method reference12 CONSTANT.sub.-- NameAndType name and type______________________________________
A utf-8 format string constant pool entry represents a constant character string value. Utf-8 strings are encoded so that strings containing only non-null ASCII characters, can be represented using only one byte per character, but characters of up to 16 bits can still be represented.
All characters in the range 0.times.0001 to 0.times.007F are represented by a single byte, in which bit 0 is set to binary `0` and in which bits 1-7 represent the ASCII code 0.times.0001 to 0.times.007F, respectively. The null character 0.times.0000 and characters in the range 0.times.0080 to 0.times.07FF are represented by a pair of two bytes, or 16 bits, denoted here as bits 0-15. Bits 0-2 are set to binary `110` and bits 8-9 are set to binary `10`. The remaining eleven bits 3-7 and 10-15 correspond respectively to the low-order eleven bits in the character to be encoded.
Characters in the range 0.times.0800 to 0.times.FFFF are represented by three bytes, or 24 bits, denoted here as bits 0-23. Bits 0-3, 8-9 and 16-17 are set to binary values `1110`, `10`, and `10`, respectively. The remaining 8 bits 4-7, 10-15 and 18-23 correspond to the 8 bits in the character to be encoded.
The null character 0.times.00 is encoded in two-byte format rather than one-byte, with the result that encoded strings never have embedded nulls. Only one-byte, two-byte, and three-byte formats are used; longer utf-8 formats are unrecognized.
A utf-8 string is structured as follows:
______________________________________ CONSTANT.sub.-- Utf8.sub.-- info{ u1 tag; u2 length; u1 bytes�length!; }______________________________________
The tag field has the constant value 0.times.0001 indicating a utf-8 encoded string. The length field is a two-byte field indicating the length of the string. The bytes field is the encoded string.
A unicode string constant pool entry represents a constant unencoded character string value. A unicode string is structured as follows:
______________________________________ CONSTANT.sub.-- Unicode.sub.-- info{ u1 tag; u2 length; u1 bytes�length!; }______________________________________
The tag field has the constant value 0.times.0002 indicating a unicode-format string. The length field is a two-byte field indicating the length of the string. The bytes field is the string value.
An integer constant pool entry represents a four-byte integer. The constant pool entry is structured as follows:
______________________________________ CONSTANT.sub.-- Integer.sub.-- info{ u1 tag; u4 bytes; }______________________________________
The tag field has the constant value 0.times.0003 indicating a integer. The bytes field is the integer value.
A float constant pool entry represents a four-byte floating-point number. The constant pool entry is structured as follows:
______________________________________ CONSTANT.sub.-- Float.sub.-- info{ u1 tag; u4 bytes; }______________________________________
The tag field has the constant value 0.times.0004 indicating a floating-point number. The bytes field is the floating-point value.
An long integer constant pool entry represents an eight-byte integer. The constant pool entry is structured as follows:
______________________________________ CONSTANT.sub.-- Long.sub.-- info{ u1 tag; u4 high.sub.-- bytes; u4 low.sub.-- bytes; }______________________________________
The tag field has the constant value 0.times.0005 indicating a long integer. The high.sub.-- bytes and low.sub.-- bytes fields together make up the integer value. A long integer constant pool entry takes up two spots in the constant pool 425. If this is the nth entry in the constant pool 425, then the next entry will be numbered n+2.
A double float constant pool entry represents an eight-byte floating-point number. The constant pool entry is structured as follows:
______________________________________ CONSTANT.sub.-- Double.sub.-- info{ u1 tag; u4 high.sub.-- bytes; u4 low.sub.-- bytes; }______________________________________
The tag field has the constant value 0.times.0006 indicating a double floating-point number. The high.sub.-- bytes and low.sub.-- bytes fields together make up the floating-point value. A double float constant pool entry takes up two spots in the constant pool 425. If this is the nth entry in the constant pool 425, then the next entry will be numbered n+2.
A class constant pool entry represents a Java.TM. class or a interface. The constant pool entry is structured as follows:
______________________________________ CONSTANT.sub.-- Class.sub.-- info{ u1 tag; u2 name.sub.-- index; }______________________________________
The tag field has the constant value 0.times.0007 indicating a class. The name.sub.-- index field is a subscript into the constant pool 425, to a utf-8 format string constant that gives the string name of the class.
A string constant pool entry represents Java.TM. objects of the built-in Java.TM. type "String." The constant pool entry is structured as follows:
______________________________________ CONSTANT.sub.-- String.sub.-- info{ u1 tag; u2 string.sub.-- index; }______________________________________
The tag field has the constant value 0.times.0008 indicating a string. The string.sub.-- index field is a subscript into the constant pool 425, to a utf-8 format string constant that gives the value to which the String-type object is initialized.
A field constant pool entry, method reference constant pool entry, and interface method reference constant pool entry represent references to Java.TM. fields, methods, and interface methods, respectively. The constant pool entries are structured as follows:
______________________________________ CONSTANT.sub.-- Fieldref.sub.-- info{ u1 tag; u2 class.sub.-- index; u2 name.sub.-- and.sub.-- type.sub.-- index; } CONSTANT.sub.-- Methodref.sub.-- info{ u1 tag; u2 class.sub.-- index; u2 name.sub.-- and.sub.-- type.sub.-- index; } CONSTANT.sub.-- InterfaceMethodref.sub.-- info{ u1 tag; u2 class.sub.-- index; u2 name.sub.-- and.sub.-- type.sub.-- index; }______________________________________
The tag field has the constant value 0.times.0009, 0.times.000A, or 0.times.000B, indicating a field reference, method reference, or interface method reference, respectively. The class.sub.-- index field is a subscript into the constant pool 425, to a class constant that is used to identify the name of the class or interface containing the field or method. The name.sub.-- and type.sub.-- index field is a subscript into the constant pool 425, to a NameAndType constant that is used to identify the name and signature of the field or method.
A NameAndType constant pool entry represents a field or method without indicating the class to which the name or field, as the case may be, belongs. The constant pool entry is structured as follows:
______________________________________ CONSTANT.sub.-- NameAndType.sub.-- info{ u1 tag; u2 name.sub.-- index; u2 signature.sub.-- index; }______________________________________
The tag field has the constant value 0.times.000C indicating a NameAndType entry. The name.sub.-- index field is a subscript into the constant pool 425, to a utf-8 format string constant that gives the name of the field or method. The signature.sub.-- index field is a subscript into the constant pool 425, to a utf-8 format string constant that gives a signature of the field or method. The signature, in this context, refers to a string that represents a type of a method, field or array. The field signature represents the value of an argument to a function or the value of a variable. A return-type signature represents the return value from a method. An argument signature represents an argument passed to a method. A method signature comprises one or more arguments signatures and a return signature, thereby representing the arguments expected by a method, and the value that it returns.
The structure and self-referential nature of the cell pool thereby provides great flexibility in implementation of data encoded in an class file.
access.sub.-- flags
The access.sub.-- flags field 432 contains a mask of up to sixteen modifiers used with class, method, and field declarations. The same encoding is used on similar fields in field.sub.-- info and method.sub.-- info as described below. The access.sub.-- flags field is encoded as follows:
______________________________________Flag Name Value Meaning Used By______________________________________ACC.sub.-- PUBLIC 0x0001 Visible to everyone Class, Method, VariableACC.sub.-- PRIVATE 0x0002 Visible only to the Method, defining class VariableACC.sub.-- PROTECTED 0x0004 Visible to subclasses Method, VariableACC.sub.-- STATIC 0x0008 Variable or method is Method, static VariableACC.sub.-- FINAL 0x0010 No further subclassing, Class, overriding, or assign- Method, ment after initial- Variable izationACC.sub.-- SYNCHRONIZED 0x0020 Wrap use in monitor Method lockACC.sub.-- VOLATILE 0x0040 Can't cache VariableACC.sub.-- TRANSIENT 0x0080 Not to be written or Variable read by a persistent object managerACC.sub.-- NATIVE 0x0100 Implemented in a Method language other than Java .TM.ACC.sub.-- INTERFACE 0x0200 Is an interface ClassACC.sub.-- ABSTRACT 0x0400 No body provided Class, Method______________________________________
this.sub.-- class
The this.sub.-- class field 434 is an index into the constant pool 425; constant.sub.-- pool�this.sub.-- class!must be of type CONSTANT.sub.-- class.
super.sub.-- class
The super.sub.-- class 436 field is an index into the constant pool 425. If the value of super.sub.-- class field 436 is nonzero, then constant.sub.-- pool�super-class! must be a class, and gives the index of this class's superclass (that is, the class from which the present class is derived) in the constant pool 425. If the value of super.sub.-- class field 436 is zero, then the class being defined must be java.lang.Object, and it has no superclass.
interfaces.sub.-- count
The interfaces.sub.-- count field 438 gives the number of interfaces that this class implements.
interfaces table
Each value in interfaces table 440 is an index into the constant pool 425. If a table value is nonzero (interfaces�i!|=0, where 0<=i<interfaces.sub.-- count), then constant.sub.-- pool�interfaces�i!!must be an interface that this class implements.
fields.sub.-- count
The fields.sub.-- count field 450 gives the number of instance variables, both static and dynamic, defined by the this class field. The fields table 455 includes only those variables that are defined explicitly by this class. It does not include those instance variables that are accessible from this class but are inherited from superclasses.
fields table
Each value in the fields table 450 is a more complete description of a field in the class. Each field is described by a variable length field.sub.-- info structure. The format of this structure is as follows:
______________________________________field.sub.-- info{ u2 access.sub.-- flags; u2 name.sub.-- index; u2 signature.sub.-- index; u2 attributes.sub.-- count; attribute.sub.-- info attributes�attribute.sub.-- count!;______________________________________
The access.sub.-- flags field is a set of sixteen flags used by classes, methods, and fields to describe various properties and how they many be accessed by methods in other classes. This field has the same names, values and meanings as the access.sub.-- flags field 432 previously disclosed.
The possible flags that can be set for a field are ACC.sub.-- PUBLIC, ACC.sub.-- PRIVATE, ACC.sub.-- PROTECTED, ACC.sub.-- STATIC, ACC.sub.-- FINAL, ACC.sub.-- VOLATILE, and ACC.sub.-- TRANSIENT. At most one of ACC.sub.-- PUBLIC, ACC.sub.-- PROTECTED, and ACC.sub.-- PRIVATE can be set for any method.
The name.sub.-- index field is a subscript used to index into the constant pool 425 indicating a CONSTANT.sub.-- Utf8 string, which is the name of the field.
The signature.sub.-- index field is a subscript that is used to index into the constant pool 425 to indicate a CONSTANT.sub.-- Utf8 string, which is the signature of the field.
The attributes.sub.-- count field indicates the number of additional attributes about this field.
The attributes field represents the attributes of a particular field represented by the field.sub.-- info structure. A field can have any number of optional attributes associated with it. For example, the "ConstantValue" attribute, which indicates that this field is a static numeric constant, indicates the constant value of that field.
methods.sub.-- count
The methods.sub.-- count field 460 indicates the number of methods, both static and dynamic, defined by this class. This table only includes those methods that are explicitly defined by this class. It does not include inherited methods.
methods table
Each value in the methods table 465 is a more complete description of a method in the class. Each method is described by a variable length method.sub.-- info structure. The format of this structure is as follows:
______________________________________method.sub.-- info{ u2 access.sub.-- flags; u2 name.sub.-- index; u2 signature.sub.-- index; u2 attributes.sub.-- count; attribute.sub.-- info attributes�attribute.sub.-- count!;______________________________________
The access.sub.-- flags field is a set of sixteen flags used by classes, methods, and fields to describe various properties and how they many be accessed by methods in other classes. This field has the same names, values and meanings as the access.sub.-- flags field 432 previously disclosed. The possible fields that can be set for a method are ACC.sub.-- PUBLIC, ACC.sub.-- PRIVATE, ACC.sub.-- PROTECTED, ACC.sub.-- STATIC, ACC.sub.-- FINAL, ACC.sub.-- SYNCHRONIZED, ACC.sub.-- NATIVE, and ACC.sub.-- ABSTRACT. At most one of ACC.sub.-- PUBLIC, ACC.sub.-- PROTECTED, and ACC.sub.-- PRIVATE can be set for any method.
The name.sub.-- index field is a subscript used to index into the constant pool 425 indicating a CONSTANT.sub.-- Utf8 string, which is the name of the method.
The signature.sub.-- index field is a subscript that is used to index into the constant pool 425 to indicate a CONSTANT.sub.-- Utf8 string, which is the signature of the method.
The attributes.sub.-- count field indicates the number of additional attributes about this method.
The attributes field represents the attributes of a particular method represented by the method.sub.-- info structure. A method can have any number of optional attributes associated with it. Each attribute has a name, and other additional information. For example, the "Code" attribute (see below) describe the bytecodes that are executed to perform this method, and the "Exceptions" attribute describes the Java.TM. Exceptions that are declared to result from the execution of the method.
attributes.sub.-- count
The attributes.sub.-- count field 470 indicates the number of additional attributes about this class.
attributes
The attributes table 475 defines the attributes associated with the class. A class can have any number of optional attributes associated with it. For example, the "SourceFile" attribute indicates the name of the source file from which this class file was compiled.
The Code attribute
The Code attribute has the following format:
______________________________________Code.sub.-- attribute{u2 attribute.sub.-- name.sub.-- index;u4 attribute.sub.-- length;u2 max.sub.-- stack;u2 max.sub.-- locals;u4 code.sub.-- length;u1 code�code.sub.-- length!;u2 exception.sub.-- table.sub.-- length;{ u2 start.sub.-- pc; u2 end.sub.-- pc; u2 handler.sub.-- pc; u2 catch.sub.-- type;} exception.sub.-- table �exception.sub.-- table.sub.-- length!;u2 attributes.sub.-- count;attribute.sub.-- info attributes�attribute.sub.-- count!;______________________________________
The attribute.sub.-- name.sub.-- index field is a subscript used to index into the constant pool 425 indicating a CONSTANT.sub.-- Utf8 string containing "Code".
The attribute.sub.-- length field indicates the total length of the "Code" attribute, excluding the initial six bytes.
The max.sub.-- stack field defines the maximum number of entries on the operand stack that will be used during execution of this method.
The max.sub.-- locals field defines the number of local variable slots used by this method.
The code.sub.-- length field defines the number of bytes in the virtual machine code for this method.
The code field contains the actual bytes of the virtual machine code that implement the method.
The exception.sub.-- table.sub.-- length field defines the number of entries in the following exception table exception.sub.-- table. This table is used by compilers which indicate which Exceptions a method is declared to throw. Each entry in the exception table describes one exception handler in the code. The two fields start.sub.-- pc and end.sub.-- pc indicate the ranges in the code at which the exception handler is active. The values of both fields are offsets from the start of the code. The start.sub.-- pc field is inclusive, and the end.sub.-- pc field is exclusive. The handler.sub.-- pc field indicates the starting address of the exception handler. The value of the field is an offset from the start of the code.
If the catch.sub.-- type field is nonzero, then constant.sub.-- pool�catch.sub.-- type!will be the class of exceptions that this exception handler is designated to catch. This exception handler should only be called if the thrown exception is an instance of the given class. If catch.sub.-- type is zero, this exception handler should be called for all exceptions.
The attributes.sub.-- count field indicates the number of additional attributes about code. The Code attribute can itself have attributes, which are designated using the attributes�attribute.sub.-- count!fields. A Code attribute can have any number of optional attributes associated with it. Each attribute has a name, and other additional information. Currently, the only code attributes defined are the "LineNumberTable" and "LocalVariableTable," both of which contain debugging information.
The bytecodes represent a series of machine-independent instructions (i.e., object code) designed to be executed in a hypothetical 8-bit stack-based environment. Operations of the Java.TM. Virtual Machine most often take their operands from the stack and put their results back on the stack.
For example, the instruction "iload vindex" is represented by two 8-bit bytes. The first byte, having a value of 0.times.15 (decimal 21) indicates the iload instruction. The second byte provides an index into the current Java.TM. frame of a local variable whose value is to be pushed onto the operand stack.
For example, a bytecode sequence to execute the example HelloWorldApp class may consist of the nine-byte string 0.times.B200081201B60007B1. This sequence is interpreted as follows:
______________________________________B2 0008 getstatic 0008;12 fconst_1;01 aconst_null;B6 0007 invokevirtual 0007;B1 return;______________________________________
The getstatic 0008 instruction uses the value 0008 to construct an index into the constant pool, which point to a field reference to a static field. In the present example, this may be used to indicate a parameter to be passed to another class, here the string having the value "Hello, World|". The fconst.sub.-- 1 instruction causes a single-precision floating point number "1" to be pushed onto the stack. The aconst.sub.-- null instruction causes a null object reference to be pushed onto the stack. The fconst.sub.-- 1 and aconst.sub.-- null instructions provide data that can be used to interpret the stacked parameters.
The invokevirtual 0007 instruction is used to invoke a virtual method that should be executed using the stacked parameters. The operand 0007 is used to construct an index into the constant pool. The item at that index of the constant pool contains a complete method signature for the method desired to be called. In the present example, this may be used to indicate a desired method to be called, here the method having the name "System.out.println".
The return instruction is used to terminate execution of the HelloWorldApp class.
FIG. 5 depicts the execution of a compiled Java.TM. class. This execution typically results when the user types the name of the Java.TM. interpreter (typically "java") followed by the name of the class to be executed (e.g. "java HelloWorldApp"). Interpreter 510 takes as input class file 330. The interpreter interrogates the environment variable 530 named "JAVA.sub.-- HOME". The value of the JAVA.sub.-- HOME environment variable is the name of the home directory 535 for the Java.TM. run-time system, which contains the Java.TM. interpreter and support programs, and will be used to load system routines used in the execution of the class. The "CLASSPATH" environment variable 520 contains the names of various user class libraries 527 and system class libraries 525 which contain additional classes that may be invoked at run time.
As noted, one of the disadvantages of the execution process depicted in FIG. 5 is that it requires the user to be aware that the program being executed is a Java.TM. class rather than a platform-native program file, and that the user must therefore explicitly invoke the Java.TM. interpreter. That is, the user must type "java HelloWorldApp" rather than simply "HelloWorldApp". FIG. 6 depicts an extension to the standard system exec() processing that is used to invoke platform-native program files, and extends that functionality to compiled Java.TM. class files. The extension in FIG. 6 is invoked when the user indicates the name of the compiled Java.TM. class file directly, without specifying that it must be interpreted (e.g., "HelloWorldApp" rather than "java HelloWorldApp").
Execution begins in step 610. In step 620, the extension reads the class file. In step 630, the extension checks the contents of magic field 412 to verify that it contains the predetermined value 0.times.CAFEBABE. If magic field 412 does not contain 0.times.CAFEBABE, the extension exits with an ENOEXEC return code in step 635. The ENOEXEC return code is a standard exec() return code indicating that the target is not executable. If the test is successful, control proceeds to step 640. In step 640, the extension obtains the location of the interpreter (e.g., "/usr/bin/java"). In step 650, the extension checks to see whether a file with the indicated name exists at the indicated location. If not, in step 655 the extension exits with an error condition. Otherwise, the extension invokes the named file in step 670, passing the name of the target class file to the interpreter for execution. Following the execution of the named class file by the interpreter, the extension exits at step 690.
Although the process depicted in FIG. 6 allows for direct implicit invocation of the Java.TM. interpreter without requiring the user to know that the file is a class file. However, it is not without its drawbacks. As shown in FIG. 5, the Java.TM. interpreter uses the CLASSPATH and JAVA.sub.-- HOME environment variables to determine the libraries that are to be searched for routines and methods to be invoked at run time. In a complex system comprising many separate compiled class files, the user will be required to set the CLASSPATH variable to provide the Java.TM. interpreter with the location of the class files. Therefore, even under the approach depicted in FIG. 6, the use of Java.TM. is not transparent to the user, who needs to take additional steps to make his program execute correctly.
A second solution is to provide an automated means for producing a executable script that can be used to set the environment variables and invoke the Java.TM. interpreter using the named Java.TM. class file. Such a program is akin to a standard linker such as the program "ld". A Java.TM. pseudo-linker named, for example, "javald" is invoked as follows:
javald-C /opt/acme/lib-C lib -o foo progname
This syntax means that the program javald is invoked, which creates an output file named "foo" that, when invoked as the command "foo," causes the Java.TM. class file "progname.class" to be interpreted. The CLASSPATH environment variable should be set to include two libraries, named "/opt/acme/lib" and "lib". The reference /opt/acme/lib is an absolute reference, in that it is defined relative to the root directory "/". The root directory contains a directory named "opt", which in turn contains a directory named "acme", which in turn contains a directory named "lib", which is the specified directory. The reference "lib" is a relative reference, and refers to a directory named "lib" that is located relative to the directory containing the file foo.
FIG. 7 depicts the steps of a program javald for creating a script file to set the required variables and invoke the interpreter. FIG. 7 is best understood with reference to FIG. 8, which depicts an example of a script file 801 produced by the program of FIG. 7. Execution begins in step 710. In step 720, the program writes a standard prolog code segment 810 containing code that will always need to be included. In step 730, javald writes a line of code to set the JAVA.sub.-- HOME variable. In step 740, javald selects the first of the library names to be included in the CLASSPATH environment variable. These names were specified using the -C flag when javald was invoked. In step 750, javald determines whether the library name was specified as an absolute or relative reference. If absolute, step 760 generates an absolute reference. If relative, step 765 generates a function call that will determine the location of the specified library at runtime relative to the location of the executable shell script 801. In step 770, javald checks whether any libraries remain to be processed. If so, control returns to step 740; otherwise, control proceeds to step 780. In step 780, javald writes a line of code 830 that sets the CLASSPATH variable to a string containing the indicated library names, separated by colons, and a line of code 840 that will invoke the Java.TM. interpreter.
As mentioned above, FIG. 8 depicts a script file 801 to set the requisite environment variables and invoke the Java.TM. interpreter at run time. A line-by-line description follows.
The first line contains the string:
#|/bin/ksh
A "#|" string, if present, is the use of a standard UNIX construct to provide the name of a script interpreter that will be used to execute the script. The file/bin/ksh is a standard name for the Korn shell program, a well-known script interpreter. Script 801 is written in the Korn shell language.
The next line contains the string:
.sub.-- D=$(cd`/usr/bin/dirname $0`&& print -n $PWD)
This line causes the variable .sub.-- D to be set to the fully-qualified pathname of the directory in which the script file resides. This works as follows. When the script begins execution, ksh sets the variable $0 to the name program executed in the command line, which will be the name of the script file either alone (e.g. "progname"), relative to the current directory (e.g., "bin/progname"), or as an absolute path (e.g., "/usr/bin/test/progname"). The shell executes the command line enclosed the reverse single quotes ("`", commonly called "backticks"),in this case "/usr/bin/dirname$0". The dirname command is a standard UNIX command that strips a non-directory suffix from a file name. For example, a "dirname progname" will produce as output ".", indicating the current directory. "dirname bin/progname" will produce "./bin", and "dirname/usr/bin/test/progname" will produce "/usr/bin/test". Because the backticked command follows the standard cd ("change directory") command, ksh will attempt to perform a cd command on the indicated directory. If successful, the command "print- n $PWD" following the "&&" is executed, which produces as output the fully-qualified pathname of the current directory $PWD, with the ordinary newline character suppressed. If the cd command is not successful, an error is returned. Thus, the result is either the fully qualified pathname of the directory in which the shell script exists, if such a directory exists, or an error condition, if it does not. The Korn shell construct $() returns that value, which is placed in .sub.-- D. This directory will be referred to as the "target directory".
The function definition ".sub.-- " is not invoked until CLASSPATH construction, which is described below.
The next line contains the string:
export JAVA.sub.-- HOME=${JAVA.sub.-- HOME:-/usr/java}
This is Korn shell syntax to set the JAVA.sub.-- HOME environment variable to "/usr/java" if it is not already set. The use of the export command makes the variable available to subsequently spawned processes.
The next line contains the string:
export CLASSPATH=$(/opt/acme/lib:.sub.-- lib)
This sets the CLASSPATH environment variable to a concatenation of the absolute reference /opt/acme/lib and a relative reference lib, separated by a colon. The use of the export command makes the variable available to subsequently spawned processes. The absolute reference /opt/acme/lib is expressed as a literal and requires no explanation. The second reference is an invocation of the ".sub.-- " function. The ".sub.-- " function is defined as follows:
______________________________________function .sub.-- ��$1 = ${1##/}!! && print -n ${.sub.-- D}/ print -n $1}______________________________________
The statement "function.sub.-- " defines a function named ".sub.-- " and enclosed by the brackets { }. The function operates on the value of the relative directory name passed to it, e.g. "lib", "../lib", etc. The expression ��$1=${1##/}!! evaluates whether the directory name begins with a leading slash character ("/"). If the directory name begins with a leading slash, the directory name is an absolute reference. If the directory name does not begin with a leading slash, the directory name is relative to, but not necessarily directly in, the target directory. For example, the reference "lib" refers to the directory "lib" in the target directory, but the reference "../lib", while relative to the target directory, refers to a directory in the parent directory of the target directory. If the directory reference is a relative reference, the "print -n ${.sub.-- D}/" statement prepends the relative reference with an absolute reference to the target directory, and the resulting construct is appended with a slash. This has the effect of converting the relative reference to an absolute reference. The next line ("print -n $1") generates the specified directory reference.
For example, then, if the target directory is named "/usr/bin/test", this function will return the value "/usr/bin/test/lib" for an input parameter of "lib", and "/usr/bin/test/../lib" for an input parameter of "../lib". The result of this function is, therefore, a full pathname to the indicated relatively-referenced library, which will then be added to the CLASSNAME string.
The final line is the Java.TM. interpreter invocation:
exec ${JAVA.sub.-- HOME}/bin/javaprogname "$*"
This line invokes the Java.TM. interpreter named "java" found in the bin subdirectory of the Java.TM. home directory as specified by the JAVA.sub.-- HOME environment variable. The interpreter is passed the name of the program (here, "progname") and any parameters that were passed to the script file. The $* variable is set by the Korn shell to a string of all the parameter values that were passed to the script.
FIG. 9 depicts the execution of a Java.TM. class using the method shown in FIGS. 7 and 8. The user types the name of Korn shell script file 801. This file is read by UNIX kernel 910, which sees the string #|/bin/ksh and invokes Korn shell 920, which reads and interprets the script file. Korn shell 920 sets the CLASSPATH environment variable 520 and JAVA.sub.-- HOME environment variable 530 and invokes Java.TM. interpreter 510, specifying the name of class file 330. From this point forward, execution proceeds as described with reference to FIG. 5. That is, the Java.TM. interpreter 510 takes as input class file 330. The interpreter interrogates the environment variable 530 named "JAVA.sub.-- HOME" and thereby determines the name of the home directory 535 for the Java.TM. run-time system. The Java.TM. interpreter also interrogates the "CLASSPATH" environment variable 520, thereby determining the names of various user class libraries 527 and system class libraries 525, which contain additional classes that may be invoked at run time.
Although the process of FIG. 7 produces a script file that may be used to allow the invocation of the Java.TM. class file, through the means of the script, one drawback to this approach is that the script file 801 and the executed class file 330 must be maintained within the same directory structure. This is not ordinarily a major burden in major systems, because such systems usually make substantial use of user class libraries 527, and the directory relationship of the executed class file 330 and the user class libraries 527 must be maintained in any event. However, the process of FIG. 7 introduces additional maintenance duties on small systems (such as the example "HelloWorldApp" application) where such file relationship maintenance is not ordinarily required. An additional drawback to this approach is that it requires interpretation, not only of the Java.TM. object code, but also of the shell script. This extra level of interpretation consumes additional system resources. To eliminate this maintenance and to reduce the resources needed to invoke the shell, it is desirable to provide a means by which an executable file such as shell script 801 may be created, but in which the resulting file contains the executable Java.TM. code, rather than invoking a separate file.
The ELF Format
FIG. 11 depicts the format of a binary file 1101 in ELF format adapted to support an architecture-independent binary executable code. To provide maximum portability, the file is formatted according to the ELF (Executable and Linking Format) format defined as the standard binary interface that is used by application programs on operating systems that comply with the UNIX System V Interface Definition. The ELF format is described in System V Application Binary Interface, Third Edition (1993) ("the ABI"), the disclosure of which is hereby incorporated by reference.
The format of sections of binary file 1101 is described here using a structure notation. Successive fields in the structure appear in the external representation without padding or alignment. Variable size arrays, often of variable sized elements are called tables and are commonplace in these structures. The type Elf32.sub.-- Addr refers to an unsigned program address having a size of four bytes and aligned on a 4-byte boundary. The type Elf32.sub.-- Half refers to an unsigned medium integer having a size of two bytes and aligned on a 2-byte boundary. The type Elf32.sub.-- Off refers to an unsigned file offset having a size of four bytes and aligned on a 4-byte boundary. The type Elf32.sub.-- Sword refers to a signed large integer having a size of four bytes and aligned on a 4-byte boundary. The type Elf32.sub.-- Word refers to an signed large integer a size of two bytes and aligned on a 2-byte boundary. The type unsigned char refers to an unsigned small integer having a size of one byte and aligned on a 1-byte boundary.
The ELF file 1101 of the present invention comprises an ELF header 1110, Program Header Table (PHT) 1120, Class section 1130, Dynamic section 1140, Dynamic String Table 1150 and Section Header Table (SHT) 1160. Although FIG. 11 shows the components parts of binary file 1101 in a particular order, the actual file layout may differ. Apart from ELF header 1110, which has a fixed position at the start of the file, the various sections and segments other than the ELF header have no specified order.
ELF Header
ELF header 1110 resides at the beginning of the file 1101 and holds a roadmap describing the file's organization. ELF header 1110 has the following format.
______________________________________#define EI.sub.-- Nident 16typedef struct {unsigned char e.sub.-- ident�EI.sub.-- NIDENT!;Elf32.sub.-- Half e.sub.-- type;Elf32.sub.-- Half e.sub.-- machine;Elf32.sub.-- Word e.sub.-- version;Elf32.sub.-- Addr e.sub.-- entry;Elf32.sub.-- Off e.sub.-- phoff;Elf32.sub.-- Off e.sub.-- shoff;Elf32.sub.-- Word e.sub.-- flags;Elf32.sub.-- Half e.sub.-- ehsize;Elf32.sub.-- Half e.sub.-- phentsize;Elf32.sub.-- Half e.sub.-- phnum;Elf32.sub.-- Half e.sub.-- shentsize;Elf32.sub.-- Half e.sub.-- shnum;Elf32.sub.-- Half e.sub.-- shstrndx;} Elf32.sub.-- Ehdr;______________________________________
The e.sub.-- ident field comprises initial bytes (bytes 0-15) that mark the file as an object file and provide machine-independent data with which to decode and interpret the file's contents. Bytes 0-3 (denoted by EI.sub.-- MAG0, EI.sub.-- MAG1, EI.sub.-- MAG2 and EI.sub.-- MAG3) is a constant to validate the file. Byte 0 (EI.sub.-- MAG0) contains a value 0.times.7F. Bytes 1-3 (EI.sub.-- MAG 1, EI.sub.-- MAG2 and EI.sub.-- MAG3) contain the values `E`, `L` and `F`, respectively. Byte 4 (EI.sub.-- CLASS) identifies the type of architecture of the file. A value of 1 (ELFCLASS32) indicates 32-bit architecture, while a value of 2 (ELFCLASS64) indicates a 64-bit architecture. A value of zero (ELFCLASSNONE) indicates an invalid architecture type. In a typical embodiment of the present invention, EI.sub.-- CLASS has a value ELFCLASS32.
Byte 5 (EI.sub.-- DATA) specifies the data encoding of data in the file. A value of 1 (ELFDATA2LSB) indicates little-endian encoding; a value of 2 (ELFDATA2MSB) indicates big-endian encoding; a value of 0 indicates an invalid encoding. In the present invention, EI.sub.-- DATA has a value ELFDATA2MSB. Byte 6 (EI.sub.-- VERSION) specifies the ELF header version number of the version to which the header was built. The remainder of e.sub.-- ident is not used.
The e.sub.-- type field identifies the object file type. This field will be set to 2 (ET.sub.-- EXEC) to indicate an executable file.
The e.sub.-- machine field identifies the machine type (e.g., 1 for Sun.TM. Microsystems' SPARC.TM. architecture, 3 for Intel's 80386 architecture, 21 for IBM's RS6000 architecture, etc.). This field is set to an arbitrarily but predetermined assigned number indicating the type of machine whose architecture is compatible with the executable code contained in the file. At present, the values 22 through 65535 are unassigned, and one of these values (e.g., 22) will be assigned to represent the Java.TM. Virtual Machine hypothetical architecture.
The e.sub.-- version field represents the object file version.
The e.sub.-- entry field gives the virtual address to which the system first transfers control, thus starting the process. For the present invention, this member holds zero.
The e.sub.-- phoff field holds the program header table's file offset in bytes.
The e.sub.-- shoff field holds the section header table's file offset in bytes.
The e.sub.-- flags field holds processor-specific flags associated with the file.
The e.sub.-- ehsize field holds the ELF header's size in bytes.
The e.sub.-- phentsize field holds the size in bytes of one entry in the file's program header table (PHT) 1120. All PHT entries are the same size.
The e.sub.-- phnum field holds the number of entries in the program header table. Thus, the product of e.sub.-- phentsize and e.sub.-- phnum gives the table's size in bytes.
The e.sub.-- shentsize field holds the size of section header in bytes. A section header is one entry in the section header table (SHT) 1160; all entries are the same size.
The e.sub.-- shnum field holds the number of entries in the section header table 1160. Thus the product of e.sub.-- shentsize and e.sub.-- shnum gives the section header table's size in bytes.
The e.sub.-- shstrndx field holds the section header table index of the entry associated with the section name string table 1150.
Program Header Table
Program Header Table (PHT) 1120 is an array of structures, each describing a segment or other information the system needs to prepare the program for execution. A file specifies its own program header size with the e.sub.-- phentsize and e.sub.-- phnum fields in ELF Header 1110.
PHT 1120 has the following format:
______________________________________typedef struct {Elf32.sub.-- Word p.sub.-- type;Elf32.sub.-- Off p.sub.-- offset;Elf32.sub.-- Addr p.sub.-- vaddr;Elf32.sub.-- Addr p.sub.-- paddr;Elf32.sub.-- Word p.sub.-- filesz;Elf32.sub.-- Word p.sub.-- memsz;Elf32.sub.-- Word p.sub.-- flags;Elf32.sub.-- Word p.sub.-- align;}Elf32.sub.-- Phdr;______________________________________
The p.sub.-- type field tells what kind of segment this array element describes or how to interpret the array element's information. As currently described in the ABI, the values 0 through 6 are valid and defined values for p.sub.-- type. Values 7 through 0.times.6FFFFFFF are not in use, and values in the range 0.times.70000000 (PT.sub.-- LOPROC) through 0.times.7FFFFFFF (PT.sub.-- HIPROC) are reserved for processor-specific semantics.
For the present invention, at least two values are used. The first value used is 2 (PT.sub.-- DYNAMIC). PT.sub.-- DYNAMIC indicates a dynamic section 1140 containing dynamic linking information. The second value used is a predetermined value not yet assigned (i.e., in the range 7 through 0.times.6FFFFFFF) (PT.sub.-- CLASS) to indicate a class section 1130 of loadable code, which will contain the equivalent of the Java.TM. class file.
The p.sub.-- offset field gives the offset from the beginning of the file at which the first byte of the segment resides.
The p.sub.-- vaddr field gives the virtual address at which the first byte of the segment resides in memory. The p.sub.-- paddr field is not used in the present invention.
The p.sub.-- filesz field gives the number of bytes in the file image of the segment; it may be zero.
The p.sub.-- memsz field gives the number of bytes in the memory image of the segment; it may be zero.
The p.sub.-- flags holds permission flags indicating whether the segment has execute, write or read permissions.
The p.sub.-- align field is not used in the present invention.
Class Section
The Class section 1130 contains the same binary image as that contained in class file 330. This data will be read from binary file 1101 during execution and provided to the Java.TM. interpreter 510. Class section 1130 is indicated by flag PT.sub.-- CLASS set in the corresponding entry in PHT 1120.
Dynamic Section
The Dynamic section 1140 (named ".dynamic" in the ELF format) is an array of structures, each providing pointers and other information identifying system class libraries 525 and user class libraries 527. Dynamic section 1140 is indicated by an entry of type SHT.sub.-- DYNAMIC in Section Header Table 1160 and and by an entry of type PT.sub.-- DYNAMIC in Program Header Table 1120.
Dynamic Section 1140 has the following structure:
______________________________________typedef struct { ELF32.sub.-- Sword d.sub.-- tag; union{ ELF32.sub.-- Word d.sub.-- val; Elf32.sub.-- Addr d.sub.-- ptr; } d.sub.-- un;} Elf32.sub.-- Dyn;______________________________________
The union d.sub.-- un field is interpreted as either a word d.sub.-- val or an address d.sub.-- ptr, or is ignored, depending on the value of d.sub.-- tag.
The ELF file structure supports a wide variety of values for d.sub.-- tag. As currently described in the ABI, the values 0 through 23 are valid and defined values for d.sub.-- tag. Values 24 through 0.times.6FFFFFFF are not in use, and values in the range 0.times.70000000 (DT.sub.-- LOPROC) through 0.times.7FFFFFFF (DT.sub.-- HIPROC) are reserved for processor-specific semantics. The present invention uses two existing values for d.sub.-- tag, and three new values. The two existing values are DT.sub.-- NULL and DT.sub.-- STRTAB. The three new values are DT.sub.-- JAVA.sub.-- CLASSNAME, DT.sub.-- JAVA.sub.-- NEEDED.sub.-- CLASSDIR, and DT.sub.-- JAVA.sub.-- NEEDED.sub.-- LIBDIR.
If d.sub.-- tag has a value of 0 (DT.sub.-- NULL), then that entry marks the end of the array. If d.sub.-- tag has a value of 5 (DT.sub.-- STRTAB), then d.sub.-- un is interpreted as an address d.sub.-- ptr, and holds the address of the string table 1150.
The values DT.sub.-- JAVA.sub.-- CLASSNAME, DT.sub.-- JAVA.sub.-- NEEDED.sub.-- CLASSDIR, and DT.sub.-- JAVA.sub.-- NEEDED.sub.-- LIBDIR are predetermined values not yet assigned by the ABI (i.e., three values in the range 24 through 0.times.6FFFFFFF). For purposes of example only, it may be assumed that the symbolic values DT.sub.-- JAVA.sub.-- CLASSNAME, DT.sub.-- JAVA.sub.-- NEEDED.sub.-- CLASSDIR, and DT.sub.-- JAVA.sub.-- NEEDED.sub.-- LIBDIR correspond, respectively, to the numeric values 24, 25 and 26. Obviously, any three unassigned values could be used in lieu of 24, 25 and 26.
If d.sub.-- tag has the value DT.sub.-- JAVA.sub.-- CLASSNAME (e.g., 24), d.sub.-- un is interpreted as a word d.sub.-- val, and holds an offset into String Table 1150 of a null-terminated string. The null-terminated string provides the name of the class represented by the contents of the Class Section 1130. The offset is an index into the table recorded in the DT.sub.-- STRTAB entry.
If d.sub.-- tag has the value DT.sub.-- JAVA.sub.-- NEEDED.sub.-- CLASSDIR (e.g., 25), d.sub.-- un is interpreted as a word d.sub.-- val, and holds an offset into String Table 1150 of a null-terminated string. The null-terminated string provides the name of a directory to be searched as a user class library 527 that contains additional classes that may be invoked at run time. The offset is an index into the table recorded in the DT.sub.-- STRTAB entry. The dynamic array may contain multiple entries with this type. These entries' relative order is significant, though their relation to entries of other types is not.
If d.sub.-- tag has the value DT.sub.-- JAVA.sub.-- NEEDED.sub.-- LIBDIR(e.g., 26), d.sub.-- un is interpreted as a word d.sub.-- val, and holds an offset into String Table 1150 of a null-terminated string. The null-terminated string provides the name of a directory to be searched as a system class library 525 that contains additional classes that may be invoked at run time. The offset is an index into the table recorded in the DT.sub.-- STRTAB entry. The dynamic array may contain multiple entries with this type. These entries' relative order is significant, though their relation to entries of other types is not.
Dynamic String Table
Dynamic String Table 1150 (named ".dynstr" in the ELF format) holds null-terminated character sequences, commonly called strings. The object file uses these strings to represent symbol and section names. One references a string as an index into the string table section. The first byte, which is index zero, is defined to hold a null character. Likewise, a string table's last byte is defined to hold a null character, ensuring null termination for all strings. A string whose index is zero specifies either no name or a null name, depending on the context. An empty string table section is permitted; its section header's sh.sub.-- size member would contain zero. Non-zero indexes are invalid for an empty string table. A section header's sh.sub.-- name member holds an index into the section header string table section, as designated by the e.sub.-- shstrndx member of the ELF header.
Section Header Table
Section Header Table 1160 is a sequence of Elf32.sub.-- Shdr structures in the following format:
______________________________________typedef struct{Elf32.sub.-- Word sh.sub.-- name;Elf32.sub.-- Word sh.sub.-- type;Elf32.sub.-- Word sh.sub.-- flags;Elf32.sub.-- Addr sh.sub.-- addr;Elf32.sub.-- Off sh.sub.-- offset;Elf32.sub.-- Word sh.sub.-- size;Elf32.sub.-- Word sh.sub.-- link;Elf32.sub.-- Word sh.sub.-- info;Elf32.sub.-- Word sh.sub.-- addralign;Elf32.sub.-- Word sh.sub.-- entsize;} Elf32.sub.-- Shdr;______________________________________
The sh.sub.-- name field specifies the name of the section. Its value is an index into the section header string table section, giving the location of a null-terminated string.
The sh.sub.-- type field categorizes the section's contents and semantics. The present invention uses two values for sh.sub.-- type: SHT.sub.-- STRTAB and SHT.sub.-- DYNAMIC. If sh.sub.-- type has a value of 3 (SHT.sub.-- STRTAB), then the SHT entry describes a section that holds the Dynamic String Table 1150. If sh.sub.-- type has a value of 6 (SHT.sub.-- DYNAMIC), then the SHT entry describes a Class Section 1120. In addition, a value of 0 (SHT.sub.-- NULL) indicates an inactive entry that does not correspond to any section.
The sh.sub.-- flags field supplies 1-bit flags that describe miscellaneous attributes.
The sh.sub.-- addr field is not used in the present invention.
The sh.sub.-- offset field value gives the byte offset from the beginning of the file to the first byte in the section.
The sh.sub.-- size field gives the section's size in bytes.
The sh.sub.-- link and sh.sub.-- info fields are not used in the present invention.
The sh.sub.-- addralign field is used to indicate alignment requirements for the section.
The sh.sub.-- entsize field is used for sections that hold a table of fixed-size entries, such as a symbol table. For such a section, this field gives the size in bytes of each entry. The field contains 0 if the section does not hold a table of fixed-size entries. This field is not used in the present invention.
FIG. 10 depicts a procedure for creating a single executable file containing both Java.TM. class file contents and dynamic library location information, thereby permitting direct Java.TM. class execution without concern for file relationship correlation. The procedure of FIG. 10 is invoked in the same fashion and syntax as the procedure of FIG. 7, e.g.:
javald -C /opt/acme/lib-C lib -o foo progname
Execution begins in step 1010. In step 1020, the program initializes an ELF header 1110. In step 1030, the program initializes PHT 1120. In step 1040, the program creates Dynamic String Table 1150. This table is filled with the required string constants identifying the system class libraries 525 and user class libraries 527. In step 1050 the program creates Dynamic Section 1140 and fills it with pointers to the string table entries in Dynamic String Table 1150. In step 1060, the program reads in class file 330 and copies it into Class Section 1130. In step 1070, the program creates Section Header Table 1160 and initializes section header table entries describing Dynamic Section 1140 and Class Section 1130. Execution terminates in step 1090. At this point, a binary file in ELF format has been created that contains both the contents of the class file 330 and the data necessary to specify class libraries 525 and 527.
FIG. 12 depicts the execution of the binary ELF file of FIG. 11. The user types the name of binary file 1101. This file is read by UNIX kernel 910, which examines and interprets the contents of the file as described with respect to FIG. 11. Kernel 910 sets CLASSPATH 520 and JAVA.sub.-- HOME 530 according to the values stored in string table 1150 and pointed to by Dynamic Section 1140. Kernel 910 then passes the contents of Data Section 1130 to Java.TM. interpreter 510. The contents may be passed by any of a number of methods, including, for example through a UNIX pipe. Alternative methods include passing to the Java.TM. interpreter a file descriptor pointing to the offset of Class Section 1130 within binary file 1101, or to map Class Section 1130 into memory and pass the base address of the mapped memory location to the Java.TM. interpreter. Java.TM. interpreter 510 does not reference input class file 330 and instead obtains the Java.TM. class information from ELF file 1101 as supplied by kernel 910. The interpreter interrogates the environment variable 530 named "JAVA.sub.-- HOME" and thereby determines the name of the home directory 535 for the Java.TM. run-time system. Java.TM. interpreter also interrogates the "CLASSPATH" environment variable 520, thereby determining the names of various user class libraries 527 and system class libraries 525, which contain additional classes that may be invoked at run time. Alternatively, if the Java.TM. interpreter is invoked by passing to it the file descriptor or the base address of a mapped memory location, the Java.TM. interpreter may obtain the dependency information directly from the ELF file.
This third approach is particularly attractive in that it permits dynamic resolution of the CLASSNAME without imposing the duty of coordinating locations of the Java.TM. class file 330 and a script file. There is no script file, and in fact, Java.TM. class file may be deleted following the javald operation, because the class file is used only in the javald process and never referenced during execution.
While various embodiments of a preferred embodiment have been described above, it should be understood that they have been presented by way of example only, and not limitation. Thus, the breadth and scope of a preferred embodiment should not be limited by any of the above described exemplary embodiments, but should be defined only in accordance with the following claims and their equivalents.
Claims
  • 1. A method of executing an architecture-independent binary program on a computer, said method comprising the steps of:
  • (a) reading an object file containing object code;
  • (b) selecting a predetermined code portion of the object file;
  • (c) comparing the contents of a predetermined field within the code portion to a predetermined value to determine whether the object code is architecture-independent object code that requires interpretation; and
  • (d) if the object code requires interpretation, invoking an interpreter to interpret the object code.
  • 2. The method of claim 1, said method further comprising the steps of:
  • e) extracting dynamic dependency information from the object file; and
  • f) providing the dynamic dependency information to the interpreter.
  • 3. The method of claim 2 in which the object file comprises a data section and a dynamic section, said dynamic section identifying at least one library configured to provide additional object files to be executed by the interpreter.
  • 4. The method of claim 3 in which the object file further comprises a string table, said string table including one or more strings, each of said strings identifying a library.
  • 5. The method of claim 1 in which the object file is structured according to an industry-standard format.
  • 6. The method of claim 3 in which the object file is structured according to the ELF file format.
  • 7. The method of claim 1 in which the object file comprises a Java class file.
  • 8. An apparatus for executing an architecture-independent binary program on a computer, comprising:
  • a) at least one processor;
  • b) a storage with a plurality of code segments stored thereon which are utilized by the processor to perform various functions, comprising:
  • i) a first code segment which reads an object file containing object code;
  • ii) a second code segment which selects a predetermined code portion of the object file;
  • iii) a third code segment which compares the contents of a predetermined field within the code portion to a predetermined value and determines whether the object code is architecture-independent object code that requires interpretation; and
  • iv) a fourth code segment which interprets the object code if the object code requires interpretation.
  • 9. The apparatus of claim 8, said apparatus further comprising:
  • v) a fifth code segment utilized by the processor to extract dynamic dependency information from the object file; and
  • vi) a sixth code segment utilized by the processor to provide the dynamic dependency information to the interpreter.
  • 10. The apparatus of claim 9 wherein the object file comprises a data section and a dynamic section, said dynamic section identifying at least one library configured to provide additional object files to be executed by the interpreter.
  • 11. The apparatus of claim 10 in which the object file further comprises a string table, said string table including one or more strings, each of said strings identifying a library.
  • 12. The apparatus of claim 8 wherein the object file conforms to an industry-standard format.
  • 13. The apparatus of claim 12 wherein the object file conforms to the ELF file format.
  • 14. The apparatus of claim 8 in which the object file comprises a Java class file.
  • 15. A computer program product comprising a computer usable medium having computer readable code embodied therein for causing execution of an architecture-independent binary program on a computer, said computer program product comprising:
  • a) first software that reads an object file containing object code;
  • b) second software that selects a predetermined code portion of the object file;
  • c) third software that compares the contents of a predetermined field within the code portion to a predetermined value to determine whether the object code is architecture-independent object code that requires interpretation; and
  • d) fourth software that invokes an interpreter to interpret the object code if the object code requires interpretation.
  • 16. The computer program product of claim 15, said computer program product further comprising:
  • e) fifth software that extracts dynamic dependency information from the object file; and
  • f) sixth software that provides the dynamic dependency information to the interpreter.
  • 17. The computer program product of claim 16 wherein the object file comprises a data section and a dynamic section, said dynamic section identifying at least one library configured to provide additional object files to be executed by the interpreter.
  • 18. The computer program product of claim 17 wherein the object file further comprises a string table, said string table including one or more strings, each of said strings identifying a library.
  • 19. The computer program product of claim 15 wherein the object file conforms to an industry-standard format.
  • 20. The computer program product of claim 19 wherein the object file conforms to the ELF file format.
  • 21. The computer program product of claim 15 wherein the object file comprises a Java class file.
US Referenced Citations (7)
Number Name Date Kind
5335344 Hastings Aug 1994
5367685 Gosling Nov 1994
5381547 Flug et al. Jan 1995
5590331 Lewis et al. Dec 1996
5675801 Lindsey Oct 1997
5761513 Yellin et al. Jun 1998
5787431 Shaughnessy Jul 1998
Non-Patent Literature Citations (1)
Entry
Jason Steinhorn, "Compiling Java", Embedded Systems Programming, vol. 11, No. 10, pp. 42-56, Sep. 1998.