张英
- 作品数：12 被引量：19H指数：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编写的二进制应用中隐藏极深的错误。
- 李根卢凯张英卢锡城冯华张巍
- 关键词：重定向
- 一种基于改进模拟退火算法的程序性能优化参数搜索算法被引量：5
- 2015年
- 高级程序变换是提高程序性能的重要手段,很多涉及到优化参数的选择问题,如为循环分块选择适当的分块因子。由于优化参数搜索问题本身是NP难问题,目前尚没有确定性的算法可以有效解决该问题,针对于此,将该问题转化为一个非线性全局最优化问题,提出一种基于改进模拟退火算法的程序性能优化参数搜索算法,实验结果验证了算法的有效性。
- 陆平静李宝易任娇张英王绍刚庞征斌
- 关键词：程序性能优化模拟退火
- PIM:一种能有效缓解存储墙问题的技术
- 存储墙是当前体系结构设计所面临的一个重大挑战.在常规Processor-centric结构中,使用层次的存储系统,并采用了预取、推断、乱序执行和多线程等大量的方法来缓解存储墙的出现;但是这些技术会增加失效情况下存储器的访...
- 张英杨学军唐玉华唐滔
- 关键词：PIMDRAM
- 文献传递
- 科学计算在流处理器上的实现与优化
- 当前传统处理器体系结构已难以满足科学计算的需求.流体系结构适合计算密集型应用,其中媒体应用的适用性已得到验证,而科学计算的适用性仍在探索中.由于流处理器将体系结构细节暴露给程序员,而且相较于媒体程序,科学应用的数据访问方...
- 杨学军张英李根窦强庞征斌张俊
- 关键词：流处理器流编程模型
- 文献传递
- 面向二进制级高可信软件的高危整数溢出错误自动化精确测试与发掘技术
- 整数溢出错误是一类极其隐蔽的错误，经常能逃过高可信软件发布前严格测试并造成严重后果。本文提出了一种完全自动地二进制级整数溢出错误全面发掘方法(DAIDT，Dynamic AutomaticInteger-overflow...
- 卢锡城李根卢凯张英
- 关键词：自动化系统
- 文献传递
- 板级高速传输总线链路层关键技术研究与实现被引量：2
- 2011年
- 随着高性能服务器和超大规模计算机的发展,系统设计者对板上高速互连总线的要求越来越高,如何使芯片间的数据传输延迟更小,提高计算通信比是需要解决的重要问题。论文研究了近年来发展迅速的超传输总线和PCI Express总线的链路层的特点,在此基础上提出了一种64位高速总线链路层体系结构,并对其关键技术进行了研究,设计实现了一种能够每时钟周期对16位数据进行加解扰的加解扰器,以及能够纠正链路间最大5个时钟周期延迟偏斜的线间传输延迟偏斜纠正器,功能验证结果表明所提出的设计功能正确。
- 周宏伟陈超张丽霞张英李永进
- 关键词：传输总线链路层加解扰
- 一种支持混合预取策略的嵌入式微处理器指令Cache结构
- che技术是提高处理器性能的关键技术.指令流中存在的分支和跳转指令是影响Cache失效率的重要因素.给出了一种支持混合预取策略的高性能嵌入式微处理器指令Cache,解决了其中的一些关键技术并对该结构加以分析,结果表明,该...
- 张英岳虹杨学军唐玉华
- 关键词：高速缓冲存储器微处理器指令流硬件开销
- 片上多处理器中目录控制器的死锁避免设计
- 基于目录的Cache一致性协议在片上多处理器(Chip Multiprocessor,CMP)中被广泛采用,目录控制器是CMP中Cache一致性协议实现的关键部件。由于各种一致性事物必须要在目录控制器中串行集中处理,很容...
- 李永进周宏伟邓让钰张英潘国腾曾坤
- 关键词：多核处理器CACHE一致性监听
- 文献传递
- 面向高可信软件的整数溢出错误的自动化测试被引量：10
- 2010年
- 面向高可信软件提出了一种二进制级高危整数溢出错误的全自动测试方法(dynamic automatic integer-overflow detection and testing,简称DAIDT).该方法无需任何源码甚至是符号表支持,即可对二进制应用程序进行全面测试,并自动发现高危整数溢出错误.在理论上形式化证明了该技术对高危整数溢出错误测试与发掘的无漏报性、零误报性与错误可重现特性.为了验证该方法的有效性,实现了IntHunter原型系统.IntHunter对3个最新版本的高可信应用程序(微软公司Windows 2003和2000 Server的WINS服务、百度公司的即时通讯软件BaiDu Hi)分别进行了24小时测试,共发现了4个高危整数溢出错误.其中3个错误可导致任意代码执行,其中两个由微软安全响应中心分配漏洞编号CVE-2009-1923,CVE-2009-1924,另一个由百度公司分配漏洞编号CVE-2008-6444.
- 卢锡城李根卢凯张英
- 关键词：整数溢出污点分析
- 高性能动态虚拟盘阵系统结构被引量：1
- 2003年
- 尽管外存储设备的容量增加很快,但是仍无法满足用户应用程序的需要;性能上,外存储设备已成为计算机系统的瓶颈;在集群环境下,将分布式的外设构成一种动态虚拟存储系统能够较好地解决这个问题。通过很好地组织数据,动态存储系统能够随用户的需求而动态扩容和收缩,并且具有高并发性和高可靠性等特点。论文从当今的应用需求出发,分析了用户存储特点及提出动态虚拟盘阵存储系统的原理,介绍了动态虚拟盘阵存储的体系结构和特性。
- 刘军张英唐玉华王磊杨学军
- 关键词：集群
