The Java? Virtual Machine Specification
Published on 3. October 1996
Book
Hardback
496 pages
978-0-201-63452-5 (ISBN)
Description
Second Edition now available! The nucleus of the Java programming language, the Java Virtual Machine is the technology responsible for Java's cross-platform delivery, the small size of its compiled code, and its security capabilities. Written by its designers and implementors, this book represents the complete and definitive specification for the Java Virtual Machine. It is an essential reference for compiler writers and Java Virtual Machine implementors. For all Java programmers, the book offers a unique and fascinating internal view of how Java really works. In this book, you will find comprehensive coverage of the Java Virtual Machine class file format and instruction set. In addition, directions for compiling for the Java Virtual Machine with numerous practical examples clarify how the Java Virtual Machine operates in practice. The book also demonstrates the Java Virtual Machine's powerful verification techniques. In all, the book provides sufficient detail to enable you to implement your own fully-compatible Java Virtual Machine. 020163452XB04062001
More details
Language
English
Place of publication
Boston
United States
Publishing group
Pearson Education (US)
Target group
College/higher education
Dimensions
Height: 231 mm
Width: 185 mm
Thickness: 27 mm
Weight
829 gr
ISBN-13
978-0-201-63452-5 (9780201634525)
Copyright in bibliographic data and cover images is held by Nielsen Book Services Limited or by the publishers or by their respective licensors: all rights reserved.
Schweitzer Classification
Other editions
New editions
Tim Lindholm | Frank Yellin
The Java? Virtual Machine Specification
Book
05/1999
2nd Edition
Addison Wesley
€38.37
Article exhausted; check for reprint
Persons
Tim Lindholm, Distinguished Engineer in Java Software at Sun Microsystems, Inc., was an original member of the Java project at Sun. He was a key contributor to the Java programming language and remains the senior architect of the Java virtual machine and the Java 2 runtime environment. He is also the Technical Editor of The Java(TM) Series.
Frank Yellin, Staff Engineer in Embedded and Consumer at Sun Microsystems, Inc., was an original member of the Java project at Sun. He has spent a decade working on the runtime systems for interpreted and compiled languages. Previously he worked at Lucid, where he focused on multitasking, garbage collection, interrupts, and the compilation of Common Lisp.
020163452XAB04062001
Frank Yellin, Staff Engineer in Embedded and Consumer at Sun Microsystems, Inc., was an original member of the Java project at Sun. He has spent a decade working on the runtime systems for interpreted and compiled languages. Previously he worked at Lucid, where he focused on multitasking, garbage collection, interrupts, and the compilation of Common Lisp.
020163452XAB04062001
Content
Preface.
1. Introduction.
2. Java Concepts.
Unicode.
Identifiers.
Literals.
Types and Values.
Variables.
Conversions and Promotions.
Names and Packages.
Classes.
Fields.
Methods.
Static Initializers.
Constructors.
Interfaces.
Arrays.
Exceptions.
Execution.
Threads.
3. Structure of the Java Virtual Machine
Data Types.
Primitive Types and Values.
Reference Types and Values.
Words.
Runtime Data Areas.
Frames.
Representation of Objects.
Special Initialization Methods.
Exceptions.
The class File Format.
Instruction Set Summary.
Public Design, Private Implementation.
4. The class File Format.
ClassFile.
Internal Form of Fully Qualified Class Names.
Descriptors.
Constant Pool.
Fields.
Methods.
Attributes.
Constraints on Java Virtual Machine Code.
Verification of class Files.
Limitations of the Java Virtual Machine and class File Format.
5. Constant Pool Resolution.
Class and Interface Resolution.
Field and Method Resolution.
Interface Method Resolution.
String Resolution.
Resolution of Other Constant Pool Items.
6. Java Virtual Machine Instruction Set.
Assumptions: The Meaning of "Must".
Reserved Opcodes.
Virtual Machine Errors.
The Java Virtual Machine Instruction Set.
7. Compiling for the Java Virtual Machine.
Format of Examples.
Use of Constants, Local Variables, and Control Constructs.
Arithmetic.
Accessing the Constant Pool.
More Control Examples.
Receiving Arguments.
Invoking Methods.
Working with Class Instances.
Arrays.
Compiling Switches.
Operations on the Operand Stack.
Throwing and Handling Exceptions.
Compiling finally.
Synchronization.
8. Threads and Locks.
Terminology and Framework.
Execution Order and Consistency.
Rules About Variables.
Nonatomic Treatment of Double and Long Variables.
Rules About Locks.
Rules About the Interaction of Locks and Variables.
Rules for Volatile Variables.
Prescient Store Operations.
Discussion.
Example: Possible Swap.
Example: Out-of-Order Writes.
Threads.
Locks and Synchronization.
Wait Sets and Notification.
9. An Optimization.
Dynamic Linking via Rewriting.
The _quick Pseudo-instructions.
10. Opcode Mnemonics by Opcode.
Index. 020163452XT04062001
1. Introduction.
2. Java Concepts.
Unicode.
Identifiers.
Literals.
Types and Values.
Variables.
Conversions and Promotions.
Names and Packages.
Classes.
Fields.
Methods.
Static Initializers.
Constructors.
Interfaces.
Arrays.
Exceptions.
Execution.
Threads.
3. Structure of the Java Virtual Machine
Data Types.
Primitive Types and Values.
Reference Types and Values.
Words.
Runtime Data Areas.
Frames.
Representation of Objects.
Special Initialization Methods.
Exceptions.
The class File Format.
Instruction Set Summary.
Public Design, Private Implementation.
4. The class File Format.
ClassFile.
Internal Form of Fully Qualified Class Names.
Descriptors.
Constant Pool.
Fields.
Methods.
Attributes.
Constraints on Java Virtual Machine Code.
Verification of class Files.
Limitations of the Java Virtual Machine and class File Format.
5. Constant Pool Resolution.
Class and Interface Resolution.
Field and Method Resolution.
Interface Method Resolution.
String Resolution.
Resolution of Other Constant Pool Items.
6. Java Virtual Machine Instruction Set.
Assumptions: The Meaning of "Must".
Reserved Opcodes.
Virtual Machine Errors.
The Java Virtual Machine Instruction Set.
7. Compiling for the Java Virtual Machine.
Format of Examples.
Use of Constants, Local Variables, and Control Constructs.
Arithmetic.
Accessing the Constant Pool.
More Control Examples.
Receiving Arguments.
Invoking Methods.
Working with Class Instances.
Arrays.
Compiling Switches.
Operations on the Operand Stack.
Throwing and Handling Exceptions.
Compiling finally.
Synchronization.
8. Threads and Locks.
Terminology and Framework.
Execution Order and Consistency.
Rules About Variables.
Nonatomic Treatment of Double and Long Variables.
Rules About Locks.
Rules About the Interaction of Locks and Variables.
Rules for Volatile Variables.
Prescient Store Operations.
Discussion.
Example: Possible Swap.
Example: Out-of-Order Writes.
Threads.
Locks and Synchronization.
Wait Sets and Notification.
9. An Optimization.
Dynamic Linking via Rewriting.
The _quick Pseudo-instructions.
10. Opcode Mnemonics by Opcode.
Index. 020163452XT04062001