本文關(guān)鍵詞：多核系統(tǒng)動(dòng)態(tài)溫度管理TAPE策略的形式化驗(yàn)證　出處：《計(jì)算機(jī)科學(xué)》2017年S2期 　論文類型：期刊論文

  更多相關(guān)文章： 動(dòng)態(tài)溫度管理策略 統(tǒng)計(jì)模型檢測(cè) 多核系統(tǒng)

【摘要】：多核系統(tǒng)中,分布式DTM策略因其良好的可擴(kuò)展性得到了廣泛應(yīng)用。在部署分布式DTM策略前,必須驗(yàn)證其可靠性。為了克服傳統(tǒng)分析方法的局限,模型檢測(cè)技術(shù)被應(yīng)用于分布式DTM策略的分析中。提出使用統(tǒng)計(jì)模型檢測(cè)技術(shù)來驗(yàn)證多核系統(tǒng)中分布式DTM策略(以TAPE策略為例)的方案。使用UPPAAL SMC對(duì)TAPE策略的驗(yàn)證證明了TAPE策略的安全性、有效性、活性以及穩(wěn)定性,從而驗(yàn)證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.
【作者單位】： 四川大學(xué)計(jì)算機(jī)學(xué)院;
【分類號(hào)】：TP332
【正文快照】： 1緒論為了維持多核系統(tǒng)的溫度在閾值之下并最大化計(jì)算機(jī)的性能,近年來出現(xiàn)了多種溫度管理技術(shù)。其中分布式DTM策略因其良好的可擴(kuò)展性得到了廣泛的應(yīng)用�；谌蝿�(wù)遷移機(jī)制的分布式DTM策略是解決多核系統(tǒng)面臨的溫度問題的一個(gè)好方法[1]。該類策略通過相鄰核之間的任務(wù)遷移獲取

【相似文獻(xiàn)】

相關(guān)期刊論文 前10條

1 石瑋;李雨前;汪自云;;多核系統(tǒng)效率與任務(wù)屬性關(guān)系的優(yōu)化策略[J];信息化縱橫;2009年16期

2 徐超;何炎祥;陳勇;劉健博;吳偉;李清安;;一種多核系統(tǒng)可靠性加強(qiáng)的任務(wù)調(diào)度方法[J];電子學(xué)報(bào);2013年05期

3 劉磊;;對(duì)片上多核系統(tǒng)的系統(tǒng)結(jié)構(gòu)的研究[J];電腦知識(shí)與技術(shù);2008年29期

4 劉彩霞;石峰;謝小怡;薛建平;宋紅;;面向嵌入式多核系統(tǒng)的可共享多通道便簽存儲(chǔ)器設(shè)計(jì)與實(shí)現(xiàn)[J];小型微型計(jì)算機(jī)系統(tǒng);2010年07期

5 Frank Ko;;渦輪增壓多核系統(tǒng)[J];世界電子元器件;2006年11期

6 謝炯;潘紅芳;程金宏;王文閣;額爾敦;;多核系統(tǒng)性能檢測(cè)及調(diào)優(yōu)策略研究[J];電力信息與通信技術(shù);2014年01期

7 虞保忠;張燈;徐曉光;胡寧;;嵌入式多核系統(tǒng)中斷負(fù)載均衡研究[J];電子技術(shù);2014年03期

8 李東生;高明倫;;高密度集成與單芯片多核系統(tǒng)及其研究進(jìn)展[J];半導(dǎo)體技術(shù);2012年02期

9 邢慧敏;謝憬;毛志剛;;一種多核系統(tǒng)中的二維塊數(shù)據(jù)存儲(chǔ)機(jī)制[J];計(jì)算機(jī)工程;2011年10期

10 張軼;關(guān)楠;王義;;一種多核系統(tǒng)上基于頁著色的內(nèi)存管理方法[J];東北大學(xué)學(xué)報(bào)(自然科學(xué)版);2014年03期

相關(guān)會(huì)議論文 前1條

1 蔡德霞;鐘誠;韋興柳;林孔升;;多核系統(tǒng)上任意兩序列公共元素的并行查找[A];全國第22屆計(jì)算機(jī)技術(shù)與應(yīng)用學(xué)術(shù)會(huì)議(CACIS·2011)暨全國第3屆安全關(guān)鍵技術(shù)與應(yīng)用（SCA·2011）學(xué)術(shù)會(huì)議論文摘要集[C];2011年

相關(guān)博士學(xué)位論文 前5條

1 于績洋;適用于高性能計(jì)算節(jié)點(diǎn)的多核系統(tǒng)協(xié)同優(yōu)化設(shè)計(jì)[D];浙江大學(xué);2015年

2 張琦;多核系統(tǒng)中的程序性能優(yōu)化研究[D];中國科學(xué)技術(shù)大學(xué);2010年

3 傅琛;面向多核系統(tǒng)的高性能硬件事務(wù)存儲(chǔ)的優(yōu)化研究[D];哈爾濱工業(yè)大學(xué);2011年

4 劉彩霞;基三片上多核系統(tǒng)TriBA存儲(chǔ)體系關(guān)鍵技術(shù)研究[D];北京理工大學(xué);2010年

5 劉志強(qiáng);面向多核的系統(tǒng)級(jí)MPI通信優(yōu)化關(guān)鍵技術(shù)研究[D];國防科學(xué)技術(shù)大學(xué);2011年

相關(guān)碩士學(xué)位論文 前10條

1 劉然;多核系統(tǒng)上可伸縮的讀寫同步[D];復(fù)旦大學(xué);2014年

2 褚廷斌;基于訪存行為特征的片上多核系統(tǒng)功耗管控研究[D];電子科技大學(xué);2015年

3 楊洋;多核系統(tǒng)下吞吐量與延遲敏感的并行流水調(diào)度能耗最小化問題研究[D];東北大學(xué);2013年

4 劉聰;基于溫度感知的多核實(shí)時(shí)系統(tǒng)穩(wěn)定性研究[D];東北大學(xué);2014年

5 費(fèi)亭;基于分支限界法的多核系統(tǒng)實(shí)時(shí)多任務(wù)映射方法研究[D];廣東工業(yè)大學(xué);2016年

6 李建華;多核系統(tǒng)中動(dòng)態(tài)細(xì)粒度優(yōu)化功率分配方法研究[D];廣東工業(yè)大學(xué);2016年

7 李嵩;片上多核系統(tǒng)高速緩存的功耗管控方法研究[D];電子科技大學(xué);2016年

8 高冬雪;多核系統(tǒng)存儲(chǔ)結(jié)構(gòu)優(yōu)化技術(shù)研究[D];合肥工業(yè)大學(xué);2016年

9 孟曉林;多核系統(tǒng)減少內(nèi)存干擾技術(shù)的研究[D];杭州電子科技大學(xué);2016年

10 尹凱;基于總線架構(gòu)的多核系統(tǒng)編程模型及數(shù)據(jù)安全性研究[D];合肥工業(yè)大學(xué);2009年

，

本文編號(hào)：1423123