期刊文献+
共找到3篇文章
< 1 >
每页显示 20 50 100
基于指向更新的优先权指针分析算法 被引量:1
1
作者 刘鹏 赵荣彩 +1 位作者 庞建民 姚远 《软件学报》 EI CSCD 北大核心 2014年第11期2486-2498,共13页
指针分析是数据流分析中的关键性技术,其分析结果是编译优化和程序变换的基础.在基于包含的指针分析算法研究的基础上,对Narse优先权约束评估算法中存在的冗余约束评估和优先权评估模型计算开销较大的问题进行分析,以指针的指向集更新... 指针分析是数据流分析中的关键性技术,其分析结果是编译优化和程序变换的基础.在基于包含的指针分析算法研究的基础上,对Narse优先权约束评估算法中存在的冗余约束评估和优先权评估模型计算开销较大的问题进行分析,以指针的指向集更新信息确定约束评估的候选集,提出了基于指向更新的约束评估算法.采用约束语句间的解,引用依赖和标量依赖构建约束依赖图,通过依赖关系确定约束评估的优先权,提出了基于约束依赖图的优先权算法,简化了既有算法中复杂的优先权评估模型,进一步给出了优化后算法的整体框架.在基准测试集SPEC2000/SPEC 2006上进行实验,其结果表明,该算法与Narse优先权算法相比,在时间开销和存储开销上都有明显的性能提升. 展开更多
关键词 指针分析 数据流分析 指向集 流不敏感
下载PDF
基于包含的指针分析优化技术综述 被引量:10
2
作者 陈聪明 霍玮 +1 位作者 于洪涛 冯晓兵 《计算机学报》 EI CSCD 北大核心 2011年第7期1224-1238,共15页
指针分析是程序分析和编译优化的基础,针对基于包含的指针分析算法的改进一直是指针分析领域研究的热点之一.文中从该指针分析算法改进的两类技术来总结近二十年来相关的研究工作,包括在线优化技术如约束图上的强连通分量的检测和消除... 指针分析是程序分析和编译优化的基础,针对基于包含的指针分析算法的改进一直是指针分析领域研究的热点之一.文中从该指针分析算法改进的两类技术来总结近二十年来相关的研究工作,包括在线优化技术如约束图上的强连通分量的检测和消除等和离线优化技术如变量替换等.通过实验对比了7种较有影响力的分析算法和三种离线优化算法,并从性能、内存开销等方面进行了评述和总结.文章最后阐述了基于包含的指针分析今后潜在的研究方向. 展开更多
关键词 指针分析 Andersen风格 指向集 约束图 流不敏感
下载PDF
8-rank of the class group and isotropy index
3
作者 LU Qing 《Science China Mathematics》 SCIE CSCD 2015年第7期1433-1444,共12页
Suppose F = Q(√-p1 pt) is an imaginary quadratic number field with distinct primes p1,..., pt,where pi≡ 1(mod 4)(i = 1,..., t- 1) and pt ≡ 3(mod 4). We express the possible values of the 8-rank r8 of the class grou... Suppose F = Q(√-p1 pt) is an imaginary quadratic number field with distinct primes p1,..., pt,where pi≡ 1(mod 4)(i = 1,..., t- 1) and pt ≡ 3(mod 4). We express the possible values of the 8-rank r8 of the class group of F in terms of a quadratic form Q over F2 which is defined by quartic symbols. In particular,we show that r8 is bounded by the isotropy index of Q. 展开更多
关键词 imaginary quadratic field class group 8-rank isotropy index Redei matrix
原文传递
上一页 1 下一页 到第
使用帮助 返回顶部