基于多核处理器平台的实时系统WCET分析研究

来源 :国防科学技术大学 | 被引量 : 0次 | 上传用户:gzzmh12345
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
实时程序最坏情况执行时间(Worst-Case Execuion Time, WCET)分析是指在程序或者程序片段执行之前获得其最坏情况的执行时间估值。事先获知任务的WCET估值是实时系统进行调度及可调度性分析的前提,也是检查实时系统性能是否满足要求的依据。随着VLSI技术的发展,多核处理器已经取代单核处理器成为时代的主流。而实时领域由于应用需求的提高开始对高性能的多核处理器投入越来越多地关注。但是,在多核处理器中,任务在访问硬件共享资源时会产生干扰,一个任务的执行时间可能会受到并行任务的影响。较之于体系结构简单的单核处理器而言,多核处理器在体系结构上对实时系统WCET分析提出了更多的挑战和难题。本文从影响多核处理器可预测性的硬件共享资源入手,深入研究了引起干扰的硬件共享资源对WCET估值的影响:片上共享资源(共享Cache、片上互连)和片外共享资源(片外共享存储),提出了基于多核处理器平台的实时系统WCET分析方法。所取得的研究成果主要包括:1、提出了一种基于多核处理器平台的实时系统WCET静态分析模型。该模型借鉴成熟的单核WCET静态分析流程,在底层微体系结构分析中综合考虑片上共享资源和片外共享资源干扰对实时任务执行时间的影响,以及共享资源干扰之间的相互影响。该模型用于指导后续的多核共享资源干扰分析、WCET计算和基于多核处理器平台的WCET分析工具的设计与实现。2、提出了一种基于指令取指执行时序范畴的共享指令Cache干扰分析方法。该方法考虑线程控制逻辑和执行时序对干扰的影响,基于指令取指执行时序范畴判断并行线程间在共享Cache上的干扰状态。理论分析证明该方法的有效性,实验结果表明,该方法在保守的地址映射分析方法的基础上可以更合理地分析共享Cache干扰,从而获得更精确的WCET估值。3、提出了一种迭代的共享总线干扰分析方法。针对共享Cache和共享总线的多核结构,综合考虑共享总线干扰和共享Cache干扰对线程WCET估值的影响以及二者之间的相互影响,以获得更精确的WCET估值。其核心思想是根据本文提出的基于指令取指执行时序范畴的共享Cache干扰分析方法,考虑共享总线对共享Cache访问时序的影响以及共享Cache干扰状态对共享总线的访问影响,确定合理的共享Cache和共享总线干扰状态,通过收敛的迭代分析方法获得更精确的WCET估值。4、提出了一种基于访问时序范畴的片外共享存储访问干扰分析方法。该方法针对并行线程竞争访问片外共享存储引起的干扰问题,借鉴执行图的思想构建线程存储访问图,在此基础上确定父辈窗口和干扰窗口:通过父辈窗口分析存储访问操作之间的影响以确定合理的线程存储访问延迟,通过干扰窗口分析并行线程间片外共享存储访问干扰,从而获得合理的、更精确的存储访问时间开销。该方法不仅考虑了线程内的存储访问请求之间的影响,而且基于时序范畴更好的分析了并行线程间的存储访问请求干扰。5、设计并实现了基于多核处理器平台的实时系统WCET静态分析工具MCTA。基于前面提出的干扰分析方法,在多核处理器平台的实时系统WCET静态分析模型的指导下,设计并实现了面向多核处理器的WCET静态分析工具MCTA。MCTA在底层微体系结构分析中考虑共享资源干扰对WCET估值的影响以及干扰之间的相互影响,以此获得更精确的WCET估值。WCET分析工具的实现、实验验证和评估结果表明,本文提出的上述技术是有效的,能够很好地应用于多核处理器在实时系统中的设计和实现。
其他文献
目的对MPCP在胆管癌诊断中的临床应用价值进行探讨。方法对50例经彩超检查提示患有胆管癌的患者采用MPCP进行扫描,平扫层厚和间隔为6~9 mm,设定增强扫描增厚以及间隔为6 mm,原
随着网络信息技术的发展和进步,信息技术被逐渐应用到各个领域,在企业会计信息化内部控制工作中同样如此。本文对企业会计信息化内部控制工作中存在的问题进行分析,并提出相
目的探讨第10号染色体同源丢失性磷酸酶和张力蛋白基因(PTEN)与E-钙黏蛋白(E—CD)在食管癌及其癌前病变中的表达及意义。方法采用免疫组化分别检测重庆市合川区人民医院2005~2011
引言大学生进行公益创业不仅是提升自身个人和社会价值,更是顺应了时代潮流、体现了多方贡献与价值.公益创业的定义公益一词公益(Istis1ah)是伊斯兰教法专用语原意为'公
期刊
目的比较Supreme与气管插管对围术期血流动力学及并发症的影响。方法选取年龄35~60岁,AsA分级为Ⅰ~Ⅱ级,拟在全身麻醉下行乳癌根治术的患者50例,随机分为Supreme组(S组,n=25)和气管插
基于2010年《山东统计年鉴》和全国第六次人口普查数据,本文以县域为研究单元,通过空间自相关分析人口的空间分布模式,运用因子分析和Pearson相关分析探究人口空间分布模式的
不等式在我们高中数学的学习中拥有非常重要的地位,并且使用不等式还可以解决我们日常生活中的许多实际问题,为我们带来极大的方便。不等式已经成为数学基础理论的重要组成部
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”$ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’#陈川个美食 Back to yield
高校档案作为社会档案的重要内容之一,高校档案服务能力也随着社会进步发展而成长。高校是知识密集型组织,高校档案服务因其服务需求知识化,服务来源的知识化及服务价值的增值化,由传统服务向知识服务转变。在此基础上,高校档案服务能力构成为:一是馆藏档案资源利用效力,即基础服务能力。它包含服务于师生、校友、社会组织提供的档案凭证与依据服务力,为高校发展历史鉴定,为高校权益维护证明。二是档案服务增值力。通过挖掘
期刊
目的:对微创动力髋螺钉(dynamic hip screw,DHS)内固定和传统DHS内固定治疗老年股骨粗隆间骨折的效果进行比较。方法:将91例老年股骨粗隆间骨折患者随机分为两组,传统组46例