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

基于OpenMP的并行Fortran程序数据竞争静态检测方法

Static Analysis Method for Detecting Data Race of Parallel Fortran Based OpenMP Program
下载PDF
导出
摘要 数据竞争是并行程序中最常见的问题,因为其在程序中存在着随机性和难以重现的问题,所以利用动态方法检测并不可靠.本文介绍了一种针对以OpenMP实现程序并行的数据竞争故障的静态检测方法.首先根据基于OpenMP的Fortran并行程序的语法和语义特性,构建并行程序的抽象语法树,并对控制流图进行扩展引入并行控制流图;然后将数据竞争问题抽象为一种故障模型,利用有限状态机来形式化的描述此类故障模型;最后对并行区域的潜在赋值操作进行并行数据流分析,在程序控制流图节点上进行故障状态机的状态转化来实现数据竞争的检测.该方法已在自研的缺陷检测系统(DTS)中应用,并通过DataRaceBench的实验数据证明本文方法可以有效的检测出数据竞争问题. ed as a fault model,and the finite state machine is used to formally describe this type of fault model.Finally,the parallel data flow analysis is performed on the potential assignment operation of the parallel region,and the state conversion of the fault state machine is performed on the CFG node to realize the detection of data race.This method has been applied in the self-developed defect testing system(DTS),the experimental data of DataRaceRench proves the effectiveness of this method.
作者 葛优 金大海 宫云战 GE You;JIN Da-hai;GONG Yun-zhan(State Key Laboratory of Networking and Switching Technology,Bejing University of Posts and Telecommunication,Beijing 100876,China)
机构地区 北京邮电大学网络与交换技术国家重点实验室
出处 《小型微型计算机系统》 CSCD 北大核心 2023年第11期2377-2383,共7页 Journal of Chinese Computer Systems
基金 国家自然科学基金项目(U1736110)资助。
关键词 OPENMP 静态分析 共享内存编程 数据竞争检测 并行数据流 OpenMP static analysis shared memory programming data race detection parallel data flow
分类号 TP311 [自动化与计算机技术—计算机软件与理论]
  • 相关文献

参考文献6

二级参考文献29

  • 1TOP500 supercomputing site. http://www.top500.org.
  • 2Reed DA, Lu CD, Mendes CL. Reliability challenges in large systems. Future Generation Computer Systems, 2006,22(3):293-302. [doi: 10.1016/j.future.2004.11.015].
  • 3Sorin DJ, Martin MMK, Hill MD, Wood DA. SafetyNet: Improving the availability of shared memory multiprocessors with global checkpoint/recovery. In: Proc. of the lnt'l Syrup. on Computer Architecture (ISCA 2002). Anchorage, 2002. 123-134. [doi: 10.1109/ISCA.2002.1003568].
  • 4Prvulovic M, Zhang Z, Torrellas J. ReVive: Cost-effective architectural support for rollback recovery in shared-memory multiprocessors. In: Proc. of the Int'l Symp. on Computer Architecture (ISCA 2002). Anchorage, 2002. 111-122. Idol: 10.1109/ ISCA.2002.1003567].
  • 5Dieter WR, Lumpp JE. A user-level eheekpointing library for POSIX threads programs. In: Proe. of the '99 Syrup. on Fault-Tolerant Computing Systems (FTCS'99). Madison, 1999. 224-227. [doi: 10.1109/FTCS.1999.781054].
  • 6Bronevetsky G, Marques D, Pingali K, Szwed P, Schulz M. Application-Level cheekpointing for shared memory programs. In: Proc. of the 1 lth Int'l Conf. on Architectural Support for Programming Languages and Operating Systems (ASPLOS 2004). New York, 2004.235-247. [doi: 10.1145/1024393.1024421].
  • 7Bronevetsky G, Pingali K, Stodghill P. Experimental evaluation of applicationlevel cheekpointing for OpenMP programs. In: Proc. of the 20th Annual Int'l Conf. on Supercomputing (SC 2006). Cairns, 2006.2-13. [doi: 10.1145/1183401.1183405].
  • 8Bronevetsky G, Marques D, Pingali K, Stodghill P. Ca: A system for automating application-level ch~ckpointing of MPI programs. In: Proc. of the 16th Int'l Workshop on Languages and Compilers for Parallel Computing (LCPC 2003). 2003.
  • 9Yang XJ, Du YF, Wang PF, Fu HY, Jia J, Wang ZY, Suo G. The fault tolerant parallel algorithm: The parallel recomputing based failure recovery. In: Proc. of the 16th Int'l Conf. on Parallel Architectures and Compilation Techniques (PACT 2007). Brasov, 2007. 199-212. Idol: 10.1109/PACT.2007.4336212].
  • 10Bailey DH, Harris T, Saphir W, Wijngaart RVD, Woo A, Yarrow M. The NAS parallel benchmarks 2.0. Technical Report, NAS- 95-020, NASA Ames Research Center, 1995.

共引文献33

小型微型计算机系统
2023年 第11期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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