-
题名基于包含的指针分析优化技术综述
被引量：10
- 1
-
-
作者
陈聪明
霍玮
于洪涛
冯晓兵
-
机构
中国科学院计算技术研究所计算机系统结构重点实验室
中国科学院研究生院
-
出处
《计算机学报》
EI
CSCD
北大核心
2011年第7期1224-1238,共15页
-
基金
国家"八六三"高技术研究发展计划项目基金(2008AA01Z115)
国家"九七三"重点基础研究规划项目基金(2011CB302504)
+1 种基金
国家核高基重大专项基金(2009ZX01036-001-002)
国家自然科学基金创新研究群体科学基金(60921002)资助~~
-
文摘
指针分析是程序分析和编译优化的基础,针对基于包含的指针分析算法的改进一直是指针分析领域研究的热点之一.文中从该指针分析算法改进的两类技术来总结近二十年来相关的研究工作,包括在线优化技术如约束图上的强连通分量的检测和消除等和离线优化技术如变量替换等.通过实验对比了7种较有影响力的分析算法和三种离线优化算法,并从性能、内存开销等方面进行了评述和总结.文章最后阐述了基于包含的指针分析今后潜在的研究方向.
-
关键词
指针分析
Andersen风格
指向集
约束图
流不敏感
-
Keywords
pointer analysis
Andersen-style
points-to set
constraint graph
flow-insensitive
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
-
题名基于指向更新的优先权指针分析算法
被引量：1
- 2
-
-
作者
刘鹏
赵荣彩
庞建民
姚远
-
机构
解放军信息工程大学
-
出处
《软件学报》
EI
CSCD
北大核心
2014年第11期2486-2498,共13页
-
基金
国家高技术研究发展计划(863)(2009AA012201)
"核高基"国家科技重大专项(2009ZX01036-001-001-2)
-
文摘
指针分析是数据流分析中的关键性技术,其分析结果是编译优化和程序变换的基础.在基于包含的指针分析算法研究的基础上,对Narse优先权约束评估算法中存在的冗余约束评估和优先权评估模型计算开销较大的问题进行分析,以指针的指向集更新信息确定约束评估的候选集,提出了基于指向更新的约束评估算法.采用约束语句间的解,引用依赖和标量依赖构建约束依赖图,通过依赖关系确定约束评估的优先权,提出了基于约束依赖图的优先权算法,简化了既有算法中复杂的优先权评估模型,进一步给出了优化后算法的整体框架.在基准测试集SPEC2000/SPEC 2006上进行实验,其结果表明,该算法与Narse优先权算法相比,在时间开销和存储开销上都有明显的性能提升.
-
关键词
指针分析
数据流分析
指向集
流不敏感
-
Keywords
pointer analysis
dataflow analysis
points-to set
flow-insensitive
-
分类号
TP314
[自动化与计算机技术—计算机软件与理论]
-
-
题名改进的流不敏感的类型限定词推断
- 3
-
-
作者
李慧松
许智武
陈海明
-
机构
中国科学院软件研究所计算机科学国家重点实验室
中国科学院大学
-
出处
《计算机科学》
CSCD
北大核心
2014年第9期178-184,共7页
-
基金
国家科技重大专项(2012ZX01039-004)资助
-
文摘
类型限定词可以精化标准类型,提高类型系统的表达能力。流不敏感的类型限定词推断已被用于CQual架构,以提高C程序的质量。然而,类型转化会影响类型限定词推断的有效性。首先,展示了一种允许类型转化的程序语言和流不敏感的限定词推断系统;其次,提出了变量参与的限定词推断系统,引入了联合类型并给出约束求解算法;最后,证明了推断的正确性并展示了一些实例运行结果。
-
关键词
类型转化
类型推断
限定词
流不敏感
联合类型
-
Keywords
Type casts
Type inference
Qualifiers
flow-insensitive
Union types
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
-
题名球窝型总压探针气动结构选型分析研究
被引量：2
- 4
-
-
作者
王玉芳
董素艳
荆卓寅
赵俭
-
机构
中国航空工业集团有限公司北京长城计量测试技术研究所
西北工业大学
-
出处
《中国测试》
CAS
北大核心
2022年第5期6-13,共8页
-
基金
“十三五”技术基础科研项目(JSJL2018205B005)。
-
文摘
该文根据典型的总压探针设计方法,设计出五种结构形式的总压探针,并在亚声速、常温、常压条件下对这五种典型的总压探针进行数值仿真,通过仿真得到的压力分布、速度分布等流场特性分析总压探针的测压特性,选出不敏感角及测压准确度最优的总压探针进行后续加工,用于现场测试。该文对传统的直杆球窝型总压探针进行结构改进,在考虑不敏感角度的影响下探究球窝型总压探针的最佳结构方案,并通过风洞试验对该方案进行验证。研究结果表明:相对于正吹而言,气流偏转角使得总压的测量结果偏低,总压系数也相对大些;球窝型偏心小内径结构的压力探针受气流偏转角度的影响相对较小,测压准确度较高,可以作为现场测试的最佳结构方案。
-
关键词
总压探针
气流不敏感角
风洞试验
结构方案
数值仿真
-
Keywords
total pressure probe
gas flow insensitive angle
wind tunnel experiment
structure scheme
numerical simulation
-
分类号
V231.1
[航空宇航科学与技术—航空宇航推进理论与工程]
-
