首页专利查询专利详情

*来源于国家知识产权局数据，仅供参考，实际以国家知识产权局展示为准

一种针对并发程序数据竞争动态检测方法及系统

发明专利有效专利

申请号：
CN202110118769.3
IPC分类号：G06F11/36
申请日期：
2021-01-28
申请人：
北京明略昭辉科技有限公司

基础信息

权利要求

说明书

PDF全文

法律信息

引证文献

著录项信息

专利名称	一种针对并发程序数据竞争动态检测方法及系统
申请号	CN202110118769.3	申请日期	2021-01-28
法律状态	实质审查	申报国家	中国
公开/公告日	2021-05-07	公开/公告号	CN112765036A
优先权	暂无	优先权号	暂无
主分类号	G06F11/36 ? IPC结构图谱： G 物理 G0 仪器 G06 计算；推算；计数 G06F 电数字数据处理（基于特定计算模型的计算机系统入G06N） G06F11/00 错误检测；错误校正；监控（在基于记录载体和传感器之间的相对运动而实现的信息存储中的错误检测、校正或监控所用的方法或装置入 G11B 20/18；监控，即，监控记录或重现的进程入G11B 27/36；静态存储中所用的方法或装置入G11C29/00）〔1，4，2006.01〕 G06F11/36 通过软件的测试或调试防止错误〔7〕	IPC分类号	G;0;6;F;1;1;/;3;6查看分类表>
申请人	北京明略昭辉科技有限公司	申请人地址	北京市海淀区北三环西路25号27号楼二层2020室变更专利地址、主体等相关变化，请及时变更，防止失效
权利人	北京明略昭辉科技有限公司	当前权利人	北京明略昭辉科技有限公司
发明人	杨金涛;刘远;郭镔;杨森
代理机构	成都众恒智合专利代理事务所（普通合伙）	代理人	刘华平

摘要

本发明涉及一种针对并发程序数据竞争动态检测方法及系统，在检测并发程序中的数据竞争缺陷时，使用了增加线程调度的方法，降低漏检；再对检测的结果进行验证，过滤错误的检测结果，保留真实的数据竞争检测结果，达到增加检测结果准确性的目的。

我浏览过的专利

专利服务由北京酷爱智慧知识产权代理公司提供