一种基于同步关系的并行动态数据竞争检测系统

发明专利无效专利

申请号：
CN201310716720.3
IPC分类号：G06F11/36;G06F9/44
申请日期：
2013-12-23
申请人：
华中科技大学

基础信息

权利要求

说明书

PDF全文

法律信息

引证文献

著录项信息

专利名称	一种基于同步关系的并行动态数据竞争检测系统
申请号	CN201310716720.3	申请日期	2013-12-23
法律状态	驳回	申报国家	中国
公开/公告日	2014-04-16	公开/公告号	CN103729291A
优先权	暂无	优先权号	暂无
主分类号	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;;;G;0;6;F;9;/;4;4查看分类表>
申请人	华中科技大学	申请人地址	湖北省武汉市洪山区珞喻路1037号变更专利地址、主体等相关变化，请及时变更，防止失效
权利人	华中科技大学	当前权利人	华中科技大学
发明人	金海;邵志远;彭建;黄能
代理机构	华中科技大学专利中心	代理人	朱仁玲

摘要

本发明公开了一种基于同步关系的并行动态数据竞争检测系统，包括过滤模块、记录模块、向量时钟计算模块以及并行检测模块。过滤模块负责监控待检测程序运行过程中各个线程的内存访问操作，过滤冗余的内存访问以及不可能发生数据竞争的访问，过滤后剩下的访问由记录模块写入到各线程对应的记录文件中。向量时钟计算模块从记录文件中读出程序的内存访问记录，计算内存访问的向量时钟。并行检测模块利用向量时钟将检测任务划分成小的任务分配到多个工作线程中并负责汇总检测结果。本发明只记录可能发生竞争的内存访问并对访问区间进行合并压缩，使得记录量大幅减少，同时数据竞争检测算法的并行度较高，能够充分利用多核硬件实现检测加速。

序号	公开(公告)号	公开(公告)日	申请日	专利名称	申请人
该专利没有引用任何外部专利数据！

序号	公开(公告)号	公开(公告)日	申请日	专利名称	申请人
该专利没有被任何外部专利所引用！

我浏览过的专利

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