首页 > 最新文献

Proceedings Third IEEE Real-Time Technology and Applications Symposium最新文献

英文 中文
OS-controlled cache predictability for real-time systems 实时系统的操作系统控制的缓存可预测性
Pub Date : 1997-06-09 DOI: 10.1109/RTTAS.1997.601360
J. Liedtke, Hermann Härtig, Michael Hohmuth
Cache-partitioning techniques have been invented to make modern processors with an extensive cache structure useful in real-time systems where task switches disrupt cache working sets and hence make execution times unpredictable. This paper describes an OS-controlled application-transparent cache-partitioning technique. The resulting partitions can be transparently assigned to tasks for their exclusive use. The major drawbacks found in other cache-partitioning techniques, namely waste of memory and additions on the critical performance path within CPUs, are avoided using memory coloring techniques that do nor require changes within the chips of modern CPUs or on the critical path for performance. A simple filter algorithm commonly used in real-time systems, a matrix-multiplication algorithm and the interaction of both are analysed with regard to cache-induced worst case penalties. Worst-case penalties are determined for different widely-used cache architectures. Some insights regarding the impact of cache architectures on worst-case execution are described.
缓存分区技术的发明是为了使具有广泛缓存结构的现代处理器在实时系统中有用,在实时系统中,任务切换会破坏缓存工作集,从而使执行时间不可预测。本文描述了一种操作系统控制的应用透明缓存分区技术。生成的分区可以透明地分配给任务,以便它们独占使用。在其他缓存分区技术中发现的主要缺点,即cpu内关键性能路径上的内存浪费和添加,可以使用内存着色技术来避免,这种技术不需要在现代cpu的芯片内或在关键性能路径上进行更改。分析了实时系统中常用的一种简单滤波算法、一种矩阵乘法算法以及两者在缓存诱导下的最坏情况惩罚方面的相互作用。最坏情况的惩罚是针对不同的广泛使用的缓存架构确定的。本文描述了关于缓存架构对最坏情况执行的影响的一些见解。
{"title":"OS-controlled cache predictability for real-time systems","authors":"J. Liedtke, Hermann Härtig, Michael Hohmuth","doi":"10.1109/RTTAS.1997.601360","DOIUrl":"https://doi.org/10.1109/RTTAS.1997.601360","url":null,"abstract":"Cache-partitioning techniques have been invented to make modern processors with an extensive cache structure useful in real-time systems where task switches disrupt cache working sets and hence make execution times unpredictable. This paper describes an OS-controlled application-transparent cache-partitioning technique. The resulting partitions can be transparently assigned to tasks for their exclusive use. The major drawbacks found in other cache-partitioning techniques, namely waste of memory and additions on the critical performance path within CPUs, are avoided using memory coloring techniques that do nor require changes within the chips of modern CPUs or on the critical path for performance. A simple filter algorithm commonly used in real-time systems, a matrix-multiplication algorithm and the interaction of both are analysed with regard to cache-induced worst case penalties. Worst-case penalties are determined for different widely-used cache architectures. Some insights regarding the impact of cache architectures on worst-case execution are described.","PeriodicalId":448474,"journal":{"name":"Proceedings Third IEEE Real-Time Technology and Applications Symposium","volume":"6 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1997-06-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128622532","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}
引用次数: 240
Scalable hardware priority queue architectures for high-speed packet switches 用于高速分组交换机的可伸缩硬件优先队列体系结构
Pub Date : 1997-06-09 DOI: 10.1109/RTTAS.1997.601359
Sung-Whan Moon, Kang G. Shin, J. Rexford
In packet-switched networks, queueing of packets at the switches can result when multiple connections share the same physical link. To accommodate a large number of connections, a switch can employ link-scheduling algorithms to prioritize the transmission of the queued packets. Due to the high-speed links and small packet sizes, a hardware solution is needed for the priority queue in order to make the link schedulers effective. But for good performance, the switch should also support a large number of priority levels (P) and be able to buffer a large number of packets (N). So a hardware priority queue design must be both fast and scalable (with respect to N and P) in order to be implemented effectively. In this paper we first compare four existing hardware priority queue architectures, and identify scalability limitations on implementing these existing architectures for large N and P. Based on our findings, we propose two new priority queue architectures, and evaluate them using simulation results from Verilog HDL and Epoch implementations.
在分组交换网络中,当多个连接共享同一物理链路时,可能会导致交换机上的分组排队。为了适应大量的连接,交换机可以使用链路调度算法来优先传输排队的数据包。由于高速链路和小数据包大小,为了使链路调度器有效,需要为优先级队列提供硬件解决方案。但为了获得良好的性能,交换机还应该支持大量的优先级级别(P),并能够缓冲大量的数据包(N)。因此,硬件优先级队列设计必须既快速又可扩展(相对于N和P),才能有效地实现。在本文中,我们首先比较了四种现有的硬件优先级队列架构,并确定了在大N和p下实现这些现有架构的可扩展性限制。基于我们的研究结果,我们提出了两种新的优先级队列架构,并使用Verilog HDL和Epoch实现的仿真结果对它们进行了评估。
{"title":"Scalable hardware priority queue architectures for high-speed packet switches","authors":"Sung-Whan Moon, Kang G. Shin, J. Rexford","doi":"10.1109/RTTAS.1997.601359","DOIUrl":"https://doi.org/10.1109/RTTAS.1997.601359","url":null,"abstract":"In packet-switched networks, queueing of packets at the switches can result when multiple connections share the same physical link. To accommodate a large number of connections, a switch can employ link-scheduling algorithms to prioritize the transmission of the queued packets. Due to the high-speed links and small packet sizes, a hardware solution is needed for the priority queue in order to make the link schedulers effective. But for good performance, the switch should also support a large number of priority levels (P) and be able to buffer a large number of packets (N). So a hardware priority queue design must be both fast and scalable (with respect to N and P) in order to be implemented effectively. In this paper we first compare four existing hardware priority queue architectures, and identify scalability limitations on implementing these existing architectures for large N and P. Based on our findings, we propose two new priority queue architectures, and evaluate them using simulation results from Verilog HDL and Epoch implementations.","PeriodicalId":448474,"journal":{"name":"Proceedings Third IEEE Real-Time Technology and Applications Symposium","volume":"7 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1997-06-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126410645","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
An efficient semaphore implementation scheme for small-memory embedded systems 小内存嵌入式系统中一种有效的信号量实现方案
Pub Date : 1997-06-09 DOI: 10.1109/RTTAS.1997.601325
K. M. Zuberi, K. Shin
In object-oriented programming, updates to the state variables of objects (by the methods of the object) have to be protected through semaphores to ensure mutual exclusion. Semaphore operations are invoked each time an object is accessed, and this represents significant run-time overhead. This is of special concern in cost-conscious, small-size embedded systems-such as those used in automotive applications-where costs must be kept to an absolute minimum. Object-oriented programming can be feasible in such applications only if the OS provides efficient, low-overhead semaphores. The authors present a new semaphore implementation scheme which saves one context switch per semaphore lock operation in most circumstances and gives performance improvements of 18-25% over traditional semaphore implementation schemes.
在面向对象编程中,(通过对象的方法)对对象状态变量的更新必须通过信号量来保护,以确保互斥。每次访问对象时都会调用信号量操作,这代表了显著的运行时开销。这在具有成本意识的小型嵌入式系统(例如汽车应用程序中使用的嵌入式系统)中需要特别关注,因为这些系统必须将成本保持在最低限度。只有当操作系统提供高效、低开销的信号量时,面向对象编程才能在这样的应用程序中可行。作者提出了一种新的信号量实现方案,在大多数情况下,每个信号量锁操作节省一个上下文切换,并且比传统的信号量实现方案性能提高18-25%。
{"title":"An efficient semaphore implementation scheme for small-memory embedded systems","authors":"K. M. Zuberi, K. Shin","doi":"10.1109/RTTAS.1997.601325","DOIUrl":"https://doi.org/10.1109/RTTAS.1997.601325","url":null,"abstract":"In object-oriented programming, updates to the state variables of objects (by the methods of the object) have to be protected through semaphores to ensure mutual exclusion. Semaphore operations are invoked each time an object is accessed, and this represents significant run-time overhead. This is of special concern in cost-conscious, small-size embedded systems-such as those used in automotive applications-where costs must be kept to an absolute minimum. Object-oriented programming can be feasible in such applications only if the OS provides efficient, low-overhead semaphores. The authors present a new semaphore implementation scheme which saves one context switch per semaphore lock operation in most circumstances and gives performance improvements of 18-25% over traditional semaphore implementation schemes.","PeriodicalId":448474,"journal":{"name":"Proceedings Third IEEE Real-Time Technology and Applications Symposium","volume":"2 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1997-06-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131335396","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
Exploiting redundancy for timeliness in TCP Boston 利用冗余的时效性在TCP波士顿
Pub Date : 1997-06-09 DOI: 10.1109/RTTAS.1997.601357
Azer Bestavros, Gitae Kim
In a recently completed study, we have unveiled a new transport protocol, TCP Boston, that turns ATM's 53-byte cell-oriented switching architecture into an advantage for TCP/IP. In this paper, we demonstrate the real-time features of TCP Boston that allow communication bandwidth to be traded off for timeliness. We stall with an overview of the protocol, and analytically characterize the dynamic redundancy control features of TCP Boston. Next, we present detailed simulation results that show the superiority TCP Boston compared to other adaptations of TCP/IP over ATMs. Namely, we show that it improves TCP/IP's performance over ATMs for both network-centric metrics (e.g., throughput and percent of missed deadlines) and real-time application-centric metrics (e.g., response time and jitter).
在最近完成的一项研究中,我们公布了一种新的传输协议TCP Boston,它将ATM面向53字节单元的交换架构转变为TCP/IP的优势。在本文中,我们演示了TCP Boston的实时特性,该特性允许为了时效性而交换通信带宽。我们先对协议进行概述,并分析表征TCP Boston的动态冗余控制特性。接下来,我们给出了详细的仿真结果,显示了TCP Boston与atm上其他TCP/IP适配相比的优越性。也就是说,我们表明它提高了TCP/IP在atm上的性能,包括以网络为中心的指标(例如,吞吐量和错过截止日期的百分比)和以实时应用程序为中心的指标(例如,响应时间和抖动)。
{"title":"Exploiting redundancy for timeliness in TCP Boston","authors":"Azer Bestavros, Gitae Kim","doi":"10.1109/RTTAS.1997.601357","DOIUrl":"https://doi.org/10.1109/RTTAS.1997.601357","url":null,"abstract":"In a recently completed study, we have unveiled a new transport protocol, TCP Boston, that turns ATM's 53-byte cell-oriented switching architecture into an advantage for TCP/IP. In this paper, we demonstrate the real-time features of TCP Boston that allow communication bandwidth to be traded off for timeliness. We stall with an overview of the protocol, and analytically characterize the dynamic redundancy control features of TCP Boston. Next, we present detailed simulation results that show the superiority TCP Boston compared to other adaptations of TCP/IP over ATMs. Namely, we show that it improves TCP/IP's performance over ATMs for both network-centric metrics (e.g., throughput and percent of missed deadlines) and real-time application-centric metrics (e.g., response time and jitter).","PeriodicalId":448474,"journal":{"name":"Proceedings Third IEEE Real-Time Technology and Applications Symposium","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1997-06-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130060414","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}
引用次数: 4
SEW: a toolset for design and analysis of distributed real-time systems SEW:用于设计和分析分布式实时系统的工具集
Pub Date : 1997-06-09 DOI: 10.1109/RTTAS.1997.601345
S. Chatterjee, Kevin Bradley, Jose A. Madriz, James A. Colquist, J. Strosnider
The authors describe a toolset for performance-based design and analysis of distributed real-time systems. The toolset is based on their design methodology, denoted distributed pipeline scheduling, that provides a set of rules that an engineer can follow to design near-optimal, distributed real-time systems with fully predictable, end-to-end performance properties. The methodology provides (1) models for capturing the application, resource, and system design specifications; (2) an analysis algorithm and figures of merit for evaluating a system design; and (3) allocation and scheduling algorithms for navigating the design space to find a near-optimal solution that meets application timing requirements and optimizes a set of system objectives (e.g., minimize total monetary cost of system and the number of resources used). The toolset, denoted the System Engineering Workbench (SEW), aids system engineers to design, maintain, and upgrade distributed real-time systems by encapsulating the complexities of the methodology, while exporting a graphical user interface that is intuitive and easy to learn. The toolset has been applied to the design of several sonar, medical, and multimedia systems that have end-to-end timing requirements.
作者描述了一个基于性能的分布式实时系统设计和分析工具集。该工具集基于他们的设计方法,称为分布式管道调度,它提供了一组规则,工程师可以遵循这些规则来设计具有完全可预测的端到端性能属性的近乎最佳的分布式实时系统。该方法提供了(1)用于获取应用程序、资源和系统设计规范的模型;(2)评价系统设计的分析算法和优值图;(3)用于导航设计空间的分配和调度算法,以找到接近最优的解决方案,该解决方案满足应用程序定时需求并优化一组系统目标(例如,最小化系统的总货币成本和使用的资源数量)。工具集,表示为系统工程工作台(SEW),帮助系统工程师通过封装方法的复杂性来设计、维护和升级分布式实时系统,同时导出一个直观且易于学习的图形用户界面。该工具集已应用于多个具有端到端定时要求的声纳、医疗和多媒体系统的设计。
{"title":"SEW: a toolset for design and analysis of distributed real-time systems","authors":"S. Chatterjee, Kevin Bradley, Jose A. Madriz, James A. Colquist, J. Strosnider","doi":"10.1109/RTTAS.1997.601345","DOIUrl":"https://doi.org/10.1109/RTTAS.1997.601345","url":null,"abstract":"The authors describe a toolset for performance-based design and analysis of distributed real-time systems. The toolset is based on their design methodology, denoted distributed pipeline scheduling, that provides a set of rules that an engineer can follow to design near-optimal, distributed real-time systems with fully predictable, end-to-end performance properties. The methodology provides (1) models for capturing the application, resource, and system design specifications; (2) an analysis algorithm and figures of merit for evaluating a system design; and (3) allocation and scheduling algorithms for navigating the design space to find a near-optimal solution that meets application timing requirements and optimizes a set of system objectives (e.g., minimize total monetary cost of system and the number of resources used). The toolset, denoted the System Engineering Workbench (SEW), aids system engineers to design, maintain, and upgrade distributed real-time systems by encapsulating the complexities of the methodology, while exporting a graphical user interface that is intuitive and easy to learn. The toolset has been applied to the design of several sonar, medical, and multimedia systems that have end-to-end timing requirements.","PeriodicalId":448474,"journal":{"name":"Proceedings Third IEEE Real-Time Technology and Applications Symposium","volume":"116 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1997-06-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"117184155","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}
引用次数: 7
QoS negotiation in real-time systems and its application to automated flight control 实时系统中的QoS协商及其在自动飞行控制中的应用
Pub Date : 1997-06-09 DOI: 10.1109/RTTAS.1997.601361
T. Abdelzaher, E. Atkins, K. Shin
We propose a model for quality-of-service (QoS) negotiation in building real-time services to meet both predictability and graceful degradation requirements. QoS negotiation is shown to (i) outperform conventional "binary" admission control schemes (either guaranteeing the required QoS or rejecting the service request), and (ii) achieve higher application-perceived system utility. We incorporated the proposed QoS-negotiation model into an example real-time middleware service, called RTPOOL, which manages a distributed pool of shared computing resources (processors) to guarantee timeliness QoS for real-time applications. The efficacy and power of QoS negotiation are demonstrated for an automated flight control system implemented on a network of PCs running RT-POOL. This system is used to fly an F-16 fighter aircraft modeled using the Aerial Combat (ACM) F-16 Flight Simulator. Experimental results indicate that QoS negotiation, while maintaining real-time guarantees, enables graceful QoS degradation under conditions in which traditional schedulability analysis and admission control schemes fail.
我们提出了一种服务质量(QoS)协商模型,用于构建实时服务,以满足可预测性和优雅降级需求。QoS协商显示:(i)优于传统的“二进制”准入控制方案(要么保证所需的QoS,要么拒绝服务请求),(ii)实现更高的应用程序感知系统效用。我们将提出的QoS协商模型整合到一个名为RTPOOL的示例实时中间件服务中,该服务管理共享计算资源(处理器)的分布式池,以保证实时应用程序的时效性QoS。通过在运行RT-POOL的pc网络上实现的自动飞行控制系统,验证了QoS协商的有效性和功能。该系统用于使用空战(ACM) F-16飞行模拟器模拟F-16战斗机。实验结果表明,在传统的可调度性分析和准入控制方案失败的情况下,QoS协商在保持实时性保证的同时,能够实现QoS的优雅退化。
{"title":"QoS negotiation in real-time systems and its application to automated flight control","authors":"T. Abdelzaher, E. Atkins, K. Shin","doi":"10.1109/RTTAS.1997.601361","DOIUrl":"https://doi.org/10.1109/RTTAS.1997.601361","url":null,"abstract":"We propose a model for quality-of-service (QoS) negotiation in building real-time services to meet both predictability and graceful degradation requirements. QoS negotiation is shown to (i) outperform conventional \"binary\" admission control schemes (either guaranteeing the required QoS or rejecting the service request), and (ii) achieve higher application-perceived system utility. We incorporated the proposed QoS-negotiation model into an example real-time middleware service, called RTPOOL, which manages a distributed pool of shared computing resources (processors) to guarantee timeliness QoS for real-time applications. The efficacy and power of QoS negotiation are demonstrated for an automated flight control system implemented on a network of PCs running RT-POOL. This system is used to fly an F-16 fighter aircraft modeled using the Aerial Combat (ACM) F-16 Flight Simulator. Experimental results indicate that QoS negotiation, while maintaining real-time guarantees, enables graceful QoS degradation under conditions in which traditional schedulability analysis and admission control schemes fail.","PeriodicalId":448474,"journal":{"name":"Proceedings Third IEEE Real-Time Technology and Applications Symposium","volume":"24 5 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1997-06-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124598760","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}
引用次数: 291
Efficient Run-time Monitoring Of Timing Constraints 时间约束的有效运行时监控
Pub Date : 1997-06-09 DOI: 10.1109/RTTAS.1997.601363
A. Mok, Guangtian Liu
A real-time system operates under timing constraints which it may be unable to meet under some circumstances. The criticality of a timing constraint determines how a system is to react when a timing failure happens. For critical timing constraints, a timing failure should be detected as soon as possible. However, early detection of timing failures requires more resource usage which may be deemed excessive. While work in real-time system monitoring has progressed in recent years, the issue of tradeoff between detection latency and resource overhead has not been adequately considered. This paper presents an approach for monitoring timing constraints in real-time systems which is based on a simple and expressive specification method for defining the timing constraints to be monitored. Efficient algorithms are developed to catch violations of timing constraints at the earliest possible time. These algorithms have been implemented in a tool called JRTM (Java Run-time Timing-constraint Monitor) in the language Java. This tool can be used to specify and monitor timing constraints of Java applications.
实时系统在某些情况下可能无法满足的时间限制下运行。定时约束的临界性决定了系统在发生定时故障时的反应。对于关键的时序约束,应尽快检测到时序故障。然而,早期检测计时故障需要更多的资源使用,这可能被认为是过度的。虽然近年来实时系统监控工作取得了进展,但检测延迟和资源开销之间的权衡问题尚未得到充分考虑。本文提出了一种在实时系统中监控时序约束的方法,该方法基于一种简单而富有表现力的规范方法来定义要监控的时序约束。开发了有效的算法,以便在尽可能早的时间捕获违反时间约束的行为。这些算法是在Java语言的JRTM (Java运行时时间约束监视器)工具中实现的。该工具可用于指定和监视Java应用程序的定时约束。
{"title":"Efficient Run-time Monitoring Of Timing Constraints","authors":"A. Mok, Guangtian Liu","doi":"10.1109/RTTAS.1997.601363","DOIUrl":"https://doi.org/10.1109/RTTAS.1997.601363","url":null,"abstract":"A real-time system operates under timing constraints which it may be unable to meet under some circumstances. The criticality of a timing constraint determines how a system is to react when a timing failure happens. For critical timing constraints, a timing failure should be detected as soon as possible. However, early detection of timing failures requires more resource usage which may be deemed excessive. While work in real-time system monitoring has progressed in recent years, the issue of tradeoff between detection latency and resource overhead has not been adequately considered. This paper presents an approach for monitoring timing constraints in real-time systems which is based on a simple and expressive specification method for defining the timing constraints to be monitored. Efficient algorithms are developed to catch violations of timing constraints at the earliest possible time. These algorithms have been implemented in a tool called JRTM (Java Run-time Timing-constraint Monitor) in the language Java. This tool can be used to specify and monitor timing constraints of Java applications.","PeriodicalId":448474,"journal":{"name":"Proceedings Third IEEE Real-Time Technology and Applications Symposium","volume":"380 ","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1997-06-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"113995836","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}
引用次数: 121
Error propagation analysis of real-time data-intensive applications 实时数据密集型应用的错误传播分析
Pub Date : 1997-06-09 DOI: 10.1109/RTTAS.1997.601354
Tei-Wei Kuo, D. Locke, Farn Wang
This paper proposes a methodology for high-level error propagation analysis of real-time data-intensive systems. A formal system in C-style programming language is proposed to provide a research framework for various issues on real-time system designs. A symbolic procedure is then presented to formally verify the amount of data errors tolerable to systems.
本文提出了一种实时数据密集型系统的高级误差传播分析方法。提出了一个用c语言编写的形式化系统,为实时系统设计中的各种问题提供了一个研究框架。然后提出一个符号过程来正式验证系统可容忍的数据错误数量。
{"title":"Error propagation analysis of real-time data-intensive applications","authors":"Tei-Wei Kuo, D. Locke, Farn Wang","doi":"10.1109/RTTAS.1997.601354","DOIUrl":"https://doi.org/10.1109/RTTAS.1997.601354","url":null,"abstract":"This paper proposes a methodology for high-level error propagation analysis of real-time data-intensive systems. A formal system in C-style programming language is proposed to provide a research framework for various issues on real-time system designs. A symbolic procedure is then presented to formally verify the amount of data errors tolerable to systems.","PeriodicalId":448474,"journal":{"name":"Proceedings Third IEEE Real-Time Technology and Applications Symposium","volume":"14 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1997-06-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127801759","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}
引用次数: 4
Incremental rate monotonic scheduling for improved control system performance 提高控制系统性能的增量速率单调调度
Pub Date : 1997-06-09 DOI: 10.1109/RTTAS.1997.601346
P. Binns
The paper presents an algorithm and its run-time performance for scheduling periodic incremental and design-to-time processes. The algorithm is based on the slack stealer which dynamically answers the question "how much execution time is available prior to a deadline" when all periodic processes are scheduled using rate monotonic scheduling. An incremental process asks how much execution time is available after the baseline component has completed and prior to the execution of a process increment. A design-to-time process asks how much execution time is available before the process begins execution and selects a version which gives the greatest precision in the available time. For both incremental and design-to-time processes, a minimum amount of time is statically reserved so that an acceptable but suboptimal solution will always be calculated. The author identifies and proposes a solution for the practical problem of supporting criticalities when scheduling slack and analyze the run-time overheads of this algorithm. The analysis is applied to two real-world data sets. In certain cases, the execution time of this algorithm is found to be efficient.
本文提出了一种用于调度周期性增量过程和设计-时间过程的算法及其运行时性能。该算法基于动态回答“截止日期前有多少可用执行时间”的问题,当所有周期性进程都使用速率单调调度时。增量流程询问在基线组件完成之后和流程增量执行之前有多少可用的执行时间。按时设计流程询问在流程开始执行之前有多少可用的执行时间,并选择在可用时间内提供最大精度的版本。对于增量流程和按时设计流程,都静态保留最小时间,以便始终计算出可接受但次优的解决方案。针对调度冗余时支持临界的实际问题,提出了一种解决方案,并分析了该算法的运行时开销。该分析应用于两个现实世界的数据集。在某些情况下,该算法的执行时间是有效的。
{"title":"Incremental rate monotonic scheduling for improved control system performance","authors":"P. Binns","doi":"10.1109/RTTAS.1997.601346","DOIUrl":"https://doi.org/10.1109/RTTAS.1997.601346","url":null,"abstract":"The paper presents an algorithm and its run-time performance for scheduling periodic incremental and design-to-time processes. The algorithm is based on the slack stealer which dynamically answers the question \"how much execution time is available prior to a deadline\" when all periodic processes are scheduled using rate monotonic scheduling. An incremental process asks how much execution time is available after the baseline component has completed and prior to the execution of a process increment. A design-to-time process asks how much execution time is available before the process begins execution and selects a version which gives the greatest precision in the available time. For both incremental and design-to-time processes, a minimum amount of time is statically reserved so that an acceptable but suboptimal solution will always be calculated. The author identifies and proposes a solution for the practical problem of supporting criticalities when scheduling slack and analyze the run-time overheads of this algorithm. The analysis is applied to two real-world data sets. In certain cases, the execution time of this algorithm is found to be efficient.","PeriodicalId":448474,"journal":{"name":"Proceedings Third IEEE Real-Time Technology and Applications Symposium","volume":"25 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1997-06-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115568768","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}
引用次数: 28
A real-time execution performance agent interface to parametrically controlled in-kernel pipelines 一个实时执行性能代理接口,用于参数控制内核内管道
Pub Date : 1997-06-09 DOI: 10.1109/RTTAS.1997.601355
Sam Siewert, M. Humphrey
This paper presents work-in-progress to build a confidence-based in-kernel pipeline execution performance interface to a fixed priority deadline monotonic scheduler. The interface provides performance-controlled pipeline execution, allowing applications to specify expected execution times, negotiate desired deadline confidence and to configure and control pipelines. The confidence-based scheduling interface and in-kernel pipeline are being evaluated on an unoccupied air vehicle incorporating digital control, continuous media, and event-driven pipelines.
本文提出了一种基于置信度的内核内管道执行性能接口,该接口与固定优先级截止时间单调调度器连接。该接口提供了性能控制的管道执行,允许应用程序指定预期的执行时间,协商期望的截止日期信心,并配置和控制管道。基于信任的调度接口和内核内管道正在无人飞行器上进行评估,该飞行器结合了数字控制、连续媒体和事件驱动管道。
{"title":"A real-time execution performance agent interface to parametrically controlled in-kernel pipelines","authors":"Sam Siewert, M. Humphrey","doi":"10.1109/RTTAS.1997.601355","DOIUrl":"https://doi.org/10.1109/RTTAS.1997.601355","url":null,"abstract":"This paper presents work-in-progress to build a confidence-based in-kernel pipeline execution performance interface to a fixed priority deadline monotonic scheduler. The interface provides performance-controlled pipeline execution, allowing applications to specify expected execution times, negotiate desired deadline confidence and to configure and control pipelines. The confidence-based scheduling interface and in-kernel pipeline are being evaluated on an unoccupied air vehicle incorporating digital control, continuous media, and event-driven pipelines.","PeriodicalId":448474,"journal":{"name":"Proceedings Third IEEE Real-Time Technology and Applications Symposium","volume":"2 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1997-06-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130326581","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}
引用次数: 7
期刊
Proceedings Third IEEE Real-Time 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