Document
拖动滑块完成拼图
个人中心

预订订单
服务订单
发布专利 发布成果 人才入驻 发布商标 发布需求

在线咨询

联系我们

龙图腾公众号
首页 专利交易 科技果 科技人才 科技服务 国际服务 商标交易 会员权益 IP管家助手 需求市场 关于龙图腾
 /  免费注册
到顶部 到底部
清空 搜索
当前位置 : 首页 > 专利喜报 > 恭喜国网河北省电力有限公司电力科学研究院;国家电网有限公司;国网河北能源技术服务有限公司刘振获国家专利权

恭喜国网河北省电力有限公司电力科学研究院;国家电网有限公司;国网河北能源技术服务有限公司刘振获国家专利权

买专利卖专利找龙图腾,真高效! 查专利查商标用IPTOP,全免费!专利年费监控用IP管家,真方便!

龙图腾网恭喜国网河北省电力有限公司电力科学研究院;国家电网有限公司;国网河北能源技术服务有限公司申请的专利动态数据竞争检测方法、装置、终端及存储介质获国家发明授权专利权,本发明授权专利权由国家知识产权局授予,授权公告号为:CN115048220B

龙图腾网通过国家知识产权局官网在2025-04-22发布的发明授权授权公告中获悉:该发明授权的专利申请号/专利号为:202210699473.X,技术领域涉及:G06F9/50;该发明授权动态数据竞争检测方法、装置、终端及存储介质是由刘振;庞先海;张志猛;田霖;张达;胡涛;刘良帅设计研发完成,并于2022-06-20向国家知识产权局提交的专利申请。

动态数据竞争检测方法、装置、终端及存储介质在说明书摘要公布了:本发明提供一种动态数据竞争检测方法、装置、终端及存储介质。该方法包括:初始化各线程的向量时钟,并基于sub‑hb关系在线程创建、线程等待、线程发送信号和线程等待信号时同步更新各线程的向量时钟;根据各线程获取锁和释放锁的状态,分别更新各线程对应的锁集;根据各线程的向量时钟值以及各线程的锁集,对各线程进行数据竞争检测;根据数据竞争检测结果,调整动态缓冲区的大小。本发明能够减少检测结果误报问题,减少漏报的情形,降低算法复杂度。

本发明授权动态数据竞争检测方法、装置、终端及存储介质在权利要求书中公布了:1.一种动态数据竞争检测方法,其特征在于,包括:初始化各线程的向量时钟,并基于sub-hb关系在线程创建、线程等待、线程发送信号和线程等待信号时同步更新各线程的向量时钟;根据各线程获取锁和释放锁的状态,分别更新各线程对应的锁集,所述锁集包含对应线程持有的全部锁;根据各线程的向量时钟值以及各线程的锁集,对各线程进行数据竞争检测;根据数据竞争检测结果,调整动态缓冲区的大小,所述动态缓冲区用于存储各线程中共享变量的访问序列;所述根据各线程的向量时钟值以及各线程的锁集,对各线程进行数据竞争检测,包括:当前线程读取变量时,根据当前线程的向量时钟值以及当前线程的锁集,进行读写数据竞争检测;当前线程写入变量时,根据当前线程的向量时钟值以及当前线程的锁集进行写写数据竞争检测以及写读数据竞争检测;所述当前线程读取变量时,根据当前线程的向量时钟值以及当前线程的锁集,进行读写数据竞争检测,包括:初始化索引值;判断当前索引值是否小于写访问缓冲区的大小;当前索引值小于所述写访问缓冲区的大小时,判断当前线程号是否不等于所述写访问缓冲区记录的线程号,并且所述写访问缓冲区记录的线程的本地时钟值是否小于所述写访问缓冲区中第i个位置记录的时钟值,所述i表示当前索引值;若是,则继续判断当前线程的锁集与所述写访问缓冲区第i个位置记录中锁集的交集是否为空;若为空,则检测到读写数据竞争,若不为空,则没有检测到读写数据竞争;将当前索引值加1,并跳转到“判断当前索引值是否小于写访问缓冲区的大小”的步骤,重新判断并执行后续步骤,直至当前索引值大于或等于所述写访问缓冲区的大小;若否,则将当前索引的值加1,并跳转到“判断当前索引i是否小于写访问缓冲区的大小”的步骤,重新判断并执行后续步骤,直至当前索引值大于或等于所述写访问缓冲区的大小;当前索引值大于或等于所述写访问缓冲区的大小时,判断当前线程号是否不等于读访问缓冲区记录的线程号,并且所述读访问缓冲区记录的线程的本地时钟值小于所述读访问缓冲区第i个位置记录的时钟值;若是,则设置共享读标志为真,并为读缓冲区添加一条新的新纪录;若否,则直接为所述读缓冲区添加一条新纪录。

如需购买、转让、实施、许可或投资类似专利技术,可联系本专利的申请人或专利权人国网河北省电力有限公司电力科学研究院;国家电网有限公司;国网河北能源技术服务有限公司,其通讯地址为:050021 河北省石家庄市裕华区体育南大街238号;或者联系龙图腾网官方客服,联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。

免责声明
1、本报告根据公开、合法渠道获得相关数据和信息,力求客观、公正,但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解,仅供参考使用,不能作为本公司承担任何法律责任的依据或者凭证。