下载一种针对并发程序数据竞争动态检测方法及系统的技术资料

文档序号:28373276

温馨提示:您尚未登录,请点 登陆 后下载,如果您还没有账户请点 注册 ,登陆完成后,请刷新本页查看技术详细信息。

本发明涉及一种针对并发程序数据竞争动态检测方法及系统,在检测并发程序中的数据竞争缺陷时,使用了增加线程调度的方法,降低漏检;再对检测的结果进行验证,过滤错误的检测结果,保留真实的数据竞争检测结果,达到增加检测结果准确性的目的。...
该专利属于北京明略昭辉科技有限公司所有,仅供学习研究参考,未经过北京明略昭辉科技有限公司授权不得商用。

详细技术文档下载地址

温馨提示:您尚未登录,请点 登陆 后下载,如果您还没有账户请点 注册 ,登陆完成后,请刷新本页查看技术详细信息。