2013年10月29号下午，金海教授指导的博士生陈刚顺利通过博士学位论文答辩。
陈刚的博士学位论文“面向云计算的软件可用性机制研究”分析了云计算环境中软件可靠性的研究现状和存在的问题，针对云计算环境下存在多软件实例的情况，设计了SHelp系统，采用在多软件实例之间共享软件故障容忍信息来快速恢复故障，并提出带权值的营救点机制，结合错误虚拟化机制提高故障容忍的能力。针对软件容错正确性问题，论文提出访存虚拟化的概念，并设计了OPSafe系统，用以进一步提升内存故障容忍的有效性和安全性。针对软件危险期中的栈溢出漏洞修复问题，该论文提出一种被动式的软件栈缓冲区溢出漏洞修复机制，能够精确诊断引发栈溢出的“危险”栈缓冲区，并自动生成补丁进行修复。针对官方补丁发布后的补丁动态应用难题，该论文提出一种面向云计算的动态软件升级机制，采用多线程程序的立即更新方法以及针对特定漏洞补丁的细粒度代码更新方法，并通过分离软件开发者和普通用户在软件升级中各自的职责来扩充动态软件升级系统的适用范围。
此次答辩委员会由武汉大学计算机学院张焕国教授（主席）、华中科技大学计算机科学与技术学院李芝棠教授、宋恩民教授、鲁宏伟教授、吕志鹏教授组成。专家从不同侧面进行了提问，陈刚针对专家们提出的问题一一做了解答。
经过讨论，答辩委员会一致认为，陈刚的论文达到了工学博士学位论文水平，同意通过陈刚博士学位论文答辩，并建议授予其工学博士学位。
通讯员: 陈刚
