期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息

基于多面体模型的数据依赖分析方法 被引量：1

Data-Dependence Analysis Method Based on Polyhedral Model
下载PDF
导出
摘要 设计一种基于多面体模型的静态数据依赖分析方法,对程序中的循环体进行分析,将生存周期思想引入到数据的依赖分析中.数据的依赖关系中只有流依赖是无法消除的固有依赖,必须保持变换前的执行顺序,而输出依赖和反依赖可以通过标量扩展及向前替换等方法消去.对传统数据依赖分析进行改进,通过分析内存单元的生存周期,摒除不必要的伪依赖,从而可以对更多的循环体进行变换.通过实验表明了该方法的可行性和有效性. A static data-dependence analysis method for loops based on polyhedral model is designed. The concept of live range is introduced into analysis. Only flow dependences must keep consistent with the or- der that they appears in the original execution of the program. Output dependences and anti-dependences can be eliminated by scalar expansion or forward substitution. This analysis method reforms the traditional analysis by introducing live range and eliminating unnecessary false dependence, via which more loops can be transformed. The validity and efficiency of the presented method are demonstrated by experiment.
作者 李川 陈朝晖
机构地区 北京控制工程研究所
出处 《空间控制技术与应用》 CSCD 北大核心 2015年第5期43-47,共5页 Aerospace Control and Application
基金 国家自然科学基金资助项目(91118007)
关键词 依赖分析 多面体模型 生存周期 循环变换 dependence analysis polyhedral model live range loop transformation
分类号 TP31 [自动化与计算机技术—计算机软件与理论]
  • 相关文献

参考文献9

  • 1GIRBAL S, VASILACHE N BASTOUL C, et al. Semi- automatic composition of loop transformations for deep parallel-ism and memory hierarchies [ J]. International Journal of Parallel Programming, 2006,34 ( 3 ) :261-317.
  • 2SIMBtiRGER A, APEL S, GROBLINGER A, et al. The potential of polyhedral optimization [ C ]//Automated Software Engineering (ASE) , IEEE International Con- ference. New York: IEEE, 2013:11-15.
  • 3ALNAELI S M, ALALI A, MALETIC J I. Empirically exam-ining the parallelizability of open source software systems[ C]//Reverse Engineering, 2012 19'h Working Conference. New York: IEEE, 2012:377-386.
  • 4TRIFUNOVIC K, COHEN A. Enabling more optimiza- tions in GRAPHITE: ignoring memory-based depend- ences[ C ]// Proceddings of the 8'h GCC Developper' s Summit. Ottawa, Canada: GNU: 2010:129-142.
  • 5BAGHDADI R, COHEN A, VERDOOLAEGE S, et al. Improved loop tiling based on the removal of spurious false de-pendences[J]. ACM Transactions on Architec- ture and Code Optimization, 2013,9(4) :52-53.
  • 6VASILACHE N, MEISTER B, HARTONO A, et al. Trading off memory for parallelism quality [ C ]// Inter- national Workshop on Polyhedral Compilation Tech- niques. Paris, France: IMPACT, ACM TACO: 2012.
  • 7MIDKIFF S P. Automatic parallelization: an overview of fundamental compiler techniques [ J ]. Synthesis Lec- tures on Computer Architecture, 2012,7 ( 1 ) : 1-169.
  • 8POP S, COHEN A, BASTOU1 C, et al. GRAPHITE: Poly-hedral analyses and optimizations for GCC [ C ]// Proceedings of the 2006 GCC Developers Summit, Otta- wa, Canada: GNU, 2006:179-197.
  • 9VERDOOLAEGE S. isl: An integer set library for the poly-hedral model [ C]//ICMS' 10 Proceedings of the Third International Congress Conference on Mathemati- cal Software Berlin, Germany: Springer-Verlag, 2010: 299 -302.

同被引文献8

  • 1POP S, COHEN A, BASTOUL C, et al. GRAPHITE: Polyhedral analyses and optimizations for GCC [ C ]// Proceedings of the 2006 GCC Developers Summit. Otta- wa; GCC, 2006:179-197.
  • 2BENABDERRAHMANE M W, P L N, COHEN A, et al. The polyhedral model is more widely applicable than you think [ J]. Lecture Notes in Computer Science, 2010 : 283-303.
  • 3GROBLINGER A. The challenges of non-linear parame- ters and variables in automatic loop parallelisation[ D ]. University of Passau, Department of Informatics and Mathematics, 2009.
  • 4GR0$LINGER A. Extending the polyhedron model to inequality systems with non-linear parameters using quantifier elimination [ D ]. University of Passau, De- partment of Informatics and Mathematics, 2003.
  • 5BAGHDADI R, COHEN A, BASTOUL C, et al. The potential of synergistic static, dynamic and speculative loop nest optimizations for automatic parallelization [ C 1// Workshop on Parallel Execution of Sequential Programs on Multi-core Architectures ( PESPMA' 10 ) , 2010.
  • 6JIMBOREAN A, L M, et al. "9MAD: an advanced dy- namic program analysis & instrumentation framework [C]//CC-21st International Conference on Compiler Construction. 2012: 220-237.
  • 7ALEXANDRA J, F D J, JUAN M M C. Dynamic and speculative polyhedral parallelization using compiler- generated skeletons [ J ]. Springer Science, 2013, 42 (4) : 529-545.
  • 8ANAND V, M S, MARY H. Non-affine extensions to polyhedral code generation [ C ]//ACM CGO: Orlando, FL, 2014.

引证文献1

空间控制技术与应用
2015年 第5期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部