[发明专利]一种自适应轻量级动态混合数据竞争检测方法有效
| 申请号： | 202110659412.6 | 申请日： | 2021-06-15 |
| 公开（公告）号： | CN113407447B | 公开（公告）日： | 2022-09-27 |
| 发明（设计）人： | 孙家泽;杨彦漫;舒新峰 | 申请（专利权）人： | 西安邮电大学 |
| 主分类号： | G06F11/36 | 分类号： | G06F11/36 |
| 代理公司： | 暂无信息 | 代理人： | 暂无信息 |
| 地址： | 710061 *** | 国省代码： | 陕西;61 |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | 本发明针对并发程序动态数据竞争检测问题，公开了一种自适应轻量级动态混合数据竞争检测方法，属于并发程序测试领域。该方法首先过滤掉线程本地数据访问和只读数据访问，进而只分析共享内存位置，然后为每个共享内存维护两个历史访问信息读写队列，针对读操作采用自适应轻量级表示方法，当共享内存为读并发状态时切换为向量时钟记录访问信息，否则只记录最后一次访问信息，使用Happpens‑before关系和LockSet算法检测数据竞争。本发明提供了一种自适应轻量级动态混合数据竞争检测方法，有助于提高数据竞争检测准确性，降低检测代价。 | ||
| 搜索关键词： | 一种 自适应 轻量级 动态 混合 数据 竞争 检测 方法 | ||
【主权项】：
暂无信息
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于西安邮电大学，未经西安邮电大学许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/patent/202110659412.6/，转载请声明来源钻瓜专利网。
