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

发布时间：2018-01-14 10:10

  本文关键词：多核系统动态温度管理TAPE策略的形式化验证　出处：《计算机科学》2017年S2期 　论文类型：期刊论文

  更多相关文章： 动态温度管理策略 统计模型检测 多核系统

【摘要】：多核系统中,分布式DTM策略因其良好的可扩展性得到了广泛应用。在部署分布式DTM策略前,必须验证其可靠性。为了克服传统分析方法的局限,模型检测技术被应用于分布式DTM策略的分析中。提出使用统计模型检测技术来验证多核系统中分布式DTM策略(以TAPE策略为例)的方案。使用UPPAAL SMC对TAPE策略的验证证明了TAPE策略的安全性、有效性、活性以及稳定性,从而验证DTM策略方案的可靠性。
[Abstract]:Distributed DTM policy has been widely used in multi-core systems because of its good scalability. Before deploying distributed DTM policy, its reliability must be verified. In order to overcome the limitations of traditional analysis methods. Model detection technology is applied to the analysis of distributed DTM policy. A statistical model detection technique is proposed to verify the distributed DTM policy in multi-core systems (taking TAPE policy as an example). Using UPPAAL SMC to validate the TAPE policy proves the security of the TAPE policy. Validity, activity and stability to verify the reliability of the DTM scheme.
【作者单位】： 四川大学计算机学院;
【分类号】：TP332
【正文快照】： 1绪论为了维持多核系统的温度在阈值之下并最大化计算机的性能,近年来出现了多种温度管理技术。其中分布式DTM策略因其良好的可扩展性得到了广泛的应用。基于任务迁移机制的分布式DTM策略是解决多核系统面临的温度问题的一个好方法[1]。该类策略通过相邻核之间的任务迁移获取

【相似文献】

相关期刊论文 前10条

1 石玮;李雨前;汪自云;;多核系统效率与任务属性关系的优化策略[J];信息化纵横;2009年16期

2 徐超;何炎祥;陈勇;刘健博;吴伟;李清安;;一种多核系统可靠性加强的任务调度方法[J];电子学报;2013年05期

3 刘磊;;对片上多核系统的系统结构的研究[J];电脑知识与技术;2008年29期

4 刘彩霞;石峰;谢小怡;薛建平;宋红;;面向嵌入式多核系统的可共享多通道便签存储器设计与实现[J];小型微型计算机系统;2010年07期

5 Frank Ko;;涡轮增压多核系统[J];世界电子元器件;2006年11期

6 谢炯;潘红芳;程金宏;王文阁;额尔敦;;多核系统性能检测及调优策略研究[J];电力信息与通信技术;2014年01期

7 虞保忠;张灯;徐晓光;胡宁;;嵌入式多核系统中断负载均衡研究[J];电子技术;2014年03期

8 李东生;高明伦;;高密度集成与单芯片多核系统及其研究进展[J];半导体技术;2012年02期

9 邢慧敏;谢憬;毛志刚;;一种多核系统中的二维块数据存储机制[J];计算机工程;2011年10期

10 张轶;关楠;王义;;一种多核系统上基于页着色的内存管理方法[J];东北大学学报(自然科学版);2014年03期

相关会议论文 前1条

1 蔡德霞;钟诚;韦兴柳;林孔升;;多核系统上任意两序列公共元素的并行查找[A];全国第22届计算机技术与应用学术会议(CACIS·2011)暨全国第3届安全关键技术与应用（SCA·2011）学术会议论文摘要集[C];2011年

相关博士学位论文 前5条

1 于绩洋;适用于高性能计算节点的多核系统协同优化设计[D];浙江大学;2015年

2 张琦;多核系统中的程序性能优化研究[D];中国科学技术大学;2010年

3 傅琛;面向多核系统的高性能硬件事务存储的优化研究[D];哈尔滨工业大学;2011年

4 刘彩霞;基三片上多核系统TriBA存储体系关键技术研究[D];北京理工大学;2010年

5 刘志强;面向多核的系统级MPI通信优化关键技术研究[D];国防科学技术大学;2011年

相关硕士学位论文 前10条

1 刘然;多核系统上可伸缩的读写同步[D];复旦大学;2014年

2 褚廷斌;基于访存行为特征的片上多核系统功耗管控研究[D];电子科技大学;2015年

3 杨洋;多核系统下吞吐量与延迟敏感的并行流水调度能耗最小化问题研究[D];东北大学;2013年

4 刘聪;基于温度感知的多核实时系统稳定性研究[D];东北大学;2014年

5 费亭;基于分支限界法的多核系统实时多任务映射方法研究[D];广东工业大学;2016年

6 李建华;多核系统中动态细粒度优化功率分配方法研究[D];广东工业大学;2016年

7 李嵩;片上多核系统高速缓存的功耗管控方法研究[D];电子科技大学;2016年

8 高冬雪;多核系统存储结构优化技术研究[D];合肥工业大学;2016年

9 孟晓林;多核系统减少内存干扰技术的研究[D];杭州电子科技大学;2016年

10 尹凯;基于总线架构的多核系统编程模型及数据安全性研究[D];合肥工业大学;2009年

，

本文编号：1423123