-
题名基于依赖分析的SPMD程序隐式同步检测及处理算法
被引量：1
- 1
-
-
作者
岳峰
庞建民
赵荣彩
-
机构
解放军信息工程大学
-
出处
《软件学报》
EI
CSCD
北大核心
2013年第8期1775-1785,共11页
-
基金
国家高技术研究发展计划(863)(2009AA012201)
国家科技重大专项(核高基)(2009ZX01036-001-001)
河南省重大科技攻关专项(092101210501)
-
文摘
SPMD翻译是指将一种特定类型的SPMD程序编译到多种设备上,当前的细粒度SPMD翻译研究建立在线程之间相互独立的假定上,线程之间只通过显式同步进行通信.但线程之间还隐含存在着各种数据依赖,如隐式同步,这导致了SPMD翻译在处理隐式同步时的正确性缺陷.为了对隐式同步进行处理,对细粒度SPMD模型CUDA中的隐式同步进行了系统的分析,指出了当前翻译CUDA程序到多核平台的相关研究在处理隐式同步上的不足,提出了基于依赖分析的隐式同步检测方法.在检测出隐式同步的基础上,设计了循环重排序的优化处理算法,对显式同步和隐式同步进行了统一处理.实验结果表明,与现有的SPMD翻译方法相比,该检测及处理算法能够正确而快速地检测并翻译CUDA中的各种隐式同步,代价较小,有助于编译器产生正确而有效的翻译结果.
-
关键词
spmd翻译
显式同步
隐式同步
依赖分析
线程循环
循环重排序
-
Keywords
spmd translation
explicit synchronization
implicit synchronization
dependence analysis
thread loop
loop reorder
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
