7月23日，“计算系统虚拟化基础理论与方法研究”973项目第六次研讨会在湖北宜昌召开。项目责任专家何新贵院士、钱华林研究员、马建峰教授到会听取工作汇报，专家组专家郑纬民教授、李晓明教授、王志英教授到会指导工作，首席科学家金海教授主持会议。

　　本次研讨会由华中科技大学计算机学院“服务计算技术与系统教育部重点实验室”暨“集群与网格计算湖北省重点实验室”主办，各课题组的研究人员和技术骨干50余人参加了会议。会上各课题组汇报了项目研究的最新进展，总结了项目启动以来的研究工作。

　　国防科技大学的沈立老师详细讲述了课题一的进展情况。他们完成了用户级动态二进制翻译系统（ULDBT）原型，确定了DBTIM动态二进制翻译系统的框架，搭建了多核模拟环境并研究串行应用的动态多线程化技术，同时对面向高效透明虚拟化的处理器体系结构优化设计方法进行了研究。

　　北京大学的肖臻老师介绍了课题二负责的虚拟机总体设计、虚拟机实现等方面的进展。课题二在虚拟机内存管理、虚拟机整机迁移、动态虚拟集群系统、热点探测和转换方面取得了可喜进展。

　　清华大学的陈康老师报告了课题三的研究进展。课题三实现了一个基于虚拟机的集群管理系统和一个按需定制使用环境的虚拟化系统。

　　华中科技大学的廖小飞老师报告了课题四的研究进展。课题四初步实现了一个多平台共享的虚拟桌面系统和一个多环境切换的虚拟用户系统，并对其中的关键算法和问题进行了研究；来自课题四的子课题承担单位湖南大学的研究生石林报告了GPU虚拟化的研究进展。

　　上海交通大学的翁楚良老师报告了课题五的研究进展，主要体现在两个方面：首先，提出了单物理机上的虚拟化安全可信模型；其次，完成了该模型的详细设计，正在实现单物理机的虚拟化安全可信模块。

　　浙江大学的博士生车建华报告了课题六的研究进展。课题六完成了对现有基准测试程序的研究，并开发了一个测试任务部署工具——vTestKit；来自课题六的子课题承担单位杭州电子科技大学的李运发老师讲述了他们对虚拟化环境下网络性能测量方法的研究。

　　江南计算技术研究所的沈金祥工程师报告了课题七的研究进展。课题七完成了适合高性能计算的VMM的总体设计和部分模块的详细设计，并在实验平台上完成了多个功能实验，例如VCPU切换、内存虚拟化、VMM、guest OS之间的状态切换和Hypercall的调用流程等。

　　航天二院的博士生张雅彬报告了课题八的研究进展，详细阐述了虚拟化技术在仿真系统中的应用和困难。

　　会议期间，项目责任专家何新贵院士、钱华林研究员和马建峰教授分别对每个课题组所做的工作进行了点评。各位专家不仅从宏观上给予指导，同时对许多技术细节进行了询问和指导，提出项目不仅应注重实际问题的解决，而且应加强理论方法的研究。此外，项目组研究人员之间展开了深入的讨论和交流。

　　最后，项目首席科学家金海教授对本此研讨会进行了总结。他指出，在关注系统原型的同时，应重视973项目的定位，即应更关注科学问题的解决；各课题组要首先完成课题任务书中规定的内容，课题组之间应进一步加强合作。

　　此次会议为各课题组提供了交流的平台，加强了课题组之间的协作，使各课题组明确了下一步的方向，有利于项目研究工作更好的开展。

　　下一次研讨会将于9月19日在长沙国防科技大学召开。

合影