软件学报
軟件學報
연건학보
JOURNAL OF SOFTWARE
2010年
3期
461-472
,共12页
孔德光%谭小彬%奚宏生%帅建梅%宫涛
孔德光%譚小彬%奚宏生%帥建梅%宮濤
공덕광%담소빈%해굉생%수건매%궁도
多线程%数据竞争%hidden Markov模型%时序
多線程%數據競爭%hidden Markov模型%時序
다선정%수거경쟁%hidden Markov모형%시서
multi-thread%data race%hidden Markov model%sequence
针对多线程程序数据竞争分析与检测困难的问题,提出-种基于隐Markov模型的多线程程序时序分析方法.用随机变量不确定性刻画不同线程之间时序上的交互关系,分析数据竞争条件下程序不确定结果的概率分布情况:建立多线程程序时序分析的隐Markov模型,使用Baum-Welch和前向算法仿真上下文对程序实际运行状态的影响.实验结果表明,该模型能够快速有效反映多线程执行时序,用于指导多线程程序时序竞争检测过程.
針對多線程程序數據競爭分析與檢測睏難的問題,提齣-種基于隱Markov模型的多線程程序時序分析方法.用隨機變量不確定性刻畫不同線程之間時序上的交互關繫,分析數據競爭條件下程序不確定結果的概率分佈情況:建立多線程程序時序分析的隱Markov模型,使用Baum-Welch和前嚮算法倣真上下文對程序實際運行狀態的影響.實驗結果錶明,該模型能夠快速有效反映多線程執行時序,用于指導多線程程序時序競爭檢測過程.
침대다선정정서수거경쟁분석여검측곤난적문제,제출-충기우은Markov모형적다선정정서시서분석방법.용수궤변량불학정성각화불동선정지간시서상적교호관계,분석수거경쟁조건하정서불학정결과적개솔분포정황:건립다선정정서시서분석적은Markov모형,사용Baum-Welch화전향산법방진상하문대정서실제운행상태적영향.실험결과표명,해모형능구쾌속유효반영다선정집행시서,용우지도다선정정서시서경쟁검측과정.
