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

龙图腾网恭喜西北工业大学申请的专利一种基于内存块生命周期的动态缓存锁定WCET分析方法获国家发明授权专利权，本发明授权专利权由国家知识产权局授予，授权公告号为：CN114780364B 。

龙图腾网通过国家知识产权局官网在2025-05-06发布的发明授权授权公告中获悉：该发明授权的专利申请号/专利号为：202210421822.1，技术领域涉及：G06F11/34；该发明授权一种基于内存块生命周期的动态缓存锁定WCET分析方法是由朱怡安;任鹏远;李联;史先琛设计研发完成，并于2022-04-21向国家知识产权局提交的专利申请。

本一种基于内存块生命周期的动态缓存锁定WCET分析方法在说明书摘要公布了：本发明涉及一种基于内存块生命周期的动态缓存锁定WCET分析方法，属于实时系统中任务WCET分析技术领域。首先在基于抽象解释缓存分析的基础上获取到所有程序点的抽象缓存状态，然后通过计算获取到最坏情况路径上的内存块生命周期和最终的锁定内存块集，最后根据内存块在缓存中的命中状态去计算出任务的WCET值。确定最终锁定内存块集是通过不动点迭代的方法去实现，每次迭代过程中对内存块生命周期是否重叠进行判断，同时计算锁定内存块增益和相应WCET值，当WCET值不再变化时终止迭代。本发明方法能够在一定程度上提高缓存的可利用率和分析的精确性。

本发明授权一种基于内存块生命周期的动态缓存锁定WCET分析方法在权利要求书中公布了：1.一种基于内存块生命周期的动态缓存锁定WCET分析方法，其特征在于，包括通过抽象解释缓存分析方法获取到所有程序点的初始抽象缓存状态；所述抽象解释缓存分析方法由Must分析、May分析和Persistence分析三种分析方法构成；首先进行Must分析，该方法用于获取一定会在Cache中命中的内存块；然后进行May分析获取一定不会在Cache中命中的内存块；最后进行Persistence分析获取第一次在Cache中未命中，而之后所有迭代都会在Cache中命中的内存块；确定内存块生命周期；获取生命周期重叠的内存块集合；确定锁定内存块集合；根据内存块在缓存中的命中状态计算任务的WCET值，具体为：得到锁定内存块集合，其中锁定内存块集合中的内存块抽象缓存状态都为命中；对于剩余内存块需要重新进行抽象缓存分析，获取到剩余内存块的最终抽象缓存状态；统计所有缓存状态为命中的内存块个数为Nhit，所有缓存状态为缺失的内存块个数为Nmiss，缓存命中时间为Thit，由于缓存缺失引起的时间惩罚为Tmiss，任务的WCET值为WCET＝Nhit*Thit+Nmiss*Tmiss。

如需购买、转让、实施、许可或投资类似专利技术，可联系本专利的申请人或专利权人西北工业大学，其通讯地址为：710072 陕西省西安市友谊西路127号；或者联系龙图腾网官方客服，联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。