期刊文献+
共找到34篇文章
< 1 2 >
每页显示 20 50 100
最坏执行时间分析中的时序异常问题
1
作者 蒋滨泽 朱钇宣 +3 位作者 陈香兰 龚小航 高银康 李曦 《计算机研究与发展》 北大核心 2025年第4期1033-1049,共17页
时序异常是一种程序在最坏执行时间(worst-case execution time,WCET)分析中反直觉的时间行为,其特征在于,尽管局部执行速度更快,但整体的执行时间可能会增加,因此WCET分析必须以保守的态度考虑所有可能的执行情况,以确保分析结果的安全... 时序异常是一种程序在最坏执行时间(worst-case execution time,WCET)分析中反直觉的时间行为,其特征在于,尽管局部执行速度更快,但整体的执行时间可能会增加,因此WCET分析必须以保守的态度考虑所有可能的执行情况,以确保分析结果的安全性,这使得WCET分析变得非常困难.相反地,如果能够确保要分析的程序与平台不存在时序异常,将大大减少WCET分析需要考虑的状态以及所花费的时间.因此,时序异常问题是WCET分析中的关键挑战.然而,尽管历经20多年的研究,学术界对时序异常问题仍未形成统一的定义和共识.自时序异常概念提出以来,学术界涌现出了各种文献描述时序异常,对于这些定义,可以根据定义方式和描述内容对它们进行分类,并分析它们各自的优劣.进一步地,如果对导致时序异常的原因进行研究,可以将其归结为调度策略、高速缓存以及组件影响这3个方面.此外,目前也有一些验证与消除时序异常的相关研究工作,这些工作也存在一些问题和不足.WCET分析的未来应当以分析方式为基础进行时序异常相关的研究,以更好地解决时序异常问题. 展开更多
关键词 最坏执行时间 处理器架构 时序异常 时间可预测 实时系统
在线阅读 下载PDF
基于优先级时间Petri网的实时嵌入式多核系统分析 被引量:1
2
作者 张凯文 刘关俊 +4 位作者 孙彦韬 李晓锋 关健 解毅 顾斌 《软件学报》 EI CSCD 北大核心 2024年第9期4123-4140,共18页
已有的基于点区间优先级时间Petri网分析实时嵌入式多核系统的工作,存在以下不足:(1)点区间优先级时间Petri网只考虑每个任务的执行时间是一个固定值的情况,而更多的实际应用中每个任务的执行时间是在一个区间范围内,因此不能模拟这些应... 已有的基于点区间优先级时间Petri网分析实时嵌入式多核系统的工作,存在以下不足:(1)点区间优先级时间Petri网只考虑每个任务的执行时间是一个固定值的情况,而更多的实际应用中每个任务的执行时间是在一个区间范围内,因此不能模拟这些应用;(2)没有实现从任务依赖图到点区间优先级时间Petri网的自动转化,不便于工程设计人员使用;(3)没有考虑任务间互斥访问共享变量的情况.为此,定义了优先级时间Petri网(Pri-TPN)以弥补第1个不足;定义带有资源分配与优先级的任务依赖图(TDG-RAP)以弥补第3个不足;给出从TDG-RAP到Pri-TPN的转化规则与算法以弥补第2个不足,以及基于Pri-TPN分析任务最坏执行时间与系统死锁的算法;开发工具软件,方便工程设计人员使用. 展开更多
关键词 实时嵌入式多核系统 优先级时间Petri网 可达图 任务依赖图 最坏执行时间(WCET) 死锁
在线阅读 下载PDF
程序执行时间的静态预估与可视化分析方法 被引量:9
3
作者 孙昌爱 金茂忠 +1 位作者 刘超 靳若明 《软件学报》 EI CSCD 北大核心 2003年第1期68-75,共8页
软件时间性能分析与评估技术是实时软件开发中的一个重要课题.提出了一种基于控制流程图的程序执行时间的可视化分析框架,研究了中间代码段与源程序中语句的对应关系的自动分析、源程序语句行的CPU周期数的提取和计算方法、基于控制流... 软件时间性能分析与评估技术是实时软件开发中的一个重要课题.提出了一种基于控制流程图的程序执行时间的可视化分析框架,研究了中间代码段与源程序中语句的对应关系的自动分析、源程序语句行的CPU周期数的提取和计算方法、基于控制流程图的点到点最大时间分析算法和CPU周期的绝对时间估计方法.设计并实现了一个实用的基于控制流程图的程序执行时间静态分析与评估工具.最后,对研究工作进行了相关比较和总结. 展开更多
关键词 程序执行时间 静态预估 可视化分析方法 程序控制流程图 实时软件 软件测试 软件工程 软件开发
在线阅读 下载PDF
一种基于抽象解释的WCET自动分析工具 被引量:10
4
作者 姬孟洛 李军 +1 位作者 王馨 齐治昌 《计算机工程》 CAS CSCD 北大核心 2006年第14期54-56,共3页
利用基于抽象解释的变量值范围传播技术,提出了一种自动分析高级语言程序流信息的方法;并在白盒测试工具NPCA的基础上利用该方法实现了WCET分析工具NPCA-WCET。
关键词 实时程序 WCET分析工具 抽象解释
在线阅读 下载PDF
面向WCET估计的Cache分析研究综述 被引量:10
5
作者 吕鸣松 关楠 王义 《软件学报》 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
基于任务映射与缓存划分的WCRT优化方法 被引量:4
6
作者 甘志华 张铭泉 +2 位作者 古志民 张吉赞 谭海 《北京理工大学学报》 EI CAS CSCD 北大核心 2018年第3期272-278,共7页
为了降低系统最坏响应时间(WCRT),提出了一种基于任务映射与缓存划分的WCRT优化方法.该方法分为两个阶段,第一阶段采用任务在最佳缓存容量下的最坏情况执行时间(WCET)进行任务映射;第二阶段以满足系统的缓存容量约束为原则对映射后的任... 为了降低系统最坏响应时间(WCRT),提出了一种基于任务映射与缓存划分的WCRT优化方法.该方法分为两个阶段,第一阶段采用任务在最佳缓存容量下的最坏情况执行时间(WCET)进行任务映射;第二阶段以满足系统的缓存容量约束为原则对映射后的任务进行缓存容量回收及任务映射的再调整,同时在两个阶段均兼顾系统的负载均衡.实验结果表明,该方法在降低系统最坏响应时间及执行效率方面都能获得良好的效果,系统最坏响应时间相比GCP算法平均降低了6.7%,相比ILP方法有更快的执行效率. 展开更多
关键词 任务映射 缓存划分 最坏情况执行时间 最坏响应时间
在线阅读 下载PDF
基于取指执行时序范畴的多核共享Cache干扰分析 被引量:5
7
作者 陈芳园 张冬松 +1 位作者 刘聪 王志英 《计算机研究与发展》 EI CSCD 北大核心 2013年第1期206-217,共12页
在多核结构中,获得并行应用线程的安全、精确的最坏情况执行时间(worst case execution time,WCET)的最大挑战之一在于共享资源的竞争冲突检测.在共享Cache的多核处理器中,线程在共享Cache中的指令可能被其他并行线程的指令替换,从而导... 在多核结构中,获得并行应用线程的安全、精确的最坏情况执行时间(worst case execution time,WCET)的最大挑战之一在于共享资源的竞争冲突检测.在共享Cache的多核处理器中,线程在共享Cache中的指令可能被其他并行线程的指令替换,从而导致了线程间在共享Cache上的干扰,因此多核结构下线程WCET需要考虑并行线程间在共享Cache上的干扰.在现有的简单地址映射干扰分析基础上,考虑了指令取指执行时序因素对干扰的影响,提出了非干扰状态的充分不必要条件,根据指令的取指执行时序范畴判断线程在共享Cache上的干扰状态.通过排除非干扰状态,可以进一步精确多核结构中线程的WCET估值.理论分析证明了该方法的有效性.实验结果表明,与当前现有的考虑执行周期和基于逻辑访问先后顺序的方法相比,基于时序方法下的WCET估值分别可以提高12%和7%的精确度. 展开更多
关键词 多核体系结构 共享CACHE 干扰 取指执行时序 最坏情况下执行时间
在线阅读 下载PDF
一种用于硬实时Java处理器的类转换器设计及实现 被引量:3
8
作者 柴志雷 高丽强 +1 位作者 陈章龙 涂时亮 《小型微型计算机系统》 CSCD 北大核心 2006年第12期2336-2340,共5页
通过分析Class文件处理过程及其中影响实时性的操作,提出一种用于硬实时Java处理器的类转换器,它读取标准Class文件,处理并生成适合Java处理器直接执行的内存映像文件.由于装载、连接过程中大量操作(如符号引用的解析)都由类转换器提前... 通过分析Class文件处理过程及其中影响实时性的操作,提出一种用于硬实时Java处理器的类转换器,它读取标准Class文件,处理并生成适合Java处理器直接执行的内存映像文件.由于装载、连接过程中大量操作(如符号引用的解析)都由类转换器提前处理完毕,使得Java处理器操作大为简化.同时,由于所有影响Java处理器实时性的操作也由类转换器提前处理,Java处理器最坏情况执行时间(WorstCaseExecutionTime)完全可预测. 展开更多
关键词 实时JAVA Java实时规范 硬实时Java处理器 最坏情况执行时间
在线阅读 下载PDF
面向物联网的实时复杂事件处理引擎 被引量:2
9
作者 李想 高红菊 +1 位作者 乔颖 王宏安 《小型微型计算机系统》 CSCD 北大核心 2015年第9期2047-2053,共7页
实时响应物理世界中发生的事件,是物联网的重要作用之一.实时检测具有复杂属性的真实事件,是进行实时响应的必要前提.设计并实现了一种实时复杂事件处理引擎,通过高速或实时匹配原子事件与复杂事件模式,判断复杂事件发生.通过启发式复... 实时响应物理世界中发生的事件,是物联网的重要作用之一.实时检测具有复杂属性的真实事件,是进行实时响应的必要前提.设计并实现了一种实时复杂事件处理引擎,通过高速或实时匹配原子事件与复杂事件模式,判断复杂事件发生.通过启发式复杂事件处理算法,显著提高了处理速度;通过较为精确地估算复杂事件处理程序的最坏情况响应时间,确保在一定截止期内完成事件检测任务,支持时间关键的应用.实验表明,该引擎可以满足物联网实时高速复杂事件检测需求. 展开更多
关键词 物联网 复杂事件处理 实时 最坏情况响应时间
在线阅读 下载PDF
基于WCET分析的实时系统轨迹获取技术 被引量:2
10
作者 王馨 姬孟洛 +1 位作者 王戟 齐治昌 《软件学报》 EI CSCD 北大核心 2006年第5期1232-1240,共9页
时序约束是判断实时系统运行是否正确的重要规约.为了减小测试时由于对系统进行插装而产生的对实时系统行为的影响,提出了一种混合式监控方法.它对系统的时间干扰比纯软件方式小,并支持对系统的完全测试.此外,还提出一种基于WCET(worst-... 时序约束是判断实时系统运行是否正确的重要规约.为了减小测试时由于对系统进行插装而产生的对实时系统行为的影响,提出了一种混合式监控方法.它对系统的时间干扰比纯软件方式小,并支持对系统的完全测试.此外,还提出一种基于WCET(worst-caseexecutiontime)分析技术的目标系统时间补偿方法,在精确地计算插入断言对目标系统的时间影响基础上,给出时间补偿. 展开更多
关键词 实时系统 测试预言 WCET(worst-case execution time)分析 程序监控
在线阅读 下载PDF
支持软件预取的缓存WCET分析 被引量:2
11
作者 安立奎 古志民 +2 位作者 付引霞 赵鑫 甘志华 《北京理工大学学报》 EI CAS CSCD 北大核心 2015年第7期730-736,共7页
许多高性能嵌入式处理器都引入了多级缓存、硬件预取及软件预取等机制,为使支持软件预取的硬实时任务具有执行时间的可预测性,提出一种支持软件预取的缓存WCET分析方法.该方法对多级缓存抽象解释模型进行了软件预取语义扩展,分析了软件... 许多高性能嵌入式处理器都引入了多级缓存、硬件预取及软件预取等机制,为使支持软件预取的硬实时任务具有执行时间的可预测性,提出一种支持软件预取的缓存WCET分析方法.该方法对多级缓存抽象解释模型进行了软件预取语义扩展,分析了软件预取对任务的最坏情况下性能和能耗的影响.实验结果表明,该方法能够对支持软件预取的多级缓存行为进行有效分析;同时软件预取优化技术可使某些访存缺失较大的硬实时任务WCET平均减少22.9%,能耗平均降低24.1%. 展开更多
关键词 软件预取 缓存行为分析 最坏执行时间 能耗分析
在线阅读 下载PDF
基于WCET的SPM实时性管理策略 被引量:1
12
作者 胡志刚 刘基军 蒋湘涛 《计算机工程》 CAS CSCD 北大核心 2011年第3期244-247,共4页
提出一种基于最坏情况执行时间(WCET)的SPM静态分配算法,该算法采用额外的WCET分析工具获得任务最坏情况执行路径(WCEP),针对最坏情况执行路径,把程序划分为全局变量、全局堆栈、指令块等节点,用包含节点和节点间关系的CFG描述应用程序... 提出一种基于最坏情况执行时间(WCET)的SPM静态分配算法,该算法采用额外的WCET分析工具获得任务最坏情况执行路径(WCEP),针对最坏情况执行路径,把程序划分为全局变量、全局堆栈、指令块等节点,用包含节点和节点间关系的CFG描述应用程序,采用考虑节点间关系的算法把选中的节点分配到SPM中。仿真实验结果表明,采用该分配策略管理SPM空间比不采用SPM时的实时性提高54%左右。 展开更多
关键词 最坏情况执行时间 最坏情况执行路径 实时性
在线阅读 下载PDF
一种动态约简的多目标测试用例优先级排序方法 被引量:4
13
作者 张娜 徐海霞 +2 位作者 包晓安 徐璐 吴彪 《计算机科学》 CSCD 北大核心 2019年第12期208-212,共5页
针对蚁群算法在求解MOTCP问题时存在收敛速度慢、易陷入局部最优等缺陷,提出了一种动态约简的在线指导蚁群信息素更新的多目标测试用例优先级排序方法。该方法引入一种动态约简的思想,首先根据各测试用例覆盖需求的情况,对覆盖有相同需... 针对蚁群算法在求解MOTCP问题时存在收敛速度慢、易陷入局部最优等缺陷,提出了一种动态约简的在线指导蚁群信息素更新的多目标测试用例优先级排序方法。该方法引入一种动态约简的思想,首先根据各测试用例覆盖需求的情况,对覆盖有相同需求的初始测试用例集进行初次约简。其次,根据测试用例在执行过程中能否检测出错误以及检测出的错误的严重程度来设计一种测试用例失效度的判别方法,在蚁群每一次迭代后均对未检测出错误的测试用例进行二次约简,以减少下一轮迭代时蚁群需要经过的测试用例数,通过两次约简大幅度缩短排序时间。同时,在蚁群的每次迭代过程中,考虑测试用例的重要度、失效度和实际执行时间3个因子对下一轮信息素的影响,设计一种同时在3个影响因子下在线指导更新蚁群信息素的方法,使蚁群能够更快更准确地寻找到下一个测试用例。最后,将该方法、传统蚁群排序方法和多目标优化排序方法分别应用于多个开源软件程序进行实验比较。仿真实验结果表明,所提动态约简的在线更新信息素的优先级排序方法在缺陷检错能力以及有效执行时间等性能指标方面均有较大优势,能更早发现等级较高的错误。 展开更多
关键词 优先级排序 蚁群算法 动态约简 测试用例重要度 测试用例失效度 实际执行时间
在线阅读 下载PDF
包含依赖输入分支程序的符号化WCET分析 被引量:2
14
作者 姬孟洛 齐治昌 王怀民 《软件学报》 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
多核共享缓存bank冲突分析及其延迟最小化 被引量:5
15
作者 张吉赞 古志民 《计算机学报》 EI CSCD 北大核心 2016年第9期1883-1899,共17页
在硬实时多核系统中,共享资源冲突的问题为硬实时任务的最差情况下执行时间(WCET)分析带来了新挑战.虽然现有的共享缓存冲突分析技术在storage冲突方面已取得研究进展,但对于bank冲突而言,现有研究仍局限于通过界定bank冲突延迟上限来... 在硬实时多核系统中,共享资源冲突的问题为硬实时任务的最差情况下执行时间(WCET)分析带来了新挑战.虽然现有的共享缓存冲突分析技术在storage冲突方面已取得研究进展,但对于bank冲突而言,现有研究仍局限于通过界定bank冲突延迟上限来分析和处理bank冲突.该文通过优化核-bank映射关系来使硬实时多核系统中的bank冲突延迟最小化,即在对bank冲突延迟进行分析的基础上,首先通过优化核-bank之间的映射关系来消除bank冲突;若无法消除,则需要寻找能使bank冲突延迟最小化的核-bank映射关系解,并为此设计了一种基于多核总线请求时间序列的bank冲突延迟求解算法.最后,文中设计了能够对总线访问延迟进行消重的多核硬实时任务WCET估算方法.实验结果表明:文中所提的优化方法可消除这类bank冲突或使其延迟最小化,文中所提的WCET估算方法与现有估算方法相比可获得更精确的最差情况下执行时间(WCET). 展开更多
关键词 多核系统 硬实时任务 优化 核到bank映射 bank冲突延迟 最差情况下执行时间
在线阅读 下载PDF
一种改进的自适应多媒体任务调度算法 被引量:2
16
作者 洪雪玉 张凌 袁华 《计算机科学》 CSCD 北大核心 2007年第11期82-85,共4页
支持多媒体任务调度以满足其性能需求,是一项重要而富有挑战性的工作,一直备受关注,并出现了一些实时任务模型。它们都需要任务提供最坏执行时间(Worst Case Execution Time,WCET),以方便准入控制机制的实现,但这正是多媒体任务难以提... 支持多媒体任务调度以满足其性能需求,是一项重要而富有挑战性的工作,一直备受关注,并出现了一些实时任务模型。它们都需要任务提供最坏执行时间(Worst Case Execution Time,WCET),以方便准入控制机制的实现,但这正是多媒体任务难以提供的。那么在WCET未知的前提下,如何实现多媒体任务的调度,而且必须支持准入控制和动态QoS控制机制,支持尽可能多任务的执行,使CPU资源的利用最大化?本文首先提出了一种改进的基于速率的自适应(Adaptive Rate-Based,ARB)任务模型。然后通过理论分析和实验证明了:在WCET未知的情况下,基于ARB任务模型的多媒体任务调度算法、准入控制和自适应QoS控制机制是可行的、有效的,而且可以支持尽可能多任务的执行,达到了预期的目标。 展开更多
关键词 多媒体任务调度 任务模型 自适应QoS 最坏执行时间
在线阅读 下载PDF
实时系统程序最差情况执行时间(WCET)的分析 被引量:2
17
作者 姬孟洛 齐治昌 《计算机科学》 CSCD 北大核心 2006年第10期238-241,共4页
事先获知系统中程序最差情况的执行时间(Worst-CaseExecutionTime,WCET),是设计和验证实时系统调度及可调度性分析的前提,也是确定周期性任务是否满足其性能目标,从而发现系统性能瓶颈的基础。本文概述了程序WCET的分析方法,描述了WCET... 事先获知系统中程序最差情况的执行时间(Worst-CaseExecutionTime,WCET),是设计和验证实时系统调度及可调度性分析的前提,也是确定周期性任务是否满足其性能目标,从而发现系统性能瓶颈的基础。本文概述了程序WCET的分析方法,描述了WCET分析的定义和组成,重点总结其中的程序流事实分析方法,并指出程序流事实分析存在的问题和WCET分析的研究热点。 展开更多
关键词 程序流事实分析 最差情况执行时间WCET分析 实时系统 软件工程
在线阅读 下载PDF
支持指令预取的多核缓存WCET分析方法 被引量:3
18
作者 安立奎 韩丽艳 《计算机工程》 CAS CSCD 北大核心 2018年第10期85-94,100,共11页
为确保硬实时任务满足时间截止期,需要分析硬实时任务的支持指令预取缓存,而现有方法多数仅限于单级指令缓存,不能用于嵌入式多核下支持指令预取的多级缓存分析。为此,在基于组缓存划分的多核模型下,通过对抽象解释的缓存分析模型进行... 为确保硬实时任务满足时间截止期,需要分析硬实时任务的支持指令预取缓存,而现有方法多数仅限于单级指令缓存,不能用于嵌入式多核下支持指令预取的多级缓存分析。为此,在基于组缓存划分的多核模型下,通过对抽象解释的缓存分析模型进行指令预取语义扩展,提出一种支持指令预取的多核缓存分析方法。实验结果表明,该方法安全性较高,能够提高多核下硬实时任务的预取缓存性能。 展开更多
关键词 嵌入式多核 硬实时任务 最差情况执行时间 指令预取 缓存划分
在线阅读 下载PDF
WCET分析中面向对象程序多态性问题的解决方法 被引量:1
19
作者 姬孟洛 李书浩 +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
一种快速程序最坏执行时间分析方法研究 被引量:1
20
作者 吴国伟 姚琳 岳峰 《计算机工程与应用》 CSCD 北大核心 2010年第21期69-71,96,共4页
给出一种带有路径冲突检测的程序最坏情况执行时间估计方法,这种方法首先检测程序中存在的分支约束,然后将程序中存在的分支约束信息转化为程序流程控制图(CFG图)中结点之间的语义冲突,并按照结点对的形式保存在相应的冲突数组里,在接... 给出一种带有路径冲突检测的程序最坏情况执行时间估计方法,这种方法首先检测程序中存在的分支约束,然后将程序中存在的分支约束信息转化为程序流程控制图(CFG图)中结点之间的语义冲突,并按照结点对的形式保存在相应的冲突数组里,在接下来的WCET计算阶段通过边搜索程序执行路径边检测冲突数组里保存的已有的冲突关系以便在搜索路径的同时排除非可行执行路径,最终在可行执行路径集中选择具有最大执行时间的执行路径。与以往的方法相比,在保持估计精度的前提下,本文的方法避免了穷举所有执行路径带来的复杂度,提高了搜索的效率。实验结果表明本文方法对于语句间语义依赖关系比较强的实时程序能够快速且有效地给出估计结果。 展开更多
关键词 最坏情况执行时间 冲突检测 实时软件
在线阅读 下载PDF
上一页 1 2 下一页 到第
使用帮助 返回顶部