首页 > 最新文献

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

英文 中文
Analysis of real-time multi-modal FP-scheduled systems with non-preemptible regions 具有不可抢占区域的实时多模态fp调度系统分析
Pub Date : 2015-04-13 DOI: 10.1109/RTAS.2015.7108415
Masud Ahmed, P. Hettiarachchi, N. Fisher
Over the years, multiple hardware and software operating modes have been employed in many computing devices (e.g., tablets, smart-phones, GPS receivers) to efficiently utilize device resources. Similar advantages are also preferred in realtime systems (RTS) due to the requirement that a RTS must respond in a timely manner to a physical environment that may change sporadically. An efficient multi-modal system (MMS) is also a prerequisite for the development of real-time control systems which can maintain stable system behavior while ensuring timing guarantees for a changing set of real-time tasks. However, the currently-available fixed-priority (FP) schedulability analysis for multi-modal systems with both software/hardware modes is computationally expensive. In addition, current schedulability analysis for systems that support mode changes requires an assumption that is often not suitable for cyber-physical systems (CPS): sensing and actuation in the underlying physical plant are preemptible activities. However, sensors such as radar transmitter/ receiver requires non-preemptible access to the processor upon sending and then processing the return signal for accuracy. In this research, we develop a framework for multi-modal RTS scheduled by FP algorithm along with efficient schedulability analysis with pseudo-polynomial complexity considering the advantages and limitations of specific software/hardware model. Two simulations: a case study on adaptive cruise control in automotive systems, and schedulability comparison are included to corroborate the performance of the schedulability analysis.
多年来,许多计算设备(如平板电脑、智能手机、GPS接收器)采用了多种硬件和软件操作模式,以有效地利用设备资源。在实时系统(RTS)中也有类似的优势,因为RTS必须及时响应可能偶尔变化的物理环境。一个高效的多模态系统(MMS)也是开发实时控制系统的先决条件,它可以在保证实时任务变化的同时保持稳定的系统行为。然而,对于具有软件/硬件模式的多模态系统,当前可用的固定优先级(FP)可调度性分析在计算上是昂贵的。此外,当前支持模式变化的系统的可调度性分析需要一个通常不适合网络物理系统(CPS)的假设:底层物理设备中的传感和驱动是可先发制人的活动。然而,像雷达发射器/接收器这样的传感器需要在发送和处理返回信号时不可抢占地访问处理器,然后处理返回信号以保证准确性。在本研究中,考虑到特定软硬件模型的优点和局限性,我们开发了一种基于FP算法的多模态RTS调度框架以及伪多项式复杂度的高效可调度性分析。以汽车系统自适应巡航控制为例,通过可调度性比较验证了可调度性分析的有效性。
{"title":"Analysis of real-time multi-modal FP-scheduled systems with non-preemptible regions","authors":"Masud Ahmed, P. Hettiarachchi, N. Fisher","doi":"10.1109/RTAS.2015.7108415","DOIUrl":"https://doi.org/10.1109/RTAS.2015.7108415","url":null,"abstract":"Over the years, multiple hardware and software operating modes have been employed in many computing devices (e.g., tablets, smart-phones, GPS receivers) to efficiently utilize device resources. Similar advantages are also preferred in realtime systems (RTS) due to the requirement that a RTS must respond in a timely manner to a physical environment that may change sporadically. An efficient multi-modal system (MMS) is also a prerequisite for the development of real-time control systems which can maintain stable system behavior while ensuring timing guarantees for a changing set of real-time tasks. However, the currently-available fixed-priority (FP) schedulability analysis for multi-modal systems with both software/hardware modes is computationally expensive. In addition, current schedulability analysis for systems that support mode changes requires an assumption that is often not suitable for cyber-physical systems (CPS): sensing and actuation in the underlying physical plant are preemptible activities. However, sensors such as radar transmitter/ receiver requires non-preemptible access to the processor upon sending and then processing the return signal for accuracy. In this research, we develop a framework for multi-modal RTS scheduled by FP algorithm along with efficient schedulability analysis with pseudo-polynomial complexity considering the advantages and limitations of specific software/hardware model. Two simulations: a case study on adaptive cruise control in automotive systems, and schedulability comparison are included to corroborate the performance of the schedulability analysis.","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":"130370048","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
Optimizing deterministic garbage collection in NAND flash storage systems 优化NAND闪存存储系统中的确定性垃圾收集
Pub Date : 2015-04-13 DOI: 10.1109/RTAS.2015.7108392
Qi Zhang, Xuandong Li, Linzhang Wang, Tian Zhang, Yi Wang, Z. Shao
NAND flash has been widely adopted as storage devices in real-time embedded systems. However, garbage collection is needed to reclaim space and introduces a lot of time overhead. As the worst system latency is determined by the worst-case execution time of garbage collection in NAND flash, it is important to optimize garbage collection so as to give a deterministic worst system latency. On the other hand, since the garbage collection does not happen very often, optimizing garbage collection should not bring too much overhead to the average system latency. This paper presents for the first time a worst-case and average-case joint optimization scheme for garbage collection in NAND flash. With our scheme, garbage collection can be postponed to the latest stage so improves the average system latency. By combining partial garbage collection and over-provisioning, our scheme can guarantee that one free block is enough to hold all pages from both write requests and valid-page copies. The experiments have been conducted on a real embedded platform and the results show that our technique can improve both worstcase and average-case system latency compared with the previous works.
NAND闪存作为实时嵌入式系统的存储器件已被广泛采用。但是,需要垃圾收集来回收空间,并引入大量的时间开销。由于NAND闪存中最坏的系统延迟是由垃圾收集的最坏执行时间决定的,因此优化垃圾收集以获得确定的最坏系统延迟是非常重要的。另一方面,由于垃圾收集并不经常发生,所以优化垃圾收集不应该给平均系统延迟带来太多开销。首次提出了一种用于NAND闪存垃圾回收的最坏情况和平均情况联合优化方案。使用我们的方案,垃圾收集可以延迟到最新阶段,从而提高了平均系统延迟。通过结合部分垃圾收集和过度供应,我们的方案可以保证一个空闲块足以容纳来自写请求和有效页面副本的所有页面。在一个真实的嵌入式平台上进行了实验,结果表明,与以往的工作相比,我们的技术可以改善最坏情况和平均情况下的系统延迟。
{"title":"Optimizing deterministic garbage collection in NAND flash storage systems","authors":"Qi Zhang, Xuandong Li, Linzhang Wang, Tian Zhang, Yi Wang, Z. Shao","doi":"10.1109/RTAS.2015.7108392","DOIUrl":"https://doi.org/10.1109/RTAS.2015.7108392","url":null,"abstract":"NAND flash has been widely adopted as storage devices in real-time embedded systems. However, garbage collection is needed to reclaim space and introduces a lot of time overhead. As the worst system latency is determined by the worst-case execution time of garbage collection in NAND flash, it is important to optimize garbage collection so as to give a deterministic worst system latency. On the other hand, since the garbage collection does not happen very often, optimizing garbage collection should not bring too much overhead to the average system latency. This paper presents for the first time a worst-case and average-case joint optimization scheme for garbage collection in NAND flash. With our scheme, garbage collection can be postponed to the latest stage so improves the average system latency. By combining partial garbage collection and over-provisioning, our scheme can guarantee that one free block is enough to hold all pages from both write requests and valid-page copies. The experiments have been conducted on a real embedded platform and the results show that our technique can improve both worstcase and average-case system latency compared with the previous works.","PeriodicalId":320300,"journal":{"name":"21st IEEE Real-Time and Embedded Technology and Applications Symposium","volume":"217 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":"134173316","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}
引用次数: 10
Reverse-engineering embedded memory controllers through latency-based analysis 通过基于延迟的分析逆向工程嵌入式内存控制器
Pub Date : 2015-04-13 DOI: 10.1109/RTAS.2015.7108453
Mohamed Hassan, A. Kaushik, Hiren D. Patel
We explore techniques to reverse-engineer properties of DRAM memory controllers (MCs). This includes page policies, address mapping schemes and command arbitration schemes. There are several benefits to knowing this information: they allow analysis techniques to effectively compute worst-case bounds, and they allow customizations to be made in software for predictability. We develop a latency-based analysis, and use this analysis to devise algorithms for micro-benchmarks to extract properties of MCs. In order to cover a breadth of page policies, address mappings and command arbitration schemes, we explore our technique using a micro-architecture simulation framework and document our findings.
我们探索的技术,以逆向工程的DRAM存储器控制器(MCs)的性质。这包括页面策略、地址映射方案和命令仲裁方案。了解这些信息有几个好处:它们允许分析技术有效地计算最坏情况边界,并且允许在软件中进行定制以实现可预测性。我们开发了一种基于延迟的分析,并使用这种分析来设计用于微基准测试的算法,以提取mc的属性。为了涵盖广泛的页面策略、地址映射和命令仲裁方案,我们使用微体系结构模拟框架探索我们的技术,并记录我们的发现。
{"title":"Reverse-engineering embedded memory controllers through latency-based analysis","authors":"Mohamed Hassan, A. Kaushik, Hiren D. Patel","doi":"10.1109/RTAS.2015.7108453","DOIUrl":"https://doi.org/10.1109/RTAS.2015.7108453","url":null,"abstract":"We explore techniques to reverse-engineer properties of DRAM memory controllers (MCs). This includes page policies, address mapping schemes and command arbitration schemes. There are several benefits to knowing this information: they allow analysis techniques to effectively compute worst-case bounds, and they allow customizations to be made in software for predictability. We develop a latency-based analysis, and use this analysis to devise algorithms for micro-benchmarks to extract properties of MCs. In order to cover a breadth of page policies, address mappings and command arbitration schemes, we explore our technique using a micro-architecture simulation framework and document our findings.","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":"129166808","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 generalized model for preventing information leakage in hard real-time systems 硬实时系统中防止信息泄漏的广义模型
Pub Date : 2015-04-13 DOI: 10.1109/RTAS.2015.7108450
R. Pellizzoni, Neda Paryab, Man-Ki Yoon, Stanley Bak, Sibin Mohan, R. Bobba
Traditionally real-time systems and security have been considered as separate domains. Recent attacks on various systems with real-time properties have shown the need for a redesign of such systems to include security as a first class principle. In this paper, we propose a general model for capturing security constraints between tasks in a real-time system. This model is then used in conjunction with real-time scheduling algorithms to prevent the leakage of information via storage channels on implicitly shared resources. We expand upon a mechanism to enforce these constraints viz., cleaning up of shared resource state, and provide schedulability conditions based on fixed priority scheduling with both preemptive and non-preemptive tasks. We perform extensive evaluations, both theoretical and experimental, the latter on a hardware-in-the-loop simulator of an unmanned aerial vehicle (UAV) that executes on a demonstration platform.
传统上,实时系统和安全性被认为是两个独立的领域。最近对具有实时属性的各种系统的攻击表明,需要重新设计这些系统,将安全性作为头等原则。在本文中,我们提出了一个在实时系统中捕获任务之间的安全约束的通用模型。然后将该模型与实时调度算法结合使用,以防止信息通过隐式共享资源上的存储通道泄漏。我们扩展了一种机制来执行这些约束,即清理共享资源状态,并提供基于固定优先级调度的可调度性条件,包括抢占式和非抢占式任务。我们进行了广泛的理论和实验评估,后者是在演示平台上执行的无人驾驶飞行器(UAV)的硬件在环模拟器上进行的。
{"title":"A generalized model for preventing information leakage in hard real-time systems","authors":"R. Pellizzoni, Neda Paryab, Man-Ki Yoon, Stanley Bak, Sibin Mohan, R. Bobba","doi":"10.1109/RTAS.2015.7108450","DOIUrl":"https://doi.org/10.1109/RTAS.2015.7108450","url":null,"abstract":"Traditionally real-time systems and security have been considered as separate domains. Recent attacks on various systems with real-time properties have shown the need for a redesign of such systems to include security as a first class principle. In this paper, we propose a general model for capturing security constraints between tasks in a real-time system. This model is then used in conjunction with real-time scheduling algorithms to prevent the leakage of information via storage channels on implicitly shared resources. We expand upon a mechanism to enforce these constraints viz., cleaning up of shared resource state, and provide schedulability conditions based on fixed priority scheduling with both preemptive and non-preemptive tasks. We perform extensive evaluations, both theoretical and experimental, the latter on a hardware-in-the-loop simulator of an unmanned aerial vehicle (UAV) that executes on a demonstration platform.","PeriodicalId":320300,"journal":{"name":"21st IEEE Real-Time and Embedded Technology and Applications Symposium","volume":"46 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":"133218010","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}
引用次数: 54
POET: a portable approach to minimizing energy under soft real-time constraints POET:一种在软实时约束下最小化能量的便携式方法
Pub Date : 2015-04-13 DOI: 10.1109/RTAS.2015.7108419
Connor Imes, David H. K. Kim, M. Maggio, H. Hoffmann
Embedded real-time systems must meet timing constraints while minimizing energy consumption. To this end, many energy optimizations are introduced for specific platforms or specific applications. These solutions are not portable, however, and when the application or the platform change, these solutions must be redesigned. Portable techniques are hard to develop due to the varying tradeoffs experienced with different application/platform configurations. This paper addresses the problem of finding and exploiting general tradeoffs, using control theory and mathematical optimization to achieve energy minimization under soft real-time application constraints. The paper presents POET, an open-source C library and runtime system that takes a specification of the platform resources and optimizes the application execution. We test POET's ability to portably deliver predictable timing and energy reduction on two embedded systems with different tradeoff spaces - the first with a mobile Intel Haswell processor, and the second with an ARM big.LITTLE System on Chip. POET achieves the desired latency goals with small error while consuming, on average, only 1.3% more energy than the dynamic optimal oracle on the Haswell and 2.9% more on the ARM. We believe this open-source, library-based approach to resource management will simplify the process of writing portable, energy-efficient code for embedded systems.
嵌入式实时系统必须满足时间限制,同时最大限度地减少能源消耗。为此,针对特定平台或特定应用引入了许多能源优化。但是,这些解决方案是不可移植的,当应用程序或平台发生变化时,必须重新设计这些解决方案。由于使用不同的应用程序/平台配置需要进行不同的权衡,可移植技术很难开发。本文解决了寻找和利用一般权衡的问题,利用控制理论和数学优化来实现软实时应用约束下的能量最小化。本文介绍了一个开源的C语言库和运行时系统POET,它对平台资源进行了规范,并优化了应用程序的执行。我们测试了POET在两个具有不同权衡空间的嵌入式系统上便携地提供可预测的时间和能耗降低的能力-第一个使用移动英特尔Haswell处理器,第二个使用ARM大处理器。小系统芯片。POET以很小的误差达到了预期的延迟目标,而平均消耗的能量仅比Haswell上的动态最优oracle多1.3%,在ARM上多2.9%。我们相信这种开源的、基于库的资源管理方法将简化为嵌入式系统编写可移植的、节能的代码的过程。
{"title":"POET: a portable approach to minimizing energy under soft real-time constraints","authors":"Connor Imes, David H. K. Kim, M. Maggio, H. Hoffmann","doi":"10.1109/RTAS.2015.7108419","DOIUrl":"https://doi.org/10.1109/RTAS.2015.7108419","url":null,"abstract":"Embedded real-time systems must meet timing constraints while minimizing energy consumption. To this end, many energy optimizations are introduced for specific platforms or specific applications. These solutions are not portable, however, and when the application or the platform change, these solutions must be redesigned. Portable techniques are hard to develop due to the varying tradeoffs experienced with different application/platform configurations. This paper addresses the problem of finding and exploiting general tradeoffs, using control theory and mathematical optimization to achieve energy minimization under soft real-time application constraints. The paper presents POET, an open-source C library and runtime system that takes a specification of the platform resources and optimizes the application execution. We test POET's ability to portably deliver predictable timing and energy reduction on two embedded systems with different tradeoff spaces - the first with a mobile Intel Haswell processor, and the second with an ARM big.LITTLE System on Chip. POET achieves the desired latency goals with small error while consuming, on average, only 1.3% more energy than the dynamic optimal oracle on the Haswell and 2.9% more on the ARM. We believe this open-source, library-based approach to resource management will simplify the process of writing portable, energy-efficient code for embedded systems.","PeriodicalId":320300,"journal":{"name":"21st IEEE Real-Time and Embedded Technology and Applications Symposium","volume":"6 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":"133251327","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}
引用次数: 106
Prioritizing soft real-time network traffic in virtualized hosts based on Xen 基于Xen的虚拟化主机软实时网络流量优先级排序
Pub Date : 2015-04-13 DOI: 10.1109/RTAS.2015.7108436
Chong Li, Sisu Xi, Chenyang Lu, C. Gill, R. Guérin
As virtualization technology becomes ever more capable, large-scale distributed applications are increasingly deployed in virtualized environments such as data centers and computational clouds. Many large-scale applications have soft real-time requirements and benefit from low and predictable latency, even in the presence of diverse traffic patterns between virtualized hosts. In this paper, we examine the policies and mechanisms affecting communication latency between virtual machines based on the Xen platform, and identify limitations that could result in long or unpredictable network traffic latencies. To address these limitations, we propose VATC, a Virtualization-Aware Traffic Control framework for prioritizing network traffic in virtualized hosts. Results of our experiments show how and why VATC can improve predictability and reduce delay for latency sensitive applications, while introducing limited overhead.
随着虚拟化技术的日益强大,大规模分布式应用程序越来越多地部署在数据中心和计算云等虚拟化环境中。许多大型应用程序都有软实时需求,并且受益于低且可预测的延迟,即使在虚拟化主机之间存在不同的流量模式时也是如此。在本文中,我们研究了影响基于Xen平台的虚拟机之间通信延迟的策略和机制,并确定了可能导致长时间或不可预测的网络流量延迟的限制。为了解决这些限制,我们提出了VATC,一个虚拟化感知流量控制框架,用于在虚拟主机中对网络流量进行优先级排序。我们的实验结果显示了VATC如何以及为什么可以提高对延迟敏感的应用程序的可预测性并减少延迟,同时引入有限的开销。
{"title":"Prioritizing soft real-time network traffic in virtualized hosts based on Xen","authors":"Chong Li, Sisu Xi, Chenyang Lu, C. Gill, R. Guérin","doi":"10.1109/RTAS.2015.7108436","DOIUrl":"https://doi.org/10.1109/RTAS.2015.7108436","url":null,"abstract":"As virtualization technology becomes ever more capable, large-scale distributed applications are increasingly deployed in virtualized environments such as data centers and computational clouds. Many large-scale applications have soft real-time requirements and benefit from low and predictable latency, even in the presence of diverse traffic patterns between virtualized hosts. In this paper, we examine the policies and mechanisms affecting communication latency between virtual machines based on the Xen platform, and identify limitations that could result in long or unpredictable network traffic latencies. To address these limitations, we propose VATC, a Virtualization-Aware Traffic Control framework for prioritizing network traffic in virtualized hosts. Results of our experiments show how and why VATC can improve predictability and reduce delay for latency sensitive applications, while introducing limited overhead.","PeriodicalId":320300,"journal":{"name":"21st IEEE Real-Time and Embedded Technology and Applications Symposium","volume":"37 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":"129636215","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
Budgeted generalized rate monotonic analysis for the partitioned, yet globally scheduled uniprocessor model 分块全局调度单处理机模型的预算广义速率单调分析
Pub Date : 2015-04-13 DOI: 10.1109/RTAS.2015.7108445
Jung-Eun Kim, T. Abdelzaher, L. Sha
This paper solves the challenge of offline response time analysis of independent periodic tasks with constrained deadlines early in the software development cycle, under generalized rate-monotonic scheduling. CPU budgets are allocated to different applications and each application is composed of multiple periodic tasks that must share the same budget. Physical application requirements impose specifications on task periods and deadlines from the very beginning, but unlike the common assumption in traditional response time analysis, task execution times are not known. This is because task execution times depend on the exact system implementation, which is not finalized until later in the development cycle. Questions facing designers become: will my task meet its deadline given lack of knowledge of other tasks' execution times? What is the smallest deadline that my task can meet? These questions are traditionally addressed by using a two level scheduler: CPU is partitioned and assigned to application, and task priorities are determined within the scope of an application, and when server becomes active it schedules the tasks locally. Such two level scheduling approach introduces priority inversion across applications. In our approach, different applications' tasks are globally scheduled and yet the CPU resource is still partitioned and assigned to applications as a CPU budget. We schedule all the tasks globally while enforcing application budgets. The proposed new form of response time analysis is called budgeted generalized rate-monotonic analysis to compute the maximum response time for each task given only application budgets and task periods, but without knowledge of task execution times. We formulate this schedulability problem as a mixed integer linear programming problem and demonstrate a solution that computes the exact worst-case response times. Evaluation shows that our solution outperforms, in terms of schedulability, both global utilization bounds and mechanisms that attain temporal modularity via resource partitioning.
本文在广义速率单调调度下,解决了软件开发周期早期具有约束期限的独立周期性任务的离线响应时间分析问题。CPU预算分配给不同的应用程序,每个应用程序由多个周期任务组成,这些任务必须共享相同的预算。物理应用程序需求从一开始就对任务周期和截止日期施加规范,但与传统响应时间分析中的常见假设不同,任务执行时间是未知的。这是因为任务执行时间取决于确切的系统实现,直到开发周期的后期才最终确定。设计师面临的问题变成:在不知道其他任务执行时间的情况下,我的任务能否按时完成?我的任务能完成的最短期限是什么时候?这些问题通常通过使用两级调度器来解决:对CPU进行分区并分配给应用程序,在应用程序范围内确定任务优先级,当服务器处于活动状态时,它在本地调度任务。这种两级调度方法引入了跨应用程序的优先级反转。在我们的方法中,不同应用程序的任务是全局调度的,但是CPU资源仍然作为CPU预算被分区并分配给应用程序。我们在执行应用程序预算的同时,对所有任务进行全局调度。提出的响应时间分析的新形式被称为预算广义速率单调分析,用于仅给定应用程序预算和任务周期,而不知道任务执行时间的情况下计算每个任务的最大响应时间。我们将此可调度性问题表述为一个混合整数线性规划问题,并演示了计算精确的最坏情况响应时间的解决方案。评估表明,就可调度性而言,我们的解决方案优于全局利用率界限和通过资源分区实现时间模块化的机制。
{"title":"Budgeted generalized rate monotonic analysis for the partitioned, yet globally scheduled uniprocessor model","authors":"Jung-Eun Kim, T. Abdelzaher, L. Sha","doi":"10.1109/RTAS.2015.7108445","DOIUrl":"https://doi.org/10.1109/RTAS.2015.7108445","url":null,"abstract":"This paper solves the challenge of offline response time analysis of independent periodic tasks with constrained deadlines early in the software development cycle, under generalized rate-monotonic scheduling. CPU budgets are allocated to different applications and each application is composed of multiple periodic tasks that must share the same budget. Physical application requirements impose specifications on task periods and deadlines from the very beginning, but unlike the common assumption in traditional response time analysis, task execution times are not known. This is because task execution times depend on the exact system implementation, which is not finalized until later in the development cycle. Questions facing designers become: will my task meet its deadline given lack of knowledge of other tasks' execution times? What is the smallest deadline that my task can meet? These questions are traditionally addressed by using a two level scheduler: CPU is partitioned and assigned to application, and task priorities are determined within the scope of an application, and when server becomes active it schedules the tasks locally. Such two level scheduling approach introduces priority inversion across applications. In our approach, different applications' tasks are globally scheduled and yet the CPU resource is still partitioned and assigned to applications as a CPU budget. We schedule all the tasks globally while enforcing application budgets. The proposed new form of response time analysis is called budgeted generalized rate-monotonic analysis to compute the maximum response time for each task given only application budgets and task periods, but without knowledge of task execution times. We formulate this schedulability problem as a mixed integer linear programming problem and demonstrate a solution that computes the exact worst-case response times. Evaluation shows that our solution outperforms, in terms of schedulability, both global utilization bounds and mechanisms that attain temporal modularity via resource partitioning.","PeriodicalId":320300,"journal":{"name":"21st IEEE Real-Time and Embedded Technology and Applications Symposium","volume":"11 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":"124705417","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}
引用次数: 11
Demo abstract: Taming many heterogeneous cores 演示摘要:驯服多异构核
Pub Date : 2015-04-13 DOI: 10.1109/RTAS.2015.7108457
N. Asmussen, M. Völp, Benedikt Noethen, A. Ungethüm
Many-core systems are increasingly used in real-time settings to meet the performance requirements of advanced applications such as the classification and tracking of dynamic objects for autonomous driving [1] or the generation of safe trajectories through rough terrain [2]. Task sets of these applications are often mixtures of short running, low latency tasks, such as the various filtering steps required for signal or image processing, and long running tasks, such as route planning, which occupy their assigned core for extended periods of time. Short running tasks often follow a data flow programming paradigm and are organized into directed acyclic graphs (DAG) based on their input-/output-dependencies. Once these dependencies are met, they execute without further task interactions until they complete producing outputs for subsequent tasks. Long running tasks on the other hand interact frequently with other tasks, accessing data located in the memories of remote cores or interacting with operating-system services. This demonstrator shows how both types of applications can be integrated into a single many-core architecture.
许多核心系统越来越多地用于实时设置,以满足高级应用的性能要求,例如自动驾驶动态物体的分类和跟踪[1]或通过崎岖地形的安全轨迹的生成[2]。这些应用程序的任务集通常是短时间运行、低延迟的任务(例如信号或图像处理所需的各种过滤步骤)和长时间运行的任务(例如路由规划)的混合,这些任务长时间占用分配给它们的核心。短时间运行的任务通常遵循数据流编程范式,并根据其输入/输出依赖关系组织为有向无环图(DAG)。一旦满足了这些依赖关系,它们就会执行,而不需要进一步的任务交互,直到它们为后续任务完成输出。另一方面,长时间运行的任务经常与其他任务交互,访问位于远程核心内存中的数据或与操作系统服务交互。此演示程序展示了如何将这两种类型的应用程序集成到单个多核体系结构中。
{"title":"Demo abstract: Taming many heterogeneous cores","authors":"N. Asmussen, M. Völp, Benedikt Noethen, A. Ungethüm","doi":"10.1109/RTAS.2015.7108457","DOIUrl":"https://doi.org/10.1109/RTAS.2015.7108457","url":null,"abstract":"Many-core systems are increasingly used in real-time settings to meet the performance requirements of advanced applications such as the classification and tracking of dynamic objects for autonomous driving [1] or the generation of safe trajectories through rough terrain [2]. Task sets of these applications are often mixtures of short running, low latency tasks, such as the various filtering steps required for signal or image processing, and long running tasks, such as route planning, which occupy their assigned core for extended periods of time. Short running tasks often follow a data flow programming paradigm and are organized into directed acyclic graphs (DAG) based on their input-/output-dependencies. Once these dependencies are met, they execute without further task interactions until they complete producing outputs for subsequent tasks. Long running tasks on the other hand interact frequently with other tasks, accessing data located in the memories of remote cores or interacting with operating-system services. This demonstrator shows how both types of applications can be integrated into a single many-core architecture.","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":"130036496","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
Demo abstract: Multi-modal scheduling of radar-based cruise control system 演示摘要:雷达巡航控制系统的多模式调度
Pub Date : 2015-04-13 DOI: 10.1109/RTAS.2015.7108459
Masud Ahmed, Honglei Chen, N. Fisher
The interaction of a cyber-physical system (CPS) may impose additional constraints upon cyber aspects of the system. For instance, sensing and actuation often require non-preemption to ensure “accuracy” in data acquisition (e.g., radar sensors in automotive a cruise control system). Furthermore, CPS may require that a system adapts to changing environment which requires support for multiple operating modes. A multimode CPS may also enable resource-efficient solution by providing shared processing platforms to subsystems. Recent development [1] of multi-modal fixed-priority schedulability with non-preemption can facilitate multi-modal CPS-based design. In this demo, we present the benefits of such design choices by devloping a simple automotive adaptive cruise control (ACC) system using System objectsTM and Phased Array System ToolboxTM, which provides state-of-the-art tools for radar simulation. The ACC application composes tasks for radar transmission, reception, and controller upon a single processing platform. We consider radar transmission and signal receiving tasks to have non-preemptible execution regions.
网络物理系统(CPS)的相互作用可能会对系统的网络方面施加额外的约束。例如,传感和驱动通常需要非抢占,以确保数据采集的“准确性”(例如,汽车巡航控制系统中的雷达传感器)。此外,CPS可能要求系统适应不断变化的环境,这需要支持多种操作模式。多模式CPS还可以通过向子系统提供共享处理平台来实现资源高效的解决方案。最近发展起来的非抢占的多模态固定优先级可调度性[1]可以促进基于多模态cps的设计。在这个演示中,我们通过使用system objectsTM和相控阵系统工具箱tm开发一个简单的汽车自适应巡航控制(ACC)系统来展示这种设计选择的好处,该系统为雷达仿真提供了最先进的工具。ACC应用程序在单个处理平台上完成雷达传输、接收和控制器的任务。我们认为雷达发射和信号接收任务具有不可抢占的执行区域。
{"title":"Demo abstract: Multi-modal scheduling of radar-based cruise control system","authors":"Masud Ahmed, Honglei Chen, N. Fisher","doi":"10.1109/RTAS.2015.7108459","DOIUrl":"https://doi.org/10.1109/RTAS.2015.7108459","url":null,"abstract":"The interaction of a cyber-physical system (CPS) may impose additional constraints upon cyber aspects of the system. For instance, sensing and actuation often require non-preemption to ensure “accuracy” in data acquisition (e.g., radar sensors in automotive a cruise control system). Furthermore, CPS may require that a system adapts to changing environment which requires support for multiple operating modes. A multimode CPS may also enable resource-efficient solution by providing shared processing platforms to subsystems. Recent development [1] of multi-modal fixed-priority schedulability with non-preemption can facilitate multi-modal CPS-based design. In this demo, we present the benefits of such design choices by devloping a simple automotive adaptive cruise control (ACC) system using System objectsTM and Phased Array System ToolboxTM, which provides state-of-the-art tools for radar simulation. The ACC application composes tasks for radar transmission, reception, and controller upon a single processing platform. We consider radar transmission and signal receiving tasks to have non-preemptible execution regions.","PeriodicalId":320300,"journal":{"name":"21st IEEE Real-Time and Embedded Technology and Applications Symposium","volume":"13 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":"134196563","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
Multicore scheduling of parallel real-time tasks with multiple parallelization options 多核调度并行实时任务与多个并行化选项
Pub Date : 2015-04-13 DOI: 10.1109/RTAS.2015.7108446
Jihye Kwon, Kang-Wook Kim, Sangyoun Paik, Jihwa Lee, Chang-Gun Lee
Past researches on multicore scheduling assume that a computational unit has already been parallelized into a prefixed number of threads. However, with recent technologies such as OpenCL, a computational unit can be parallelized in many different ways with runtime selectable numbers of threads. This paper proposes an optimal algorithm for parallelizing and scheduling a set of parallel tasks with multiple parallelization options on multiple CPU cores. The proposed algorithm is validated through both simulation and actual implementation. To the best of our knowledge, this is the first work addressing the problem of scheduling real-time tasks with multiple parallelization options on multiple CPU cores.
以往的多核调度研究都假设一个计算单元已经被并行化成一定数量的线程。然而,使用最近的技术,如OpenCL,计算单元可以以许多不同的方式并行化,运行时可选择线程数。本文提出了一种在多个CPU核上具有多个并行化选项的并行化和调度一组并行任务的最优算法。通过仿真和实际实现验证了该算法的有效性。据我们所知,这是第一个解决在多个CPU内核上使用多个并行化选项调度实时任务问题的工作。
{"title":"Multicore scheduling of parallel real-time tasks with multiple parallelization options","authors":"Jihye Kwon, Kang-Wook Kim, Sangyoun Paik, Jihwa Lee, Chang-Gun Lee","doi":"10.1109/RTAS.2015.7108446","DOIUrl":"https://doi.org/10.1109/RTAS.2015.7108446","url":null,"abstract":"Past researches on multicore scheduling assume that a computational unit has already been parallelized into a prefixed number of threads. However, with recent technologies such as OpenCL, a computational unit can be parallelized in many different ways with runtime selectable numbers of threads. This paper proposes an optimal algorithm for parallelizing and scheduling a set of parallel tasks with multiple parallelization options on multiple CPU cores. The proposed algorithm is validated through both simulation and actual implementation. To the best of our knowledge, this is the first work addressing the problem of scheduling real-time tasks with multiple parallelization options on multiple CPU cores.","PeriodicalId":320300,"journal":{"name":"21st IEEE Real-Time and Embedded Technology and Applications Symposium","volume":"32 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":"114394306","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}
引用次数: 17
期刊
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