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

龙图腾网获悉北京麟卓信息科技有限公司申请的专利一种面向历史调试的多线程竞态条件精准复现方法获国家发明授权专利权，本发明授权专利权由国家知识产权局授予，授权公告号为：CN121349841B 。

龙图腾网通过国家知识产权局官网在2026-03-03发布的发明授权授权公告中获悉：该发明授权的专利申请号/专利号为：202511892425.2，技术领域涉及：G06F11/362；该发明授权一种面向历史调试的多线程竞态条件精准复现方法是由温研;刘东;张晓亮设计研发完成，并于2025-12-16向国家知识产权局提交的专利申请。

本一种面向历史调试的多线程竞态条件精准复现方法在说明书摘要公布了：本发明公开了一种面向历史调试的多线程竞态条件精准复现方法，通过定义释放获取、唤醒执行、内存可见三类因果关系，构建不同目标架构间同步指令的语义等价映射表，再在第一目标架构执行目标程序时记录用户态及内核态同步事件，结合因果条件构建具有置信度的双向因果链，重放时在第二目标架构启动重放引擎，先识别同步操作并匹配语义等价映射表与因果链中的原同步事件，校验核心依赖事件的语义复现状态，忽略硬件实际执行按记录强制复现内存、状态标志、内存屏障、线程状态，最后按置信度将后继事件加入队列根据记录信息顺序完成后继事件的语义复现，实现了多线程竞态条件下目标程序执行过程的精准复现。

本发明授权一种面向历史调试的多线程竞态条件精准复现方法在权利要求书中公布了：1.一种面向历史调试的多线程竞态条件精准复现方法，其特征在于，具体包括以下步骤： 步骤1、针对多线程同步定义因果关系类型包括释放获取、唤醒执行及内存可见；确定待调试目标程序的多个系统架构均记为目标架构，建立不同目标架构下具有等价语义的同步指令间的语义等价映射表，包括等价语义、各目标架构对应的同步指令及等价判定条件； 步骤2、在第一目标架构中调试执行目标程序，记录包括用户态及内核态同步操作的同步事件，包括执行线程ID、同步对象ID、同步操作时间戳、操作类型及执行结果，同步事件具有结果数组及成因数组；获取与当前同步事件满足因果条件的历史事件，由当前同步事件及历史事件组成因果节点，计算因果节点的置信度，将其加入历史事件的结果数组及当前同步事件的成因数组，由所有同步事件的结果数组及成因数组构成双向因果链； 步骤3、在第二目标架构中启动重放引擎，对同步操作的待执行指令获取同步对象ID、执行线程ID及操作内容，查询语义等价映射表确定等价语义，再从双向因果链中得到相匹配的原同步事件，遍历原同步事件的成因数组得到核心依赖事件，完成核心依赖事件的语义复现；再根据记录完成待执行指令的语义复现；将遍历原同步事件结果数组得到的后继事件按置信度从高到低的顺序，依次完成语义复现；直至最后一条待执行指令； 在记录同步事件及双向因果链的同时，增加缓存事件的捕获与同步，包括： 步骤2.1、在第一目标架构中记录缓存事件包括缓存行内存地址、缓存事件类型、时间戳、原缓存状态及新缓存状态，获取与同步对象具有相同内存地址的缓存行，将该同步对象对应同步事件与同步事件发生前后设定时间内的缓存事件绑定，并将绑定关系补充到双向因果链形成增强型因果链； 步骤2.2、在第二目标架构中根据同步对象ID、线程ID及等价语义从增强型因果链中匹配得到原同步事件及相关缓存事件； 步骤2.3、复现待执行指令的前置缓存事件，同步全局虚拟缓存状态；完成待执行指令的语义复现；复现待执行指令的后置缓存事件，更新全局虚拟缓存。

如需购买、转让、实施、许可或投资类似专利技术，可联系本专利的申请人或专利权人北京麟卓信息科技有限公司，其通讯地址为：100085 北京市海淀区西三旗昌临801号27号3层310、312；或者联系龙图腾网官方客服，联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。

以上内容由龙图腾AI智能生成。