发明专利已授权

一种自适应轻量级动态混合数据竞争检测方法

📄 申请号：CN202110659412.6 📄 发布日：2026/08/07

著录项目信息

申请日

2021-06-15

公开号

CN113407447A

公开日

2021-09-17

申请人

西安邮电大学

法律状态

已下证

专利类型

发明

主分类号

G06F11_36

IPC 分类号

G06F11_36

技术画像

所属领域

数据竞争检测数据竞争检测动态程序分析并发程序验证

应用场景

软件缺陷检测, 多线程程序调试, 并行计算应用, 高性能计算, 系统可靠性测试

AI 智能推荐 · 同申请人专利 · 搜索相似专利

摘要

本发明针对并发程序动态数据竞争检测问题，公开了一种自适应轻量级动态混合数据竞争检测方法，属于并发程序测试领域。该方法首先过滤掉线程本地数据访问和只读数据访问，进而只分析共享内存位置，然后为每个共享内存维护两个历史访问信息读写队列，针对读操作采用自适应轻量级表示方法，当共享内存为读并发状态时切换为向量时钟记录访问信息，否则只记录最后一次访问信息，使用Happpens‑before关系和LockSet算法检测数据竞争。本发明提供了一种自适应轻量级动态混合数据竞争检测方法，有助于提高数据竞争检测准确性，降低检测代价。

权利要求书 (12项) 说明书附图

……

图1

图2

图3

法律状态时间线

一种电梯专用隔热抗磁轻型加强电缆

当前第 / 件

一种便于改造的塑料件模具

同领域国内专利 · IPC: (G06F11_36)

G06F11_00 G06F11_07 G06F11_08 G06F11_10 G06F11_14 G06F11_1446 G06F11_20 G06F11_22 G06F11_26 G06F11_263 G06F11_267 G06F11_27 G06F11_273 G06F11_30 G06F11_32 G06F11_34 G06F11_36 G06F11_3604 G06F11_362 G06F11_3668 覆盖20个领域

相似专利推荐 AI 驱动 · 同领域

暂无同领域相似专利推荐

议价

不含过户费

📋 交易方式： 委托待转让 📌 交易状态：在售 👁️ 浏览次数：19 ❤️ 收藏人数：93 📋 项目申报： 未申报

资金托管权属尽调包过户

🏢 淄博智来知识产权服务有限公司

✓ 企业认证✓ 手机绑定历史成交 0件好评率 98.5%

📊 出价记录 (3条)

王**¥-10万

李** 企业¥-8万

陈**¥-3万

查看全部出价

我要出价 (议价)