会议专题

多线程程序时序的统计分析

针对多线程程序数据竞争分析与检测困难的问题,本文提出一种基于概率统计的多线程程序时序分析方法,用随机变量的不确定性特征来刻画不同线程之间在时序上的交互关系,分析数据竞争条件下程序不确定结果数值的概率分布情况。实验结果表明,该模型能够较好反映多线程程序的执行时序,可用来指导多线程程序时序竞争问题的检测过程。

多线程程序 时序分析 数据竞争 统计分析

谭小彬 孔德光 奚宏生

中国科学技术大学自动化系,合肥 230027

国内会议

第27届中国控制会议

昆明

中文

321-325

2008-07-01(万方平台首次上网日期,不代表论文的发表时间)