检索结果-维普期刊中文期刊服务平台

实时系统程序最差情况执行时间(WCET)的分析被引量：2: 1; 作者姬孟洛齐治昌《计算机科学》 CSCD 北大核心 2006年第10期238-241,共4页; 事先获知系统中程序最差情况的执行时间(Worst-CaseExecutionTime,WCET),是设计和验证实时系统调度及可调度性分析的前提,也是确定周期性任务是否满足其性能目标,从而发现系统性能瓶颈的基础。本文概述了程序WCET的分析方法,描述了WCET... 展开更多; 关键词程序流事实分析最差情况执行时间WCET分析实时系统软件工程; 在线阅读下载PDF 职称材料

支持指令预取的多核缓存WCET分析方法被引量：3: 2; 作者安立奎韩丽艳《计算机工程》 CAS CSCD 北大核心 2018年第10期85-94,100,共11页; 为确保硬实时任务满足时间截止期,需要分析硬实时任务的支持指令预取缓存,而现有方法多数仅限于单级指令缓存,不能用于嵌入式多核下支持指令预取的多级缓存分析。为此,在基于组缓存划分的多核模型下,通过对抽象解释的缓存分析模型进行... 展开更多; 关键词嵌入式多核硬实时任务最差情况执行时间指令预取缓存划分; 在线阅读下载PDF 职称材料

实时控制系统程序模式的WCET自动分析方法被引量：1: 3; 作者侯小静姬孟洛 +2 位作者黄辰林舒云星阎奔《计算机工程》 CAS CSCD 北大核心 2017年第8期56-62,68,共8页; 基于源程序获取实时控制系统的模式,不仅能够验证实现的模式与设计是否一致,还可使程序的最差情况执行时间(WCET)计算更为精准。为此,提出一种自动分析实时控制系统程序模式的方法。通过分析C语言源程序生成程序控制流图,对输入变量相... 展开更多; 关键词程序模式最差情况执行时间分析实时控制系统控制流图线性规划; 在线阅读下载PDF 职称材料

多核共享缓存bank冲突分析及其延迟最小化被引量：5: 4; 作者张吉赞古志民《计算机学报》 EI CSCD 北大核心 2016年第9期1883-1899,共17页; 在硬实时多核系统中,共享资源冲突的问题为硬实时任务的最差情况下执行时间(WCET)分析带来了新挑战.虽然现有的共享缓存冲突分析技术在storage冲突方面已取得研究进展,但对于bank冲突而言,现有研究仍局限于通过界定bank冲突延迟上限来... 展开更多; 关键词多核系统硬实时任务优化核到bank映射 bank冲突延迟最差情况下执行时间; 在线阅读下载PDF 职称材料

实时系统可变工作量建模及计算方法: 5; 作者黄迎春邓庆绪《东北大学学报（自然科学版）》 EI CAS CSCD 北大核心 2017年第2期190-194,共5页; 传统实时系统性能分析以最差情况下执行时间(worst-case execution time,WCET)作为主要输入,导致分析过于保守.针对实时系统设计时预留冗余过大的问题,建立了以到达事件类型、数量和分布为决策变量,包括工作量曲线(workload curves)、... 展开更多; 关键词可变工作量模型实时系统形式化方法工作量曲线最差情况下执行时间; 在线阅读下载PDF 职称材料

题名实时系统程序最差情况执行时间(WCET)的分析被引量：2: 1; 作者姬孟洛齐治昌; 机构国防科技大学计算机学院; 出处《计算机科学》 CSCD 北大核心 2006年第10期238-241,共4页; 基金国家自然科学基金(No.60303013)资助项目。; 文摘事先获知系统中程序最差情况的执行时间(Worst-CaseExecutionTime,WCET),是设计和验证实时系统调度及可调度性分析的前提,也是确定周期性任务是否满足其性能目标,从而发现系统性能瓶颈的基础。本文概述了程序WCET的分析方法,描述了WCET分析的定义和组成,重点总结其中的程序流事实分析方法,并指出程序流事实分析存在的问题和WCET分析的研究热点。; 关键词程序流事实分析最差情况执行时间WCET分析实时系统软件工程; Keywords Worst-case execution time analysis, Real-time system, Software engineering; 分类号 TP31 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名支持指令预取的多核缓存WCET分析方法被引量：3: 2; 作者安立奎韩丽艳; 机构渤海大学数理学院渤海大学信息科学与技术学院; 出处《计算机工程》 CAS CSCD 北大核心 2018年第10期85-94,100,共11页; 基金辽宁省科学技术计划项目"面向复杂海量数据的信息获取方法研究"(LN2014160); 文摘为确保硬实时任务满足时间截止期,需要分析硬实时任务的支持指令预取缓存,而现有方法多数仅限于单级指令缓存,不能用于嵌入式多核下支持指令预取的多级缓存分析。为此,在基于组缓存划分的多核模型下,通过对抽象解释的缓存分析模型进行指令预取语义扩展,提出一种支持指令预取的多核缓存分析方法。实验结果表明,该方法安全性较高,能够提高多核下硬实时任务的预取缓存性能。; 关键词嵌入式多核硬实时任务最差情况执行时间指令预取缓存划分; Keywords embedded multi-cores Hard Real-time Task(HRT) Worst Case Execution Time(WCET) instruction prefetching cache partitioning; 分类号 TP314 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名实时控制系统程序模式的WCET自动分析方法被引量：1: 3; 作者侯小静姬孟洛黄辰林舒云星阎奔; 机构洛阳理工学院计算机与信息工程学院国防科学技术大学计算机学院; 出处《计算机工程》 CAS CSCD 北大核心 2017年第8期56-62,68,共8页; 基金国家自然科学基金"基于复合传感器阵列的多火源融合定位方法研究"(61503174) 河南省基础与前沿技术研究计划项目"实时嵌入式系统WCET的精确分析研究"(152300410115) +1 种基金河南省科技厅国际科技合作项目"基于二维码离散视觉识别模式的物流机器人路径规划与导引的研究"(152102410053); 文摘基于源程序获取实时控制系统的模式,不仅能够验证实现的模式与设计是否一致,还可使程序的最差情况执行时间(WCET)计算更为精准。为此,提出一种自动分析实时控制系统程序模式的方法。通过分析C语言源程序生成程序控制流图,对输入变量相关节点进行切片,形成依赖输入变量的控制流图(ICFG),建立ICFG每条路径的线性规划问题并求解,从而获得潜在的程序模式。在此基础上,计算指定模式下针对现代RISC处理器程序的WCET。在基准程序上的实验结果验证了该方法的可行性和有效性。; 关键词程序模式最差情况执行时间分析实时控制系统控制流图线性规划; Keywords program mode Worst-Case Execution Time （WCET） analysis real-time control system Control FlowGraph （CFG） linear programming; 分类号 TP391 [自动化与计算机技术—计算机应用技术]; 在线阅读下载PDF 职称材料

题名多核共享缓存bank冲突分析及其延迟最小化被引量：5: 4; 作者张吉赞古志民; 机构北京理工大学计算机科学技术学院鲁东大学数学与信息学院; 出处《计算机学报》 EI CSCD 北大核心 2016年第9期1883-1899,共17页; 基金国家自然科学基金(61370062)资助~~; 文摘在硬实时多核系统中,共享资源冲突的问题为硬实时任务的最差情况下执行时间(WCET)分析带来了新挑战.虽然现有的共享缓存冲突分析技术在storage冲突方面已取得研究进展,但对于bank冲突而言,现有研究仍局限于通过界定bank冲突延迟上限来分析和处理bank冲突.该文通过优化核-bank映射关系来使硬实时多核系统中的bank冲突延迟最小化,即在对bank冲突延迟进行分析的基础上,首先通过优化核-bank之间的映射关系来消除bank冲突;若无法消除,则需要寻找能使bank冲突延迟最小化的核-bank映射关系解,并为此设计了一种基于多核总线请求时间序列的bank冲突延迟求解算法.最后,文中设计了能够对总线访问延迟进行消重的多核硬实时任务WCET估算方法.实验结果表明:文中所提的优化方法可消除这类bank冲突或使其延迟最小化,文中所提的WCET估算方法与现有估算方法相比可获得更精确的最差情况下执行时间(WCET).; 关键词多核系统硬实时任务优化核到bank映射 bank冲突延迟最差情况下执行时间; Keywords multicore system hard real-time ta sk optimization core-to-bank mapping bank conflict delay worst-case execution time （WCET）; 分类号 TP303 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名实时系统可变工作量建模及计算方法: 5; 作者黄迎春邓庆绪; 机构东北大学信息科学与工程学院; 出处《东北大学学报（自然科学版）》 EI CAS CSCD 北大核心 2017年第2期190-194,共5页; 基金国家自然科学基金资助项目(61472072) 国家重点基础研究发展计划项目(2014CB360509); 文摘传统实时系统性能分析以最差情况下执行时间(worst-case execution time,WCET)作为主要输入,导致分析过于保守.针对实时系统设计时预留冗余过大的问题,建立了以到达事件类型、数量和分布为决策变量,包括工作量曲线(workload curves)、逆工作量曲线(inverse workload curves)、工作量比率曲线(workload ratio curves)在内的实时系统可变工作量模型,给出了相关计算方法.基于可变工作量模型分析了其在混合调度中的应用,结果表明:采用可变工作量模型和算法可显著减少任务所需的执行工作量,降低了实时系统的资源需求.; 关键词可变工作量模型实时系统形式化方法工作量曲线最差情况下执行时间; Keywords variable workload model real-time system formal method workload curve worst- case execution time; 分类号 TP302 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

	题名	作者	出处	发文年	被引量	操作
1	实时系统程序最差情况执行时间(WCET)的分析	姬孟洛齐治昌	《计算机科学》 CSCD 北大核心	2006	2	在线阅读下载PDF 职称材料
2	支持指令预取的多核缓存WCET分析方法	安立奎韩丽艳	《计算机工程》 CAS CSCD 北大核心	2018	3	在线阅读下载PDF 职称材料
3	实时控制系统程序模式的WCET自动分析方法	侯小静姬孟洛黄辰林舒云星阎奔	《计算机工程》 CAS CSCD 北大核心	2017	1	在线阅读下载PDF 职称材料
4	多核共享缓存bank冲突分析及其延迟最小化	张吉赞古志民	《计算机学报》 EI CSCD 北大核心	2016	5	在线阅读下载PDF 职称材料
5	实时系统可变工作量建模及计算方法	黄迎春邓庆绪	《东北大学学报（自然科学版）》 EI CAS CSCD 北大核心	2017	0	在线阅读下载PDF 职称材料