links to this page:
How to view the stack of invoked methods
Swiki Page List
Blue Book - Part Four
Last updated at 12:28 pm UTC on 20 December 2006
The links below point to the complete
content of part four
scanned and converted to HTML by
Dwight Hughes
and published on-line by permission.
Chapter 26: The Implementation
The Compiler
Compiled Methods
The Bytecodes
The Interpreter
Contexts
Block Contexts
Messages
Primitive Methods
The Object Memory
The Hardware
Chapter 27: Specification of the Virtual Machine
Form of the Specification
Object Memory Interface
Objects Used by the Interpreter
Compiled Methods
Contexts
Classes
Chapter 28: Formal Specification of the Interpreter
Stack Bytecodes
Jump Bytecodes
Send Bytecodes
Return Bytecodes
Chapter 29: Formal Specification of the Primitive Methods
Arithmetic Primitives
Array and Stream Primitives
Storage management Primitives
Control Primitives
Input/Output Primitives
System Primitives
Chapter 30: Formal Specification of the Object Memory
Heap Storage
Compaction
The Object Table
Object Pointers
Object Table Entries
Unallocated Space
Allocation and Deallocation
An Allocation Algorithm
A Deallocation Algorithm
A Compaction Algorithm
Garbage Collection
A Simple Reference-counting Collector
A Space-efficient Reference-counting Collector
A Marking Collector
Nonpointer Objects
Compiled Methods
Interface to the Bytecode Interpreter