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

龙图腾网获悉平头哥(上海)半导体技术有限公司申请的专利弱内存序风险检测方法、装置、电子设备及存储介质获国家发明授权专利权，本发明授权专利权由国家知识产权局授予，授权公告号为：CN119166395B 。

龙图腾网通过国家知识产权局官网在2025-11-07发布的发明授权授权公告中获悉：该发明授权的专利申请号/专利号为：202310733438.X，技术领域涉及：G06F11/07；该发明授权弱内存序风险检测方法、装置、电子设备及存储介质是由朱章齐;许彬彬;杨平超设计研发完成，并于2023-06-19向国家知识产权局提交的专利申请。

本弱内存序风险检测方法、装置、电子设备及存储介质在说明书摘要公布了：本申请提供了一种弱内存序风险检测方法、装置、电子设备及存储介质，属于计算机技术领域。方法包括：基于多个检测位置同步运行的各个线程的运行信息，获取多个数据竞争事件的事件信息，事件信息包括发生数据竞争时至少两个线程执行的指令及其函数调用信息；基于每个数据竞争事件相关指令的函数调用信息和乱序执行窗口的窗口尺寸，获取位于同一乱序执行窗口内的多个指令对，乱序执行窗口为实现指令乱序执行和动态调度的指令序列，每个指令对包括来源于同一数据竞争事件的两条指令；当任一指令对所在的乱序执行窗口中不存在内存屏障，确定指令对对应的检测位置为存在弱内存序风险的位置。本申请提高了程序的弱内存序风险检测结果的准确性。

本发明授权弱内存序风险检测方法、装置、电子设备及存储介质在权利要求书中公布了：1.一种弱内存序风险检测方法，其特征在于，所述方法包括： 当目标程序在弱内存序环境中运行时，获取多个检测位置同步运行的各个线程的运行信息，所述目标程序为在强内存序环境中开发的程序，所述检测位置为所述目标程序的源代码中可能存在弱内存序风险的位置； 基于多个检测位置同步运行的各个线程的运行信息，获取多个数据竞争事件的事件信息，所述数据竞争事件是指同一检测位置上同步运行的至少两个线程对同一内存地址的访存事件，所述事件信息包括发生数据竞争时至少两个线程的指令及其函数调用信息； 基于每个数据竞争事件相关指令的函数调用信息和乱序执行窗口的窗口尺寸，获取位于同一乱序执行窗口内的多个指令对，所述乱序执行窗口为实现指令乱序执行和动态调度的指令序列，同一乱序执行窗口内的指令存在弱内存序风险，每个指令对包括来源于同一数据竞争事件的两条指令； 当任一指令对所在的乱序执行窗口中不存在内存屏障，确定所述指令对对应的检测位置为存在弱内存序风险的位置。

如需购买、转让、实施、许可或投资类似专利技术，可联系本专利的申请人或专利权人平头哥(上海)半导体技术有限公司，其通讯地址为：201207 上海市浦东新区(上海)自由贸易试验区上科路366号、川和路55弄2号5层；或者联系龙图腾网官方客服，联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。

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