發(fā)布時(shí)間：2018-01-19 15:13

  本文關(guān)鍵詞： 實(shí)時(shí)系統(tǒng) WCET(worst-case execution time) Cache分析 時(shí)間分析 抽象解釋　出處：《軟件學(xué)報(bào)》2014年02期 　論文類型：期刊論文

【摘要】：實(shí)時(shí)系統(tǒng)時(shí)間分析的首要任務(wù)是估計(jì)程序的最壞情況執(zhí)行時(shí)間(worst-case execution time,簡(jiǎn)稱WCET).程序的WCET通常受到硬件體系結(jié)構(gòu)的影響,Cache則是其中最為突出的因素之一.對(duì)面向WCET計(jì)算的Cache分析研究進(jìn)行了綜述,介紹了經(jīng)典Cache分析框架與Cache分析核心技術(shù),并從循環(huán)結(jié)構(gòu)分析、數(shù)據(jù)Cache分析、多級(jí)Cache分析、多核共享Cache分析、非LRU替換策略分析等角度介紹了Cache分析在不同維度上的研究問(wèn)題與主要挑戰(zhàn),總結(jié)了現(xiàn)有技術(shù)的優(yōu)缺點(diǎn),展望了Cache分析研究的未來(lái)發(fā)展方向.
[Abstract]:The primary task of real-time system time analysis is to estimate the worst-case execution time for the worst-case execution of the program. The WCET of programs is usually influenced by the hardware architecture. Cache is one of the most prominent factors. The Cache analysis for WCET computing is reviewed. This paper introduces the classical Cache analysis framework and the core technology of Cache analysis, and analyzes the loop structure, data Cache, multilevel Cache and multi-core shared Cache. This paper introduces the research problems and main challenges of Cache analysis in different dimensions from the point of view of non-#en0# substitution strategy analysis, and summarizes the advantages and disadvantages of existing technologies. The future development of Cache analysis is prospected.
【作者單位】： 東北大學(xué)信息科學(xué)與工程學(xué)院;
【基金】：國(guó)家自然科學(xué)基金(61100023,61300022) 中央高�；究蒲袠I(yè)務(wù)費(fèi)(N120404008)
【分類號(hào)】：TP332
【正文快照】： 隨著信息技術(shù)的飛速發(fā)展,嵌入式系統(tǒng)正在以前所未有的速度滲透到人類生活的方方面面.大多數(shù)嵌入式系統(tǒng)都存在于安全關(guān)鍵的(safe critical)環(huán)境中,系統(tǒng)的正確性不僅取決于運(yùn)算的邏輯正確性,更取決于系統(tǒng)的時(shí)間行為是否滿足規(guī)定的時(shí)間約束.這類系統(tǒng)稱為實(shí)時(shí)系統(tǒng)[1].在硬實(shí)時(shí)系統(tǒng)

【參考文獻(xiàn)】

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

1 陳芳園;張冬松;王志英;;多核實(shí)時(shí)線程間干擾分析及WCET估值[J];電子學(xué)報(bào);2012年07期

【共引文獻(xiàn)】

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

1 張澤莉,馬華東;簡(jiǎn)單網(wǎng)絡(luò)支付協(xié)議的形式模型[J];北京郵電大學(xué)學(xué)報(bào);2002年04期

2 張冬梅,馬華東,高大永;基于Uppaal的移動(dòng)IPv6協(xié)議的模型檢測(cè)[J];北京郵電大學(xué)學(xué)報(bào);2005年04期

3 林惠民,張文輝;模型檢測(cè):理論、方法與應(yīng)用[J];電子學(xué)報(bào);2002年S1期

4 李書(shū)浩,王戟,齊治昌,董威;一種面向性質(zhì)的實(shí)時(shí)系統(tǒng)測(cè)試方法[J];電子學(xué)報(bào);2005年05期

5 梅傳根;劉祚時(shí);童俊華;;Robocup中模糊陣型策略的實(shí)現(xiàn)[J];工業(yè)控制計(jì)算機(jī);2008年12期

6 呂鳴松;郭浩;關(guān)楠;;MRU Cache替換算法平均性能剖析[J];東北大學(xué)學(xué)報(bào)(自然科學(xué)版);2013年11期

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

8 李乃斌;基于UPPAAL軟件的實(shí)時(shí)系統(tǒng)設(shè)計(jì)研究[J];航空計(jì)算技術(shù);2004年04期

9 郭華;莊雷;張習(xí)勇;;不可靠環(huán)境下多輪FR協(xié)議分析[J];計(jì)算機(jī)工程與應(yīng)用;2006年33期

10 楊毅;王黎明;;RASA的多Agent交互協(xié)議研究[J];計(jì)算機(jī)工程與應(yīng)用;2010年28期

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

1 余興超;馬爭(zhēng)先;王玉斌;董榮勝;;基于UPPAAL的簡(jiǎn)單網(wǎng)絡(luò)支付協(xié)議形式化驗(yàn)證[A];廣西計(jì)算機(jī)學(xué)會(huì)2010年學(xué)術(shù)年會(huì)論文集[C];2010年

2 蕭德云;莫以為;;混合系統(tǒng)的驗(yàn)證與控制綜合[A];第二十一屆中國(guó)控制會(huì)議論文集[C];2002年

3 郭華;莊雷;;電子商務(wù)協(xié)議的形式化驗(yàn)證方法及FR驗(yàn)證實(shí)例[A];2005年全國(guó)理論計(jì)算機(jī)科學(xué)學(xué)術(shù)年會(huì)論文集[C];2005年

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

1 楊年華;模型驅(qū)動(dòng)架構(gòu)中的可信嵌入式軟件建模與分析[D];華東理工大學(xué);2011年

2 呂鳴松;實(shí)時(shí)系統(tǒng)最壞情況執(zhí)行時(shí)間分析技術(shù)的研究[D];東北大學(xué);2010年

3 涂鈺青;基于IEC61499標(biāo)準(zhǔn)的組件化模型集成數(shù)控系統(tǒng)形式化建模與驗(yàn)證的研究[D];華南理工大學(xué);2011年

4 陳靖;帶實(shí)時(shí)的傳值與移動(dòng)系統(tǒng)研究[D];中國(guó)科學(xué)院研究生院（軟件研究所）;2003年

5 郅躍茹;混合動(dòng)態(tài)系統(tǒng)中幾個(gè)關(guān)鍵技術(shù)的研究[D];浙江大學(xué);2005年

6 廖軍;面向服務(wù)的計(jì)算（SOC）中服務(wù)組合的研究[D];電子科技大學(xué);2006年

7 姬孟洛;實(shí)時(shí)系統(tǒng)最差情況執(zhí)行時(shí)間分析的研究[D];國(guó)防科學(xué)技術(shù)大學(xué);2006年

8 胡軍;構(gòu)件化嵌入式軟件設(shè)計(jì)的分析與驗(yàn)證[D];南京大學(xué);2005年

9 韓守鵬;分布式仿真系統(tǒng)動(dòng)態(tài)重構(gòu)技術(shù)研究[D];國(guó)防科學(xué)技術(shù)大學(xué);2007年

10 金仙力;實(shí)時(shí)服務(wù)構(gòu)件的語(yǔ)義特征和行為組裝形式化技術(shù)研究[D];北京郵電大學(xué);2008年

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

1 郭志良;基于時(shí)間自動(dòng)機(jī)模型的CBTC系統(tǒng)安全計(jì)算機(jī)平臺(tái)的形式化驗(yàn)證[D];北京交通大學(xué);2010年

2 曹加云;基于時(shí)間自動(dòng)機(jī)的CTCS-3級(jí)列控車載設(shè)備建模與驗(yàn)證[D];西南交通大學(xué);2010年

3 劉文寧;基于模型集成計(jì)算的領(lǐng)域模型轉(zhuǎn)換的應(yīng)用與研究[D];杭州電子科技大學(xué);2010年

4 余飛;基于Uppaal的多處理器實(shí)時(shí)系統(tǒng)的可調(diào)度性分析[D];上海交通大學(xué);2011年

5 計(jì)宏霖;基于UPPAAL的電子商務(wù)協(xié)議安全性分析[D];解放軍信息工程大學(xué);2008年

6 趙冬;對(duì)時(shí)間輸入/輸出自動(dòng)機(jī)有效地進(jìn)行一致性測(cè)試[D];鄭州大學(xué);2002年

7 徐雨波;實(shí)時(shí)系統(tǒng)模型檢測(cè)工具FPTAT的算法與實(shí)現(xiàn)[D];中國(guó)科學(xué)院研究生院（軟件研究所）;2005年

8 朱維軍;基于時(shí)間自動(dòng)機(jī)若干新模型的研究[D];鄭州大學(xué);2005年

9 趙鵬;混合系統(tǒng)驗(yàn)證與確認(rèn)集成技術(shù)研究[D];國(guó)防科學(xué)技術(shù)大學(xué);2004年

10 王興梁;基于多系統(tǒng)聯(lián)動(dòng)的安全接入認(rèn)證計(jì)費(fèi)系統(tǒng)的研究與實(shí)現(xiàn)[D];北京郵電大學(xué);2006年

【二級(jí)參考文獻(xiàn)】

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

1 謝子超;陸俊林;佟冬;王簫音;程旭;;一種面向超標(biāo)量處理器的高能效指令緩存路選擇技術(shù)[J];電子學(xué)報(bào);2011年11期

2 譚國(guó)真;楊際祥;王凡;潘東;;多核集群任務(wù)分配問(wèn)題復(fù)雜性分析[J];電子學(xué)報(bào);2012年02期

【相似文獻(xiàn)】

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

1 姬孟洛;齊治昌;;實(shí)時(shí)系統(tǒng)程序最差情況執(zhí)行時(shí)間(WCET)的分析[J];計(jì)算機(jī)科學(xué);2006年10期

2 羅大衛(wèi);余可人;;微機(jī)實(shí)時(shí)管理控制系統(tǒng)的總體結(jié)構(gòu)設(shè)計(jì)及實(shí)現(xiàn)[J];計(jì)算機(jī)工程與應(yīng)用;1987年10期

3 王瑞鋒;王瑞英;吳湘淇;;一種實(shí)時(shí)圖象處理子系統(tǒng)的硬件實(shí)現(xiàn)[J];北京交通大學(xué)學(xué)報(bào);1989年01期

4 李紹成;微機(jī)實(shí)時(shí)系統(tǒng)的事件驅(qū)動(dòng)程序設(shè)計(jì)[J];微機(jī)發(fā)展;1996年04期

5 楊帆;MIS中實(shí)時(shí)系統(tǒng)的合成技術(shù)[J];計(jì)算機(jī)應(yīng)用;1998年01期

6 江浩,徐治皋,高正平,徐瑩;火電廠實(shí)時(shí)系統(tǒng)數(shù)據(jù)通道的設(shè)計(jì)與實(shí)現(xiàn)[J];電力系統(tǒng)自動(dòng)化;2002年02期

7 李勇;李宣東;鄭國(guó)梁;;實(shí)時(shí)系統(tǒng)時(shí)段性質(zhì)的模型檢驗(yàn)[J];計(jì)算機(jī)科學(xué);2002年11期

8 羅秉安,張立臣;基于CMM的實(shí)時(shí)系統(tǒng)開(kāi)發(fā)過(guò)程[J];微機(jī)發(fā)展;2004年02期

9 陽(yáng)俊;鄭全第;;一種基于Linux的嵌入式實(shí)時(shí)操作系統(tǒng)分析[J];彈箭與制導(dǎo)學(xué)報(bào);2004年S9期

10 周治平,夏娟,紀(jì)志成,林家俊;基于UML實(shí)時(shí)系統(tǒng)設(shè)計(jì)方法的分析與比較[J];計(jì)算機(jī)工程;2005年13期

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

1 李斌兵;孫文海;;基于消防實(shí)時(shí)系統(tǒng)的QoS技術(shù)研究[A];第六屆全國(guó)計(jì)算機(jī)應(yīng)用聯(lián)合學(xué)術(shù)會(huì)議論文集[C];2002年

2 段成剛;歐陽(yáng)森;宋政湘;陳德桂;王建華;;基于雙CPU的嵌入式電能質(zhì)量監(jiān)測(cè)設(shè)備的設(shè)計(jì)[A];中國(guó)電工技術(shù)學(xué)會(huì)低壓電器專業(yè)委員會(huì)第十一屆學(xué)術(shù)年會(huì)論文集[C];2002年

3 畢小龍;王洪躍;朱大海;徐治皋;;基于COM+組件的電站實(shí)時(shí)系統(tǒng)的設(shè)計(jì)和實(shí)現(xiàn)[A];2004電站自動(dòng)化信息化學(xué)術(shù)技術(shù)交流會(huì)議論文集[C];2004年

4 孔岳倫;;96例海水中尸體脫發(fā)時(shí)間分析[A];第五次全國(guó)法醫(yī)學(xué)術(shù)交流會(huì)論文集[C];1996年

5 楊鎖昌;孟晨;魏保華;鄭思龍;;RTSI實(shí)時(shí)系統(tǒng)集成總線及其編程控制[A];中國(guó)儀器儀表學(xué)會(huì)第三屆青年學(xué)術(shù)會(huì)議論文集（上）[C];2001年

6 江雷;朱建平;;基于靜態(tài)分析的軟件安全檢測(cè)技術(shù)研究[A];全國(guó)計(jì)算機(jī)安全學(xué)術(shù)交流會(huì)論文集（第二十四卷）[C];2009年

7 吳學(xué)賢;江杰;徐大威;何永保;;寶鋼一號(hào)高爐操作指導(dǎo)專家系統(tǒng)[A];1995年中國(guó)智能自動(dòng)化學(xué)術(shù)會(huì)議暨智能自動(dòng)化專業(yè)委員會(huì)成立大會(huì)論文集（上冊(cè)）[C];1995年

8 金建設(shè);董文葆;;大型無(wú)機(jī)化工廠基于規(guī)則的生產(chǎn)調(diào)度輔助系統(tǒng)[A];第三屆全國(guó)控制與決策系統(tǒng)學(xué)術(shù)會(huì)議論文集[C];1991年

9 唐樂(lè);雷航;吳曉華;;基于時(shí)間Petri網(wǎng)產(chǎn)生測(cè)試序列的方法[A];第四屆中國(guó)測(cè)試學(xué)術(shù)會(huì)議論文集[C];2006年

10 肖建橋;;實(shí)時(shí)分布式系統(tǒng)進(jìn)程遷移的研究[A];武漢市第二屆學(xué)術(shù)年會(huì)、通信學(xué)會(huì)2006年學(xué)術(shù)年會(huì)論文集[C];2006年

相關(guān)重要報(bào)紙文章 前10條

1 上海社科院哲學(xué)所 陳翔勤;現(xiàn)代性的時(shí)間分析[N];社會(huì)科學(xué)報(bào);2002年

2 ;ADI發(fā)布Blackfin DSP產(chǎn)品[N];中國(guó)電子報(bào);2001年

3 耿麗娜（作者單位：龍山區(qū)教師進(jìn)修學(xué)校）;怎樣面對(duì)害羞的孩子[N];遼源日?qǐng)?bào);2005年

4 廣東省電信科學(xué)技術(shù)研究院多媒體部 張宇飛 盧燕青;實(shí)時(shí)系統(tǒng)軟件分析和設(shè)計(jì)方法綜述[N];中國(guó)計(jì)算機(jī)報(bào);2000年

5 ;江西移動(dòng)的“移動(dòng)課堂”[N];計(jì)算機(jī)世界;2003年

6 中國(guó)社會(huì)科學(xué)院國(guó)際法研究中心研究員 林欣;論外逃腐敗犯罪嫌疑人的引渡問(wèn)題[N];法制日?qǐng)?bào);2005年

7 王明毅;英維思ARPM石化企業(yè)在線性能監(jiān)控[N];中國(guó)石油報(bào);2006年

8 黃健文 （廣 西）;網(wǎng)拍連環(huán)畫(huà)[N];中國(guó)商報(bào);2004年

9 ;今周美元可望止跌回穩(wěn)[N];民營(yíng)經(jīng)濟(jì)報(bào);2006年

10 陳子牧邋吳進(jìn)宇;結(jié)“網(wǎng)”惠農(nóng)[N];金融時(shí)報(bào);2008年

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

1 姬孟洛;實(shí)時(shí)系統(tǒng)最差情況執(zhí)行時(shí)間分析的研究[D];國(guó)防科學(xué)技術(shù)大學(xué);2006年

2 江維;任務(wù)關(guān)鍵實(shí)時(shí)系統(tǒng)的可信感知調(diào)度研究[D];電子科技大學(xué);2009年

3 吳小東;基于電壓島的多核實(shí)時(shí)系統(tǒng)中同步任務(wù)節(jié)能調(diào)度策略研究[D];華中科技大學(xué);2012年

4 鄒勇;開(kāi)放式實(shí)時(shí)系統(tǒng)的調(diào)度方法研究[D];中國(guó)科學(xué)院研究生院（軟件研究所）;2003年

5 巴巍;實(shí)時(shí)系統(tǒng)動(dòng)態(tài)優(yōu)先級(jí)任務(wù)調(diào)度算法的研究[D];大連理工大學(xué);2010年

6 毛佳;嵌入式實(shí)時(shí)系統(tǒng)中關(guān)鍵技術(shù)的研究[D];吉林大學(xué);2004年

7 陳宇;高可靠容錯(cuò)實(shí)時(shí)系統(tǒng)的支撐技術(shù)研究[D];電子科技大學(xué);2001年

8 趙冰;若干退化系統(tǒng)的可靠性模型及維修替換策略[D];燕山大學(xué);2011年

9 楊仕平;分布式任務(wù)關(guān)鍵實(shí)時(shí)系統(tǒng)的防危（Safety）技術(shù)研究[D];電子科技大學(xué);2004年

10 吳剛;對(duì)低功耗進(jìn)程調(diào)度算法的研究[D];復(fù)旦大學(xué);2006年

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

1 鐘洋;基于Windows NT的弱實(shí)時(shí)多任務(wù)的實(shí)現(xiàn)[D];武漢科技大學(xué);2002年

2 趙修偉;基于抽象解釋的實(shí)時(shí)軟件WCET研究[D];大連理工大學(xué);2009年

3 劉彬;工控設(shè)備中數(shù)據(jù)處理技術(shù)的研究[D];中南大學(xué);2004年

4 汪泓澄;嵌入式系統(tǒng)的性能基準(zhǔn)程序及任務(wù)時(shí)限違背率[D];同濟(jì)大學(xué);2006年

5 舒國(guó)強(qiáng);面向?qū)ο蟮膶?shí)時(shí)系統(tǒng)可調(diào)度性驗(yàn)證和代碼生成技術(shù)研究[D];中國(guó)科學(xué)院研究生院（軟件研究所）;2003年

6 姬莉霞;基于時(shí)間自動(dòng)機(jī)的實(shí)時(shí)系統(tǒng)規(guī)范驗(yàn)證研究[D];鄭州大學(xué);2004年

7 楊龍;Linux實(shí)時(shí)調(diào)度算法與測(cè)試平臺(tái)的研究與實(shí)現(xiàn)[D];大連理工大學(xué);2005年

8 郭東亮;面向方面的實(shí)時(shí)系統(tǒng)開(kāi)發(fā)方法[D];廣東工業(yè)大學(xué);2005年

9 鄒玉麗;基于UML的實(shí)時(shí)性研究[D];山東科技大學(xué);2005年

10 苗長(zhǎng)運(yùn);并行實(shí)時(shí)系統(tǒng)在BRCC中的形式化[D];廣西師范大學(xué);2010年

，

本文編號(hào)：1444708