[发明专利]基于单变量访问序模式的中断数据访问冲突检测方法及装置有效
| 申请号： | 201911329257.0 | 申请日： | 2019-12-20 |
| 公开（公告）号： | CN111159022B | 公开（公告）日： | 2023-05-02 |
| 发明（设计）人： | 陈睿;余娜;江云松;王峥;李超;贾春鹏;肖志恒;丁戈;李杨;吴瑾;杨帆 | 申请（专利权）人： | 北京轩宇信息技术有限公司 |
| 主分类号： | G06F11/36 | 分类号： | G06F11/36 |
| 代理公司： | 中国航天科技专利中心 11009 | 代理人： | 李明泽 |
| 地址： | 100190 北京市海淀区科学院*** | 国省代码： | 北京;11 |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | 本发明实施例提供了一种基于单变量访问序模式的中断数据访问冲突检测方法及装置。所述方法包括：获取多个源文件；对每个所述源文件的函数进行可达访问分析，生成每个所述源文件的可达访问图；使用所述多个源文件的函数调用关系和各所述源文件的函数摘要，更新各所述可达访问图；遍历各更新后的可达访问图，匹配单变量访问序模式，得到中断数据访问冲突检测结果。本发明实施例对单文件进行独立分析，避免了跨文件的分析时在不同文件交替分析，减小了内存占用的峰值，可适用于大规模程序。 | ||
| 搜索关键词： | 基于 变量 访问 模式 中断 数据 冲突 检测 方法 装置 | ||
【主权项】：
暂无信息
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于北京轩宇信息技术有限公司，未经北京轩宇信息技术有限公司许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/patent/201911329257.0/，转载请声明来源钻瓜专利网。
