摘要:现代嵌入式系统普遍配置高速缓存, 硬件性能提升的同时系统软件研制变得复杂, 需预测实时任务高速缓存行为. 预测高速缓存行为常用到缓存分类, 实施精确缓存分类可能呈现NP (non-deterministic polynomial)特征, 消减精确缓存分类可能呈现的NP特征是研究难点. 针对先前工作不足, 本文提出强连通分量消除技术和扩展的反链技术来进一步消减精确缓存分类可能呈现的NP特征. 通过测试基准集中程序可知, 提出技术可使大部分分类时间开销下降, 且最大降量超4 h; 小部分分类时间开销略有上升, 且最大升量不超3 min. 这对设计高效缓存行为预测工具有帮助.