Java虚拟机规范
Java SE 11 Edition
介绍
Java虚拟机的结构
- class文件格式
- 数据类型
- 原始类型和值
- 引用类型和值
- 运行时数据区
- 帧
- 对象的表示
- 浮点算术
- 特殊方法
- 异常
- 指令集汇总
- 类库
- 公有设计，私有实现
编译Java虚拟机
- 格式示例
- 使用常量、局部变量和控制结构
- 算术
- 访问运行时常量池
- 更多控制示例
- 接收参数
- 调用方法
- 使用类实例
- 数组
- 编译开关
- 操作数堆栈上的操作
- 抛出和处理异常
- 编译finally
- 同步
- 注解
- 模块
class文件格式
- ClassFile结构
- 名称
- 描述符
- 常量池
- 字段
- 方法
- 属性
- 格式检查
- Java虚拟机代码的约束
- class文件的验证
- Java虚拟机的局限性
加载、链接和初始化
- 运行时常量池
- Java虚拟机启动
- 创建和加载
- 链接
- 初始化
- 绑定原生方法实现
- Java虚拟机退出
Java虚拟机指令集
- 假设：“必须”的含义
- 保留的操作码
- 虚拟机错误
- 指令描述的格式
- 指令