Java虛擬機規範（目錄）

Java虛擬機規範

Java SE 12 Edition

介紹

• Java虛擬機介紹

Java虛擬機的結構

• class文件格式
• 數據類型
• 原始類型和值
• 引用類型和值
• 運行時數據區
• 幀
• 對象的表示
• 浮點算術
• 特殊方法
• 異常
• 指令集彙總
• 類庫
• 公有設計，私有實現

編譯Java虛擬機

• 格式示例
• 使用常量、局部變量和控制結構
• 算術
• 訪問運行時常量池
• 更多控制示例
• 接收參數
• 調用方法
• 使用類實例
• 數組
• 編譯開關
• 操做數堆棧上的操做
• 拋出和處理異常
• 編譯finally
• 同步
• 註解
• 模塊

class文件格式

• ClassFile結構
• 名稱
• 描述符
• 常量池
• 字段
• 方法
• 屬性
• 格式檢查
• Java虛擬機代碼的約束
• class文件的驗證
• Java虛擬機的侷限性

加載、連接和初始化

• 運行時常量池
• Java虛擬機啓動
• 建立和加載
• 連接
• 初始化
• 綁定原生方法實現
• Java虛擬機退出

Java虛擬機指令集

• 假設：「必須」的含義
• 保留的操做碼
• 虛擬機錯誤
• 指令描述的格式
• 指令

操做碼助記符