本文全文图片

• 基于抽象解释的Cache分析方法
• 多级Cache组织结构
• 一致性域
• 基于一致性协议的WCET分析框架
• 域内读访问时间延迟及状态转换图
• 域内写访问时间延迟及状态转换图
• 跨域读访问时间延迟及状态转换图
• 跨域写访问时间延迟及状态转换图
• GEM5仿真结果与分析结果对比
• GEM5与Roban相关性系数矩阵图
• 过估计率统计结果