多重中断C程序中数据竞争及原子性检测

• 作者: 傅秀涛 吴学光 文艳军 王戟 綦艳霞 顾斌
• 来源期刊: 计算机科学与探索
• 学科: 工学
• 关键词: 多重中断 数据竞争 原子性
• 年，卷（期）: 2011,（12）
• 所属期刊栏目: 学术研究
• 页码范围: 1085-1093
• 分类号: TP301
• 字数: 8324字
• 语种: 中文
• DOI: 10.3778/j.issn.1673-9418.2011.12.003

摘要

在多重中断C程序中,中断嵌套可能会导致一些非期望的交叠执行,从而造成错误的程序执行结果.典型的问题是共享变量引起的数据竞争破坏了程序的原子性.针对此类问题,对多重中断C程序的运行时语义进行建模,根据共享变量的访问给出了一种原子性的定义,提出了相应的数据竞争及原子性检测方法,并采用函数摘要技术缩减静态分析过程中所需遍历的程序状态.最后,设计并实现了一个数据竞争及原子性检测原型工具MIDAC(multiple interruption C program data race and atomicity checker),实验结果表明,该工具能够针对一定规模的实际程序得到很好的检测效果.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	王戟	国防科学技术大学计算机学院	44	1257	17.0	35.0
2	文艳军	国防科学技术大学计算机学院	6	61	4.0	6.0
3	吴学光	国防科学技术大学计算机学院	1	4	1.0	1.0
4	傅秀涛		1	4	1.0	1.0
5	綦艳霞		1	4	1.0	1.0
6	顾斌		1	4	1.0	1.0