桑春雷
- 作品数：5 被引量：4H指数：1
- 供职机构：中国科学院计算技术研究所更多>>
- 发文基金：国家自然科学基金国家重点基础研究发展计划国家高技术研究发展计划更多>>
- 相关领域：自动化与计算机技术自然科学总论更多>>
- 一种提高时序安全属性静态检测实用性的方法被引量：2
- 2012年
- 程序时序安全属性可以用有限状态自动机(FSM)来描述,对该属性的静态检测是当前研究的热点之一.该文提出了FSM切片技术,以需求驱动的模式抽取出关于时序安全属性等价的程序切片.该切片使检测规模减小、程序结构简化,因而减小了检测中组合爆炸情形出现的机会,最终使时序安全属性的静态检测在准确性和可伸缩性上都得到了提高.实验表明,FSM切片可以使Saturn的可伸缩性平均提高到原来的6.34倍,使Fastcheck的准确性平均提高到原来的1.20倍.
- 霍玮李丰丁兆伟桑春雷张兆庆冯晓兵
- 关键词：有限状态自动机切片技术
- 别名集切片与并行化研究被引量：1
- 2011年
- 针对复杂程序的分析问题,提出基于别名集切片的切片级并行技术与并行程序分析技术。利用传统分析算法,在每个切片上并行地进行复杂程序分析,从而实现复杂程序分析的并行化,加快复杂程序分析速度。以SPEC CPU2000/CPU2006中的部分C程序为测试用例进行实验,结果表明,利用别名集切片技术可在4个进程并行情况下,获得3.42的加速比。
- 桑春雷张兆庆
- 关键词：切片技术别名分析
- 并行程序设计环境关键技术
- 张兆庆冯晓兵陈莉吴承勇连瑞琦乔香珍乔如良王轶然高琳安晓谧吴家骏桑春雷马琳
- 该项目面向高性能计算机体系结构，针对大规模科学、工程计算需求，研究并行编程环境关键技术。该项目试图解决当前高性能计算中存在的编程困难、调试困难和实际效率低的问题，提供坚实的理论基础、有效的算法和实用的解决方案。 取得下...
- 关键词：
- 关键词：并行程序设计并行编程环境
- 基于切片技术的并行化研究被引量：1
- 2011年
- 程序可以看作由很多计算组成(例如一个循环或一个平直代码片断),它们彼此相关或者无关,共同为计算最终的结果服务,其中彼此不相关的计算是并行性的重要来源。程序切片(Program Slicing)是一种程序分解技术,能够根据切片标准从程序中提取出特定的计算,切片技术的应用很广泛,例如程序调试、理解、维护等软件工程应用。切片技术作为一项程序分解技术,也可以用来帮助串行程序并行化。研究利用切片技术表示和发掘程序中的无关计算带来的并行性。首先提出一种基于OpenMP扩展的切片并行编程模型,用以表达程序中的切片并行性。另外,开发了一个基于切片的并行化分析系统,用来辅助程序员发掘程序中的切片并行性。
- 桑春雷张兆庆
- 关键词：切片并行化OPENMP
- 以编译技术为支撑的高可靠软件开发工具与环境
- 张兆庆乔如良霍玮陈莉于洪涛桑春雷李丰陈聪明王雪
- 于国际上先进的开放源码编译系统Open64，构建了高精度兼顾效率的程序分析框架满足程序验证和检测的需求的编译框架CAREFREE.1)前端的扩充在于能够对规约或性质描述进行语法分析，并将信息存储于编译框架的内部表示上。2...
- 关键词：
