Proceedings of 11th IEEE Workshop on Real-Time Operating Systems and Software最新文献

A mixed locking/abort protocol for hard real-time systems 一种用于硬实时系统的混合锁定/中止协议

Proceedings of 11th IEEE Workshop on Real-Time Operating Systems and Software Pub Date : 1994-05-18 DOI: 10.1109/RTOSS.1994.292552

Lih-Chyun Shu, M. Young

{"title":"A mixed locking/abort protocol for hard real-time systems","authors":"Lih-Chyun Shu, M. Young","doi":"10.1109/RTOSS.1994.292552","DOIUrl":"https://doi.org/10.1109/RTOSS.1994.292552","url":null,"abstract":"Serializability greatly simplifies reasoning about correctness in concurrent systems, including real-time systems. Our research addresses concurrency control protocols that accommodate analytic guarantees of schedulability, can be implemented with small bounded overheads and blocking, and ensure serializable execution of entire tasks including complete read/compute/write cycles (as opposed to serializable execution only of short embedded transactions without computation.) One such protocol which combines locking and abort is described. Among its interesting properties are that transactions scheduled by locking are never aborted, tasks are aborted only due to conflict with higher priority tasks, and the cost of abortion can be bounded for the purpose of schedulability analysis. The protocol is illustrated with an avionics example. The priority ceiling protocol can ensure schedulability of 8 tasks if serializability of only short sequences of data accesses is required, but cannot schedule even the first 2 tasks if serializability is required for whole tasks. Under reasonable assumptions our protocol achieves schedulability of the first 6 tasks while guaranteeing serializability of entire tasks.<<ETX>>","PeriodicalId":103713,"journal":{"name":"Proceedings of 11th IEEE Workshop on Real-Time Operating Systems and Software","volume":"25 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1994-05-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125584614","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}

引用次数: 24

Temporal protection in real-time operating systems 实时操作系统中的时间保护

Proceedings of 11th IEEE Workshop on Real-Time Operating Systems and Software Pub Date : 1994-05-18 DOI: 10.1109/RTOSS.1994.292556

C. W. Mercer, R. Rajkumar, J. Zelenka

引用次数: 54

Correlation analysis techniques for refining execution time estimates of real-time applications 用于精炼实时应用程序执行时间估计的相关分析技术

Proceedings of 11th IEEE Workshop on Real-Time Operating Systems and Software Pub Date : 1994-05-18 DOI: 10.1109/RTOSS.1994.292561

Rajesh K. Gupta, P. Gopinath

引用次数: 24

Experience with a prototype of the POSIX "minimal realtime system profile" 使用POSIX“最小实时系统配置文件”原型的经验

Proceedings of 11th IEEE Workshop on Real-Time Operating Systems and Software Pub Date : 1994-05-18 DOI: 10.1109/RTOSS.1994.292569

T. Baker, F. Mueller, V. Rustagi

引用次数: 15

Predictable spin lock algorithms with preemption 具有抢占的可预测自旋锁算法

Proceedings of 11th IEEE Workshop on Real-Time Operating Systems and Software Pub Date : 1994-05-18 DOI: 10.1109/RTOSS.1994.292571

H. Takada, K. Sakamura

引用次数: 33

Issues of advanced architectural features in the design of a timing tool 一个定时工具设计中的高级架构特性问题

Proceedings of 11th IEEE Workshop on Real-Time Operating Systems and Software Pub Date : 1994-05-18 DOI: 10.1109/RTOSS.1994.292560

Byung-Do Rhee, S. Min, Sung-Soo Lim, Heonshik Shin, Chong-Sang Kim, C. Park

引用次数: 14

Using data similarity to achieve synchronization for free 使用数据相似度免费实现同步

Proceedings of 11th IEEE Workshop on Real-Time Operating Systems and Software Pub Date : 1994-05-18 DOI: 10.1109/RTOSS.1994.292550

Tei-Wei Kuo, A. Mok

引用次数: 9

Constructing a heterogeneous real-time system 构建异构实时系统

Proceedings of 11th IEEE Workshop on Real-Time Operating Systems and Software Pub Date : 1994-05-18 DOI: 10.1109/RTOSS.1994.292565

S. Mostert

引用次数: 0

Window-consistent replication for real-time applications 用于实时应用程序的窗口一致复制

Proceedings of 11th IEEE Workshop on Real-Time Operating Systems and Software Pub Date : 1994-05-18 DOI: 10.1109/RTOSS.1994.292551

J. Rexford, A. Mehra, J. Dolter, F. Jahanian

{"title":"Window-consistent replication for real-time applications","authors":"J. Rexford, A. Mehra, J. Dolter, F. Jahanian","doi":"10.1109/RTOSS.1994.292551","DOIUrl":"https://doi.org/10.1109/RTOSS.1994.292551","url":null,"abstract":"Two widely-studied approaches for structuring fault-tolerant services are the state-machine and the primary-backup replication schemes. For a large class of soft and hard real-time applications, the degree of consistency among servers can be exploited to design replication protocols with predictable timing behavior. This is particularly useful in applications such as automated process control, in which one can trade off the quality or precision for timely availability of data. This paper presents the architecture and prototype implementation of a primary-backup replication service that employs window consistency semantics between the primary data repository and the backups. A client registers a data object with the service by declaring the consistency requirements for the data, in terms of a time window. The primary ensures that each backup site maintains a version of the object that was valid on the primary within the preceding time window by scheduling update messages to the backups. Decoupling the transmission of updates to the backups from the processing of client requests permits the primary to handle a higher rate of operations and provide more timely service to clients. The non-blocking semantics free the client from waiting for updates to the backups to complete. Furthermore, real-time scheduling of update messages can guarantee controlled inconsistency between the primary and backup repositories.<<ETX>>","PeriodicalId":103713,"journal":{"name":"Proceedings of 11th IEEE Workshop on Real-Time Operating Systems and Software","volume":"106 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1994-05-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125004546","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

Real-time platforms and environments for time constrained flexible manufacturing 时间约束柔性制造的实时平台和环境

Proceedings of 11th IEEE Workshop on Real-Time Operating Systems and Software Pub Date : 1994-05-18 DOI: 10.1109/RTOSS.1994.292553

J. Stankovic, K. Ramamritham, G. Zlokapa

引用次数: 6