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

龙图腾网获悉同济大学申请的专利一种针对嵌入式多线程程序的WCET分析方法及装置获国家发明授权专利权，本发明授权专利权由国家知识产权局授予，授权公告号为：CN119473643B 。

龙图腾网通过国家知识产权局官网在2025-10-17发布的发明授权授权公告中获悉：该发明授权的专利申请号/专利号为：202411558205.1，技术领域涉及：G06F9/52；该发明授权一种针对嵌入式多线程程序的WCET分析方法及装置是由刘关俊;胡新邦;张凯文设计研发完成，并于2024-11-04向国家知识产权局提交的专利申请。

本一种针对嵌入式多线程程序的WCET分析方法及装置在说明书摘要公布了：本申请涉及嵌入式技术领域，具体而言，涉及一种针对嵌入式多线程程序的WCET分析方法及装置。该方法包括：识别POSIX线程标准下多线程程序中的同步操作，并记录锁相关操作语句，生成一个扩展的并行程序控制流图以描述线程间的同步依赖关系；基于锁保护的临界区资源互斥访问的原理，计算线程由于申请临界资源而导致的程序WCST；根据并行程序的控制流图，确定某一程序段运行在其他核心上的并行段，并以此作为干扰集，通过抽象解释方法对共享指令缓存进行冲突分析；将上述分析结果作为参数输入到WCET计算方法IPET中，得到整个并行程序的WCET分析结果。

本发明授权一种针对嵌入式多线程程序的WCET分析方法及装置在权利要求书中公布了：1.一种针对嵌入式多线程程序的WCET分析方法，其特征在于，包括： 识别POSIX线程标准下多线程程序中的同步操作，并记录锁相关操作语句，生成一个扩展的并行程序控制流图以描述线程间的同步依赖关系； 基于锁保护的临界区资源互斥访问的原理，计算线程由于申请临界资源而导致的程序最坏情况下等待时间WCST； 根据并行程序的控制流图，确定某一程序段运行在其他核心上的并行段，并以此作为干扰集，通过抽象解释方法对共享指令缓存进行冲突分析，得到分析结果； 将程序最坏情况下等待时间、并行程序的控制流图和分析结果作为参数输入到最坏情况执行时间WCET计算方法IPET中，得到整个并行程序的WCET分析结果； 所述识别POSIX线程标准下多线程程序中的同步操作，并记录锁相关操作语句，生成一个扩展的并行程序控制流图以描述线程间的同步依赖关系，进一步包括： 根据用户给定的基于POSIX线程标准下的多线程程序，通过遍历识别出线程相关操作，包括线程控制以及线程同步； 根据上述信息，在多线程程序的控制流图上添加对应的附加信息； 所述确定某一程序段运行在其他核心上的并行段，并以此作为干扰集，通过抽象解释方法对共享指令缓存进行冲突分析，进一步包括： 基于抽象解释方法以及不动点分析，得到执行在单独核上任务的一级缓存和二级缓存的分析结果，在该过程中将缓存状态及缓存访问状态进行抽象； 基于并行程序的控制流图，为每个程序段划分出其在其它核上可能的并行段，以此作为干扰集； 针对每一个程序段，根据上述的干扰集划分信息进行共享指令缓存冲突分析； 所述共享指令缓存冲突分析，进一步包括： 判断干扰集中指令对于共享缓存的命中情况以及在命中状态下的缓存行映射情况； 根据分析结果更新单条指令共享缓存命中状态，从而获得整个并行程序的共享指令缓存冲突信息。

如需购买、转让、实施、许可或投资类似专利技术，可联系本专利的申请人或专利权人同济大学，其通讯地址为：200092 上海市杨浦区四平路1239号；或者联系龙图腾网官方客服，联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。

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