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

摘要：

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

关键词：多重中断、数据竞争、原子性

所属期刊栏目：5

分类号：TP301(计算技术、计算机技术)

资助基金：The National Natural Science Foundation of China under Grant No.90818024;the National Science Foundation for Distinguished Young Scholars of China under Grant No.60725206

在线出版日期：2012-04-20（万方平台首次上网日期，不代表论文的发表时间）

页数：共9页

页码：1085-1093