论文部分内容阅读
针对多线程程序数据竞争分析与检测困难的问题，提出一种基于隐Markov模型的多线程程序时序分析方法．用随机变量不确定性刻画不同线程之间时序上的交互关系，分析数据竞争条件下程序不确定结果的概率分布情况；建立多线程程序时序分析的隐Markov模型，使用Baum—welch和前向算法仿真上下文对程序实际运行状态的影响．实验结果表明，该模型能够快速有效反映多线程执行时序，用于指导多线程程序时序竞争检测过程．