国家重点基础研究发展计划(2005CB321801) 作品数:37 被引量:92 H指数:6 相关作者: 卢凯 卢锡城 彭宇行 李东升 赵金晶 更多>> 相关机构: 国防科学技术大学 武警成都指挥学院 并行与分布处理国防科技重点实验室 更多>> 发文基金: 国家重点基础研究发展计划 国家自然科学基金 国家高技术研究发展计划 更多>> 相关领域: 自动化与计算机技术 电子电信 更多>>
高效能计算机系统虚拟化技术研究 被引量:12 2010年 高效能计算机对系统的性能、安全性、可靠性和易用性等方面提出了更高的要求。虚拟机技术由于具有安全性好、配置和管理灵活等特点,已广泛应用于服务整合和安全管理等领域。但是,由于虚拟机技术在性能、管理和体系结构适用性等方面原因,在高性能并行计算机系统上尚未真正实用。我们提出了一种面向高性能并行计算机的虚拟化技术:高性能虚拟计算域(HPVZ)。HPVZ技术在保证系统性能的前提下,提供了具有用户独立可定制运行环境、服务质量管理、安全隔离和动态迁移的虚拟化高性能计算环境。测试表明,HPVZ在保证用户可以获得高性能计算机的原始计算能力的基础上,方便了用户使用,并改变了高性能计算机的传统使用模式。 卢凯 迟万庆 刘勇鹏 唐宏伟关键词:高效能计算机 操作系统 虚拟机技术 移动自组网安全路由协议性能分析 安全路由协议设计是移动自组网所面临的重大课题之一.针对移动自组网中3种典型的安全路由协议(ARAN,Ariadne,SEAD)进行了深入研究,对其性能与特点进行了细致的比较与分析.同时,在网络模拟器ns2中实现了上述协议... 赵宝康 欧嵬 黄清元 曾迎之 胡乔林 苏金树关键词:移动自组网 安全路由协议 性能模拟 性能分析 文献传递 基于HCM的可扩展路由器体系结构MER 2009年 本文提出了基于层次化协同模型的多维可扩展路由器MER。参考Open Router路由器模型,利用层次化协同模型实现了独立于数据层的控制平台CSP,奠定了开放控制的基础;基于功能插件和抽象插件构造了基于插件的路由器抽象层PRA,分离了控制与转发平面,支持路由器转发平面功能的动态扩展;并举例说明了MER中高效的网络应用控制路由选择机制,体现了直接控制原理,有助于设计更为复杂的控制策略。模拟结果表明,MER具有良好的扩展性,支持网络应用直接控制,为控制平面智能化奠定基础。 吕高锋 孙志刚 龚正虎 杨科基于硬件虚拟化技术的隐藏进程检测技术 被引量:2 2008年 随着越来越多的PC用户习惯于从互联网上下载和执行各类软件,潜在的自隐藏恶意代码已成为亟待解决的安全问题,而进程隐藏是这类恶意代码最常用也是最基本的规避检测的自隐藏技术。针对这个问题,提出了一种新的基于硬件虚拟化技术的隐藏进程检测技术——Libra。Libra通过构造一个轻量级的虚拟机监视器(libra virtualmachine monitor,LibraVMM)实现了从虚拟层隐式获取真实进程列表(true process list,TPL)的新技术。与已有的基于虚拟机技术的解决方案相比,Libra具有两个特色,即动态的操作系统迁移技术和不依赖于操作系统的隐式进程自省技术。测试结果证明了Libra检测隐藏进程的完整性,具有很好的实用性。 温研 赵金晶 王怀民关键词:虚拟机监视器 基于非结构化P2P技术的资源信息服务 2008年 因特网资源的"分布性"、"自治性"和"多样性"等自然特性给资源的有效共享和综合利用带来了巨大的挑战。本文基于非结构化P2P技术提出了一种虚拟计算环境(iVCE)中的可扩展资源信息服务(SRIS),并对SRIS的应用实例进行了模拟分析。 张一鸣 李东升 时向泉 王翠关键词:资源共享 资源信息服务 Hunter:一种指令集体系结构无关的二进制级动态测试用例生成技术 被引量:1 2011年 动态测试用例生成技术是一类新兴的软件测试技术。由于使用该类技术无需任何人工干预,也无需验证人员具备任何专业知识,同时该类技术能够无误地发现程序错误,越来越多的研究者采用该技术查找预发布的二进制级软件错误。然而,已有的该类技术及其实现系统不具有可重定向性,只能处理面向某种特定指令集体系结构(ISA)的二进制代码,进行测试用例的生成与查错。本文提出了一种全新的指令集体系结构无关的二进制级动态测试用例生成技术,以及实现该技术的系统Hunter。与已有的动态测试用例生成技术不同,Hunter具有极强的可重定向性,可对任何指令集体系结构的二进制代码进行查错,定向地为其生成指向不同执行路径的测试用例。Hunter定义了一套元指令集体系结构(MetaISA),将在二进制代码执行过程中收集到的所有执行信息映射为MetaISA,并对生成的MetaISA序列进行符号化执行、约束收集、约束求解以及测试用例生成,从而使整个过程与ISA无关。我们实现了Hunter,将其重定向至32位x86、PowerPC和Sparc ISA,并使用该系统为6个含有已知错误的测试程序查错。实验结果表明,由于MetaISA的引入,只需很小的开销,Hunter系统即可容易且有效地重定向至不同的ISA,并且Hunter能够有效地发现面向32位x86、PowerPC和Sparc ISA编写的二进制应用中隐藏极深的错误。 李根 卢凯 张英 卢锡城 冯华 张巍关键词:重定向 内存网格中的自主协同缓存技术研究 被引量:1 2008年 本文基于原有工作提出了利用内存网格进行磁盘缓存的技术,从而组织和共享网络上分布的空闲内存资源,提高具有大量磁盘IO的节点的系统性能;给出了一种基本设计方案,并提出了缓存节点的时间分布和空间合并等自主协同机制,进一步优化了系统性能;最后通过基于实际采集数据的模拟,对方案进行了评价。 褚瑞 谢健聪 肖侬 卢锡城关键词:分布式计算 内存网格 缓存管理 基于本地虚拟化技术的隐藏进程检测 被引量:2 2008年 自隐藏恶意代码已成为PC平台下急需解决的安全问题,进程隐藏则是这类恶意代码最常用和最基本的规避检测的自隐藏技术。针对这个问题,提出了一种新的基于本地虚拟化技术的隐藏进程检测技术——Gemini。基于该本地虚拟化技术,Gemini在本地化启动的虚拟机中(Local-Booted Virtual Machine)完整重现了宿主操作系统的运行环境,结合隐式的真实进程列表(TVPL)获取技术,Gemini实现了在虚拟机监视器(VMM)内检测宿主操作系统内隐藏进程的能力。测试结果证明了宿主计算环境重现的有效性与隐藏进程检测的完整性。 温研 赵金晶 王怀民关键词:虚拟机监视器 虚拟机 CACC:一种基于分簇的自适应网络坐标计算方法 针对Internet环境中采用基于坐标的方法预测网络节点间的距离问题,提出了一种基于分簇的自适应网络坐标计算方法CACC.首先,提出了E-Binning分簇算法,并在此基础上通过比较不同的地标选择策略,CACC采用了最优... 李小勇 王意洁关键词:网络坐标 覆盖网 拓扑感知 文献传递 基于复杂系统理论的域间路由系统演化模型CMV-HOT 被引量:1 2009年 对域间路由系统的基本问题能否找到有效而又彻底的解决方法,在很大程度上取决于对域间路由系统行为模型的准确刻画.随着Internet网络规模的扩展和应用的多样化,域间路由系统体现出复杂巨系统的特征.从复杂系统理论出发,研究了Internet域间路由系统中各个自治系统在其成长消亡过程中需要考虑的各种影响因素,基于HOT理论建立了域间路由系统的动态演化模型——CMV-HOT模型.CMV-HOT模型将自治系统分为核心层AS、传输层AS以及边缘层AS三类,通过对域间路由系统的内部规律和外在表现的分析,从复杂系统的角度对域间路由系统的演化过程进行模拟.通过与真实BGP路由表数据的比较,CMV-HOT模型在节点度分布、网络的平均路径长度以及聚集系数等关键参数上有很好的一致性.因此模型能同时满足幂率特性和小世界特性,在网络研究中具有极高的准确性和实用价值. 赵金晶 黄敏桓 朱培栋关键词:域间路由系统 复杂系统 小世界特性