李丰
- 作品数：34 被引量：71H指数：4
- 供职机构：华为技术有限公司更多>>
- 发文基金：国家高技术研究发展计划国家自然科学基金创新研究群体科学基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 一种计算机软件白盒测试的实现方法及系统
- 本发明涉及一种计算机软件白盒测试的实现方法及系统。该实现方法包括：步骤1，求解判定布尔表达式中各个条件的独立对；步骤2，基于各个条件对应的独立对求解判定最小独立对集合，求解判定出的最小独立对集合构成参考用例集合；步骤3，...
- 陈聪明李丰冯晓兵霍玮
- 一种提高时序安全属性静态检测实用性的方法被引量：2
- 2012年
- 程序时序安全属性可以用有限状态自动机(FSM)来描述,对该属性的静态检测是当前研究的热点之一.该文提出了FSM切片技术,以需求驱动的模式抽取出关于时序安全属性等价的程序切片.该切片使检测规模减小、程序结构简化,因而减小了检测中组合爆炸情形出现的机会,最终使时序安全属性的静态检测在准确性和可伸缩性上都得到了提高.实验表明,FSM切片可以使Saturn的可伸缩性平均提高到原来的6.34倍,使Fastcheck的准确性平均提高到原来的1.20倍.
- 霍玮李丰丁兆伟桑春雷张兆庆冯晓兵
- 关键词：有限状态自动机切片技术
- 污点分析技术的原理和实践应用被引量：46
- 2017年
- 信息流分析可以有效保证计算机系统中信息的保密性和完整性,污点分析作为其实践,被广泛用于软件系统的安全保障技术领域.对近些年来面向解决应用程序安全问题的污点分析技术进行综述:首先,总结了污点分析的基本原理以及在应用中的通用技术,即,使用动态和静态的方法解决污点传播;随后,分析该技术在移动终端、互联网平台上的应用过程中遇到的问题和解决方案,包括解决Android应用隐私泄露与检测Web系统安全漏洞的污点分析技术;最后,展望该技术的研究前景和发展趋势.
- 王蕾李丰李炼冯晓兵
- 关键词：污点分析信息流分析ANDROIDWEB
- 异构数据中心中自适应编程环境技术的研究与应用
- 冯晓兵赵家程崔慧敏刘颖王蕾吕方陈莉唐生林霍玮李丰衷璐
- 随着云计算、互联网与物联网技术的快速发展，数据中心已经成为核心的计算和服务提供方。而伴随着大数据处理、高通量计算、人工智能等多样化应用在数据中心的广泛部署，传统的通用处理器难以满足来自于应用的性能、功能、延迟的多维度需求...
- 关键词：
- 关键词：数据处理方法
- 一种场景敏感的高效错误检测方法被引量：2
- 2014年
- 定值-引用类错误是一类非常重要且常见的错误.当前,对这类错误的检测很难同时达到高精度和高可扩展性.通过合理组合敏感和不敏感的检测方法并控制两类方法的实施范围,可以同时达到高检测精度和高可扩展性.提出一种新颖的场景敏感的检测方法,该方法根据触发状态对潜在错误语句分类,识别不同类别语句的触发场景并实施不同开销的检测,在不降低精度的同时最小化检测开销.设计了一个多项式时间复杂度的流敏感、域敏感和上下文敏感的场景分析以进行分类,并基于程序依赖信息识别触发场景,仅对必要的触发场景实施路径敏感的检测.为上述方法实现了一种原型系统——Minerva.通过使用空指针引用错误检测为实例研究以及总代码规模超过290万行,最大单个应用超过200万行的应用验证,用例实验结果表明,Minerva的平均检测时间比当前先进水平的路径敏感检测工具Clang-sa和Saturn分别快3倍和46倍.而Minerva的误报率仅为24%,是Clang-sa和Saturn误报率的1/3左右,并且Minerva未发现漏报已知错误.上述数据表明,所提出的场景敏感的错误检测方法可同时获得高可扩展性和高检测精度.
- 衷璐洁霍玮李龙李丰冯晓兵张兆庆
- 面向CCMP的性能感知的公平调度算法
- 构多核处理器根据程序的行为特征实时地调整核的数目和大小,从而带来巨大的性能和能效优化空间.在重构计算资源以满足不同任务需求的同时,确保和优先级一致的性能(公平性)给现有的操作系统调度带来了机遇和挑战.本文在原有的基于时间...
- 高晓川安虹邱晓杰王涛陈志韬李丰
- 关键词：公平调度算法
- 批量数据查询方法和装置
- 本发明实施例提供一种批量数据查询方法和装置，数据查询服务器接根据N条查询语句中的操作符和操作数确定N条查询语句的操作数的符号标识，符号标识包括操作数的版本号，然后根据N条查询语句的操作数的版本号确定N条查询语句之间的依赖...
- 李丰张赟王蕾冯晓兵
- 文献传递
- 商用处理器上针对能耗优化的DVFS调节机制
- 2017年
- 针对动态电压频率调节(DVFS)对应用程序运行时性能与功耗的影响,基于区间划分方法,使用现有商用处理器提供的性能监测单元,提出一种考虑访存延迟变化的DVFS性能预测模型,并利用该模型实现针对能耗优化的DVFS调节机制(eDVFS)。实验结果表明,与Linux内核提供的ondemand调节策略相比,该eDVFS调节机制能够获得最大23%、平均6.85%的能耗优化。
- 陈志韬安虹邱晓杰李丰陈俊仕
- 关键词：能耗优化
- 批量数据查询方法和装置
- 本发明实施例提供一种批量数据查询方法和装置，通过获取多条查询语句对应的多棵逻辑查询计划树，根据每棵逻辑查询计划树的各操作符将多棵逻辑查询计划树划分为多个查询组，每个查询组中的逻辑查询计划树之间具有下述关系：查询间写读依赖...
- 李丰王蕾张赟冯晓兵
- 文献传递
- 基于Intel Xeon Phi的稀疏矩阵向量乘性能优化被引量：1
- 2016年
- 稀疏矩阵向量乘(Sp MV)是线性求解系统等科学计算中重要的计算核心.鉴于传统的稀疏矩阵向量乘算法在Intel Xeon Phi众核集成架构上存在SIM D利用率低,不规则访存开销高及负载不均衡的问题,难以发挥其运算能力.本文针对Intel Xeon Phi的体系结构特点,提出了一种通用的分块压缩存储表示的稀疏矩阵向量乘并行算法:(1)在ELLPACK存储格式基础上按列分块及压缩矩阵,增加非零元的密度,提高SIMD利用率;(2)通过精心的数据重排,保留矩阵非零元本身的局部性,从而提高数据重用率,降低访存开销;(3)将矩阵压缩后划分成近似等大的矩阵块并静态等量分配到不同核上计算,使各核负载均衡.实验结果表明,与Intel Xeon Phi上已有的MKL数学库中的CSR算法相比,本算法获得了更高的计算访存比,性能比M KL的CSR算法平均快2.05倍.
- 张爱民安虹姚文军梁伟浩江霞李丰
- 关键词：稀疏矩阵向量乘INTELXEONPHI
