期刊文献+
共找到56篇文章
< 1 2 3 >
每页显示 20 50 100
Research on Multi-Core Processor Analysis for WCET Estimation
1
作者 LUO Haoran HU Shuisong +2 位作者 WANG Wenyong TANG Yuke ZHOU Junwei 《ZTE Communications》 2024年第1期87-94,共8页
Real-time system timing analysis is crucial for estimating the worst-case execution time(WCET)of a program.To achieve this,static or dynamic analysis methods are used,along with targeted modeling of the actual hardwar... Real-time system timing analysis is crucial for estimating the worst-case execution time(WCET)of a program.To achieve this,static or dynamic analysis methods are used,along with targeted modeling of the actual hardware system.This literature review focuses on calculating WCET for multi-core processors,providing a survey of traditional methods used for static and dynamic analysis and highlighting the major challenges that arise from different program execution scenarios on multi-core platforms.This paper outlines the strengths and weaknesses of current methodologies and offers insights into prospective areas of research on multi-core analysis.By presenting a comprehensive analysis of the current state of research on multi-core processor analysis for WCET estimation,this review aims to serve as a valuable resource for researchers and practitioners in the field. 展开更多
关键词 real-time system worst-case execution time(wcet) multi-core analysis
下载PDF
基于多级一致性协议的多核处理器WCET分析方法 被引量:1
2
作者 朱怡安 史先琛 +4 位作者 姚烨 李联 任鹏远 董威振 李佳钰 《计算机研究与发展》 EI CSCD 北大核心 2023年第1期30-42,共13页
由于多核处理器优越的计算性能,多核处理器现已广泛应用在嵌入式实时系统中.相对于单核处理器,多核处理器存在资源共享竞争、并行任务干扰等因素,尤其是缓存(Cache)一致性问题,导致任务最坏情况执行时间(worst-case execution time,WCET... 由于多核处理器优越的计算性能,多核处理器现已广泛应用在嵌入式实时系统中.相对于单核处理器,多核处理器存在资源共享竞争、并行任务干扰等因素,尤其是缓存(Cache)一致性问题,导致任务最坏情况执行时间(worst-case execution time,WCET)的预测更加困难.基于以上因素,提出基于多级一致性协议的多核处理器WCET分析方法.该方法针对多级一致性协议体系架构,提出多级一致性域的概念,将多核处理器的数据访问分为域内访问和跨域访问2个层次,根据Cache读写策略和MESI(modify exclusive shared invalid)一致性协议,得出一致性域内部和跨一致性域的Cache状态更新函数,从而实现多级一致性协议嵌套情况下的WCET分析.实验结果表明,在改变Cache配置参数的情况下,该方法分析结果与GEM5仿真结果的变化趋势一致,经过相关性分析,GEM5仿真结果与该方法分析结果相关性系数不低于0.98;在分析精度方面,该方法的平均过估计率为1.30,相比现有方法降低了0.78. 展开更多
关键词 最坏情况执行时间 CACHE一致性协议 跨一致性域 静态分析 时序分析
下载PDF
包含依赖输入分支程序的符号化WCET分析 被引量:2
3
作者 姬孟洛 齐治昌 王怀民 《软件学报》 EI CSCD 北大核心 2006年第3期628-637,共10页
符号化WCET(worst-caseexecutiontime)分析是用符号表达式表示任务的最大执行时间:表达式中包含了参数.通过在运行时刻快速确定表达式值,符号化WCET分析可以更精确地估算WCET.提出了一种针对其分支直接依赖于输入数据的程序的符号化WCE... 符号化WCET(worst-caseexecutiontime)分析是用符号表达式表示任务的最大执行时间:表达式中包含了参数.通过在运行时刻快速确定表达式值,符号化WCET分析可以更精确地估算WCET.提出了一种针对其分支直接依赖于输入数据的程序的符号化WCET分析方法.首先对Blieberger方法进行扩充,使得WCET符号表达式能够表达依赖输入分支,然后利用程序的控制依赖图对符号表达式进行化简,从而产生带条件的WCET符号表达式,即不同的条件对应不同的符号表达式.与已有方法不同,符号化WCET公式直接依赖于输入参数,使得运行时的WCET估算更加简单直接. 展开更多
关键词 参数化最大执行时间wcet分析 wcet分析 程序分析 实时系统 软件工程
下载PDF
一种基于抽象解释的WCET自动分析工具 被引量:10
4
作者 姬孟洛 李军 +1 位作者 王馨 齐治昌 《计算机工程》 CAS CSCD 北大核心 2006年第14期54-56,共3页
利用基于抽象解释的变量值范围传播技术,提出了一种自动分析高级语言程序流信息的方法;并在白盒测试工具NPCA的基础上利用该方法实现了WCET分析工具NPCA-WCET。
关键词 实时程序 wcet分析工具 抽象解释
下载PDF
多核实时线程间干扰分析及WCET估值 被引量:9
5
作者 陈芳园 张冬松 王志英 《电子学报》 EI CAS CSCD 北大核心 2012年第7期1372-1378,共7页
在共享Cache的多核处理器中,线程在共享Cache中的指令可能被其他并行线程的指令替换,从而导致了线程间在共享Cache上的干扰.多核结构下WCET估值需要考虑并行线程间在共享Cache上的干扰.针对当前典型的共享Cache和共享总线的多核结构,本... 在共享Cache的多核处理器中,线程在共享Cache中的指令可能被其他并行线程的指令替换,从而导致了线程间在共享Cache上的干扰.多核结构下WCET估值需要考虑并行线程间在共享Cache上的干扰.针对当前典型的共享Cache和共享总线的多核结构,本文提出了一种迭代的WCET估值分析方法.考虑共享总线对共享Cache访问的时序影响,基于该时序分析线程间在共享Cache上的干扰,得到较精确的WCET估值.理论分析证明了该方法的有效性,实验结果表明本文的分析方法较之当前的两种方法分别可以提高21%和14%的精确度. 展开更多
关键词 多核体系结构 共享CACHE 共享总线 干扰 wcet
下载PDF
面向WCET估计的Cache分析研究综述 被引量:9
6
作者 吕鸣松 关楠 王义 《软件学报》 EI CSCD 北大核心 2014年第2期179-199,共21页
实时系统时间分析的首要任务是估计程序的最坏情况执行时间(worst-case execution time,简称WCET).程序的WCET通常受到硬件体系结构的影响,Cache则是其中最为突出的因素之一.对面向WCET计算的Cache分析研究进行了综述,介绍了经典Cache... 实时系统时间分析的首要任务是估计程序的最坏情况执行时间(worst-case execution time,简称WCET).程序的WCET通常受到硬件体系结构的影响,Cache则是其中最为突出的因素之一.对面向WCET计算的Cache分析研究进行了综述,介绍了经典Cache分析框架与Cache分析核心技术,并从循环结构分析、数据Cache分析、多级Cache分析、多核共享Cache分析、非LRU替换策略分析等角度介绍了Cache分析在不同维度上的研究问题与主要挑战,总结了现有技术的优缺点,展望了Cache分析研究的未来发展方向. 展开更多
关键词 实时系统 wcet(worst-case EXECUTION time) Cache分析 时间分析 抽象解释
下载PDF
基于分布函数的WCET快速估计 被引量:3
7
作者 周国昌 郭宝龙 +2 位作者 高翔 王健 闫允一 《计算机科学》 CSCD 北大核心 2016年第5期157-161,共5页
在实时软件系统中,软件时间性能的分析与评估技术是一个重要的课题,然而随着CPU的结构越来越复杂,采用传统的模拟底层硬件执行的方法越来越困难。而基于分布函数的最坏执行时间(Worst Case Execution Time,WCET)估计方法从概率角度出发... 在实时软件系统中,软件时间性能的分析与评估技术是一个重要的课题,然而随着CPU的结构越来越复杂,采用传统的模拟底层硬件执行的方法越来越困难。而基于分布函数的最坏执行时间(Worst Case Execution Time,WCET)估计方法从概率角度出发,可以绕过复杂的底层硬件建模,估计程序的最坏执行时间。首先对TI TMS320C6713DSP汇编代码进行基本块的划分,以基本块为结点构建程序流图;然后用贝塔分布模拟每条指令的运行时间并采用改进的计划评审技术(Program Evaluation and Review Technique,PERT)确定贝塔分布相关参数,指令叠加后用正态分布模拟每个基本块的执行时间;最后利用基于路径的方法得到整个程序的最坏执行时间。实验结果表明此方法是可行的和合理的。 展开更多
关键词 wcet DSP PERT 实时软件
下载PDF
基于WCET分析的实时系统轨迹获取技术 被引量:2
8
作者 王馨 姬孟洛 +1 位作者 王戟 齐治昌 《软件学报》 EI CSCD 北大核心 2006年第5期1232-1240,共9页
时序约束是判断实时系统运行是否正确的重要规约.为了减小测试时由于对系统进行插装而产生的对实时系统行为的影响,提出了一种混合式监控方法.它对系统的时间干扰比纯软件方式小,并支持对系统的完全测试.此外,还提出一种基于WCET(worst-... 时序约束是判断实时系统运行是否正确的重要规约.为了减小测试时由于对系统进行插装而产生的对实时系统行为的影响,提出了一种混合式监控方法.它对系统的时间干扰比纯软件方式小,并支持对系统的完全测试.此外,还提出一种基于WCET(worst-caseexecutiontime)分析技术的目标系统时间补偿方法,在精确地计算插入断言对目标系统的时间影响基础上,给出时间补偿. 展开更多
关键词 实时系统 测试预言 wcet(worst-case EXECUTION time)分析 程序监控
下载PDF
面向WCET分析的实时多核体系结构研究 被引量:1
9
作者 陈芳园 丁亚军 +2 位作者 张冬松 吴飞 任秀江 《计算机工程与科学》 CSCD 北大核心 2014年第3期393-398,共6页
随着工艺技术的发展以及嵌入式实时应用范围的不断扩大和需求的不断提升,多核处理器必将凭其高性能和低功耗特性应用到嵌入式实时领域中。但是,多核处理器体系结构很难甚至无法满足实时系统的实时限制和对WCET的可预测性要求。从多核中... 随着工艺技术的发展以及嵌入式实时应用范围的不断扩大和需求的不断提升,多核处理器必将凭其高性能和低功耗特性应用到嵌入式实时领域中。但是,多核处理器体系结构很难甚至无法满足实时系统的实时限制和对WCET的可预测性要求。从多核中的共享资源入手,分析多核中的片上共享资源(共享Cache、片上互连)和片外共享资源(片外存储)对WCET分析的影响,探讨了各种干扰下的WCET分析方法。介绍了两种多核WCET分析模型:多核静态WCET分析模型和多核混合WCET分析模型;同时,针对嵌入式实时应用提出了多核设计原则。 展开更多
关键词 多核体系结构 嵌入式实时系统 实时任务 wcet
下载PDF
面向Web的WCET模式自动分析系统 被引量:1
10
作者 姬孟洛 舒云星 +1 位作者 黄辰林 高翔 《计算机应用与软件》 2017年第2期236-241,271,共7页
针对传统的WCET(Worst-Case Execution Time)分析方法面临的精度不高和用户使用繁琐问题,提出一种自动分析程序模式的方法并据此设计实现了一个面向Web的WCET分析系统。首先在对源程序进行分析的基础上,利用程序控制流程图,通过数据流... 针对传统的WCET(Worst-Case Execution Time)分析方法面临的精度不高和用户使用繁琐问题,提出一种自动分析程序模式的方法并据此设计实现了一个面向Web的WCET分析系统。首先在对源程序进行分析的基础上,利用程序控制流程图,通过数据流框架进行切片,获得依赖于输入变量的无循环控制流程图ICFG。然后,通过对ICFG每条路径求解,获得程序的模式及其输入表达式,并计算其对应的WCET。最后,将上述分析方法设计实现为针对C语言的动态链接库(DLL),并利用该DLL实现一个面向Web的WCET自动分析系统——WCET Mode Analyzer。WCET Mode Analyzer对基准程序的分析结果,验证了该方案的有效性和应用的简便性。 展开更多
关键词 实时系统 wcet 程序模式 程序分析
下载PDF
WCET分析中面向对象程序多态性问题的解决方法 被引量:1
11
作者 姬孟洛 李书浩 +1 位作者 秦杰 齐治昌 《计算机科学》 CSCD 北大核心 2006年第11期249-255,共7页
用面向对象建模语言(如统一建模语言UML)设计并用面向对象程序设计语言(如C++)实现实时系统是实时系统开发领域的一个趋势,但面向对象的主要特征(如多态性)却使程序最差情况执行时间(Worst-Case ExecutionTi me,WCET)更加难以分析。本... 用面向对象建模语言(如统一建模语言UML)设计并用面向对象程序设计语言(如C++)实现实时系统是实时系统开发领域的一个趋势,但面向对象的主要特征(如多态性)却使程序最差情况执行时间(Worst-Case ExecutionTi me,WCET)更加难以分析。本文通过把UML设计信息引入WCET分析来解决此问题。考虑到UML关联关系描述了两个或多个具体类之间的对应关系,因此本文要求指定关联角色的多重性,并假定能够建立关联关系与其在程序中表示的对应关系。在已知关联角色多重性的基础上,本文计算特定循环的执行计数并确定在超(虚)类调用位置上每个具体类的对象个数,该循环使用超类变量遍历统一表示的关联角色对象。通过和Corti等人方法的结合,本文方法能够自动计算具有多态性特征的面向对象程序的WCET。实验结果表明,本文研究的情形在面向对象程序中普遍存在。 展开更多
关键词 多态性 面向对象程序 wcet分析 实时系统 软件工程
下载PDF
WCET分析:建立实时系统可靠运行的技术 被引量:1
12
作者 金永贤 赵建民 陈会羽 《计算机科学》 CSCD 北大核心 2004年第B07期45-48,共4页
实时系统开发必须强调时间的重要性,为了保证系统安全运行,需要验证系统是否在时限内完成各个任务,因此,当设计和验证实时系统时。了解运行在系统中代码的最坏执行时间(WCET)是非常重要的。WCET静态分析(简称WCET分析)计算实时程序... 实时系统开发必须强调时间的重要性,为了保证系统安全运行,需要验证系统是否在时限内完成各个任务,因此,当设计和验证实时系统时。了解运行在系统中代码的最坏执行时间(WCET)是非常重要的。WCET静态分析(简称WCET分析)计算实时程序最坏执行时间的上界,而上界被用来为应用程序的任务分配正确的CPU时间,它们也是可调度分析工具的输入,因此,WCET分析是可靠建立实时系统安全正确运行的基础。介绍了WCET分析的概念。指出了传统测量存在的缺陷,剖析了WCET分析研究的关键技术,探讨了目前存在的问题和今后的发展方向。 展开更多
关键词 实时系统 可预估性 wcet分析 程序流分析 上界 FLOW FACTS
下载PDF
实时系统程序最差情况执行时间(WCET)的分析 被引量:2
13
作者 姬孟洛 齐治昌 《计算机科学》 CSCD 北大核心 2006年第10期238-241,共4页
事先获知系统中程序最差情况的执行时间(Worst-CaseExecutionTime,WCET),是设计和验证实时系统调度及可调度性分析的前提,也是确定周期性任务是否满足其性能目标,从而发现系统性能瓶颈的基础。本文概述了程序WCET的分析方法,描述了WCET... 事先获知系统中程序最差情况的执行时间(Worst-CaseExecutionTime,WCET),是设计和验证实时系统调度及可调度性分析的前提,也是确定周期性任务是否满足其性能目标,从而发现系统性能瓶颈的基础。本文概述了程序WCET的分析方法,描述了WCET分析的定义和组成,重点总结其中的程序流事实分析方法,并指出程序流事实分析存在的问题和WCET分析的研究热点。 展开更多
关键词 程序流事实分析 最差情况执行时间wcet分析 实时系统 软件工程
下载PDF
信息物理系统实时任务WCET的研究 被引量:1
14
作者 刘辉 张立臣 许阳 《计算机技术与发展》 2012年第4期126-129,共4页
信息物理系统(CPS)是最近几年才出现的一个新的交叉领域的研究概念,它被普遍认为是计算机信息处理技术史上的下一次革命,将会改变人与现实物理世界之间的交互方式,具有广泛的应用前景。简要介绍了CPS的概念、一些新的特性。研究了CPS实... 信息物理系统(CPS)是最近几年才出现的一个新的交叉领域的研究概念,它被普遍认为是计算机信息处理技术史上的下一次革命,将会改变人与现实物理世界之间的交互方式,具有广泛的应用前景。简要介绍了CPS的概念、一些新的特性。研究了CPS实时性方面的最坏执行时间(WCET)分析的组成部分、获取方法和计算算法,并比较了几种算法的优劣,列举了这一领域一些研究进展,讨论了WCET分析这一领域中存在的问题,给出了将来的研究方向。 展开更多
关键词 信息物理系统 wcet分析 可调度分析
下载PDF
用于优化WCET值的片上存储器分配方法
15
作者 蒋湘涛 胡志刚 贺建飚 《小型微型计算机系统》 CSCD 北大核心 2010年第5期996-1000,共5页
SPM(Scratchpad Memory)是实时嵌入式系统中常见的片上存储器,其分配管理在编译期进行,从而可以在编译完成时确定访存时延.当前的SPM分配方法主要用于减少程序在平均情况下的执行时间.然而,在硬实时系统中,最差情况下的执行时间(WCET,Wo... SPM(Scratchpad Memory)是实时嵌入式系统中常见的片上存储器,其分配管理在编译期进行,从而可以在编译完成时确定访存时延.当前的SPM分配方法主要用于减少程序在平均情况下的执行时间.然而,在硬实时系统中,最差情况下的执行时间(WCET,Worst-Case Execution Time)是更为关键的指标.通过分析优化程序WCET值过程中存在的主要问题以及现有算法,基于变量公用度概念,提出一种启发式搜索算法用于最小化程序WCET值的数据变量SPM分配,实验表明,论文提出的分配方法可获得更好的优化效果. 展开更多
关键词 SPM wcet 实时系统 分配管理 编译优化
下载PDF
一种实时Java程序的WCET分析新方法研究
16
作者 吴国伟 李张 《微计算机信息》 2009年第12期223-224,235,共3页
软件的最坏执行时间是实时系统的时间可信基础,Java语言的动态特性使程序的最坏执行时间分析较悲观和难以预测,本文提出了一种基于Java字节码的面向实时Java程序的最坏执行时间分析新方法,该方法引入一个注释类对源程序进行注释,然后将... 软件的最坏执行时间是实时系统的时间可信基础,Java语言的动态特性使程序的最坏执行时间分析较悲观和难以预测,本文提出了一种基于Java字节码的面向实时Java程序的最坏执行时间分析新方法,该方法引入一个注释类对源程序进行注释,然后将编译产生的Java类文件作为方法的分析对象,解决了实时Java程序中由于动态分配问题带来的预测不确定的问题,实验表明,该方法可以使对实时Java程序的最坏情况执行时间预测更加安全和精确。 展开更多
关键词 实时JAVA 实时系统 wcet分析 JAVA字节码
下载PDF
基于抽象解释自动导出针对WCET分析的程序流信息的方法 被引量:1
17
作者 姬孟洛 齐治昌 《计算机工程与科学》 CSCD 2006年第12期114-117,128,共5页
通过在通用单调数据流框架基础上使用基于抽象解释的变量值范围传播技术,本文提出了一种自动获取循环最大迭代次数和不可行路径的方法。该方法有利于精确计算实时程序最差情况下的执行时间(WCET)。
关键词 实时系统 wcet 值范围分析 抽象解释
下载PDF
支持软件预取的缓存WCET分析 被引量:2
18
作者 安立奎 古志民 +2 位作者 付引霞 赵鑫 甘志华 《北京理工大学学报》 EI CAS CSCD 北大核心 2015年第7期730-736,共7页
许多高性能嵌入式处理器都引入了多级缓存、硬件预取及软件预取等机制,为使支持软件预取的硬实时任务具有执行时间的可预测性,提出一种支持软件预取的缓存WCET分析方法.该方法对多级缓存抽象解释模型进行了软件预取语义扩展,分析了软件... 许多高性能嵌入式处理器都引入了多级缓存、硬件预取及软件预取等机制,为使支持软件预取的硬实时任务具有执行时间的可预测性,提出一种支持软件预取的缓存WCET分析方法.该方法对多级缓存抽象解释模型进行了软件预取语义扩展,分析了软件预取对任务的最坏情况下性能和能耗的影响.实验结果表明,该方法能够对支持软件预取的多级缓存行为进行有效分析;同时软件预取优化技术可使某些访存缺失较大的硬实时任务WCET平均减少22.9%,能耗平均降低24.1%. 展开更多
关键词 软件预取 缓存行为分析 最坏执行时间 能耗分析
下载PDF
支持指令预取的多核缓存WCET分析方法 被引量:3
19
作者 安立奎 韩丽艳 《计算机工程》 CAS CSCD 北大核心 2018年第10期85-94,100,共11页
为确保硬实时任务满足时间截止期,需要分析硬实时任务的支持指令预取缓存,而现有方法多数仅限于单级指令缓存,不能用于嵌入式多核下支持指令预取的多级缓存分析。为此,在基于组缓存划分的多核模型下,通过对抽象解释的缓存分析模型进行... 为确保硬实时任务满足时间截止期,需要分析硬实时任务的支持指令预取缓存,而现有方法多数仅限于单级指令缓存,不能用于嵌入式多核下支持指令预取的多级缓存分析。为此,在基于组缓存划分的多核模型下,通过对抽象解释的缓存分析模型进行指令预取语义扩展,提出一种支持指令预取的多核缓存分析方法。实验结果表明,该方法安全性较高,能够提高多核下硬实时任务的预取缓存性能。 展开更多
关键词 嵌入式多核 硬实时任务 最差情况执行时间 指令预取 缓存划分
下载PDF
基于WCET的多核共享资源冲突分析与约束研究 被引量:1
20
作者 甘志华 古志民 +1 位作者 安立奎 赵鑫 《计算机科学》 CSCD 北大核心 2014年第8期19-24,54,共7页
随着片上多核处理器在嵌入式实时系统中的应用,片上共享资源给任务的WCET分析带来诸多挑战,使得对多核共享资源冲突问题的研究变得非常重要。依据研究的目标,可以把目前已有的研究分为面向共享资源冲突分析和面向共享资源冲突约束两大... 随着片上多核处理器在嵌入式实时系统中的应用,片上共享资源给任务的WCET分析带来诸多挑战,使得对多核共享资源冲突问题的研究变得非常重要。依据研究的目标,可以把目前已有的研究分为面向共享资源冲突分析和面向共享资源冲突约束两大类。对于面向共享资源冲突分析问题,探讨了不同共享资源冲突产生的原因,概括和比较了典型的冲突分析方法的优势和局限性;对于面向共享资源冲突约束问题,给出了其主要的研究内容,并评述和分析了几种主流的冲突约束方法。最后针对目前的研究状况指出了一些研究方向。 展开更多
关键词 片上多核处理器 最坏执行时间 冲突分析 冲突约束
下载PDF
上一页 1 2 3 下一页 到第
使用帮助 返回顶部