《表6 每个程序结点Cache命中情况标记》
提示：宽带有限、当前游客访问压缩模式
本系列图表出处文件名：随高清版一同展现
《基于抽象解释的嵌入式软件模块化Cache行为分析框架》
为标记当前程序结点的访问命中情况ACMlabel，根据框架定义中Cache命中标记方法MACM，需对比当前结点访问的内存块和前一结点访问更新后的May分析及Must分析结果，若当前访问内存块在上一结点的Must集合中，则表示该结点访问ah；若当前访问内存块不在上一结点的May集合中，则表示该结点访问am；对于不在Must集合而在May集合中的访问结点则标记为nc.案例中各结点Cache命中情况标记如表6所示.
| 图表编号 | XD00102893600 严禁用于非法目的 |
|---|---|
| 绘制时间 | 2019.10.01 |
| 作者 | 喻垚慎、黄志球、沈国华、王飞、崔少轩 |
| 绘制单位 | 南京航空航天大学计算机科学与技术学院、南京航空航天大学计算机科学与技术学院、高安全系统的软件开发与验证技术工业和信息化部重点实验室(南京航空航天大学)、软件新技术与产业化协同创新中心、南京航空航天大学计算机科学与技术学院、高安全系统的软件开发与验证技术工业和信息化部重点实验室(南京航空航天大学)、软件新技术与产业化协同创新中心、南京航空航天大学计算机科学与技术学院、南京航空航天大学计算机科学与技术学院 |
| 更多格式 | 高清、无水印（增值服务） |
