计算机研究与发展
計算機研究與髮展
계산궤연구여발전
JOURNAL OF COMPUTER RESEARCH AND DEVELOPMENT
2007年
3期
536-543
,共8页
OpenMP%死锁%BARRIER%静态检测
OpenMP%死鎖%BARRIER%靜態檢測
OpenMP%사쇄%BARRIER%정태검측
与BARRIER相关的死锁是导致OpenMP程序失效的重要隐患之一.对该类隐患的静态检测有助于在OpenMP程序运行之前提高其正确性.为了便于检测,将这种死锁分为两类.借助搜索与数据流分析分别按照存在性规则和非一致性规则检测第1类和第2类死锁.扩展了传统的控制流图以表示OpenMP程序.对于每个检测到的死锁,通过回溯记录控制流图中相关的路径,并利用静态分支预测量化其严重程度.基于上述思想,实现了一个OpenMP Fortran程序中死锁的静态检测工具C-Checker.实验表明,该工具能有效地检测OpenMP程序中与BARRIER相关的死锁.
與BARRIER相關的死鎖是導緻OpenMP程序失效的重要隱患之一.對該類隱患的靜態檢測有助于在OpenMP程序運行之前提高其正確性.為瞭便于檢測,將這種死鎖分為兩類.藉助搜索與數據流分析分彆按照存在性規則和非一緻性規則檢測第1類和第2類死鎖.擴展瞭傳統的控製流圖以錶示OpenMP程序.對于每箇檢測到的死鎖,通過迴溯記錄控製流圖中相關的路徑,併利用靜態分支預測量化其嚴重程度.基于上述思想,實現瞭一箇OpenMP Fortran程序中死鎖的靜態檢測工具C-Checker.實驗錶明,該工具能有效地檢測OpenMP程序中與BARRIER相關的死鎖.
여BARRIER상관적사쇄시도치OpenMP정서실효적중요은환지일.대해류은환적정태검측유조우재OpenMP정서운행지전제고기정학성.위료편우검측,장저충사쇄분위량류.차조수색여수거류분석분별안조존재성규칙화비일치성규칙검측제1류화제2류사쇄.확전료전통적공제류도이표시OpenMP정서.대우매개검측도적사쇄,통과회소기록공제류도중상관적로경,병이용정태분지예측양화기엄중정도.기우상술사상,실현료일개OpenMP Fortran정서중사쇄적정태검측공구C-Checker.실험표명,해공구능유효지검측OpenMP정서중여BARRIER상관적사쇄.