Java虚拟机规范

Java SE 11 EdITion

介绍

• Java虚拟机介绍

Java虚拟机的结构

• class文件格式
• 数据类型
• 原始类型和值
• 引用类型和值
• 运行时数据区
• 帧
• 对象的表示
• 浮点算术
• 特殊方法
• 异常
• 指令集汇总
• 类库
• 公有设计，私有实现

编译Java虚拟机

• 格式示例
• 使用常量、局部变量和控制结构
• 算术
• 访问运行时常量池
• 更多控制示例
• 接收参数
• 调用方法
• 使用类实例
• 数组
• 编译开关
• 操作数堆栈上的操作
• 抛出和处理异常
• 编译finally
• 同步
• 注解
• 模块

class文件格式

• ClassFile结构
• 名称
• 描述符
• 常量池
• 字段
• 方法
• 属性
• 格式检查
• Java虚拟机代码的约束
• class文件的验证
• Java虚拟机的局限性

加载、链接和初始化

• 运行时常量池
• Java虚拟机启动
• 创建和加载
• 链接
• 初始化
• 绑定原生方法实现
• Java虚拟机退出

Java虚拟机指令集

• 假设：“必须”的含义
• 保留的操作码
• 虚拟机错误
• 指令描述的格式
• 指令

操作码助记符