资料下载
×
基于变量访问序模式的中断数据竞争检测方法
消耗积分:3 |
格式:rar |
大小:1.69 MB |
2018-01-16
分享资料个
在航天嵌入式软件等中断驱动型软件中，中断数据竞争问题十分突出．然而，中断在并发语义、同步机制、调度机制等方面与线程（任务）有诸多不同，具有Ad-hoc特征，难以统一刻画，因此，主流的数据竞争检测方法并不适用．以航天嵌入式软件数据竞争案例库为基础进行了系统分析，提出刻画有害中断数据竞争的7种缺陷模式．针对其中最常见且最难解决的单变量访问序模式，基于抽象解释，提出一种支持过程间分析、中断并发分析的高效检测方法．设计并实现了相应的检测工具SpaceDRC．实验结果表明，SpaceDRC能够在145ms内检测出约21 400行程序中的真实数据竞争．SpaceDRC已经在多个航天重点型号中进行了应用，使得中断数据竞争专项分析的效率提高了至少5倍，并且降低了问题遗漏率．
声明：本文内容及配图由入驻作者撰写或者入驻合作网站授权转载。文章观点仅代表作者本人，不代表电子发烧友网立场。文章及其配图仅供工程师学习之用，如有内容侵权或者其他违规问题，请联系本站处理。 举报投诉
评论(0)
发评论
- 相关下载
- 相关文章
