首页 > 最新文献

2008 IEEE Real-Time and Embedded Technology and Applications Symposium最新文献

英文 中文
Measurement Techniques in a Hybrid Approach for Deriving Tight Execution-time Bounds of Program Segments in Fully-featured Processors 全功能处理器中获取程序段严格执行时间界限的混合方法中的测量技术
Pub Date : 2008-04-22 DOI: 10.1109/RTAS.2008.35
Juan A. Colmenares, C. Im, Kane Kim, R. Klefstad, Chae-Deok Lim, Etri Korea
A hybrid approach to deriving tight execution-time bounds of program segments was proposed very recently. This approach symbiotically combines analytical and measurement-based methods to find a tight execution- time bound falling between the maximum measured execution time and an analytically derived loose bound. It also enables the estimation of the probability of the derived tight bound not being exceeded at run time. This paper provides a refined description of the hybrid approach and presents techniques for measuring the execution times of acyclic-path segments (APSs), which are possible execution sequences of instructions that contain no cycles and the basic units of analysis in the hybrid approach. In this paper, we also report the results of the hybrid approach in the derivation of tight execution-time bounds of three algorithms frequently used in the evaluation of WCET analysis techniques.
最近提出了一种求解程序段严格执行时间边界的混合方法。该方法将基于分析和基于测量的方法共生地结合起来,以找到介于最大测量执行时间和分析导出的松散范围之间的严格执行时间范围。它还允许估计在运行时不超过派生的紧界的概率。本文对混合方法进行了详细的描述,并提出了测量非循环路径段(aps)执行时间的技术,aps是混合方法中不包含循环的指令的可能执行序列和基本分析单元。在本文中,我们还报告了混合方法在推导WCET分析技术评估中经常使用的三种算法的严格执行时间界限方面的结果。
{"title":"Measurement Techniques in a Hybrid Approach for Deriving Tight Execution-time Bounds of Program Segments in Fully-featured Processors","authors":"Juan A. Colmenares, C. Im, Kane Kim, R. Klefstad, Chae-Deok Lim, Etri Korea","doi":"10.1109/RTAS.2008.35","DOIUrl":"https://doi.org/10.1109/RTAS.2008.35","url":null,"abstract":"A hybrid approach to deriving tight execution-time bounds of program segments was proposed very recently. This approach symbiotically combines analytical and measurement-based methods to find a tight execution- time bound falling between the maximum measured execution time and an analytically derived loose bound. It also enables the estimation of the probability of the derived tight bound not being exceeded at run time. This paper provides a refined description of the hybrid approach and presents techniques for measuring the execution times of acyclic-path segments (APSs), which are possible execution sequences of instructions that contain no cycles and the basic units of analysis in the hybrid approach. In this paper, we also report the results of the hybrid approach in the derivation of tight execution-time bounds of three algorithms frequently used in the evaluation of WCET analysis techniques.","PeriodicalId":130593,"journal":{"name":"2008 IEEE Real-Time and Embedded Technology and Applications Symposium","volume":"18 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-04-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126069682","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 6
Real-Time Distributed Discrete-Event Execution with Fault Tolerance 具有容错性的实时分布式离散事件执行
Pub Date : 2008-04-22 DOI: 10.1109/RTAS.2008.22
T. Feng, Edward A. Lee
We build on PTIDES, a programming model for distributed embedded systems that uses discrete-event (DE) models as program specifications. PTIDES improves on distributed DE execution by allowing more concurrent event processing without backtracking. This paper discusses the general execution strategy for PTIDES, and provides two feasible implementations. This execution strategy is then extended with tolerance for hardware errors. We take a program transformation approach to automatically enhance DE models with incremental checkpointing and state recovery functionality. Our fault tolerance mechanism is lightweight and has low overhead. It requires very little human intervention. We incorporate this mechanism into PTIDES for efficient execution of fault- tolerant real-time distributed DE systems.
我们以PTIDES为基础,PTIDES是一种用于分布式嵌入式系统的编程模型,它使用离散事件(DE)模型作为程序规范。PTIDES通过允许更多并发事件处理而无需回溯,从而改进了分布式DE执行。本文讨论了PTIDES的一般执行策略,并提供了两种可行的实现。然后扩展此执行策略,使其能够容忍硬件错误。我们采用程序转换方法,通过增量检查点和状态恢复功能自动增强DE模型。我们的容错机制是轻量级的,开销很低。它几乎不需要人为干预。我们将这种机制整合到PTIDES中,以有效地执行容错的实时分布式DE系统。
{"title":"Real-Time Distributed Discrete-Event Execution with Fault Tolerance","authors":"T. Feng, Edward A. Lee","doi":"10.1109/RTAS.2008.22","DOIUrl":"https://doi.org/10.1109/RTAS.2008.22","url":null,"abstract":"We build on PTIDES, a programming model for distributed embedded systems that uses discrete-event (DE) models as program specifications. PTIDES improves on distributed DE execution by allowing more concurrent event processing without backtracking. This paper discusses the general execution strategy for PTIDES, and provides two feasible implementations. This execution strategy is then extended with tolerance for hardware errors. We take a program transformation approach to automatically enhance DE models with incremental checkpointing and state recovery functionality. Our fault tolerance mechanism is lightweight and has low overhead. It requires very little human intervention. We incorporate this mechanism into PTIDES for efficient execution of fault- tolerant real-time distributed DE systems.","PeriodicalId":130593,"journal":{"name":"2008 IEEE Real-Time and Embedded Technology and Applications Symposium","volume":"39 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-04-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123924988","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 27
A Hybrid DVS Scheme for Interactive 3D Games 交互式3D游戏的混合DVS方案
Pub Date : 2008-04-22 DOI: 10.1109/RTAS.2008.33
Yan Gu, S. Chakraborty
Interactive 3D games are now widely available on a variety of mobile devices for which battery-life is a major concern. Many of these devices support voltage/frequency-scalable processors and dynamic voltage scaling (DVS) has emerged as a powerful technique for energy management in such devices. Although DVS algorithms have been very successfully applied to video encoding/decoding applications, their use in interactive computer games has not been sufficiently explored so far. In this paper we propose a novel DVS scheme that is specifically directed towards interactive 3D game applications running on battery-operated portable devices. The key to this DVS scheme lies in an accurate prediction of the rendering workload of a current game scene. We have applied this scheme to first person shooter games (e.g. Quake II) and obtained significant power savings while maintaining high frame rates. Based on the observation that there exist two types of workload variations in such games, we compute the voltage/frequency setting for any game scene using a hybrid combination of two different techniques: (i) adjusting the workload prediction using a control-theoretical feedback mechanism, and (ii) analyzing the graphical objects in the current game scene by parsing the corresponding frame. Our scheme is significantly different from those commonly applied to video decoding applications (where only technique (i) is used) and has shown very encouraging results when evaluated with different setups (e.g. laptop running Windows, PDA running Windows Mobile and a configurable simulation platform).
交互式3D游戏现在在各种移动设备上广泛使用,而电池寿命是一个主要问题。这些设备中的许多都支持电压/频率可扩展的处理器,动态电压缩放(DVS)已经成为此类设备中能量管理的强大技术。尽管分布式交换机算法已经非常成功地应用于视频编码/解码应用,但到目前为止,它们在交互式电脑游戏中的应用还没有得到充分的探索。在本文中,我们提出了一种新的分布式交换机方案,专门针对在电池供电的便携式设备上运行的交互式3D游戏应用程序。此分布式交换机方案的关键在于准确预测当前游戏场景的渲染工作量。我们将这一方案应用于第一人称射击游戏(如《雷神之锤2》),并在保持高帧率的同时节省了大量能量。基于这类游戏中存在两种类型的工作负载变化的观察,我们使用两种不同技术的混合组合来计算任何游戏场景的电压/频率设置:(i)使用控制理论反馈机制调整工作负载预测,(ii)通过解析相应的帧来分析当前游戏场景中的图形对象。我们的方案与通常应用于视频解码应用(仅使用技术(i))的方案有很大不同,并且在不同设置(例如运行Windows的笔记本电脑,运行Windows Mobile的PDA和可配置的模拟平台)下进行评估时显示出非常令人鼓舞的结果。
{"title":"A Hybrid DVS Scheme for Interactive 3D Games","authors":"Yan Gu, S. Chakraborty","doi":"10.1109/RTAS.2008.33","DOIUrl":"https://doi.org/10.1109/RTAS.2008.33","url":null,"abstract":"Interactive 3D games are now widely available on a variety of mobile devices for which battery-life is a major concern. Many of these devices support voltage/frequency-scalable processors and dynamic voltage scaling (DVS) has emerged as a powerful technique for energy management in such devices. Although DVS algorithms have been very successfully applied to video encoding/decoding applications, their use in interactive computer games has not been sufficiently explored so far. In this paper we propose a novel DVS scheme that is specifically directed towards interactive 3D game applications running on battery-operated portable devices. The key to this DVS scheme lies in an accurate prediction of the rendering workload of a current game scene. We have applied this scheme to first person shooter games (e.g. Quake II) and obtained significant power savings while maintaining high frame rates. Based on the observation that there exist two types of workload variations in such games, we compute the voltage/frequency setting for any game scene using a hybrid combination of two different techniques: (i) adjusting the workload prediction using a control-theoretical feedback mechanism, and (ii) analyzing the graphical objects in the current game scene by parsing the corresponding frame. Our scheme is significantly different from those commonly applied to video decoding applications (where only technique (i) is used) and has shown very encouraging results when evaluated with different setups (e.g. laptop running Windows, PDA running Windows Mobile and a configurable simulation platform).","PeriodicalId":130593,"journal":{"name":"2008 IEEE Real-Time and Embedded Technology and Applications Symposium","volume":"115 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-04-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122017055","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 32
A Switch Design for Real-Time Industrial Networks 实时工业网络的开关设计
Pub Date : 2008-04-22 DOI: 10.1109/RTAS.2008.8
Qixin Wang, S. Gopalakrishnan, Xue Liu, L. Sha
The convergence of computers and the physical world is the theme for next generation networking research. This trend calls for real-time network infrastructure, which requires a high-speed real-time WAN to serve as its backbone. However, commercially available high-speed WAN switches (routers) are designed for best-effort Internet traffic. A real-time switch design for the aforementioned networks is missing. We propose a real-time switch design using a crossbar switching fabric. The proposed switch can be implemented by making minimal modification, or even simplification, to the widely implemented iSLIP crossbar switch scheduler. Our real-time switch serves periodic and aperiodic traffic with real-time virtual machine tasks, which simplifies analysis, provides isolation, and facilitates future hierarchical scheduling and flow aggregation. Taking advantage of the fact that most industrial real-time network flows rarely change, our switch is better adapted to providing high bandwidths and low latencies.
计算机与物理世界的融合是下一代网络研究的主题。这种趋势需要实时网络基础设施,这需要高速实时广域网作为其骨干。然而,商业上可用的高速WAN交换机(路由器)是为Internet流量而设计的。目前还没有针对上述网络的实时交换机设计。我们提出了一种使用交叉交换结构的实时开关设计。所提出的开关可以通过对广泛实现的iSLIP交叉开关调度程序进行最小的修改甚至简化来实现。我们的实时交换机通过实时虚拟机任务为周期性和非周期性流量提供服务,简化分析,提供隔离,并促进未来的分层调度和流量聚合。利用大多数工业实时网络流很少变化的事实,我们的交换机更好地适应提供高带宽和低延迟。
{"title":"A Switch Design for Real-Time Industrial Networks","authors":"Qixin Wang, S. Gopalakrishnan, Xue Liu, L. Sha","doi":"10.1109/RTAS.2008.8","DOIUrl":"https://doi.org/10.1109/RTAS.2008.8","url":null,"abstract":"The convergence of computers and the physical world is the theme for next generation networking research. This trend calls for real-time network infrastructure, which requires a high-speed real-time WAN to serve as its backbone. However, commercially available high-speed WAN switches (routers) are designed for best-effort Internet traffic. A real-time switch design for the aforementioned networks is missing. We propose a real-time switch design using a crossbar switching fabric. The proposed switch can be implemented by making minimal modification, or even simplification, to the widely implemented iSLIP crossbar switch scheduler. Our real-time switch serves periodic and aperiodic traffic with real-time virtual machine tasks, which simplifies analysis, provides isolation, and facilitates future hierarchical scheduling and flow aggregation. Taking advantage of the fact that most industrial real-time network flows rarely change, our switch is better adapted to providing high bandwidths and low latencies.","PeriodicalId":130593,"journal":{"name":"2008 IEEE Real-Time and Embedded Technology and Applications Symposium","volume":"31 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-04-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132781134","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 25
Approximation Algorithms for Multiprocessor Energy-Efficient Scheduling of Periodic Real-Time Tasks with Uncertain Task Execution Time 任务执行时间不确定的周期性实时任务多处理器节能调度逼近算法
Pub Date : 2008-04-22 DOI: 10.1109/RTAS.2008.24
Jian-Jia Chen, Chuan-Yue Yang, Hsueh-I Lu, Tei-Wei Kuo
Energy-efficiency has been an important system issue in hardware and software designs for both real-time embedded systems and server systems. This research explores systems with probabilistic distribution on the execution time of realtime tasks on homogeneous multiprocessor platforms with the capability of dynamic voltage scaling (DVS). The objective is to derive a task partition which minimizes the expected energy consumption for completing all the given tasks in time. We give an efficient 1.13-approximation algorithm and a polynomial-time approximation scheme (PTAS) to provide worst-case guarantees for the strongly NP-hard problem. Experimental results show that the algorithms can effectively minimize the expected energy consumption.
在实时嵌入式系统和服务器系统的硬件和软件设计中,能效一直是一个重要的系统问题。本研究探讨了具有动态电压缩放(DVS)能力的同构多处理器平台上实时任务执行时间概率分布的系统。目标是推导出一个任务分区,该分区能使所有给定任务的预期能量消耗最小化。我们给出了一个有效的1.13近似算法和一个多项式时间近似格式(PTAS)来提供强np困难问题的最坏情况保证。实验结果表明,该算法能有效地降低期望能耗。
{"title":"Approximation Algorithms for Multiprocessor Energy-Efficient Scheduling of Periodic Real-Time Tasks with Uncertain Task Execution Time","authors":"Jian-Jia Chen, Chuan-Yue Yang, Hsueh-I Lu, Tei-Wei Kuo","doi":"10.1109/RTAS.2008.24","DOIUrl":"https://doi.org/10.1109/RTAS.2008.24","url":null,"abstract":"Energy-efficiency has been an important system issue in hardware and software designs for both real-time embedded systems and server systems. This research explores systems with probabilistic distribution on the execution time of realtime tasks on homogeneous multiprocessor platforms with the capability of dynamic voltage scaling (DVS). The objective is to derive a task partition which minimizes the expected energy consumption for completing all the given tasks in time. We give an efficient 1.13-approximation algorithm and a polynomial-time approximation scheme (PTAS) to provide worst-case guarantees for the strongly NP-hard problem. Experimental results show that the algorithms can effectively minimize the expected energy consumption.","PeriodicalId":130593,"journal":{"name":"2008 IEEE Real-Time and Embedded Technology and Applications Symposium","volume":"81 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-04-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125893184","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 31
Schedulability Analysis of MSC-based System Models
Pub Date : 2008-04-22 DOI: 10.1109/RTAS.2008.9
Lei Ju, Abhik Roychoudhury, S. Chakraborty
Message sequence charts (MSCs) are widely used for describing interaction scenarios between the components of a distributed system. Consequently, worst-case response time estimation and schedulability analysis of MSC-based specifications form natural building blocks for designing distributed real-time systems. However, currently there exists a large gap between the timing and quantitative performance analysis techniques that exist in the real-time systems literature, and the modeling/specification techniques that are advocated by the formal methods community. As a result, although a number of schedulability analysis techniques are known for a variety of task graph-based models, it is not clear if they can be used to effectively analyze standard specification formalisms such as MSCs. In this paper we make an attempt to bridge this gap by proposing a schedulability analysis technique for MSC-based system specifications. We show that compared to existing timing analysis techniques for distributed real-time systems, our proposed analysis gives tighter results, which immediately translate to better system design and improved resource dimensioning. We illustrate the details of our analysis using a setup from the automotive electronics domain, which consist of two real-life application programs (that are naturally modeled using MSCs) running on a platform consisting of multiple electronic control units (ECUs) connected via a FlexRay bus.
消息序列图(MSCs)广泛用于描述分布式系统组件之间的交互场景。因此,基于msc规范的最坏情况响应时间估计和可调度性分析形成了设计分布式实时系统的天然构建块。然而,目前在实时系统文献中存在的定时和定量性能分析技术与形式化方法社区所提倡的建模/规范技术之间存在很大的差距。因此,尽管许多可调度性分析技术以各种基于任务图的模型而闻名,但尚不清楚它们是否可用于有效地分析标准规范形式化(如msc)。在本文中,我们试图通过提出一种基于msc的系统规范的可调度性分析技术来弥合这一差距。我们表明,与现有的分布式实时系统的时序分析技术相比,我们提出的分析给出了更紧密的结果,这立即转化为更好的系统设计和改进的资源维度。我们使用汽车电子领域的设置来说明我们的分析细节,该设置由两个现实生活中的应用程序(自然使用msc建模)组成,运行在由多个电子控制单元(ecu)组成的平台上,该平台通过FlexRay总线连接。
{"title":"Schedulability Analysis of MSC-based System Models","authors":"Lei Ju, Abhik Roychoudhury, S. Chakraborty","doi":"10.1109/RTAS.2008.9","DOIUrl":"https://doi.org/10.1109/RTAS.2008.9","url":null,"abstract":"Message sequence charts (MSCs) are widely used for describing interaction scenarios between the components of a distributed system. Consequently, worst-case response time estimation and schedulability analysis of MSC-based specifications form natural building blocks for designing distributed real-time systems. However, currently there exists a large gap between the timing and quantitative performance analysis techniques that exist in the real-time systems literature, and the modeling/specification techniques that are advocated by the formal methods community. As a result, although a number of schedulability analysis techniques are known for a variety of task graph-based models, it is not clear if they can be used to effectively analyze standard specification formalisms such as MSCs. In this paper we make an attempt to bridge this gap by proposing a schedulability analysis technique for MSC-based system specifications. We show that compared to existing timing analysis techniques for distributed real-time systems, our proposed analysis gives tighter results, which immediately translate to better system design and improved resource dimensioning. We illustrate the details of our analysis using a setup from the automotive electronics domain, which consist of two real-life application programs (that are naturally modeled using MSCs) running on a platform consisting of multiple electronic control units (ECUs) connected via a FlexRay bus.","PeriodicalId":130593,"journal":{"name":"2008 IEEE Real-Time and Embedded Technology and Applications Symposium","volume":"42 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-04-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129891949","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 3
Real-Time Dynamic Power Management through Device Forbidden Regions 通过设备禁用区域实时动态电源管理
Pub Date : 2008-04-22 DOI: 10.1109/RTAS.2008.21
V. Devadas, Hakan Aydin
Dynamic power management (DPM) techniques are crucial in minimizing the overall energy consumption in real-time embedded systems. The timing constraints of real-time applications and non-trivial time/energy transition overheads introduce significant challenges, as the device sleep intervals should be longer than a minimum threshold (called the break-even time) to ensure energy-efficiency. In this paper, we present a novel approach to the real-time DPM problem by explicitly enforcing long device sleep intervals for different devices, called device forbidden regions. We focus on the application of our technique to task systems with rate-monotonic priorities, and develop our algorithm DFR-RMS. Our solution includes a static component where the duration and frequency of forbidden regions are determined through the extended time-demand analysis to preserve the temporal correctness of all the tasks, while enhancing the energy savings. Then, we present a sophisticated on-line component which interacts with existing prediction-based DPM schemes to realize the full potential of device forbidden regions. Further, our scheme can be used with or without dynamic voltage scaling (DVS). Our experimental evaluation hints that significant energy gains can be obtained, when compared to the existing prediction-based techniques. Another contribution of this research effort is to show that the general problem of generating feasible schedules for preemptive periodic real-time tasks where all device sleep intervals are longer than the device break-even times is NP-hard in the strong sense.
动态电源管理(DPM)技术对于降低实时嵌入式系统的总体能耗至关重要。实时应用程序的时间限制和重要的时间/能量转换开销带来了重大挑战,因为设备睡眠间隔应该长于最小阈值(称为盈亏平衡时间),以确保能源效率。在本文中,我们提出了一种解决实时DPM问题的新方法,通过显式地强制不同设备的长设备睡眠间隔,称为设备禁止区域。我们将该技术应用于具有速率单调优先级的任务系统,并开发了我们的DFR-RMS算法。我们的解决方案包括一个静态组件,其中禁止区域的持续时间和频率是通过扩展的时间需求分析来确定的,以保持所有任务的时间正确性,同时提高能源节约。然后,我们提出了一个复杂的在线组件,该组件与现有的基于预测的DPM方案交互,以充分发挥设备禁止区域的潜力。此外,我们的方案可以使用或不使用动态电压缩放(DVS)。我们的实验评估提示,与现有的基于预测的技术相比,可以获得显著的能量增益。本研究工作的另一个贡献是表明,在所有设备睡眠间隔都大于设备收支平衡时间的情况下,为抢占式周期性实时任务生成可行调度的一般问题在强意义上是np困难的。
{"title":"Real-Time Dynamic Power Management through Device Forbidden Regions","authors":"V. Devadas, Hakan Aydin","doi":"10.1109/RTAS.2008.21","DOIUrl":"https://doi.org/10.1109/RTAS.2008.21","url":null,"abstract":"Dynamic power management (DPM) techniques are crucial in minimizing the overall energy consumption in real-time embedded systems. The timing constraints of real-time applications and non-trivial time/energy transition overheads introduce significant challenges, as the device sleep intervals should be longer than a minimum threshold (called the break-even time) to ensure energy-efficiency. In this paper, we present a novel approach to the real-time DPM problem by explicitly enforcing long device sleep intervals for different devices, called device forbidden regions. We focus on the application of our technique to task systems with rate-monotonic priorities, and develop our algorithm DFR-RMS. Our solution includes a static component where the duration and frequency of forbidden regions are determined through the extended time-demand analysis to preserve the temporal correctness of all the tasks, while enhancing the energy savings. Then, we present a sophisticated on-line component which interacts with existing prediction-based DPM schemes to realize the full potential of device forbidden regions. Further, our scheme can be used with or without dynamic voltage scaling (DVS). Our experimental evaluation hints that significant energy gains can be obtained, when compared to the existing prediction-based techniques. Another contribution of this research effort is to show that the general problem of generating feasible schedules for preemptive periodic real-time tasks where all device sleep intervals are longer than the device break-even times is NP-hard in the strong sense.","PeriodicalId":130593,"journal":{"name":"2008 IEEE Real-Time and Embedded Technology and Applications Symposium","volume":"18 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-04-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122851214","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 39
Coexistence of Real-Time and Interactive & Batch Tasks in DVS Systems 分布式交换机系统中实时、交互和批处理任务的共存
Pub Date : 2008-04-22 DOI: 10.1109/RTAS.2008.40
Saowanee Saewong, R. Rajkumar
Interactive and batch tasks typically have aperiodic random demands and arrival patterns. Generally, interactive tasks are assigned high priority for high responsiveness. Batch tasks with less timing criticality are scheduled in background. Unfortunately, most real-time DVS algorithms focus only on the real-time task workload and timing constraints in determining the operating power-optimized clock frequency. This approach can often leave insufficient cycles for servicing interactive and batch tasks and lead to unacceptable tardiness in conventional applications. We present a power-management framework which ensures that conventional applications will obtain acceptable response times and workload throughput without breaking the temporal constraints of real-time tasks that use resource reservation. We propose two solutions: Background-Preserving and Background-On-Demand algorithms. The first scheme is straightforward and increases the clock frequencies of all tasks to accommodate a future non-real-time workload. The second scheme assigns two modes of frequencies to each task, normal mode and turbo mode. The turbo mode is triggered by the presence of a pending non-real-time task in the system. We also provide the integrated versions of both schemes with our dynamic slack reclamation DVS scheme, called the Progressive algorithm. The integrated versions exploit the slack time from underused reserves for saving more power without performance degradation in all applications.
交互式和批处理任务通常具有非周期性随机需求和到达模式。通常,交互性任务会因为响应性高而被分配高优先级。定时重要性较小的批处理任务在后台调度。不幸的是,大多数实时分布式交换机算法在确定工作功率优化时钟频率时只关注实时任务工作负载和时间约束。这种方法通常会导致交互任务和批处理任务的服务周期不足,并导致传统应用程序出现不可接受的延迟。我们提出了一个电源管理框架,它确保传统应用程序将获得可接受的响应时间和工作负载吞吐量,而不会打破使用资源预留的实时任务的时间限制。我们提出了两种解决方案:背景保留算法和背景按需算法。第一种方案很简单,它增加了所有任务的时钟频率,以适应未来的非实时工作负载。第二种方案为每个任务分配两种模式的频率,正常模式和涡轮模式。turbo模式由系统中存在待处理的非实时任务触发。我们还提供了两种方案的集成版本,即动态松弛回收分布式交换机方案,称为渐进式算法。集成版本利用未充分利用的空闲时间来节省更多的电力,而不会降低所有应用程序的性能。
{"title":"Coexistence of Real-Time and Interactive & Batch Tasks in DVS Systems","authors":"Saowanee Saewong, R. Rajkumar","doi":"10.1109/RTAS.2008.40","DOIUrl":"https://doi.org/10.1109/RTAS.2008.40","url":null,"abstract":"Interactive and batch tasks typically have aperiodic random demands and arrival patterns. Generally, interactive tasks are assigned high priority for high responsiveness. Batch tasks with less timing criticality are scheduled in background. Unfortunately, most real-time DVS algorithms focus only on the real-time task workload and timing constraints in determining the operating power-optimized clock frequency. This approach can often leave insufficient cycles for servicing interactive and batch tasks and lead to unacceptable tardiness in conventional applications. We present a power-management framework which ensures that conventional applications will obtain acceptable response times and workload throughput without breaking the temporal constraints of real-time tasks that use resource reservation. We propose two solutions: Background-Preserving and Background-On-Demand algorithms. The first scheme is straightforward and increases the clock frequencies of all tasks to accommodate a future non-real-time workload. The second scheme assigns two modes of frequencies to each task, normal mode and turbo mode. The turbo mode is triggered by the presence of a pending non-real-time task in the system. We also provide the integrated versions of both schemes with our dynamic slack reclamation DVS scheme, called the Progressive algorithm. The integrated versions exploit the slack time from underused reserves for saving more power without performance degradation in all applications.","PeriodicalId":130593,"journal":{"name":"2008 IEEE Real-Time and Embedded Technology and Applications Symposium","volume":"52 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-04-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115137710","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
WCET Analysis for Multi-Core Processors with Shared L2 Instruction Caches 具有共享L2指令缓存的多核处理器的WCET分析
Pub Date : 2008-04-22 DOI: 10.1109/RTAS.2008.6
Jun Yan, Wei Zhang
Multi-core chips have been increasingly adopted by microprocessor industry. For real-time systems to safely harness the potential of multi-core computing, designers must be able to accurately obtain the worst-case execution time (WCET) of applications running on multi-core platforms, which is very challenging due to the possible runtime inter-core interferences in using shared resources such as the shared L2 caches. As the first step toward time-predictable multi-core computing, this paper presents a novel approach to bounding the worst-case performance for threads running on multi-core processors with shared L2 instruction caches. The idea of our approach is to compute the worst-case instruction access interferences between different threads based on the program control flow information of each thread, which can be statically analyzed. Our experiments indicate that the proposed approach can reasonably estimate the worst- case shared L2 instruction cache misses by considering inter-thread instruction conflicts. Also, the WCET of applications running on multi-core processors estimated by our approach is much better than the estimation by simply assuming all L2 instruction accesses are misses.
多核芯片已被微处理器行业越来越多地采用。为了使实时系统能够安全地利用多核计算的潜力,设计人员必须能够准确地获得在多核平台上运行的应用程序的最坏情况执行时间(WCET),这是非常具有挑战性的,因为在使用共享资源(如共享L2缓存)时可能存在运行时核间干扰。作为时间可预测多核计算的第一步,本文提出了一种新的方法来限制在具有共享L2指令缓存的多核处理器上运行的线程的最坏情况性能。该方法的思想是根据每个线程的程序控制流信息计算不同线程之间最坏情况下的指令访问干扰,并对其进行静态分析。实验表明,通过考虑线程间指令冲突,该方法可以合理地估计最坏情况下的共享L2指令缓存缺失。此外,通过我们的方法估计的在多核处理器上运行的应用程序的WCET比简单地假设所有L2指令访问都是错误的估计要好得多。
{"title":"WCET Analysis for Multi-Core Processors with Shared L2 Instruction Caches","authors":"Jun Yan, Wei Zhang","doi":"10.1109/RTAS.2008.6","DOIUrl":"https://doi.org/10.1109/RTAS.2008.6","url":null,"abstract":"Multi-core chips have been increasingly adopted by microprocessor industry. For real-time systems to safely harness the potential of multi-core computing, designers must be able to accurately obtain the worst-case execution time (WCET) of applications running on multi-core platforms, which is very challenging due to the possible runtime inter-core interferences in using shared resources such as the shared L2 caches. As the first step toward time-predictable multi-core computing, this paper presents a novel approach to bounding the worst-case performance for threads running on multi-core processors with shared L2 instruction caches. The idea of our approach is to compute the worst-case instruction access interferences between different threads based on the program control flow information of each thread, which can be statically analyzed. Our experiments indicate that the proposed approach can reasonably estimate the worst- case shared L2 instruction cache misses by considering inter-thread instruction conflicts. Also, the WCET of applications running on multi-core processors estimated by our approach is much better than the estimation by simply assuming all L2 instruction accesses are misses.","PeriodicalId":130593,"journal":{"name":"2008 IEEE Real-Time and Embedded Technology and Applications Symposium","volume":"2 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-04-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124845651","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 172
QoS Support in the X11 Window System X11窗口系统中的QoS支持
Pub Date : 2008-04-22 DOI: 10.1109/RTAS.2008.20
Nicola Manica, Luca Abeni, L. Palopoli
In this paper, we consider the problem of providing QoS guarantees to the execution of applications using the X11 window system. In particular, we offer a system level analysis of the issues encountered when using X11 to serve realtime applications. By using a tracer developed for the purpose we analyse in depth the internal behaviour of the system. The result of the analysis puts on display the adverse effect played by a non real-time scheduler on the performance of time-sensitive applications. Based on this analysis, we propose an alternative solution based on the CBS scheduler and prove its effectiveness by an extensive set of experiments on real hardware.
在本文中,我们考虑了为使用X11窗口系统的应用程序的执行提供QoS保证的问题。特别是,我们对使用X11为实时应用程序提供服务时遇到的问题进行了系统级分析。通过使用为此目的开发的跟踪器,我们深入分析了系统的内部行为。分析结果显示了非实时调度器对时间敏感型应用程序性能的不利影响。基于此分析,我们提出了一种基于CBS调度程序的替代解决方案,并通过在实际硬件上进行的大量实验证明了其有效性。
{"title":"QoS Support in the X11 Window System","authors":"Nicola Manica, Luca Abeni, L. Palopoli","doi":"10.1109/RTAS.2008.20","DOIUrl":"https://doi.org/10.1109/RTAS.2008.20","url":null,"abstract":"In this paper, we consider the problem of providing QoS guarantees to the execution of applications using the X11 window system. In particular, we offer a system level analysis of the issues encountered when using X11 to serve realtime applications. By using a tracer developed for the purpose we analyse in depth the internal behaviour of the system. The result of the analysis puts on display the adverse effect played by a non real-time scheduler on the performance of time-sensitive applications. Based on this analysis, we propose an alternative solution based on the CBS scheduler and prove its effectiveness by an extensive set of experiments on real hardware.","PeriodicalId":130593,"journal":{"name":"2008 IEEE Real-Time and Embedded Technology and Applications Symposium","volume":"21 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-04-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125945785","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 9
期刊
2008 IEEE Real-Time and Embedded Technology and Applications Symposium
全部 Acc. Chem. Res. ACS Applied Bio Materials ACS Appl. Electron. Mater. ACS Appl. Energy Mater. ACS Appl. Mater. Interfaces ACS Appl. Nano Mater. ACS Appl. Polym. Mater. ACS BIOMATER-SCI ENG ACS Catal. ACS Cent. Sci. ACS Chem. Biol. ACS Chemical Health & Safety ACS Chem. Neurosci. ACS Comb. Sci. ACS Earth Space Chem. ACS Energy Lett. ACS Infect. Dis. ACS Macro Lett. ACS Mater. Lett. ACS Med. Chem. Lett. ACS Nano ACS Omega ACS Photonics ACS Sens. ACS Sustainable Chem. Eng. ACS Synth. Biol. Anal. Chem. BIOCHEMISTRY-US Bioconjugate Chem. BIOMACROMOLECULES Chem. Res. Toxicol. Chem. Rev. Chem. Mater. CRYST GROWTH DES ENERG FUEL Environ. Sci. Technol. Environ. Sci. Technol. Lett. Eur. J. Inorg. Chem. IND ENG CHEM RES Inorg. Chem. J. Agric. Food. Chem. J. Chem. Eng. Data J. Chem. Educ. J. Chem. Inf. Model. J. Chem. Theory Comput. J. Med. Chem. J. Nat. Prod. J PROTEOME RES J. Am. Chem. Soc. LANGMUIR MACROMOLECULES Mol. Pharmaceutics Nano Lett. Org. Lett. ORG PROCESS RES DEV ORGANOMETALLICS J. Org. Chem. J. Phys. Chem. J. Phys. Chem. A J. Phys. Chem. B J. Phys. Chem. C J. Phys. Chem. Lett. Analyst Anal. Methods Biomater. Sci. Catal. Sci. Technol. Chem. Commun. Chem. Soc. Rev. CHEM EDUC RES PRACT CRYSTENGCOMM Dalton Trans. Energy Environ. Sci. ENVIRON SCI-NANO ENVIRON SCI-PROC IMP ENVIRON SCI-WAT RES Faraday Discuss. Food Funct. Green Chem. Inorg. Chem. Front. Integr. Biol. J. Anal. At. Spectrom. J. Mater. Chem. A J. Mater. Chem. B J. Mater. Chem. C Lab Chip Mater. Chem. Front. Mater. Horiz. MEDCHEMCOMM Metallomics Mol. Biosyst. Mol. Syst. Des. Eng. Nanoscale Nanoscale Horiz. Nat. Prod. Rep. New J. Chem. Org. Biomol. Chem. Org. Chem. Front. PHOTOCH PHOTOBIO SCI PCCP Polym. Chem.
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
0
微信
客服QQ
Book学术公众号 扫码关注我们
反馈
×
意见反馈
请填写您的意见或建议
请填写您的手机或邮箱
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
Book学术官方微信
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术
文献互助 智能选刊 最新文献 互助须知 联系我们:info@booksci.cn
Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。
Copyright © 2023 Book学术 All rights reserved.
ghs 京公网安备 11010802042870号 京ICP备2023020795号-1