面向WCET估计的Cache分析研究综述

发布时间：2018-01-19 15:13

  本文关键词： 实时系统 WCET(worst-case execution time) Cache分析 时间分析 抽象解释　出处：《软件学报》2014年02期 　论文类型：期刊论文

【摘要】：实时系统时间分析的首要任务是估计程序的最坏情况执行时间(worst-case execution time,简称WCET).程序的WCET通常受到硬件体系结构的影响,Cache则是其中最为突出的因素之一.对面向WCET计算的Cache分析研究进行了综述,介绍了经典Cache分析框架与Cache分析核心技术,并从循环结构分析、数据Cache分析、多级Cache分析、多核共享Cache分析、非LRU替换策略分析等角度介绍了Cache分析在不同维度上的研究问题与主要挑战,总结了现有技术的优缺点,展望了Cache分析研究的未来发展方向.
[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.
【作者单位】： 东北大学信息科学与工程学院;
【基金】：国家自然科学基金(61100023,61300022) 中央高校基本科研业务费(N120404008)
【分类号】：TP332
【正文快照】： 随着信息技术的飞速发展,嵌入式系统正在以前所未有的速度渗透到人类生活的方方面面.大多数嵌入式系统都存在于安全关键的(safe critical)环境中,系统的正确性不仅取决于运算的逻辑正确性,更取决于系统的时间行为是否满足规定的时间约束.这类系统称为实时系统[1].在硬实时系统

【参考文献】

相关期刊论文 前1条

1 陈芳园;张冬松;王志英;;多核实时线程间干扰分析及WCET估值[J];电子学报;2012年07期

【共引文献】

相关期刊论文 前10条

1 张泽莉,马华东;简单网络支付协议的形式模型[J];北京邮电大学学报;2002年04期

2 张冬梅,马华东,高大永;基于Uppaal的移动IPv6协议的模型检测[J];北京邮电大学学报;2005年04期

3 林惠民,张文辉;模型检测:理论、方法与应用[J];电子学报;2002年S1期

4 李书浩,王戟,齐治昌,董威;一种面向性质的实时系统测试方法[J];电子学报;2005年05期

5 梅传根;刘祚时;童俊华;;Robocup中模糊阵型策略的实现[J];工业控制计算机;2008年12期

6 吕鸣松;郭浩;关楠;;MRU Cache替换算法平均性能剖析[J];东北大学学报(自然科学版);2013年11期

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

8 李乃斌;基于UPPAAL软件的实时系统设计研究[J];航空计算技术;2004年04期

9 郭华;庄雷;张习勇;;不可靠环境下多轮FR协议分析[J];计算机工程与应用;2006年33期

10 杨毅;王黎明;;RASA的多Agent交互协议研究[J];计算机工程与应用;2010年28期

相关会议论文 前3条

1 余兴超;马争先;王玉斌;董荣胜;;基于UPPAAL的简单网络支付协议形式化验证[A];广西计算机学会2010年学术年会论文集[C];2010年

2 萧德云;莫以为;;混合系统的验证与控制综合[A];第二十一届中国控制会议论文集[C];2002年

3 郭华;庄雷;;电子商务协议的形式化验证方法及FR验证实例[A];2005年全国理论计算机科学学术年会论文集[C];2005年

相关博士学位论文 前10条

1 杨年华;模型驱动架构中的可信嵌入式软件建模与分析[D];华东理工大学;2011年

2 吕鸣松;实时系统最坏情况执行时间分析技术的研究[D];东北大学;2010年

3 涂钰青;基于IEC61499标准的组件化模型集成数控系统形式化建模与验证的研究[D];华南理工大学;2011年

4 陈靖;带实时的传值与移动系统研究[D];中国科学院研究生院（软件研究所）;2003年

5 郅跃茹;混合动态系统中几个关键技术的研究[D];浙江大学;2005年

6 廖军;面向服务的计算（SOC）中服务组合的研究[D];电子科技大学;2006年

7 姬孟洛;实时系统最差情况执行时间分析的研究[D];国防科学技术大学;2006年

8 胡军;构件化嵌入式软件设计的分析与验证[D];南京大学;2005年

9 韩守鹏;分布式仿真系统动态重构技术研究[D];国防科学技术大学;2007年

10 金仙力;实时服务构件的语义特征和行为组装形式化技术研究[D];北京邮电大学;2008年

相关硕士学位论文 前10条

1 郭志良;基于时间自动机模型的CBTC系统安全计算机平台的形式化验证[D];北京交通大学;2010年

2 曹加云;基于时间自动机的CTCS-3级列控车载设备建模与验证[D];西南交通大学;2010年

3 刘文宁;基于模型集成计算的领域模型转换的应用与研究[D];杭州电子科技大学;2010年

4 余飞;基于Uppaal的多处理器实时系统的可调度性分析[D];上海交通大学;2011年

5 计宏霖;基于UPPAAL的电子商务协议安全性分析[D];解放军信息工程大学;2008年

6 赵冬;对时间输入/输出自动机有效地进行一致性测试[D];郑州大学;2002年

7 徐雨波;实时系统模型检测工具FPTAT的算法与实现[D];中国科学院研究生院（软件研究所）;2005年

8 朱维军;基于时间自动机若干新模型的研究[D];郑州大学;2005年

9 赵鹏;混合系统验证与确认集成技术研究[D];国防科学技术大学;2004年

10 王兴梁;基于多系统联动的安全接入认证计费系统的研究与实现[D];北京邮电大学;2006年

【二级参考文献】

相关期刊论文 前2条

1 谢子超;陆俊林;佟冬;王箫音;程旭;;一种面向超标量处理器的高能效指令缓存路选择技术[J];电子学报;2011年11期

2 谭国真;杨际祥;王凡;潘东;;多核集群任务分配问题复杂性分析[J];电子学报;2012年02期

【相似文献】

相关期刊论文 前10条

1 姬孟洛;齐治昌;;实时系统程序最差情况执行时间(WCET)的分析[J];计算机科学;2006年10期

2 罗大卫;余可人;;微机实时管理控制系统的总体结构设计及实现[J];计算机工程与应用;1987年10期

3 王瑞锋;王瑞英;吴湘淇;;一种实时图象处理子系统的硬件实现[J];北京交通大学学报;1989年01期

4 李绍成;微机实时系统的事件驱动程序设计[J];微机发展;1996年04期

5 杨帆;MIS中实时系统的合成技术[J];计算机应用;1998年01期

6 江浩,徐治皋,高正平,徐莹;火电厂实时系统数据通道的设计与实现[J];电力系统自动化;2002年02期

7 李勇;李宣东;郑国梁;;实时系统时段性质的模型检验[J];计算机科学;2002年11期

8 罗秉安,张立臣;基于CMM的实时系统开发过程[J];微机发展;2004年02期

9 阳俊;郑全第;;一种基于Linux的嵌入式实时操作系统分析[J];弹箭与制导学报;2004年S9期

10 周治平,夏娟,纪志成,林家俊;基于UML实时系统设计方法的分析与比较[J];计算机工程;2005年13期

相关会议论文 前10条

1 李斌兵;孙文海;;基于消防实时系统的QoS技术研究[A];第六届全国计算机应用联合学术会议论文集[C];2002年

2 段成刚;欧阳森;宋政湘;陈德桂;王建华;;基于双CPU的嵌入式电能质量监测设备的设计[A];中国电工技术学会低压电器专业委员会第十一届学术年会论文集[C];2002年

3 毕小龙;王洪跃;朱大海;徐治皋;;基于COM+组件的电站实时系统的设计和实现[A];2004电站自动化信息化学术技术交流会议论文集[C];2004年

4 孔岳伦;;96例海水中尸体脱发时间分析[A];第五次全国法医学术交流会论文集[C];1996年

5 杨锁昌;孟晨;魏保华;郑思龙;;RTSI实时系统集成总线及其编程控制[A];中国仪器仪表学会第三届青年学术会议论文集（上）[C];2001年

6 江雷;朱建平;;基于静态分析的软件安全检测技术研究[A];全国计算机安全学术交流会论文集（第二十四卷）[C];2009年

7 吴学贤;江杰;徐大威;何永保;;宝钢一号高炉操作指导专家系统[A];1995年中国智能自动化学术会议暨智能自动化专业委员会成立大会论文集（上册）[C];1995年

8 金建设;董文葆;;大型无机化工厂基于规则的生产调度辅助系统[A];第三届全国控制与决策系统学术会议论文集[C];1991年

9 唐乐;雷航;吴晓华;;基于时间Petri网产生测试序列的方法[A];第四届中国测试学术会议论文集[C];2006年

10 肖建桥;;实时分布式系统进程迁移的研究[A];武汉市第二届学术年会、通信学会2006年学术年会论文集[C];2006年

相关重要报纸文章 前10条

1 上海社科院哲学所 陈翔勤;现代性的时间分析[N];社会科学报;2002年

2 ;ADI发布Blackfin DSP产品[N];中国电子报;2001年

3 耿丽娜（作者单位：龙山区教师进修学校）;怎样面对害羞的孩子[N];辽源日报;2005年

4 广东省电信科学技术研究院多媒体部 张宇飞 卢燕青;实时系统软件分析和设计方法综述[N];中国计算机报;2000年

5 ;江西移动的“移动课堂”[N];计算机世界;2003年

6 中国社会科学院国际法研究中心研究员 林欣;论外逃腐败犯罪嫌疑人的引渡问题[N];法制日报;2005年

7 王明毅;英维思ARPM石化企业在线性能监控[N];中国石油报;2006年

8 黄健文 （广 西）;网拍连环画[N];中国商报;2004年

9 ;今周美元可望止跌回稳[N];民营经济报;2006年

10 陈子牧邋吴进宇;结“网”惠农[N];金融时报;2008年

相关博士学位论文 前10条

1 姬孟洛;实时系统最差情况执行时间分析的研究[D];国防科学技术大学;2006年

2 江维;任务关键实时系统的可信感知调度研究[D];电子科技大学;2009年

3 吴小东;基于电压岛的多核实时系统中同步任务节能调度策略研究[D];华中科技大学;2012年

4 邹勇;开放式实时系统的调度方法研究[D];中国科学院研究生院（软件研究所）;2003年

5 巴巍;实时系统动态优先级任务调度算法的研究[D];大连理工大学;2010年

6 毛佳;嵌入式实时系统中关键技术的研究[D];吉林大学;2004年

7 陈宇;高可靠容错实时系统的支撑技术研究[D];电子科技大学;2001年

8 赵冰;若干退化系统的可靠性模型及维修替换策略[D];燕山大学;2011年

9 杨仕平;分布式任务关键实时系统的防危（Safety）技术研究[D];电子科技大学;2004年

10 吴刚;对低功耗进程调度算法的研究[D];复旦大学;2006年

相关硕士学位论文 前10条

1 钟洋;基于Windows NT的弱实时多任务的实现[D];武汉科技大学;2002年

2 赵修伟;基于抽象解释的实时软件WCET研究[D];大连理工大学;2009年

3 刘彬;工控设备中数据处理技术的研究[D];中南大学;2004年

4 汪泓澄;嵌入式系统的性能基准程序及任务时限违背率[D];同济大学;2006年

5 舒国强;面向对象的实时系统可调度性验证和代码生成技术研究[D];中国科学院研究生院（软件研究所）;2003年

6 姬莉霞;基于时间自动机的实时系统规范验证研究[D];郑州大学;2004年

7 杨龙;Linux实时调度算法与测试平台的研究与实现[D];大连理工大学;2005年

8 郭东亮;面向方面的实时系统开发方法[D];广东工业大学;2005年

9 邹玉丽;基于UML的实时性研究[D];山东科技大学;2005年

10 苗长运;并行实时系统在BRCC中的形式化[D];广西师范大学;2010年

，

本文编号：1444708