多线程程序时序分析的隐Markov模型

• 作者: 奚宏生 孔德光 宫涛 帅建梅 谭小彬
• 来源期刊: 软件学报
• 学科: 工学
• 关键词: 多线程 数据竞争 hidden Markov模型 时序
• 年，卷（期）: 2010,（3）
• 所属期刊栏目: 模式识别与工人智能
• 页码范围: 461-472
• 页数: 12页
• 分类号: TP393
• 字数: 8744字
• 语种: 中文
• DOI: 10.3724/SP.J.1001.2010.03521

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	奚宏生	中国科学技术大学自动化系	143	1241	17.0	29.0
2	帅建梅	中国科学技术大学自动化系	24	225	9.0	13.0
3	谭小彬	中国科学技术大学自动化系	28	496	9.0	22.0
4	孔德光	中国科学技术大学自动化系	6	61	5.0	6.0
5	宫涛	中国科学技术大学自动化系	2	38	2.0	2.0