OpenMP Fortran程序中死锁的静态检测
Static Detection of Deadlocks in OpenMP Fortran Programs作者机构：国防科学技术大学计算机学院长沙410073
出 版 物：《计算机研究与发展》 (Journal of Computer Research and Development)
年 卷 期：2007年第44卷第3期
页 面：536-543页
核心收录：
学科分类：08[工学] 0835[工学-软件工程] 081202[工学-计算机软件与理论] 0812[工学-计算机科学与技术（可授工学、理学学位）]
基 金：国家"八六三"高技术研究发展计划基金项目(2002AA1Z2101 2004AA1Z2210)
摘 要：与BARRIER相关的死锁是导致OpenMP程序失效的重要隐患之一.对该类隐患的静态检测有助于在OpenMP程序运行之前提高其正确性.为了便于检测,将这种死锁分为两类.借助搜索与数据流分析分别按照存在性规则和非一致性规则检测第1类和第2类死锁.扩展了传统的控制流图以表示OpenMP程序.对于每个检测到的死锁,通过回溯记录控制流图中相关的路径,并利用静态分支预测量化其严重程度.基于上述思想,实现了一个OpenMP Fortran程序中死锁的静态检测工具C-Checker.实验表明,该工具能有效地检测OpenMP程序中与BARRIER相关的死锁.
维普期刊数据库
同方期刊数据库