多核系统动态温度管理TAPE策略的形式化验证

摘要：

多核系统中,分布式DTM策略因其良好的可扩展性得到了广泛应用.在部署分布式DTM策略前,必须验证其可靠性.为了克服传统分析方法的局限,模型检测技术被应用于分布式DTM策略的分析中.提出使用统计模型检测技术来验证多核系统中分布式DTM策略(以TAPE策略为例)的方案.使用UPPAAL SMC对TAPE策略的验证证明了TAPE策略的安全性、有效性、活性以及稳定性,从而验证DTM策略方案的可靠性.

关键词：动态温度管理策略、统计模型检测、多核系统

所属期刊栏目：44

分类号：TP306.7(计算技术、计算机技术)

在线出版日期：2018-01-24（万方平台首次上网日期，不代表论文的发表时间）

页数：共6页

页码：542-546,551