%0 Journal Article
%T 多线程程序时序分析的隐markov模型
%A 孔德光？
%A 谭小彬？
%A 奚宏生？
%A 帅建梅？
%A 宫涛？
%J 软件学报
%P 461-472
%D 2010
%X 针对多线程程序数据竞争分析与检测困难的问题,提出一种基于隐markov模型的多线程程序时序分析方法.用随机变量不确定性刻画不同线程之间时序上的交互关系,分析数据竞争条件下程序不确定结果的概率分布情况;建立多线程程序时序分析的隐markov模型,使用baum-welch和前向算法仿真上下文对程序实际运行状态的影响.实验结果表明,该模型能够快速有效反映多线程执行时序,用于指导多线程程序时序竞争检测过程.
%K 多线程
%K 数据竞争
%K hidden
%K markov
%K 模型
%K 时序
%U http://www.jos.org.cn/ch/reader/view_abstract.aspx?file_no=3521&flag=1