南京大学学报(自然科学版)
南京大學學報(自然科學版)
남경대학학보(자연과학판)
JOURNAL OF NANJING UNIVERSITY(NATURAL SCIENCES)
2005年
z1期
491-498
,共8页
OpenMP%未指定行为%静态检测%回溯%C-Checker
OpenMP%未指定行為%靜態檢測%迴溯%C-Checker
OpenMP%미지정행위%정태검측%회소%C-Checker
未指定行为是导致OpenMP程序运行时错误的主要原因之一.给出一个静态地检测OpenMPFortran程序中的未指定行为的工具C-Checker.该工具基于扩展的控制流图和调用图,采用"程序分层、逐层分析"的策略分析控制结构所导致的不确定的程序行为,以定位程序中的未指定行为,并通过回溯记录控制流图中导致这些行为的路径.借助于调用图,它还能够记录跨越过程边界的路径.此外,C-Checker利用启发式规则估计每条路径的执行概率,能够量化路径所对应的警告的严重程度.实验表明,C-Checker能够有效地检测实际的OpenMP Fortran程序中的未指定行为,并辅助程序员消除这些隐患.
未指定行為是導緻OpenMP程序運行時錯誤的主要原因之一.給齣一箇靜態地檢測OpenMPFortran程序中的未指定行為的工具C-Checker.該工具基于擴展的控製流圖和調用圖,採用"程序分層、逐層分析"的策略分析控製結構所導緻的不確定的程序行為,以定位程序中的未指定行為,併通過迴溯記錄控製流圖中導緻這些行為的路徑.藉助于調用圖,它還能夠記錄跨越過程邊界的路徑.此外,C-Checker利用啟髮式規則估計每條路徑的執行概率,能夠量化路徑所對應的警告的嚴重程度.實驗錶明,C-Checker能夠有效地檢測實際的OpenMP Fortran程序中的未指定行為,併輔助程序員消除這些隱患.
미지정행위시도치OpenMP정서운행시착오적주요원인지일.급출일개정태지검측OpenMPFortran정서중적미지정행위적공구C-Checker.해공구기우확전적공제류도화조용도,채용"정서분층、축층분석"적책략분석공제결구소도치적불학정적정서행위,이정위정서중적미지정행위,병통과회소기록공제류도중도치저사행위적로경.차조우조용도,타환능구기록과월과정변계적로경.차외,C-Checker이용계발식규칙고계매조로경적집행개솔,능구양화로경소대응적경고적엄중정도.실험표명,C-Checker능구유효지검측실제적OpenMP Fortran정서중적미지정행위,병보조정서원소제저사은환.