虚拟科学:科学研究的第五范式

该文基于把世界划分为现实世界和虚拟现实世界,考虑虚拟现实技术、电子游戏、网络游戏在科研中的应用,并借鉴吉姆·格雷的四种研究范式的界定,提出"虚拟科学"或"虚实科学"、"游戏科学"作为科学研究的第五范式,并对这一新的研究范式的定义、要素、功能及其与其他范式的关系进行了初步探讨。虚拟科学的核心特点是使想象力成为受控的想象力、精确的想象力,实现对想象与情景的有效预测、控制和评价。指出虚拟科学具有平台性和通用性,与之结合可提升其他研究范式的能力与适用范围。强调虚拟科学的兴起是云科学革命的重要组成部分,并为迎接虚拟科学时代的到来提出政策建议。

基于X86架构的系统虚拟机技术与应用

介绍了基于X86的主流泛虚拟化(Paravirtualization)及完全虚拟化技术(Full-virtualization)尤其是芯片虚拟化技术的支持。描述了两个实现泛虚拟化技术的系统虚拟机Denali及XEN,阐述了完全虚拟化的发展现状,以及支持两种技术结合的解决方案,展望了虚拟机技术的发展前景及其应用。

基于Intel VT-x的XEN全虚拟化实现

由于X86体系结构对虚拟机支持的先天不足,基于此体系结构的虚拟机需要修改操作系统的源代码,称为泛虚拟化技术。泛虚拟化需要修改操作系统的源代码,故只能支持开源的操作系统,且这种虚拟机的实现也是比较困难的。为了解决这个问题,Intel公司提出了VT-x技术,该技术可以使虚拟机不需要修改操作系统的源代码,也就是所谓的全虚拟化技术,可以支持非开源的操作系统,且虚拟机的实现也比较简单。XEN是业界广泛看好的一款基于X86体系结构开源的虚拟机监视器,XEN 3.0开始实现了基于VT-x的全虚拟化技术,具有优越的性能和良好的体系结构。文中讨论了Intel的VT-x技术,并从CPU虚拟化、内存虚拟化和设备虚拟化三个方面介绍XEN实现全虚拟化的关键技术。

浅析计算机系统升级策略

简要介绍计算机技术飞速发展与企业应用功能更新相对滞后,计算机系统的升级策略。着重介绍了虚拟化技术在系统平台升级所带来的便利。