首页 > 最新文献

2018 IEEE Real-Time Systems Symposium (RTSS)最新文献

英文 中文
The SRP Resource Sharing Protocol for Self-Suspending Tasks 自挂起任务资源共享协议SRP
Pub Date : 2018-12-01 DOI: 10.1109/RTSS.2018.00051
Geoffrey Nelissen, Alessandro Biondi
Motivated by the increasingly wide adoption of realtime workload with self-suspending behaviors, and the relevance of mechanisms to handle mutually-exclusive shared resources, this paper takes a new look at locking protocols for self-suspending tasks under uniprocessor fixed-priority scheduling. Pitfalls when integrating the widely-adopted Stack Resource Policy (SRP) with self-suspending tasks are firstly illustrated, and then a new finegrained SRP analysis is presented. Next, a new locking protocol, named SRP-SS, is proposed to overcome the limitations of the original SRP. The SRP-SS is a generalization of the SRP to cope with the specificities of self-suspending tasks. It therefore reduces to the SRP under some configurations and hence theoretically dominates the SRP. It also ensures backward compatibility for applications developed specifically for the SRP. The SRP-SS comes with its own schedulability analysis and configuration algorithm. The performances of the SRP and SRP-SS are finally studied by means of large-scale schedulability experiments.
摘要针对具有自挂起行为的实时工作负载的日益广泛应用,以及处理互斥共享资源机制的相关性,本文对单处理器固定优先级调度下自挂起任务的锁定协议进行了新的研究。首先阐述了应用广泛的堆栈资源策略(SRP)与自挂起任务集成时存在的缺陷,然后提出了一种新的细粒度SRP分析方法。其次,提出了一种新的锁定协议,命名为SRP- ss,以克服原SRP的局限性。SRP- ss是SRP的推广,用于处理自暂停任务的特殊性。因此,在某些配置下,它降低为SRP,因此在理论上占主导地位。它还确保了专门为SRP开发的应用程序的向后兼容性。SRP-SS具有自己的可调度性分析和配置算法。最后通过大规模可调度性实验对SRP和SRP- ss的性能进行了研究。
{"title":"The SRP Resource Sharing Protocol for Self-Suspending Tasks","authors":"Geoffrey Nelissen, Alessandro Biondi","doi":"10.1109/RTSS.2018.00051","DOIUrl":"https://doi.org/10.1109/RTSS.2018.00051","url":null,"abstract":"Motivated by the increasingly wide adoption of realtime workload with self-suspending behaviors, and the relevance of mechanisms to handle mutually-exclusive shared resources, this paper takes a new look at locking protocols for self-suspending tasks under uniprocessor fixed-priority scheduling. Pitfalls when integrating the widely-adopted Stack Resource Policy (SRP) with self-suspending tasks are firstly illustrated, and then a new finegrained SRP analysis is presented. Next, a new locking protocol, named SRP-SS, is proposed to overcome the limitations of the original SRP. The SRP-SS is a generalization of the SRP to cope with the specificities of self-suspending tasks. It therefore reduces to the SRP under some configurations and hence theoretically dominates the SRP. It also ensures backward compatibility for applications developed specifically for the SRP. The SRP-SS comes with its own schedulability analysis and configuration algorithm. The performances of the SRP and SRP-SS are finally studied by means of large-scale schedulability experiments.","PeriodicalId":294784,"journal":{"name":"2018 IEEE Real-Time Systems Symposium (RTSS)","volume":"113 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125033309","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
Work-in-Progress: Enhanced Energy-Aware Standby-Sparing Techniques for Fixed-Priority Hard Real-Time Systems 正在进行的工作:用于固定优先级硬实时系统的增强能源感知备用节省技术
Pub Date : 2018-12-01 DOI: 10.1109/RTSS.2018.00031
Linwei Niu, Jonathan Musselwhite, Wei Li
For real-time computing systems, energy efficiency and reliability are two primary design concerns. In this research work, we study the problem of enhanced energy-aware standbysparing for fixed-priority (FP) hard real-time systems under reliability requirement. The standby-sparing system adopts a primary processor and a spare processor to provide fault tolerance for both permanent and transient faults. In order to keep the energy consumption for such kind of systems under control, we explore enhanced fixed-priority scheduling schemes to minimize the overlapped concurrent executions of the workloads on the primary processor and on the spare processor, enabling energy savings. Moreover, efficient online scheduling techniques are under development to boost the energy savings during runtime while preserving the system reliability.
对于实时计算系统,能源效率和可靠性是两个主要的设计关注点。本文研究了在可靠性要求下,固定优先级(FP)硬实时系统的增强能量感知备用节省问题。备用备用系统采用一个主处理器和一个备用处理器,提供永久和暂态故障的容错能力。为了控制这类系统的能耗,我们探索了增强的固定优先级调度方案,以最大限度地减少主处理器和备用处理器上工作负载的重叠并发执行,从而实现节能。此外,高效的在线调度技术正在开发中,以提高运行时的能源节约,同时保持系统的可靠性。
{"title":"Work-in-Progress: Enhanced Energy-Aware Standby-Sparing Techniques for Fixed-Priority Hard Real-Time Systems","authors":"Linwei Niu, Jonathan Musselwhite, Wei Li","doi":"10.1109/RTSS.2018.00031","DOIUrl":"https://doi.org/10.1109/RTSS.2018.00031","url":null,"abstract":"For real-time computing systems, energy efficiency and reliability are two primary design concerns. In this research work, we study the problem of enhanced energy-aware standbysparing for fixed-priority (FP) hard real-time systems under reliability requirement. The standby-sparing system adopts a primary processor and a spare processor to provide fault tolerance for both permanent and transient faults. In order to keep the energy consumption for such kind of systems under control, we explore enhanced fixed-priority scheduling schemes to minimize the overlapped concurrent executions of the workloads on the primary processor and on the spare processor, enabling energy savings. Moreover, efficient online scheduling techniques are under development to boost the energy savings during runtime while preserving the system reliability.","PeriodicalId":294784,"journal":{"name":"2018 IEEE Real-Time Systems Symposium (RTSS)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125814732","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
Optimizing Network Calculus for Switched Ethernet Network with Deficit Round Robin 亏缺轮询交换以太网的网络演算优化
Pub Date : 2018-12-01 DOI: 10.1109/RTSS.2018.00046
Aakash Soni, Xiaoting Li, Jean-Luc Scharbarg, C. Fraboul
Avionics Full Duplex switched Ethernet (AFDX) is the de facto standard for the transmission of critical avionics flows. It is a specific switched Ethernet solution based on First-in First-out (FIFO) scheduling. Worst-case traversal time (WCTT) analysis is mandatory for such flows, since timing constraints have to be guaranteed. A classical approach in this context is Network Calculus (NC). However, NC introduces some pessimism in the WCTT computation. Moreover, the worst-case often corresponds to very rare scenarios. Thus, the network architecture is most of the time lightly loaded. Typically, less than 10 % of the available bandwidth is used for the transmission of avionics lows on an AFDX network embedded in an aircraft. One solution to improve the utilization of the network is to introduce Quality of Service (QoS) mechanisms. Deficit Round Robin (DRR) is such a mechanism and it is envisioned for future avionics networks. A WCTT analysis has been proposed for DRR. It is based on NC. It doesn't make any assumption on the scheduling of flows by end systems. The first contribution of this paper is to identify sources of pessimism of this approach and to propose an improved solution which removes part of this pessimism. The second contribution is to show how the scheduling of flows can be integrated in this optimized DRR approach, thanks to offsets. An evaluation on a realistic case study shows that both contributions bring significantly tighter bounds on worst-case latencies.
航空电子全双工交换以太网(AFDX)是关键航空电子流传输的事实上的标准。它是一种基于先进先出(FIFO)调度的特殊交换以太网解决方案。最坏情况遍历时间(WCTT)分析对于这样的流是强制性的,因为必须保证时间约束。在这种情况下,一个经典的方法是网络演算(NC)。然而,NC在WCTT计算中引入了一些悲观情绪。此外,最坏的情况往往与非常罕见的情况相对应。因此,网络体系结构大多数时候是轻负荷的。通常情况下,只有不到10%的可用带宽用于在飞机内嵌入的AFDX网络上传输航空电子设备。提高网络利用率的一个解决方案是引入服务质量(QoS)机制。赤字轮询(DRR)就是这样一种机制,它被设想用于未来的航空电子网络。对DRR提出了WCTT分析。它是基于NC的。它没有对终端系统的流调度做任何假设。本文的第一个贡献是确定这种方法的悲观主义的来源,并提出了一个改进的解决方案,消除了这种悲观主义的一部分。第二个贡献是展示了如何将流的调度集成到这种优化的DRR方法中,这要归功于偏移量。对一个实际案例研究的评估表明,这两种贡献都大大收紧了最坏情况延迟的界限。
{"title":"Optimizing Network Calculus for Switched Ethernet Network with Deficit Round Robin","authors":"Aakash Soni, Xiaoting Li, Jean-Luc Scharbarg, C. Fraboul","doi":"10.1109/RTSS.2018.00046","DOIUrl":"https://doi.org/10.1109/RTSS.2018.00046","url":null,"abstract":"Avionics Full Duplex switched Ethernet (AFDX) is the de facto standard for the transmission of critical avionics flows. It is a specific switched Ethernet solution based on First-in First-out (FIFO) scheduling. Worst-case traversal time (WCTT) analysis is mandatory for such flows, since timing constraints have to be guaranteed. A classical approach in this context is Network Calculus (NC). However, NC introduces some pessimism in the WCTT computation. Moreover, the worst-case often corresponds to very rare scenarios. Thus, the network architecture is most of the time lightly loaded. Typically, less than 10 % of the available bandwidth is used for the transmission of avionics lows on an AFDX network embedded in an aircraft. One solution to improve the utilization of the network is to introduce Quality of Service (QoS) mechanisms. Deficit Round Robin (DRR) is such a mechanism and it is envisioned for future avionics networks. A WCTT analysis has been proposed for DRR. It is based on NC. It doesn't make any assumption on the scheduling of flows by end systems. The first contribution of this paper is to identify sources of pessimism of this approach and to propose an improved solution which removes part of this pessimism. The second contribution is to show how the scheduling of flows can be integrated in this optimized DRR approach, thanks to offsets. An evaluation on a realistic case study shows that both contributions bring significantly tighter bounds on worst-case latencies.","PeriodicalId":294784,"journal":{"name":"2018 IEEE Real-Time Systems Symposium (RTSS)","volume":"9 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125443159","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
Work-in-Progress: Real-Time Modeling for Intrusion Detection in Automotive Controller Area Network 在研:汽车控制器局域网入侵检测的实时建模
Pub Date : 2018-12-01 DOI: 10.1109/RTSS.2018.00030
Habeeb Olufowobi, Gedare Bloom, C. Young, Joseph Zambreno
Security of vehicular networks has often been an afterthought since they are designed traditionally to be a closed system. An attack could lead to catastrophic effect which may include loss of human life or severe injury to the driver and passengers of the vehicle. In this paper, we propose a novel algorithm to extract the real-time model of the controller area network (CAN) and develop a specification-based intrusion detection system (IDS) using anomaly-based supervised learning with the real-time model as input. We evaluate IDS performance with real CAN logs collected from a sedan car.
由于汽车网络的设计传统上是一个封闭的系统,因此其安全性往往是事后才考虑到的。袭击可能导致灾难性的后果,其中可能包括人命损失或严重伤害车辆的司机和乘客。在本文中,我们提出了一种新的算法来提取控制器局域网(CAN)的实时模型,并以实时模型为输入,使用基于异常的监督学习开发了一个基于规范的入侵检测系统(IDS)。我们使用从轿车收集的真实CAN日志来评估IDS的性能。
{"title":"Work-in-Progress: Real-Time Modeling for Intrusion Detection in Automotive Controller Area Network","authors":"Habeeb Olufowobi, Gedare Bloom, C. Young, Joseph Zambreno","doi":"10.1109/RTSS.2018.00030","DOIUrl":"https://doi.org/10.1109/RTSS.2018.00030","url":null,"abstract":"Security of vehicular networks has often been an afterthought since they are designed traditionally to be a closed system. An attack could lead to catastrophic effect which may include loss of human life or severe injury to the driver and passengers of the vehicle. In this paper, we propose a novel algorithm to extract the real-time model of the controller area network (CAN) and develop a specification-based intrusion detection system (IDS) using anomaly-based supervised learning with the real-time model as input. We evaluate IDS performance with real CAN logs collected from a sedan car.","PeriodicalId":294784,"journal":{"name":"2018 IEEE Real-Time Systems Symposium (RTSS)","volume":"148 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122150231","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
Deadline-Based Scheduling for GPU with Preemption Support 基于截止日期的GPU调度与抢占支持
Pub Date : 2018-12-01 DOI: 10.1109/RTSS.2018.00021
Nicola Capodieci, R. Cavicchioli, M. Bertogna, Aingara Paramakuru
Modern automotive-grade embedded computing platforms feature high-performance Graphics Processing Units (GPUs) to support the massively parallel processing power needed for next-generation autonomous driving applications (e.g., Deep Neural Network (DNN) inference, sensor fusion, path planning, etc). As these workload-intensive activities are pushed to higher criticality levels, there is a stronger need for more predictable scheduling algorithms that are able to guarantee predictability without overly sacrificing GPU utilization. Unfortunately, the real-rime literature on GPU scheduling mostly considered limited (or null) preemption capabilities, while previous efforts in broader domains were often based on programming models and APIs that were not designed to support the real-rime requirements of recurring workloads. In this paper, we present the design of a prototype real-time scheduler for GPU activities on an embedded System on a Chip (SoC) featuring a cutting edge GPU architecture by NVIDIA adopted in the autonomous driving domain. The scheduler runs as a software partition on top of the NVIDIA hypervisor, and it leverages latest generation architectural features, such as pixel-level preemption and threadlevel preemption. Such a design allowed us to implement and test a preemptive Earliest Deadline First (EDF) scheduler for GPU tasks providing bandwidth isolations by means of a Constant Bandwidth Server (CBS). Our work involved investigating alternative programming models for compute APIs, allowing us to characterize CPU-to-GPU command submission with more detailed scheduling information. A detailed experimental characterization is presented to show the significant schedulability improvement of recurring real-time GPU tasks.
现代汽车级嵌入式计算平台具有高性能图形处理单元(gpu),以支持下一代自动驾驶应用所需的大规模并行处理能力(例如,深度神经网络(DNN)推理、传感器融合、路径规划等)。由于这些工作负载密集型活动被推到更高的临界级别,因此更需要更具可预测性的调度算法,这些算法能够在不过度牺牲GPU利用率的情况下保证可预测性。不幸的是,关于GPU调度的实时文献大多认为有限(或零)抢占能力,而之前在更广泛领域的努力通常基于编程模型和api,而这些模型和api的设计并不是为了支持重复工作负载的实时需求。在本文中,我们提出了一个基于NVIDIA在自动驾驶领域采用的尖端GPU架构的嵌入式片上系统(SoC)上GPU活动的原型实时调度程序的设计。调度器作为一个软件分区运行在NVIDIA管理程序之上,它利用了最新一代的体系结构特性,比如像素级抢占和线程级抢占。这样的设计允许我们实现和测试一个抢占式的最早截止日期优先(EDF)调度程序,用于通过恒定带宽服务器(CBS)提供带宽隔离的GPU任务。我们的工作涉及研究计算api的替代编程模型,允许我们使用更详细的调度信息来描述cpu到gpu的命令提交。详细的实验表征表明,循环实时GPU任务的可调度性显著提高。
{"title":"Deadline-Based Scheduling for GPU with Preemption Support","authors":"Nicola Capodieci, R. Cavicchioli, M. Bertogna, Aingara Paramakuru","doi":"10.1109/RTSS.2018.00021","DOIUrl":"https://doi.org/10.1109/RTSS.2018.00021","url":null,"abstract":"Modern automotive-grade embedded computing platforms feature high-performance Graphics Processing Units (GPUs) to support the massively parallel processing power needed for next-generation autonomous driving applications (e.g., Deep Neural Network (DNN) inference, sensor fusion, path planning, etc). As these workload-intensive activities are pushed to higher criticality levels, there is a stronger need for more predictable scheduling algorithms that are able to guarantee predictability without overly sacrificing GPU utilization. Unfortunately, the real-rime literature on GPU scheduling mostly considered limited (or null) preemption capabilities, while previous efforts in broader domains were often based on programming models and APIs that were not designed to support the real-rime requirements of recurring workloads. In this paper, we present the design of a prototype real-time scheduler for GPU activities on an embedded System on a Chip (SoC) featuring a cutting edge GPU architecture by NVIDIA adopted in the autonomous driving domain. The scheduler runs as a software partition on top of the NVIDIA hypervisor, and it leverages latest generation architectural features, such as pixel-level preemption and threadlevel preemption. Such a design allowed us to implement and test a preemptive Earliest Deadline First (EDF) scheduler for GPU tasks providing bandwidth isolations by means of a Constant Bandwidth Server (CBS). Our work involved investigating alternative programming models for compute APIs, allowing us to characterize CPU-to-GPU command submission with more detailed scheduling information. A detailed experimental characterization is presented to show the significant schedulability improvement of recurring real-time GPU tasks.","PeriodicalId":294784,"journal":{"name":"2018 IEEE Real-Time Systems Symposium (RTSS)","volume":"7 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122205240","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}
引用次数: 59
Work-in-Progress: Incorporating Deadline-Based Scheduling in Tasking Programming Model for Extreme-Scale Parallel Computing 在制品:在极端规模并行计算的任务规划模型中纳入基于期限的调度
Pub Date : 2018-12-01 DOI: 10.1109/RTSS.2018.00022
A. Cheng, Panruo Wu
Processing and analyzing big data sets updated in real time in an increasing number of applications such as severe weather prediction and particle-physics experiments require the computational power of extreme-scale high-performance computing (HPC) systems. To address the scheduling of massive task/thread sets on these extreme-scale systems, current strategies rely on improving centralized, distributed, and parallel scheduling algorithms as well as virtualization developed for HPC systems which aim to reduce the makespan and balance the load among the computing nodes in these systems. However, these HPC schedulers provide no guarantees on meeting timing constraints such as deadlines that are required in an increasing number of these real-time science workflows. This paper describes a new project which departs from this established trend of best-effort scheduling of large-scale HPC Message Passing Interface (MPI) tasks and ensemble workloads found in fine-grain many-task computing (MTC) applications. The new approach brings real-time scheduling to address the demands of real-time science workloads. This new framework abstracts information about the tasks or threads, and continuously dispatch this workload to meet deadlines and other timing constraints associated with individual tasks or groups of tasks in extreme-scale HPC systems to reduce execution time and energy consumption. This paper introduces deadline-based scheduling in the tasking programming model.
在恶劣天气预报和粒子物理实验等越来越多的应用中,处理和分析实时更新的大数据集需要超大规模高性能计算(HPC)系统的计算能力。为了解决这些极端规模系统上大量任务/线程集的调度问题,当前的策略依赖于改进集中式、分布式和并行调度算法,以及为高性能计算系统开发的虚拟化,旨在减少这些系统中计算节点之间的makespan和平衡负载。然而,这些HPC调度器不能保证满足时间限制,比如在越来越多的实时科学工作流中需要的截止日期。本文描述了一种新的方案,它与细粒度多任务计算(MTC)应用中出现的大规模高性能计算消息传递接口(MPI)任务和集成工作负载的最佳调度趋势不同。新方法带来了实时调度,以解决实时科学工作负载的需求。这个新框架抽象了关于任务或线程的信息,并不断地调度这些工作负载,以满足极端规模HPC系统中与单个任务或任务组相关的最后期限和其他时间限制,以减少执行时间和能耗。本文介绍了任务规划模型中基于期限的调度方法。
{"title":"Work-in-Progress: Incorporating Deadline-Based Scheduling in Tasking Programming Model for Extreme-Scale Parallel Computing","authors":"A. Cheng, Panruo Wu","doi":"10.1109/RTSS.2018.00022","DOIUrl":"https://doi.org/10.1109/RTSS.2018.00022","url":null,"abstract":"Processing and analyzing big data sets updated in real time in an increasing number of applications such as severe weather prediction and particle-physics experiments require the computational power of extreme-scale high-performance computing (HPC) systems. To address the scheduling of massive task/thread sets on these extreme-scale systems, current strategies rely on improving centralized, distributed, and parallel scheduling algorithms as well as virtualization developed for HPC systems which aim to reduce the makespan and balance the load among the computing nodes in these systems. However, these HPC schedulers provide no guarantees on meeting timing constraints such as deadlines that are required in an increasing number of these real-time science workflows. This paper describes a new project which departs from this established trend of best-effort scheduling of large-scale HPC Message Passing Interface (MPI) tasks and ensemble workloads found in fine-grain many-task computing (MTC) applications. The new approach brings real-time scheduling to address the demands of real-time science workloads. This new framework abstracts information about the tasks or threads, and continuously dispatch this workload to meet deadlines and other timing constraints associated with individual tasks or groups of tasks in extreme-scale HPC systems to reduce execution time and energy consumption. This paper introduces deadline-based scheduling in the tasking programming model.","PeriodicalId":294784,"journal":{"name":"2018 IEEE Real-Time Systems Symposium (RTSS)","volume":"15 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127910442","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
An Efficient Knapsack-Based Approach for Calculating the Worst-Case Demand of AVR Tasks 基于背包的AVR任务最坏情况需求计算方法
Pub Date : 2018-12-01 DOI: 10.1109/RTSS.2018.00053
Sandeep Kumar Bijinemula, Aaron Willcock, Thidapat Chantem, N. Fisher
Engine-triggered tasks are real-time tasks that are released when the crankshaft in an engine completes a rotation, which depends on the angular speed and acceleration of the crankshaft itself. In addition, the execution time of an engine-triggered task depends on the speed of the crankshaft. Tasks whose execution times depend on a variable period are referred to as adaptive-variable rate (AVR) tasks. Existing techniques to calculate the worst-case demand of AVR tasks are either inexact or computationally intractable. In this paper, we transform the problem of finding the worst-case demand of AVR tasks over a given time interval into a variant of the knapsack problem to efficiently find the exact solution. We then propose a framework to systematically reduce the search space associated with finding the worst-case demand of AVR tasks. Experimental results reveal that our approach is at least 10 times faster, with an average runtime improvement of 146 times, for randomly generated tasksets when compared to the state-of-the-art technique.
发动机触发的任务是当发动机曲轴完成旋转时释放的实时任务,这取决于曲轴本身的角速度和加速度。此外,发动机触发的任务的执行时间取决于曲轴的速度。执行时间取决于可变周期的任务称为自适应可变速率(AVR)任务。现有的计算AVR任务最坏情况需求的技术要么不精确,要么难以计算。本文将AVR任务在给定时间区间内的最坏情况需求问题转化为背包问题的变体,以有效地找到精确解。然后,我们提出了一个框架来系统地减少与寻找AVR任务的最坏情况需求相关的搜索空间。实验结果表明,与最先进的技术相比,对于随机生成的任务集,我们的方法至少快10倍,平均运行时间提高146倍。
{"title":"An Efficient Knapsack-Based Approach for Calculating the Worst-Case Demand of AVR Tasks","authors":"Sandeep Kumar Bijinemula, Aaron Willcock, Thidapat Chantem, N. Fisher","doi":"10.1109/RTSS.2018.00053","DOIUrl":"https://doi.org/10.1109/RTSS.2018.00053","url":null,"abstract":"Engine-triggered tasks are real-time tasks that are released when the crankshaft in an engine completes a rotation, which depends on the angular speed and acceleration of the crankshaft itself. In addition, the execution time of an engine-triggered task depends on the speed of the crankshaft. Tasks whose execution times depend on a variable period are referred to as adaptive-variable rate (AVR) tasks. Existing techniques to calculate the worst-case demand of AVR tasks are either inexact or computationally intractable. In this paper, we transform the problem of finding the worst-case demand of AVR tasks over a given time interval into a variant of the knapsack problem to efficiently find the exact solution. We then propose a framework to systematically reduce the search space associated with finding the worst-case demand of AVR tasks. Experimental results reveal that our approach is at least 10 times faster, with an average runtime improvement of 146 times, for randomly generated tasksets when compared to the state-of-the-art technique.","PeriodicalId":294784,"journal":{"name":"2018 IEEE Real-Time Systems Symposium (RTSS)","volume":"27 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115591064","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
Work-in-Progress: Preference-Oriented Scheduling in Multiprocessor Real-Time Systems 在制品:多处理器实时系统中面向偏好的调度
Pub Date : 2018-12-01 DOI: 10.1109/RTSS.2018.00023
Qin Xia, Dakai Zhu, Hakan Aydin
For a set of real-time tasks that have mixed preference of being executed at early or late times before their deadlines, we have recently studied both earliest-deadline based and fixed-priority preference-oriented (PO) scheduling algorithms for uniprocessor systems. In this work, focusing on multiprocessor real-time systems, we study the foundational guidelines to design partition-based PO scheduling algorithms for tasks with mixed preference requirements. In particular, through a concrete example, we illustrate that the harmonicity of tasks' periods should be incorporated when making scheduling decisions in addition to their execution preferences to obtain favorable schedules that better fulfill tasks' preference requirements. Based on such guidelines, we design a period-aware preference-oriented (PAPO) partitioned scheduling algorithm and discuss several variations by considering harmonicity as well as utilization of tasks.
对于一组在截止日期之前执行的混合优先级的实时任务,我们最近研究了单处理器系统中基于最早截止日期的调度算法和固定优先级面向优先级(PO)的调度算法。本文以多处理器实时系统为研究对象,研究了基于分区的PO调度算法设计的基本准则。特别地,通过一个具体的例子,我们说明在进行调度决策时,除了考虑任务的执行偏好外,还应考虑任务周期的一致性,以获得更好地满足任务偏好要求的有利调度。在此基础上,我们设计了一种周期感知的面向偏好(PAPO)分区调度算法,并考虑了协调性和任务利用率,讨论了几种不同的调度算法。
{"title":"Work-in-Progress: Preference-Oriented Scheduling in Multiprocessor Real-Time Systems","authors":"Qin Xia, Dakai Zhu, Hakan Aydin","doi":"10.1109/RTSS.2018.00023","DOIUrl":"https://doi.org/10.1109/RTSS.2018.00023","url":null,"abstract":"For a set of real-time tasks that have mixed preference of being executed at early or late times before their deadlines, we have recently studied both earliest-deadline based and fixed-priority preference-oriented (PO) scheduling algorithms for uniprocessor systems. In this work, focusing on multiprocessor real-time systems, we study the foundational guidelines to design partition-based PO scheduling algorithms for tasks with mixed preference requirements. In particular, through a concrete example, we illustrate that the harmonicity of tasks' periods should be incorporated when making scheduling decisions in addition to their execution preferences to obtain favorable schedules that better fulfill tasks' preference requirements. Based on such guidelines, we design a period-aware preference-oriented (PAPO) partitioned scheduling algorithm and discuss several variations by considering harmonicity as well as utilization of tasks.","PeriodicalId":294784,"journal":{"name":"2018 IEEE Real-Time Systems Symposium (RTSS)","volume":"2012 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125891431","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}
引用次数: 5
bCharge: Data-Driven Real-Time Charging Scheduling for Large-Scale Electric Bus Fleets bCharge:大型电动公交车队数据驱动的实时充电调度
Pub Date : 2018-12-01 DOI: 10.1109/RTSS.2018.00015
Guang Wang, Xiaoyan Xie, Fan Zhang, Yunhuai Liu, Desheng Zhang
We are witnessing a rapid growth of electrified vehicles because of the ever-increasing concerns over urban air quality and energy security. Compared with other electric vehicles, electric buses have not yet been prevailingly adopted worldwide due to the high owning and operating costs, long charging time, and the uneven distribution of charging facilities. Moreover, the highly dynamic environment factors such as the unpredictable traffic congestions, different passenger demands, and even changing weather, can significantly affect electric bus charging efficiency and potentially hinder further development of large-scale electric bus fleets. To deal with these issues, in this paper, we first analyze a real-world dataset including massive data from 16,359 electric buses, 1,400 bus lines and 5,562 bus stops, which is obtained from the Chinese city Shenzhen, who has the first and the largest full electric bus network for public transit. Then we investigate the electric bus network to understand its operating and charging patterns, and further verify the feasibility and necessity of a real-time charging scheduling. With such understanding, we design bCharge, a real-time charging scheduling system based on Markov Decision Process to reduce the overall charging and operating costs for city-scale electric bus fleets, taking the time-variant electricity pricing into account. To show the effectiveness of bCharge, we implement it with the real-world streaming dataset from Shenzhen, which includes GPS data of the electric bus fleet, the bus lines and stops data, coupled with the 376 electric bus charging stations data. The evaluation results show that bCharge can dramatically reduce the charging cost by 23.7% and 12.8% electricity usage simultaneously.
由于对城市空气质量和能源安全的日益关注,我们正在目睹电动汽车的快速增长。与其他电动汽车相比,由于拥有和运营成本高、充电时间长、充电设施分布不均匀等原因,电动公交车尚未在全球范围内得到普遍采用。此外,不可预测的交通拥堵、不同的乘客需求、甚至多变的天气等高度动态的环境因素会显著影响电动公交车的充电效率,并可能阻碍大规模电动公交车车队的进一步发展。为了解决这些问题,在本文中,我们首先分析了一个真实世界的数据集,包括来自中国城市深圳的16,359辆电动公交车,1,400条公交线路和5,562个公交站点的大量数据,深圳拥有第一个也是最大的公共交通全电动公交网络。然后对电动公交网络进行调查,了解其运行和充电模式,进一步验证实时充电调度的可行性和必要性。在此基础上,我们设计了基于马尔可夫决策过程的实时充电调度系统bCharge,以降低城市规模电动公交车队的整体充电和运营成本,同时考虑时变电价。为了证明bCharge的有效性,我们使用深圳的现实世界流数据集来实现它,其中包括电动公交车队的GPS数据,公交线路和站点数据,以及376个电动公交充电站的数据。评价结果表明,bCharge可同时大幅降低充电成本23.7%和12.8%的用电量。
{"title":"bCharge: Data-Driven Real-Time Charging Scheduling for Large-Scale Electric Bus Fleets","authors":"Guang Wang, Xiaoyan Xie, Fan Zhang, Yunhuai Liu, Desheng Zhang","doi":"10.1109/RTSS.2018.00015","DOIUrl":"https://doi.org/10.1109/RTSS.2018.00015","url":null,"abstract":"We are witnessing a rapid growth of electrified vehicles because of the ever-increasing concerns over urban air quality and energy security. Compared with other electric vehicles, electric buses have not yet been prevailingly adopted worldwide due to the high owning and operating costs, long charging time, and the uneven distribution of charging facilities. Moreover, the highly dynamic environment factors such as the unpredictable traffic congestions, different passenger demands, and even changing weather, can significantly affect electric bus charging efficiency and potentially hinder further development of large-scale electric bus fleets. To deal with these issues, in this paper, we first analyze a real-world dataset including massive data from 16,359 electric buses, 1,400 bus lines and 5,562 bus stops, which is obtained from the Chinese city Shenzhen, who has the first and the largest full electric bus network for public transit. Then we investigate the electric bus network to understand its operating and charging patterns, and further verify the feasibility and necessity of a real-time charging scheduling. With such understanding, we design bCharge, a real-time charging scheduling system based on Markov Decision Process to reduce the overall charging and operating costs for city-scale electric bus fleets, taking the time-variant electricity pricing into account. To show the effectiveness of bCharge, we implement it with the real-world streaming dataset from Shenzhen, which includes GPS data of the electric bus fleet, the bus lines and stops data, coupled with the 376 electric bus charging stations data. The evaluation results show that bCharge can dramatically reduce the charging cost by 23.7% and 12.8% electricity usage simultaneously.","PeriodicalId":294784,"journal":{"name":"2018 IEEE Real-Time Systems Symposium (RTSS)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128424874","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}
引用次数: 57
PredJoule: A Timing-Predictable Energy Optimization Framework for Deep Neural Networks PredJoule:一种时间可预测的深度神经网络能量优化框架
Pub Date : 2018-12-01 DOI: 10.1109/RTSS.2018.00020
Soroush Bateni, Husheng Zhou, Yuankun Zhu, Cong Liu
The revolution of deep neural networks (DNNs) is enabling dramatically better autonomy in autonomous driving. However, it is not straightforward to simultaneously achieve both timing predictability (i.e., meeting job latency requirements) and energy efficiency that are essential for any DNN-based autonomous driving system, as they represent two (often) conflicting goals. In this paper, we propose PredJoule, a timing-predictable energy optimization framework for running DNN workloads in a GPU-enabled automotive system. PredJoule achieves both latency guarantees and energy efficiency through a layer-aware design that explores specific performance and energy characteristics of different layers within the same neural network. We implement and evaluate PredJoule on the automotive-specific NVIDIA Jetson TX2 platform for five state-of-the-art DNN models with both high and low variance latency requirements. Experiments show that PredJoule rarely violates job deadlines, and can improve energy by 65% on average compared to five existing approaches and 68% compared to an energy-oriented approach.
深度神经网络(dnn)的革命正在显著提高自动驾驶的自主性。然而,同时实现时间可预测性(即满足作业延迟要求)和能源效率对于任何基于dnn的自动驾驶系统来说都是必不可少的,因为它们代表了两个(通常)相互冲突的目标。在本文中,我们提出了PredJoule,这是一个时间可预测的能量优化框架,用于在支持gpu的汽车系统中运行DNN工作负载。PredJoule通过一种层感知设计来实现延迟保证和能源效率,该设计探索了同一神经网络中不同层的特定性能和能量特征。我们在汽车专用的NVIDIA Jetson TX2平台上为5个最先进的DNN模型实施和评估PredJoule,这些模型具有高低方差延迟要求。实验表明,PredJoule很少违反工作期限,与现有的五种方法相比,它可以平均提高65%的精力,与以能量为导向的方法相比,它可以提高68%的精力。
{"title":"PredJoule: A Timing-Predictable Energy Optimization Framework for Deep Neural Networks","authors":"Soroush Bateni, Husheng Zhou, Yuankun Zhu, Cong Liu","doi":"10.1109/RTSS.2018.00020","DOIUrl":"https://doi.org/10.1109/RTSS.2018.00020","url":null,"abstract":"The revolution of deep neural networks (DNNs) is enabling dramatically better autonomy in autonomous driving. However, it is not straightforward to simultaneously achieve both timing predictability (i.e., meeting job latency requirements) and energy efficiency that are essential for any DNN-based autonomous driving system, as they represent two (often) conflicting goals. In this paper, we propose PredJoule, a timing-predictable energy optimization framework for running DNN workloads in a GPU-enabled automotive system. PredJoule achieves both latency guarantees and energy efficiency through a layer-aware design that explores specific performance and energy characteristics of different layers within the same neural network. We implement and evaluate PredJoule on the automotive-specific NVIDIA Jetson TX2 platform for five state-of-the-art DNN models with both high and low variance latency requirements. Experiments show that PredJoule rarely violates job deadlines, and can improve energy by 65% on average compared to five existing approaches and 68% compared to an energy-oriented approach.","PeriodicalId":294784,"journal":{"name":"2018 IEEE Real-Time Systems Symposium (RTSS)","volume":"PP 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126421143","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}
引用次数: 26
期刊
2018 IEEE Real-Time Systems Symposium (RTSS)
全部 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