首页 > 最新文献

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

英文 中文
Task placement and selection of data consistency mechanisms for real-time multicore applications 实时多核应用程序的任务放置和数据一致性机制选择
Pub Date : 2015-04-13 DOI: 10.1109/RTAS.2015.7108440
Zaid Al-bayati, Youcheng Sun, Haibo Zeng, M. Natale, Qi Zhu, B. Meyer
Multicores are today used in automotive, controls and avionics systems supporting real-time functionality. When real-time tasks allocated on different cores cooperate through the use of shared communication resources, they need to be protected by mechanisms that guarantee access in a mutual exclusive way with bounded worst-case blocking time. Lock-based mechanisms such as MPCP and MSRP have been developed to fulfill this demand, and research papers are today tackling the problem of finding the optimal task placement in multicores while trying to meet the deadlines against blocking times. In this paper, we propose a resource-aware task allocation algorithm for systems that use MSRP to protect shared resources. Furthermore, we leverage the additional opportunity provided by wait-free methods as an alternative data consistency mechanism for the case that the shared resource is communication or state memory. An algorithm that performs both task allocation and data consistency mechanism (MSRP or wait-free) selection is proposed. The selective use of wait-free methods can significantly extend the range of schedulable systems at the cost of memory.
如今,多核应用于支持实时功能的汽车、控制和航空电子系统。当分配在不同核上的实时任务通过使用共享通信资源进行协作时,需要通过在有限的最坏阻塞时间内保证互斥访问的机制来保护它们。基于锁的机制,如MPCP和MSRP已经被开发出来以满足这一需求,并且研究论文正在解决在多核中找到最佳任务放置的问题,同时试图满足阻塞时间的最后期限。在本文中,我们提出了一种资源感知任务分配算法,用于使用MSRP来保护共享资源的系统。此外,当共享资源是通信或状态内存时,我们利用无等待方法提供的额外机会,将其作为另一种数据一致性机制。提出了一种同时进行任务分配和数据一致性(MSRP或无等待)选择的算法。选择性地使用无等待方法可以以内存为代价显著地扩展可调度系统的范围。
{"title":"Task placement and selection of data consistency mechanisms for real-time multicore applications","authors":"Zaid Al-bayati, Youcheng Sun, Haibo Zeng, M. Natale, Qi Zhu, B. Meyer","doi":"10.1109/RTAS.2015.7108440","DOIUrl":"https://doi.org/10.1109/RTAS.2015.7108440","url":null,"abstract":"Multicores are today used in automotive, controls and avionics systems supporting real-time functionality. When real-time tasks allocated on different cores cooperate through the use of shared communication resources, they need to be protected by mechanisms that guarantee access in a mutual exclusive way with bounded worst-case blocking time. Lock-based mechanisms such as MPCP and MSRP have been developed to fulfill this demand, and research papers are today tackling the problem of finding the optimal task placement in multicores while trying to meet the deadlines against blocking times. In this paper, we propose a resource-aware task allocation algorithm for systems that use MSRP to protect shared resources. Furthermore, we leverage the additional opportunity provided by wait-free methods as an alternative data consistency mechanism for the case that the shared resource is communication or state memory. An algorithm that performs both task allocation and data consistency mechanism (MSRP or wait-free) selection is proposed. The selective use of wait-free methods can significantly extend the range of schedulable systems at the cost of memory.","PeriodicalId":320300,"journal":{"name":"21st IEEE Real-Time and Embedded Technology and Applications Symposium","volume":"107 1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-04-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115773166","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}
引用次数: 13
Demo abstract: A multithreaded arduino system for embedded computing 演示摘要:一个用于嵌入式计算的多线程arduino系统
Pub Date : 2015-04-13 DOI: 10.1109/RTAS.2015.7108460
Zhuoqun Cheng, Ye Li, R. West
Arduino [1] is an open source platform that offers a clear and simple environment for physical computing. It is now widely used in modern robotics and Internet-of-Things (IoT) applications, due in part to its low-cost, ease of programming, and rapid prototyping capabilities. Sensors and actuators can easily be connected to the analog and digital I/O pins of an Arduino device, which features an on-board microcontroller programmed using the Arduino API. We present Qduino, a system developed for Arduino compatible boards. It is built upon our Quest realtime operating system kernel [4] and new Arduino-compatible boards.
Arduino[1]是一个开源平台,为物理计算提供了一个清晰简单的环境。它现在被广泛应用于现代机器人和物联网(IoT)应用,部分原因是它的低成本、易于编程和快速原型制作能力。传感器和执行器可以很容易地连接到Arduino设备的模拟和数字I/O引脚,该设备具有使用Arduino API编程的板载微控制器。我们介绍了一个为Arduino兼容板开发的Qduino系统。它是建立在我们的Quest实时操作系统内核[4]和新的arduino兼容板。
{"title":"Demo abstract: A multithreaded arduino system for embedded computing","authors":"Zhuoqun Cheng, Ye Li, R. West","doi":"10.1109/RTAS.2015.7108460","DOIUrl":"https://doi.org/10.1109/RTAS.2015.7108460","url":null,"abstract":"Arduino [1] is an open source platform that offers a clear and simple environment for physical computing. It is now widely used in modern robotics and Internet-of-Things (IoT) applications, due in part to its low-cost, ease of programming, and rapid prototyping capabilities. Sensors and actuators can easily be connected to the analog and digital I/O pins of an Arduino device, which features an on-board microcontroller programmed using the Arduino API. We present Qduino, a system developed for Arduino compatible boards. It is built upon our Quest realtime operating system kernel [4] and new Arduino-compatible boards.","PeriodicalId":320300,"journal":{"name":"21st IEEE Real-Time and Embedded Technology and Applications Symposium","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-04-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130668725","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}
引用次数: 0
When thermal control meets sensor noise: analysis of noise-induced temperature error 当热控制遇到传感器噪声时:噪声引起的温度误差分析
Pub Date : 2015-04-13 DOI: 10.1109/RTAS.2015.7108421
Dohwan Kim, Kyung-Joon Park, Y. Eun, S. Son, Chenyang Lu
Thermal control is critical for real-time systems as overheated processors can result in serious performance degradation or even system breakdown due to hardware throttling. The major challenges in thermal control for real-time systems are (i) the need to enforce both real-time and thermal constraints; (ii) uncertain system dynamics; and (iii) thermal sensor noise. Previous studies have resolved the first two, but the practical issue of sensor noise has not been properly addressed yet. In this paper, we introduce a novel thermal control algorithm that can appropriately handle thermal sensor noise. Our key observation is that even a small zero-mean sensor noise can induce a significant steady-state error between the target and the actual temperature of a processor. This steady-state error is contrary to our intuition that zero-mean sensor noise induces zero-mean fluctuations. We show that an intuitive attempt to resolve this unusual situation is not effective at all. By a rigorous approach, we analyze the underlying mechanism and quantify the noised-induced error in a closed form in terms of noise statistics and system parameters. Based on our analysis, we propose a simple and effective solution for eliminating the error and maintaining the desired processor temperature. Through extensive simulations, we show the advantages of our proposed algorithm, referred to as Thermal Control under Utilization Bound with Virtual Saturation (TCUB-VS).
热控制对实时系统至关重要,因为过热的处理器可能导致严重的性能下降,甚至由于硬件节流而导致系统崩溃。实时系统热控制的主要挑战是:(i)需要同时执行实时和热约束;(ii)不确定的系统动力学;(三)热传感器噪声。以前的研究已经解决了前两个问题,但是传感器噪声的实际问题还没有得到适当的解决。本文提出了一种新的热控制算法,可以有效地处理热传感器噪声。我们的关键观察是,即使是很小的零均值传感器噪声也会在目标和处理器的实际温度之间引起显著的稳态误差。这种稳态误差与我们的直觉相反,即零均值传感器噪声引起零均值波动。我们表明,凭直觉试图解决这种不寻常的情况根本没有效果。通过严格的方法,我们分析了潜在的机制,并在噪声统计和系统参数方面以封闭形式量化了噪声引起的误差。在此基础上,我们提出了一种简单有效的解决方案来消除误差并保持所需的处理器温度。通过广泛的模拟,我们展示了我们提出的算法的优势,称为利用边界下的虚拟饱和热控制(tcu - vs)。
{"title":"When thermal control meets sensor noise: analysis of noise-induced temperature error","authors":"Dohwan Kim, Kyung-Joon Park, Y. Eun, S. Son, Chenyang Lu","doi":"10.1109/RTAS.2015.7108421","DOIUrl":"https://doi.org/10.1109/RTAS.2015.7108421","url":null,"abstract":"Thermal control is critical for real-time systems as overheated processors can result in serious performance degradation or even system breakdown due to hardware throttling. The major challenges in thermal control for real-time systems are (i) the need to enforce both real-time and thermal constraints; (ii) uncertain system dynamics; and (iii) thermal sensor noise. Previous studies have resolved the first two, but the practical issue of sensor noise has not been properly addressed yet. In this paper, we introduce a novel thermal control algorithm that can appropriately handle thermal sensor noise. Our key observation is that even a small zero-mean sensor noise can induce a significant steady-state error between the target and the actual temperature of a processor. This steady-state error is contrary to our intuition that zero-mean sensor noise induces zero-mean fluctuations. We show that an intuitive attempt to resolve this unusual situation is not effective at all. By a rigorous approach, we analyze the underlying mechanism and quantify the noised-induced error in a closed form in terms of noise statistics and system parameters. Based on our analysis, we propose a simple and effective solution for eliminating the error and maintaining the desired processor temperature. Through extensive simulations, we show the advantages of our proposed algorithm, referred to as Thermal Control under Utilization Bound with Virtual Saturation (TCUB-VS).","PeriodicalId":320300,"journal":{"name":"21st IEEE Real-Time and Embedded Technology and Applications Symposium","volume":"143 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-04-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123561978","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
dOSEK: the design and implementation of a dependability-oriented static embedded kernel dOSEK:面向可靠性的静态嵌入式内核的设计和实现
Pub Date : 2015-04-13 DOI: 10.1109/RTAS.2015.7108449
Martin Hoffmann, Florian Lukas, Christian J. Dietrich, D. Lohmann
Because of shrinking structure sizes and operating voltages, computing hardware exhibits an increasing susceptibility against transient hardware faults: Issues previously only known from avionics systems, such as bit flips caused by cosmic radiation, nowadays also affect automotive and other cost-sensitive “ground-level” control systems. For such cost-sensitive systems, many software-based measures have been suggested to harden applications against transient effects. However, all these measures assume that the underlying operating system works reliably in all cases. We present software-based concepts for constructing an operating system that provides a reliable computing base even on unreliable hardware. Our design is based on two pillars: First, strict fault avoidance by static tailoring and elimination of susceptible indirections. Second, reliable fault detection by fine-grained arithmetic encoding of the complete kernel execution path. Compared to an industry-grade off-the-shelf RTOS, our resulting dOSEK kernel thereby achieves a robustness improvement by four orders of magnitude. Our results are based on extensive fault-injection campaigns that cover the entire space of single-bit faults in random-access memory and registers.
由于结构尺寸和工作电压的缩小,计算硬件对瞬态硬件故障的敏感性越来越高:以前只在航空电子系统中知道的问题,例如由宇宙辐射引起的位翻转,现在也影响到汽车和其他成本敏感的“地面”控制系统。对于这种对成本敏感的系统,已经提出了许多基于软件的措施来增强应用程序对瞬态效应的抵抗力。然而,所有这些措施都假定底层操作系统在所有情况下都能可靠地工作。我们提出了构建操作系统的基于软件的概念,即使在不可靠的硬件上也能提供可靠的计算基础。我们的设计基于两个支柱:第一,通过静态裁剪和消除易受影响的间接来严格避免故障。其次,通过对完整的内核执行路径进行细粒度的算术编码,实现可靠的故障检测。与工业级现成的RTOS相比,我们得到的dOSEK内核因此实现了四个数量级的鲁棒性改进。我们的结果是基于广泛的故障注入活动,覆盖了随机访问存储器和寄存器中的整个单比特故障空间。
{"title":"dOSEK: the design and implementation of a dependability-oriented static embedded kernel","authors":"Martin Hoffmann, Florian Lukas, Christian J. Dietrich, D. Lohmann","doi":"10.1109/RTAS.2015.7108449","DOIUrl":"https://doi.org/10.1109/RTAS.2015.7108449","url":null,"abstract":"Because of shrinking structure sizes and operating voltages, computing hardware exhibits an increasing susceptibility against transient hardware faults: Issues previously only known from avionics systems, such as bit flips caused by cosmic radiation, nowadays also affect automotive and other cost-sensitive “ground-level” control systems. For such cost-sensitive systems, many software-based measures have been suggested to harden applications against transient effects. However, all these measures assume that the underlying operating system works reliably in all cases. We present software-based concepts for constructing an operating system that provides a reliable computing base even on unreliable hardware. Our design is based on two pillars: First, strict fault avoidance by static tailoring and elimination of susceptible indirections. Second, reliable fault detection by fine-grained arithmetic encoding of the complete kernel execution path. Compared to an industry-grade off-the-shelf RTOS, our resulting dOSEK kernel thereby achieves a robustness improvement by four orders of magnitude. Our results are based on extensive fault-injection campaigns that cover the entire space of single-bit faults in random-access memory and registers.","PeriodicalId":320300,"journal":{"name":"21st IEEE Real-Time and Embedded Technology and Applications Symposium","volume":"19 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-04-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123754355","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}
引用次数: 29
A predictable and command-level priority-based DRAM controller for mixed-criticality systems 一种可预测的、基于命令级优先级的混合临界系统DRAM控制器
Pub Date : 2015-04-13 DOI: 10.1109/RTAS.2015.7108455
Hokeun Kim, David Broman, Edward A. Lee, Michael Zimmer, Aviral Shrivastava, Junkwang Oh
Mixed-criticality systems have tasks with different criticality levels running on the same hardware platform. Today's DRAM controllers cannot adequately satisfy the often conflicting requirements of tightly bounded worst-case latency for critical tasks and high performance for non-critical real-time tasks. We propose a DRAM memory controller that meets these requirements by using bank-aware address mapping and DRAM command-level priority-based scheduling with preemption. Many standard DRAM controllers can be extended with our approach, incurring no performance penalty when critical tasks are not generating DRAM requests. Our approach is evaluated by replaying memory traces obtained from executing benchmarks on an ARM ISA-based processor with caches, which is simulated on the gem5 architecture simulator. We compare our approach against previous TDM-based approaches, showing that our proposed memory controller achieves dramatically higher performance for non-critical tasks, without any significant impact on the worstcase latency of critical tasks.
混合临界系统在同一硬件平台上运行不同临界级别的任务。今天的DRAM控制器不能充分满足关键任务严格限制的最坏情况延迟和非关键实时任务的高性能这两个经常相互冲突的需求。我们提出了一种DRAM内存控制器,通过使用银行感知地址映射和DRAM命令级优先级调度来满足这些要求。许多标准的DRAM控制器可以用我们的方法进行扩展,当关键任务不生成DRAM请求时,不会产生性能损失。我们的方法是通过重放在带有缓存的基于ARM isa的处理器上执行基准测试获得的内存跟踪来评估的,这在gem5架构模拟器上进行了模拟。我们将我们的方法与以前基于tdm的方法进行了比较,结果表明,我们提出的内存控制器在非关键任务上实现了显著更高的性能,而对关键任务的最坏情况延迟没有任何显著影响。
{"title":"A predictable and command-level priority-based DRAM controller for mixed-criticality systems","authors":"Hokeun Kim, David Broman, Edward A. Lee, Michael Zimmer, Aviral Shrivastava, Junkwang Oh","doi":"10.1109/RTAS.2015.7108455","DOIUrl":"https://doi.org/10.1109/RTAS.2015.7108455","url":null,"abstract":"Mixed-criticality systems have tasks with different criticality levels running on the same hardware platform. Today's DRAM controllers cannot adequately satisfy the often conflicting requirements of tightly bounded worst-case latency for critical tasks and high performance for non-critical real-time tasks. We propose a DRAM memory controller that meets these requirements by using bank-aware address mapping and DRAM command-level priority-based scheduling with preemption. Many standard DRAM controllers can be extended with our approach, incurring no performance penalty when critical tasks are not generating DRAM requests. Our approach is evaluated by replaying memory traces obtained from executing benchmarks on an ARM ISA-based processor with caches, which is simulated on the gem5 architecture simulator. We compare our approach against previous TDM-based approaches, showing that our proposed memory controller achieves dramatically higher performance for non-critical tasks, without any significant impact on the worstcase latency of critical tasks.","PeriodicalId":320300,"journal":{"name":"21st IEEE Real-Time and Embedded Technology and Applications Symposium","volume":"15 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-04-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131012708","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}
引用次数: 52
An efficient configuration methodology for time-division multiplexed single resources 一种有效的分时复用单资源配置方法
Pub Date : 2015-04-13 DOI: 10.1109/RTAS.2015.7108439
B. Akesson, Anna Minaeva, P. Šůcha, Andrew Nelson, Z. Hanzálek
Complex contemporary systems contain multiple applications, some which have firm real-time requirements while others do not. These applications are deployed on multi-core platforms with shared resources, such as processors, interconnect, and memories. However, resource sharing causes contention between sharing applications that must be resolved by a resource arbiter. Time-Division Multiplexing (TDM) is a commonly used arbiter, but it is challenging to configure such that the bandwidth and latency requirements of the real-time resource clients are satisfied, while minimizing their total allocation to improve the performance of non-real-time clients. This work addresses this problem by presenting an efficient TDM configuration methodology. The five main contributions are: 1) An analysis to derive a bandwidth and latency guarantee for a TDM schedule with arbitrary slot assignment, 2) A formulation of the TDM configuration problem and a proof that it is NP-hard, 3) An integer-linear programming model that optimally solves the configuration problem by exhaustively evaluating all possible TDM schedule sizes, 4) A heuristic method to choose candidate schedule sizes that substantially reduces computation time with only a slight decrease in efficiency, 5) An experimental evaluation of the methodology that examines its scalability and quantifies the trade-off between computation time and total allocation for the optimal and the heuristic algorithms. The approach is also demonstrated on a case study of a HD video and graphics processing system, where a memory controller is shared by a number of processing elements.
复杂的现代系统包含多个应用程序,其中一些具有严格的实时要求,而另一些则没有。这些应用程序部署在具有共享资源(如处理器、互连和内存)的多核平台上。但是,资源共享会导致共享应用程序之间的争用,必须由资源仲裁器解决。时分多路复用(TDM)是一种常用的仲裁器,但它具有挑战性,既要满足实时资源客户机的带宽和延迟需求,又要最小化它们的总分配以提高非实时客户机的性能。这项工作通过提出一种有效的TDM配置方法来解决这个问题。五个主要贡献是:1)分析了具有任意时隙分配的TDM调度的带宽和延迟保证,2)TDM配置问题的公式及其np困难的证明,3)通过穷量评估所有可能的TDM调度大小来最优解决配置问题的整数线性规划模型,4)选择候选调度大小的启发式方法,该方法大大减少了计算时间,而效率仅略有下降。5)对方法进行实验评估,检查其可扩展性并量化最优算法和启发式算法的计算时间和总分配之间的权衡。该方法还在一个高清视频和图形处理系统的案例研究中进行了演示,其中一个内存控制器由多个处理元素共享。
{"title":"An efficient configuration methodology for time-division multiplexed single resources","authors":"B. Akesson, Anna Minaeva, P. Šůcha, Andrew Nelson, Z. Hanzálek","doi":"10.1109/RTAS.2015.7108439","DOIUrl":"https://doi.org/10.1109/RTAS.2015.7108439","url":null,"abstract":"Complex contemporary systems contain multiple applications, some which have firm real-time requirements while others do not. These applications are deployed on multi-core platforms with shared resources, such as processors, interconnect, and memories. However, resource sharing causes contention between sharing applications that must be resolved by a resource arbiter. Time-Division Multiplexing (TDM) is a commonly used arbiter, but it is challenging to configure such that the bandwidth and latency requirements of the real-time resource clients are satisfied, while minimizing their total allocation to improve the performance of non-real-time clients. This work addresses this problem by presenting an efficient TDM configuration methodology. The five main contributions are: 1) An analysis to derive a bandwidth and latency guarantee for a TDM schedule with arbitrary slot assignment, 2) A formulation of the TDM configuration problem and a proof that it is NP-hard, 3) An integer-linear programming model that optimally solves the configuration problem by exhaustively evaluating all possible TDM schedule sizes, 4) A heuristic method to choose candidate schedule sizes that substantially reduces computation time with only a slight decrease in efficiency, 5) An experimental evaluation of the methodology that examines its scalability and quantifies the trade-off between computation time and total allocation for the optimal and the heuristic algorithms. The approach is also demonstrated on a case study of a HD video and graphics processing system, where a memory controller is shared by a number of processing elements.","PeriodicalId":320300,"journal":{"name":"21st IEEE Real-Time and Embedded Technology and Applications Symposium","volume":"90 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-04-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130522868","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}
引用次数: 23
C'Mon: a predictable monitoring infrastructure for system-level latent fault detection and recovery C’mon:用于系统级潜在故障检测和恢复的可预测监视基础设施
Pub Date : 2015-04-13 DOI: 10.1109/RTAS.2015.7108448
Jiguo Song, Gabriel Parmer
Embedded and real-time systems must balance between many often conflicting goals including predictability, high utilization, efficiency, reliability, and SWaP (size, weight, and power). Reliability is particularly difficult to achieve without significantly impacting the other factors. Though reliability solutions exist for application-level, they are invalidated by system-level faults that are particularly difficult to detect and recover from. This paper presents the C'Mon system for predictably and efficiently monitoring system-level execution, and validating that it conforms with the high-level analytical models that underlie the timing guarantees of the system. Latent faults such as timing errors, incorrect scheduler decisions, unbounded priority inversions, or deadlocks are detected, the faulty component is identified, and using previous work in system recovery, the system is brought back to a stable state - all without missing deadlines.
嵌入式和实时系统必须在许多经常相互冲突的目标之间取得平衡,包括可预测性、高利用率、效率、可靠性和SWaP(大小、重量和功率)。在不显著影响其他因素的情况下实现可靠性尤其困难。虽然存在应用程序级的可靠性解决方案,但系统级故障尤其难以检测和恢复,从而使它们失效。本文介绍了用于可预测和有效地监视系统级执行的C’mon系统,并验证了它符合作为系统时序保证基础的高级分析模型。检测到潜在的错误,如定时错误、不正确的调度器决策、无界优先级反转或死锁,识别出有故障的组件,并使用系统恢复中的先前工作,将系统恢复到稳定状态—所有这些都不会错过截止日期。
{"title":"C'Mon: a predictable monitoring infrastructure for system-level latent fault detection and recovery","authors":"Jiguo Song, Gabriel Parmer","doi":"10.1109/RTAS.2015.7108448","DOIUrl":"https://doi.org/10.1109/RTAS.2015.7108448","url":null,"abstract":"Embedded and real-time systems must balance between many often conflicting goals including predictability, high utilization, efficiency, reliability, and SWaP (size, weight, and power). Reliability is particularly difficult to achieve without significantly impacting the other factors. Though reliability solutions exist for application-level, they are invalidated by system-level faults that are particularly difficult to detect and recover from. This paper presents the C'Mon system for predictably and efficiently monitoring system-level execution, and validating that it conforms with the high-level analytical models that underlie the timing guarantees of the system. Latent faults such as timing errors, incorrect scheduler decisions, unbounded priority inversions, or deadlocks are detected, the faulty component is identified, and using previous work in system recovery, the system is brought back to a stable state - all without missing deadlines.","PeriodicalId":320300,"journal":{"name":"21st IEEE Real-Time and Embedded Technology and Applications Symposium","volume":"290 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-04-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116569973","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}
引用次数: 14
A feedback scheduling framework for component-based soft real-time systems 基于组件的软实时系统的反馈调度框架
Pub Date : 2015-04-13 DOI: 10.1109/RTAS.2015.7108441
N. Khalilzad, Fanxin Kong, Xue Liu, M. Behnam, Thomas Nolte
Component-based software systems with real-time requirements are often scheduled using processor reservation techniques. Such techniques have mainly evolved around hard real-time systems in which worst-case resource demands are considered for the reservations. In soft real-time systems, reserv- ing the processors based on the worst-case demands results in unnecessary over-allocations. In this paper, targeting soft real-time systems running on multiprocessor platforms, we focus on components for which processor demand varies during run-time. We propose a feedback scheduling framework where processor reservations are used for scheduling components. The reservation bandwidths as well as the reservation periods are adapted using MIMO LQR controllers. We provide an allocation mechanism for distributing components over processors. The proposed framework is implemented in the TrueTime simulation tool for system identification. We use a case study to investigate the performance of our framework in the simulation tool. Finally, the framework is implemented in the Linux kernel for practical evaluations. The evaluation results suggest that the framework can efficiently adapt the reservation parameters during run-time by imposing negligible overhead.
具有实时需求的基于组件的软件系统通常使用处理器预留技术进行调度。这类技术主要是围绕硬实时系统发展起来的,在硬实时系统中,预留区会考虑最坏情况下的资源需求。在软实时系统中,基于最坏情况的需求来预留处理器会导致不必要的过度分配。在本文中,针对运行在多处理器平台上的软实时系统,我们重点研究了在运行期间处理器需求变化的组件。我们提出了一个反馈调度框架,其中处理器预留用于调度组件。预留带宽和预留周期采用MIMO LQR控制器进行调整。我们提供了一种分配机制,用于在处理器上分配组件。提出的框架在TrueTime仿真工具中实现,用于系统识别。我们使用一个案例研究来调查我们的框架在仿真工具中的性能。最后,在Linux内核中实现了该框架,进行了实际评估。评估结果表明,该框架可以在运行时有效地调整保留参数,并且可以忽略开销。
{"title":"A feedback scheduling framework for component-based soft real-time systems","authors":"N. Khalilzad, Fanxin Kong, Xue Liu, M. Behnam, Thomas Nolte","doi":"10.1109/RTAS.2015.7108441","DOIUrl":"https://doi.org/10.1109/RTAS.2015.7108441","url":null,"abstract":"Component-based software systems with real-time requirements are often scheduled using processor reservation techniques. Such techniques have mainly evolved around hard real-time systems in which worst-case resource demands are considered for the reservations. In soft real-time systems, reserv- ing the processors based on the worst-case demands results in unnecessary over-allocations. In this paper, targeting soft real-time systems running on multiprocessor platforms, we focus on components for which processor demand varies during run-time. We propose a feedback scheduling framework where processor reservations are used for scheduling components. The reservation bandwidths as well as the reservation periods are adapted using MIMO LQR controllers. We provide an allocation mechanism for distributing components over processors. The proposed framework is implemented in the TrueTime simulation tool for system identification. We use a case study to investigate the performance of our framework in the simulation tool. Finally, the framework is implemented in the Linux kernel for practical evaluations. The evaluation results suggest that the framework can efficiently adapt the reservation parameters during run-time by imposing negligible overhead.","PeriodicalId":320300,"journal":{"name":"21st IEEE Real-Time and Embedded Technology and Applications Symposium","volume":"16 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-04-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116248207","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}
引用次数: 2
A framework for scheduling DRAM memory accesses for multi-core mixed-time critical systems 用于调度多核混合时间关键系统的DRAM存储器访问的框架
Pub Date : 2015-04-13 DOI: 10.1109/RTAS.2015.7108454
Mohamed Hassan, Hiren D. Patel, R. Pellizzoni
Mixed-time critical systems are real-time systems that accommodate both hard real-time (HRT) and soft realtime (SRT) tasks. HRT tasks mandate a gurantee on the worstcase latency, while SRT tasks have average-case bandwidth (BW) demands. Memory requests in mixed-time critical systems usually have different transaction sizes based on whether the issuer task is HRT or SRT. For example, HRT tasks often issue requests with a cache line size. On the other side, SRT tasks may issue requests with a size of KBs. Requests from multimedia cores, cores controlling network interfaces and direct memory accesses (DMAs) are obvious examples of these large-size requests. Based on these observations, we promote in this work a new approach to schedule memory requests. This approach retains locality within large-size requests to minimize the worst-case latency, while maintaining the average-case BW as high as required. To achieve this target, we introduce a novel and compact time-division-multiplexing scheduler that is adequate for mixed-time critical systems. We also present a novel framework that constructs optimal offchip DRAM memory controller schedules for multi-core mixedtime critical systems. These schedules are loaded to the memory controller during boot-time. Based on the proposed schedule, we provide a detailed static analysis that guarantees predictability. We compare the proposed controller against state-of-the-art realtime memory controllers using synthetic experiments as well as a practical use-case from multimedia systems.
混合时间关键系统是适应硬实时(HRT)和软实时(SRT)任务的实时系统。HRT任务要求保证最坏情况下的延迟,而SRT任务具有平均情况带宽(BW)需求。混合时间关键型系统中的内存请求通常根据发行者任务是HRT还是SRT而具有不同的事务大小。例如,HRT任务经常发出带有缓存行大小的请求。另一方面,SRT任务可能发出大小为kb的请求。来自多媒体核心、控制网络接口的核心和直接内存访问(dma)的请求是这些大型请求的明显例子。基于这些观察,我们在这项工作中提出了一种新的内存请求调度方法。这种方法在大型请求中保留局域性,以最小化最坏情况延迟,同时保持所需的平均情况BW。为了实现这一目标,我们引入了一种适合混合时间关键系统的新颖紧凑的时分多路调度程序。我们还提出了一个新的框架,为多核混合时间关键系统构建最佳的片外DRAM存储器控制器调度。这些计划在引导时加载到内存控制器中。基于提议的时间表,我们提供了一个详细的静态分析,以保证可预测性。我们使用合成实验以及多媒体系统的实际用例将所提出的控制器与最先进的实时内存控制器进行比较。
{"title":"A framework for scheduling DRAM memory accesses for multi-core mixed-time critical systems","authors":"Mohamed Hassan, Hiren D. Patel, R. Pellizzoni","doi":"10.1109/RTAS.2015.7108454","DOIUrl":"https://doi.org/10.1109/RTAS.2015.7108454","url":null,"abstract":"Mixed-time critical systems are real-time systems that accommodate both hard real-time (HRT) and soft realtime (SRT) tasks. HRT tasks mandate a gurantee on the worstcase latency, while SRT tasks have average-case bandwidth (BW) demands. Memory requests in mixed-time critical systems usually have different transaction sizes based on whether the issuer task is HRT or SRT. For example, HRT tasks often issue requests with a cache line size. On the other side, SRT tasks may issue requests with a size of KBs. Requests from multimedia cores, cores controlling network interfaces and direct memory accesses (DMAs) are obvious examples of these large-size requests. Based on these observations, we promote in this work a new approach to schedule memory requests. This approach retains locality within large-size requests to minimize the worst-case latency, while maintaining the average-case BW as high as required. To achieve this target, we introduce a novel and compact time-division-multiplexing scheduler that is adequate for mixed-time critical systems. We also present a novel framework that constructs optimal offchip DRAM memory controller schedules for multi-core mixedtime critical systems. These schedules are loaded to the memory controller during boot-time. Based on the proposed schedule, we provide a detailed static analysis that guarantees predictability. We compare the proposed controller against state-of-the-art realtime memory controllers using synthetic experiments as well as a practical use-case from multimedia systems.","PeriodicalId":320300,"journal":{"name":"21st IEEE Real-Time and Embedded Technology and Applications Symposium","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-04-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129786686","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}
引用次数: 63
Jfair: a scheduling algorithm to stabilize control applications Jfair:稳定控制应用程序的调度算法
Pub Date : 2015-04-13 DOI: 10.1109/RTAS.2015.7108417
A. Aminifar, P. Eles, Zebo Peng
Control applications are considered to be among the core applications in cyber-physical and embedded realtime systems, for which jitter is typically an important factor. This paper investigates whether it is possible to guarantee certain amount of jitter for a given set of applications on a shared platform. The effect of jitter on the stability of control applications and its relation with the latency will be discussed. The importance arises from the fact that it is considerably easier to manage the constant part of the delay (known as latency), while the process of coping with the varying part of the delay (known as jitter) is more involved. The proposed solution guarantees certain jitter limits, and at the same time does not lead to overly pessimistic latency values. The results are later used in a design optimization problem to minimize the resource utilized.
控制应用被认为是网络物理和嵌入式实时系统的核心应用之一,其中抖动通常是一个重要因素。本文研究了在共享平台上对给定的一组应用程序是否有可能保证一定数量的抖动。讨论了抖动对控制应用稳定性的影响及其与时延的关系。其重要性源于这样一个事实,即管理延迟的恒定部分(称为延迟)相当容易,而处理延迟的变化部分(称为抖动)的过程则更为复杂。提出的解决方案保证了一定的抖动限制,同时不会导致过于悲观的延迟值。结果随后用于设计优化问题,以最大限度地减少资源的利用。
{"title":"Jfair: a scheduling algorithm to stabilize control applications","authors":"A. Aminifar, P. Eles, Zebo Peng","doi":"10.1109/RTAS.2015.7108417","DOIUrl":"https://doi.org/10.1109/RTAS.2015.7108417","url":null,"abstract":"Control applications are considered to be among the core applications in cyber-physical and embedded realtime systems, for which jitter is typically an important factor. This paper investigates whether it is possible to guarantee certain amount of jitter for a given set of applications on a shared platform. The effect of jitter on the stability of control applications and its relation with the latency will be discussed. The importance arises from the fact that it is considerably easier to manage the constant part of the delay (known as latency), while the process of coping with the varying part of the delay (known as jitter) is more involved. The proposed solution guarantees certain jitter limits, and at the same time does not lead to overly pessimistic latency values. The results are later used in a design optimization problem to minimize the resource utilized.","PeriodicalId":320300,"journal":{"name":"21st IEEE Real-Time and Embedded Technology and Applications Symposium","volume":"24 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-04-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114241809","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}
引用次数: 15
期刊
21st 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