虚拟机: 系统与进程的通用平台

封面\n书名\n版权\n前言\n目录\n第1章  虚拟机导论\n1.1计算机体系结构\n1.2虚拟机基础\n1.3进程虚拟机\n1.3.1多道程序设计\n1.3.2仿真器和动态二进制翻译器\n1.3.3相同-ISA下的二进制优化器\n1.3.4高级语言虚拟机：平台独立性\n1.4系统虚拟机\n1.4.1系统虚拟机的实现\n1.4.2全系统虚拟机：仿真\n1.4.3协同设计虚拟机：硬件优化\n1.5一种分类方法\n1.6总结：虚拟机功能的多样性\n1.7本书的其他部分\n第2章  仿真：解释和二进制翻译\n2.1基本的解释\n2.2线索解释\n2.3预译码和直接线索解释\n2.3.1基本的预译码\n2.3.2直接线索解释\n2.4解释一个复杂的指令集\n2.4.1  IA-32 ISA的解释\n2.4.2线索解释\n2.4.3一个高性能IA-32解释器\n2.5二进制翻译\n2.6代码发现和动态翻译\n2.6.1代码发现的问题\n2.6.2代码定位问题\n2.6.3增量式预译码和翻译\n2.6.4相同-ISA仿真\n2.7控制转移优化\n2.7.1翻译链接\n2.7.2软件间接跳转预测\n2.7.3影子栈\n2.8指令集问题\n2.8.1寄存器结构\n2.8.2条件码\n2.8.3数据格式和运算\n2.8.4内存地址解析\n2.8.5内存数据对齐\n2.8.6字节序\n2.8.7寻址结构\n2.9案例研究：Shade和模拟过程中的仿真角色\n2.10总结：性能折中\n第3章  进程虚拟机\n3.1虚拟机实现\n3.2兼容性\n3.2.1兼容性的级别\n3.2.2一个兼容性框架\n3.2.3实现依赖\n3.3状态映射\n3.3.1寄存器映射\n3.3.2内存地址空间映射\n3.4内存结构仿真\n3.4.1内存保护\n3.4.2自引用和自修改代码\n3.5指令仿真\n3.5.1性能权衡\n3.5.2分阶段的仿真\n3.6例外仿真\n3.6.1例外检测\n3.6.2中断处理\n3.6.3确定精确的客户机状态\n3.7操作系统仿真\n3.7.1相同操作系统仿真\n3.7.2不同操作系统仿真\n3.8代码cache管理\n3.8.1代码cache实现\n3.8.2替换算法\n3.9系统环境\n3.10案例研究：FX！32\n3.11总结\n第4章  动态二进制优化\n4.1动态程序的行为\n4.2剖析\n4.2.1剖析的作用\n4.2.2剖析的类型\n4.2.3收集剖析\n4.2.4解释期间的剖析\n4.2.5剖析翻译后的代码\n4.2.6剖析开销\n4.3优化翻译块\n4.3.1提高局部性\n4.3.2踪迹\n4.3.3超块\n4.3.4动态超块的形成\n4.3.5树簇\n4.4优化框架\n4.4.1方法\n4.4.2优化和兼容性\n4.4.3一致的寄存器映射\n4.5代码重排\n4.5.1基元指令重排\n4.5.2实现一个调度算法\n4.5.3超块与踪迹\n4.6代码优化\n4.6.1基本的优化\n4.6.2兼容性问题\n4.6.3超块间的优化\n4.6.4特定指令集的优化\n4.7相同-ISA优化系统：特殊的进程虚拟机\n4.7.1代码修补\n4.7.2案例：HP Dynamo\n4.7.3讨论\n4.8总结\n第5章  高级语言虚拟机结构\n5.1 Pascal P-code虚拟机\n5.1.1内存结构\n5.1.2指令集\n5.1.3 P-code总结\n5.2面向对象高级语言虚拟机\n5.2.1安全和保护\n5.2.2健壮性——面向对象编程\n5.2.3网络\n5.2.4性能\n5.3 Java虚拟机结构\n5.3.1数据类型\n5.3.2数据存储\n5.3.3Java指令集\n5.3.4异常和错误\n5.3.5二进制类\n5.3.6 Java本地接口\n5.4完善平台：APIs\n5.4.1 Java平台\n5.4.2 Java API\n5.4.3序列化和反射\n5.4.4 Java线程\n5.5微软公共语言基础：一个灵活的高级语言虚拟机\n5.5.1公共语言接口\n5.5.2属性\n5.5.3微软中间语言\n5.5.4隔离和应用域\n5.6总结：虚拟ISA的特点\n5.6.1元数据\n5.6.2内存结构\n5.6.3内存地址格式\n5.6.4精确的异常\n5.6.5指令集特点\n5.6.6指令发现\n5.6.7自修改和自引用代码\n5.6.8操作系统依赖\n第6章  高级语言虚拟机实现\n6.1动态类加载\n6.2实现安全\n6.2.1进程内保护\n6.2.2安全强制执行\n6.2.3增强的安全模型\n6.3垃圾收集\n6.3.1标记清扫收集器\n6.3.2紧压收集器\n6.3.3复制收集器\n6.3.4分代收集器\n6.3.5增量收集器和并发收集器\n6.3.6发现根集\n6.3.7垃圾收集小结\n6.4Java本地接口\n6.5基本仿真\n6.6高性能仿真\n6.6.1优化框架\n6.6.2优化\n6.7案例研究：Jikes RVM\n6.8总结\n第7章  协同设计虚拟机\n7.1存储器和寄存器的状态映射\n7.2自修改与自引用代码\n7.3代码cache的支持\n7.3.1跳转TLB\n7.3.2双地址的返回地址栈\n7.4实现精确陷阱\n7.4.1检查点的硬件支持\n7.4.2页错误兼容性\n7.5输入/输出\n7.6协同设计虚拟机的应用\n7.7案例研究：Transmeta Crusoe\n7.8案例研究：IBM AS/400\n7.8.1存储结构\n7.8.2指令集\n7.8.3输入/输出\n7.8.4处理器资源\n7.8.5代码翻译和隐藏\n7.9总结\n第8章  系统虚拟机\n8.1关键概念\n8.1.1外观\n8.1.2状态管理\n8.1.3资源控制\n8.1.4本地虚拟机和宿主虚拟机\n8.1.5 IBM VM/370\n8.2资源虚拟化——处理器\n8.2.1 ISA的虚拟化条件\n8.2.2递归虚拟化\n8.2.3处理问题指令\n8.2.4关键指令的修补\n8.2.5高速缓存仿真代码\n8.2.6普通指令集的高效虚拟化\n8.3资源虚拟化——存储器\n8.3.1系统虚拟机环境中的虚拟存储器支持\n8.3.2虚拟化结构化页表\n8.3.3虚拟化结构化快表\n8.4资源虚拟化——输入/输出设备\n8.4.1虚拟化设备\n8.4.2虚拟化I/O活动\n8.4.3输入/输出虚拟化和宿主虚拟机\n8.4.4 VM/370的输入/输出虚拟化\n8.5系统虚拟机的性能提升方法\n8.5.1性能下降的原因\n8.5.2指令仿真辅助手段\n8.5.3VMM辅助手段\n8.5.4客户系统的性能提升\n8.5.5专用系统\n8.5.6虚拟机的通用支持\n8.6案例研究：VMware虚拟平台\n8.6.1处理器虚拟化\n8.6.2输入/输出虚拟化\n8.6.3存储器虚拟化\n8.7案例研究：Intel的VT-X（Vanderpoo1）技术\n8.7.1技术概述\n8.7.2技术能力\n8.7.3状态信息的维护\n8.7.4例子：rdtsc指令\n8.8总结\n第9章  多处理器虚拟化\n9.1多处理器系统的划分\n9.1.1动机\n9.1.2支持划分的机制\n9.1.3划分技术的分类\n9.2物理划分\n9.3逻辑划分\n9.3.1逻辑划分的主要特征\n9.3.2案例研究：IBM System 390逻辑划分的特征\n9.3.3利用超级管理程序进行逻辑划分\n9.3.4与系统虚拟机的比较\n9.3.5对逻辑分区的硬件支持\n9.3.6超级管理程序服务接口\n9.3.7动态划分\n9.3.8动态LPAR\n9.3.9扩充超级管理程序的任务\n9.4案例研究：Cellular Disco系统虚拟机——基于划分技术\n9.4.1Cellular Disco系统概述\n9.4.2存储器映射\n9.4.3故障隔离\n9.4.4存储器借用\n9.4.5故障恢复\n9.5不同主机与客户ISA的虚拟化\n9.6总结\n第10章  新兴应用\n10.1安全\n10.1.1入侵检测系统\n10.1.2攻击的监视和恢复\n10.1.3虚拟机技术的作用\n10.1.4动态二进制代码重写在安全性中的角色\n10.1.5未来的安全系统\n10.2计算环境的迁移\n10.2.1虚拟计算机\n10.2.2利用分布式文件系统：互联网络挂起/恢复模式\n10.2.3Stanford Co1lective的状态封装\n10.2.4在VMotion下迁移虚拟机\n10.3网格：虚拟的组织结构\n10.3.1理想网格的特性\n10.3.2网格计算模型仿真：Globus工具集\n10.3.3比较传统虚拟机\n10.3.4回到原地：在传统虚拟机系统上实现网格\n10.3.5结论\n10.4总结\n附录A  实际机器\n参考文献\n索引