CAJ | 학술논문

在多重中断C程序中,中断嵌套可能会导致一些非期望的交叠执行,从而造成错误的程序执行结果.典型的问题是共享变量引起的数据竞争破坏了程序的原子性.针对此类问题,对多重中断C程序的运行时语义进行建模,根据共享变量的访问给出了一种原子性的定义,提出了相应的数据竞争及原子性检测方法,并采用函数摘要技术缩减静态分析过程中所需遍历的程序状态.最后,设计并实现了一个数据竞争及原子性检测原型工具MIDAC(multiple interruption C program data race and atomicity checker),实验结果表明,该工具能够针对一定规模的实际程序得到很好的检测效果.
재다중중단C정서중,중단감투가능회도치일사비기망적교첩집행,종이조성착오적정서집행결과.전형적문제시공향변량인기적수거경쟁파배료정서적원자성.침대차류문제,대다중중단C정서적운행시어의진행건모,근거공향변량적방문급출료일충원자성적정의,제출료상응적수거경쟁급원자성검측방법,병채용함수적요기술축감정태분석과정중소수편력적정서상태.최후,설계병실현료일개수거경쟁급원자성검측원형공구MIDAC(multiple interruption C program data race and atomicity checker),실험결과표명,해공구능구침대일정규모적실제정서득도흔호적검측효과.