主页期刊介绍编委会编辑部服务介绍道德声明在线审稿编委办公编辑办公English
2018-2019年专刊出版计划 微信服务介绍 最新一期:2019年第4期
     
在线出版
各期目录
纸质出版
分辑系列
论文检索
论文排行
综述文章
专刊文章
美文分享
各期封面
E-mail Alerts
RSS
旧版入口
中国科学院软件研究所
  
投稿指南 问题解答 下载区 收费标准 在线投稿
岳峰,庞建民,赵荣彩.基于依赖分析的SPMD程序隐式同步检测及处理算法.软件学报,2013,24(8):1775-1785
基于依赖分析的SPMD程序隐式同步检测及处理算法
Detecting and Treatment Algorithm of Implicit Synchronization Based on Dependence Analysis in SPMD Program
投稿时间:2011-07-03  修订日期:2012-10-19
DOI:10.3724/SP.J.1001.2013.04343
中文关键词:  SPMD 翻译  显式同步  隐式同步  依赖分析  线程循环  循环重排序
英文关键词:SPMD translation  explicit synchronization  implicit synchronization  dependence analysis  thread loop  loop reorder
基金项目:国家高技术研究发展计划(863)(2009AA012201); 国家科技重大专项(核高基)(2009ZX01036-001-001); 河南省重大科技攻关专项(092101210501)
作者单位E-mail
岳峰 解放军信息工程大学, 河南 郑州 450002 firstchoiceyf@163.com 
庞建民 解放军信息工程大学, 河南 郑州 450002  
赵荣彩 解放军信息工程大学, 河南 郑州 450002  
摘要点击次数: 2022
全文下载次数: 2170
中文摘要:
      SPMD 翻译是指将一种特定类型的SPMD 程序编译到多种设备上,当前的细粒度SPMD 翻译研究建立在线程之间相互独立的假定上,线程之间只通过显式同步进行通信.但线程之间还隐含存在着各种数据依赖,如隐式同步,这导致了SPMD 翻译在处理隐式同步时的正确性缺陷.为了对隐式同步进行处理,对细粒度SPMD 模型CUDA中的隐式同步进行了系统的分析,指出了当前翻译CUDA 程序到多核平台的相关研究在处理隐式同步上的不足,提出了基于依赖分析的隐式同步检测方法.在检测出隐式同步的基础上,设计了循环重排序的优化处理算法,对显式同步和隐式同步进行了统一处理.实验结果表明,与现有的SPMD 翻译方法相比,该检测及处理算法能够正确而快速地检测并翻译CUDA 中的各种隐式同步,代价较小,有助于编译器产生正确而有效的翻译结果.
英文摘要:
      SPMD translation compiles programs of one SPMD-threaded programming model to multi devices. The current researches base on the supposition that different threads are independent except in communication with explicit synchronizations. However, the data dependence relation between threads such as implicit synchronizations results in the correctness pitfalls in SPMD translation. In order to deal with implicit synchronizations, the implicit synchronizations in fine-grained SPMD programming model CUDA are analyzed systematically. The correctness pitfalls in existing SPMD translation from CUDA to Multi-core are revealed in which this paper proposes a method of detecting implicit synchronizations based on dependence analysis. On the basis of implicit synchronizations detecting, an optimized treatment algorithm is designed to treat explicit and implicit synchronizations synthetically by the loop reorder. The experimental results show that compared with existing SPMD translation, the detecting and optimized algorithm could treat kinds of implicit synchronizations in fine grained SPMD translation correctly and quickly by small expense, which helps compiler produces correct and efficient result.
HTML  下载PDF全文  查看/发表评论  下载PDF阅读器
 

京公网安备 11040202500064号

主办单位:中国科学院软件研究所 中国计算机学会
编辑部电话:+86-10-62562563 E-mail: jos@iscas.ac.cn
Copyright 中国科学院软件研究所《软件学报》版权所有 All Rights Reserved
本刊全文数据库版权所有,未经许可,不得转载,本刊保留追究法律责任的权利