李根
- 作品数：39 被引量：26H指数：3
- 供职机构：国防科学技术大学更多>>
- 发文基金：国家重点基础研究发展计划国家自然科学基金国家高技术研究发展计划更多>>
- 相关领域：自动化与计算机技术理学一般工业技术化学工程更多>>
- 面向多虚拟域可定制的PCIe外设设备树生成方法
- 本发明公开了一种面向多虚拟域可定制的PCIe外设设备树生成方法，其实施步骤如下：1）配置设备访问权限，指定服务虚拟域；2）服务虚拟域执行步骤3）；普通虚拟域当VMM中存在设备树数据时执行步骤6）；3）服务虚拟域扫描生成设...
- 王小平樊葆华卢凯冯华蒋杰刘勇鹏唐宏伟王睿伯李根高颖慧迟万庆
- 文献传递
- 科学计算在流处理器上的实现与优化
- 当前传统处理器体系结构已难以满足科学计算的需求.流体系结构适合计算密集型应用,其中媒体应用的适用性已得到验证,而科学计算的适用性仍在探索中.由于流处理器将体系结构细节暴露给程序员,而且相较于媒体程序,科学应用的数据访问方...
- 杨学军张英李根窦强庞征斌张俊
- 关键词：流处理器流编程模型
- 文献传递
- 面向二进制级高可信软件的高危整数溢出错误自动化精确测试与发掘技术
- 整数溢出错误是一类极其隐蔽的错误，经常能逃过高可信软件发布前严格测试并造成严重后果。本文提出了一种完全自动地二进制级整数溢出错误全面发掘方法(DAIDT，Dynamic AutomaticInteger-overflow...
- 卢锡城李根卢凯张英
- 关键词：自动化系统
- 文献传递
- 晶须及短切纤维增强反应烧结SiC-Si3N4基复合材料工艺研究
- 纤维增强陶瓷基复合材料具有高比强度、高比模量、耐高温、耐辐射等优异性能，在航空航天、国防军工、核能等领域拥有广阔的应用前景。目前主要采用连续纤维作为陶瓷基复合材料的增强体，但较高的制备成本和较长的制备周期制约着连续纤维增...
- 李根
- 关键词：陶瓷基复合材料反应烧结法纤维增强碳化硅晶须
- 基于场景的处理器系统级验证完备性度量方法
- 本发明公开了一种基于场景的处理器系统级验证完备性度量方法，其实施步骤如下：1)根据处理器的应用领域构造典型应用场景；2)针对每一个应用场景，构造场景测试环境，使用场景测试用例对处理器进行测试，根据测试完成情况生成场景信度...
- 冯华唐遇星唐宏伟迟万庆卢凯蒋杰刘勇鹏王睿伯王小平高颖慧樊葆华李根
- 文献传递
- 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编写的二进制应用中隐藏极深的错误。
- 李根卢凯张英卢锡城冯华张巍
- 关键词：重定向
- FSMC:一个全系统垃圾收集器的设计与实现
- 随着普适计算的普及,Java语言的安全性和平台无关性使Java操作系统成为研究的热点.由于Java语言本身的需求,Java操作系统必须引入垃圾收集机制负责全系统垃圾对象的回收,这就要求垃圾收集器同时具有吞吐量高和实时性强...
- 李旭卢凯李根周旭
- 文献传递
- 用户指导的多层混合检查点技术及性能优化被引量：3
- 2008年
- 检查点机制是一种典型有效的软件容错技术。在对现有检查点实现技术综合研究的基础上,设计了一个用户指导的多层混合检查点模型uHybcr,并在IA64 Linux系统中予以实现。最后,通过对比测试对引入用户指导机制所带来的性能优化进行了验证。
- 刘勇鹏王小平李根
- 关键词：IA64
- 垃圾收集追踪算法E-Merlin的设计和实现
- C＃、Java等支持自动内存管理的面向对象程序设计语言需要高效的垃圾收集算法。新型垃圾收集算法已经将虚存管理器和垃圾收集器结合起来。新型垃圾收集算法的设计需要研究人员通过对垃圾收集进行追踪,掌握应用程序中对象的大小、生命...
- 范开利卢凯李根李旭
- 关键词：垃圾收集内存管理系统
- 文献传递
- 用于大规模计算阵列操作系统的网络路由配置方法
- 本发明公开了一种用于大规模计算阵列操作系统的网络路由配置方法，其实施步骤如下：1）服务结点准备操作系统内核和操作系统映像，将各个计算结点的路由表文件对应计算结点的网络ID使用单调递增的连续数字进行命名，根据预设的固定间隔...
- 卢凯迟万庆冯华蒋杰唐宏伟樊葆华王睿伯李根王小平高颖慧刘勇鹏
- 文献传递
