[发明专利]一种基于内存块生命周期的动态缓存锁定WCET分析方法在审
| 申请号： | 202210421822.1 | 申请日： | 2022-04-21 |
| 公开（公告）号： | CN114780364A | 公开（公告）日： | 2022-07-22 |
| 发明（设计）人： | 朱怡安;任鹏远;李联;史先琛 | 申请（专利权）人： | 西北工业大学 |
| 主分类号： | G06F11/34 | 分类号： | G06F11/34 |
| 代理公司： | 西安凯多思知识产权代理事务所(普通合伙) 61290 | 代理人： | 刘新琼 |
| 地址： | 710072 *** | 国省代码： | 陕西;61 |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | 本发明涉及一种基于内存块生命周期的动态缓存锁定WCET分析方法，属于实时系统中任务WCET分析技术领域。首先在基于抽象解释缓存分析的基础上获取到所有程序点的抽象缓存状态，然后通过计算获取到最坏情况路径上的内存块生命周期和最终的锁定内存块集，最后根据内存块在缓存中的命中状态去计算出任务的WCET值。确定最终锁定内存块集是通过不动点迭代的方法去实现，每次迭代过程中对内存块生命周期是否重叠进行判断，同时计算锁定内存块增益和相应WCET值，当WCET值不再变化时终止迭代。本发明方法能够在一定程度上提高缓存的可利用率和分析的精确性。 | ||
| 搜索关键词： | 一种 基于 内存 生命周期 动态 缓存 锁定 wcet 分析 方法 | ||
【主权项】：
暂无信息
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于西北工业大学，未经西北工业大学许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/patent/202210421822.1/，转载请声明来源钻瓜专利网。
- 上一篇：一种行车荷载模拟装置
- 下一篇：水上休闲及辅助游泳装置
