第1章 虛擬機導論
1.1 計算機體係結構
1.2 虛擬機基礎
1.3 進程虛擬機
1.3.1 多道程序設計
1.3.2 仿真器和動態二進製翻譯器
1.3.3 相同ISA下的二進製優化器
1.3.4 高級語言虛擬機：平颱獨立性
1.4 係統虛擬機
1.4.1 係統虛擬機的實現
1.4.2 全係統虛擬機：仿真
1.4.3 協同設計虛擬機：硬件優化
1.5 一種分類方法
1.6 總結：虛擬機功能的多樣性
1.7 本書的其他部分
第2章 仿真：解釋和二進製翻譯
2.1 基本的解釋
2.2 綫索解釋
2.3 預譯碼和直接綫程解釋
2.3.1 基本的預譯碼
2.3.2 直接綫索解釋
2.4 解釋一個復雜的指令集
2.4.1 IA-32 ISA的解釋
2.4.2 綫索解釋
2.4.3 一個高性能IA-32解釋器
2.5 二進製翻譯
2.6 代碼發現和動態翻譯
2.6.1 代碼發現的問題
2.6.2 代碼定位問題
2.6.3 增量式預譯碼和翻譯
2.6.4 相同ISA仿真
2.7 控製轉移優化
2.7.1 翻譯鏈接
2.7.2 軟件間接跳轉預測
2.7.3 影子棧
2.8 指令集問題
2.8.1 寄存器結構
2.8.2 條件碼
2.8.3 數據格式和運算
2.8.4 內存地址解析
2.8.5 內存數據對齊
2.8.6 字節序
2.8.7 尋址結構
2.9 案例研究：SHADE和模擬過程中的仿真角色
2.10 總結：性能摺衷
第3章 進程虛擬機
3.1 虛擬機實現
3.2 兼容性
3.2.1 兼容性的級彆
3.2.2 一個兼容性框架
3.2.3 實現依賴
3.3 狀態映射
3.3.1 寄存器映射
3.3.2 內存地址空間映射
3.4 內存結構仿真
3.4.1 內存保護
3.4.2 自引用和自修改代碼
3.5 指令仿真
3.5.1 性能權衡
3.5.2 分階段的仿真
3.6 異常仿真
3.6.1 異常檢測
3.6.2 中斷處理
3.6.3 確定精確的客戶機狀態
3.7 操作係統仿真
3.7.1 相同操作係統仿真
3.7.2 不同操作係統仿真
3.8 代碼cache管理
3.8.1 代碼cache實現
3.8.2 替換算法
3.9 係統環境
3.10 案例研究：FX 1 32
3.11 總結
第4章 動態二進製優化
4.1 動態程序的行為
4.2 剖析
4.2.1 剖析的作用
4.2.2 剖析的類型
4.2.3 收集剖析
4.2.4 解釋期間的剖析
4.2.5 剖析翻譯後的代碼
4.2.6 剖析開銷
4.3 優化翻譯塊
4.3.1 提高局部性
4.3.2 蹤跡
4.3.3 超塊
4.3.4 動態超塊的形成
4.3.5 樹簇
4.4 優化框架
4.4.1 方法
4.4.2 優化和兼容性
4.4.3 一緻的寄存器映射
4.5 代碼重排
4.5.1 基元指令重排
4.5.2 實現一個調度算法
4.5.3 超塊與蹤跡
4.6 代碼優化
4.6.1 基本的優化
4.6.2 兼容性問題
4.6.3 超塊間的優化
4.6.4 特定指令集的優化
4.7 相同ISA優化係統：特殊的進程虛擬機
4.7.1 代碼修補
4.7.2 案例：HPDynamo
4.7.3 討論
4.8 總結
第5章 高級語言虛擬機結構
5.1Pascal P-code虛擬機
5.1.1 內存結構
5.1.2 指令集
5.1.3P-code總結
5.2 麵嚮對象高級語言虛擬機
5.2.1 安全和保護
5.2.2 健壯性——麵嚮對象編程
5.2.3 網絡
5.2.4 性能
5.3 Java虛擬機結構
5.3.1 數據類型
5.3.2 數據存儲
5.3.3Java指令集
5.3.4 異常和錯誤
5.3.5 二進製類
5.3.6Java本地接口
5.4 完善平颱：APIs
5.4.1Java平颱
5.4.2Java API
5.4.3 序列化和反射
5.4.4Java綫程
5.5 微軟公共語言基礎：一個靈活的高級語言虛擬機
5.5.1 公共語言接口
5.5.2 屬性
5.5.3 微軟中間語言
5.5.4 隔離和應用域
5.6 總結：虛擬ISA的特點
5.6.1 元數據
5.6.2 內存結構
5.6.3 內存地址格式
5.6.4 精確的異常
5.6.5 指令集特點
5.6.6 指令發現
5.6.7 自修改和自引用代碼
5.6.8 操作係統依賴
第6章 高級語言虛擬機實現
6.1 動態類加載
第7章 協同設計虛擬機
第8章 係統虛擬機
第9章 多處理器虛擬化
第10章 新興應用
附錄A 實際機器
參考文獻
索引
· · · · · · (收起)