×

基于变量访问序模式的中断数据竞争检测方法

消耗积分:3 | 格式:rar | 大小:1.69 MB | 2018-01-16

分享资料个

　　在航天嵌入式软件等中断驱动型软件中，中断数据竞争问题十分突出．然而，中断在并发语义、同步机制、调度机制等方面与线程（任务）有诸多不同，具有Ad-hoc特征，难以统一刻画，因此，主流的数据竞争检测方法并不适用．以航天嵌入式软件数据竞争案例库为基础进行了系统分析，提出刻画有害中断数据竞争的7种缺陷模式．针对其中最常见且最难解决的单变量访问序模式，基于抽象解释，提出一种支持过程间分析、中断并发分析的高效检测方法．设计并实现了相应的检测工具SpaceDRC．实验结果表明，SpaceDRC能够在145ms内检测出约21 400行程序中的真实数据竞争．SpaceDRC已经在多个航天重点型号中进行了应用，使得中断数据竞争专项分析的效率提高了至少5倍，并且降低了问题遗漏率．

基于变量访问序模式的中断数据竞争检测方法

下载并关注上传者 低至0.43元/天 开通VIP 免费下载

声明：本文内容及配图由入驻作者撰写或者入驻合作网站授权转载。文章观点仅代表作者本人，不代表电子发烧友网立场。文章及其配图仅供工程师学习之用，如有内容侵权或者其他违规问题，请联系本站处理。 举报投诉

评论(0)
发评论

下载排行榜

全部0条评论

快来发表一下你的评论吧 !