欢迎来到中细软旗下技术转移平台
请登录技术转移平台
-
-
一种自适应轻量级动态混合数据竞争检测方法
-
发明专利
专利类型 -
已下证
专利状态 -
2021106594126
专利号
-
专利信息
数据仅供参考，具体信息可联系在线顾问
| 专利号 | 2021106594126 | 专利名称 | 一种自适应轻量级动态混合数据竞争检测方法 |
|---|---|---|---|
| 专利类型 | 发明专利 | 国际分类 | G06F11/36(2006.01) |
| 申请人 | 西安邮电大学 | 申请地址 | 710061陕西省西安市长安南路563号 |
| 发明人 | 孙家泽 | 申请日期 | 2021-06-15 |
| 下证状态 | 已下证 | 更新时间 | 2026-10-15 17:56:33 |
| 专利摘要 | 本发明针对并发程序动态数据竞争检测问题，公开了一种自适应轻量级动态混合数据竞争检测方法，属于并发程序测试领域。该方法首先过滤掉线程本地数据访问和只读数据访问，进而只分析共享内存位置，然后为每个共享内存维护两个历史访问信息读写队列，针对读操作采用自适应轻量级表示方法，当共享内存为读并发状态时切换为向量时钟记录访问信息，否则只记录最后一次访问信息，使用Happpens‑before关系和LockSet算法检测数据竞争。本发明提供了一种自适应轻量级动态混合数据竞争检测方法，有助于提高数据竞争检测准确性，降低检测代价。 | ||
交易流程
转让材料
| 买卖双方需提供 | 平台提供 | 转让后买方可获得 | ||
|---|---|---|---|---|
| 企业 | 个人 | 专利代理委托书 专利权转让协议 办理文件副本请求书 发明人变更声明 | 专利证书 手续合格通知书 专利登记簿副本 | |
| 买方 | 企业营业执照 企业组织机构代码证 | 身份证 | ||
| 卖方 | 企业营业执照 专利证书原件 | 身份证 专利证书原件 | ||
服务保障
优质专利推荐
-
一种一锅法合成硝酸益康唑的方法
专利状态：已下证
专利类型：发明专利
询价
-
带式电泳Micro LED元件连续排列机器人流水线及排列方法
专利状态：已下证
专利类型：发明专利
询价
-
一种球节点空间桁架钢筋笼及其制造辅助装置
专利状态：已下证
专利类型：实用新型
询价
-
一种基于区块链的电动汽车电池更换系统及方法
专利状态：已下证
专利类型：发明专利
询价
- 品类齐全，快速响应
- 专业顾问一对一服务
- 服务流程追踪更安全
400-9696-518
全国免费服务热线
- 细软在线电商小程序
- 细软知识产权公众号
登录成功
您的咨询我们已收到，稍后会有专业顾问与您联系。