原创力文档- 3
- 0
- 约1.46万字
- 约 12页
- 2023-06-06 发布于四川
- 举报
本发明涉及一种针对并发程序数据竞争动态检测方法及系统，在检测并发程序中的数据竞争缺陷时，使用了增加线程调度的方法，降低漏检；再对检测的结果进行验证，过滤错误的检测结果，保留真实的数据竞争检测结果，达到增加检测结果准确性的目的。
(19)中华人民共和国国家知识产权局
(12)发明专利申请
(10)申请公布号 CN 112765036 A
(43)申请公布日 2021.05.07
(21)申请号 202110118769.3
(22)申请日 2021.01.28
(71)申请人 北京明略昭辉科技有限公司
文档评论（0）