1993 Proceedings Real-Time Systems Symposium最新文献_第2页

SSP: A semantics-based protocol for real-time data access SSP:用于实时数据访问的基于语义的协议

1993 Proceedings Real-Time Systems Symposium Pub Date : 1993-12-01 DOI: 10.1109/REAL.1993.393513

Tei-Wei Kuo, A. Mok

引用次数: 128

On-line scheduling of hard deadline aperiodic tasks in fixed-priority systems 固定优先级系统中硬期限非周期任务的在线调度

1993 Proceedings Real-Time Systems Symposium Pub Date : 1993-12-01 DOI: 10.1109/REAL.1993.393504

S. R. Thuel, J. Lehoczky

引用次数: 126

Automatic symbolic verification of embedded systems 嵌入式系统的自动符号验证

1993 Proceedings Real-Time Systems Symposium Pub Date : 1993-12-01 DOI: 10.1109/REAL.1993.393520

R. Alur, T. Henzinger, Pei-Hsin Ho

引用次数: 671

Object-based semantic real-time concurrency control 基于对象的语义实时并发控制

1993 Proceedings Real-Time Systems Symposium Pub Date : 1993-12-01 DOI: 10.1109/REAL.1993.393512

L. DiPippo, V. Wolfe

引用次数: 91

Real-time issues in computer music 计算机音乐中的实时问题

1993 Proceedings Real-Time Systems Symposium Pub Date : 1993-12-01 DOI: 10.1109/REAL.1993.393491

R. Dannenberg, D. Jameson

引用次数: 7

A dual-mode instruction prefetch scheme for improved worst case and average case program execution times 一种改进最坏情况和平均情况程序执行时间的双模式指令预取方案

1993 Proceedings Real-Time Systems Symposium Pub Date : 1993-12-01 DOI: 10.1109/REAL.1993.393511

Minsuk Lee, S. Min, C. Park, Young Hyun Bae, Heonshik Shin, Chong-Sang Kim

{"title":"A dual-mode instruction prefetch scheme for improved worst case and average case program execution times","authors":"Minsuk Lee, S. Min, C. Park, Young Hyun Bae, Heonshik Shin, Chong-Sang Kim","doi":"10.1109/REAL.1993.393511","DOIUrl":"https://doi.org/10.1109/REAL.1993.393511","url":null,"abstract":"One of the obstacles to using RISC processors in a hard real-time environment is the unpredictability of caches. This unpredictability stems from basing them on a design that tries to optimize the average case execution time. We propose a dual mode instruction prefetch scheme as an alternative to instruction caching schemes. In the proposed scheme, a thread is associated with each instruction block. The thread indicates the instruction block that is to be prefetched once the block containing it is accessed by the processor. The proposed scheme operates in two different modes: real-time and non real-time modes. In the real-time mode, the prefetching of instruction blocks is made in the direction that improves the worst case execution time. For this purpose, the thread is generated by the compiler through an analysis of the worst case execution path. In the non real-time mode, the thread is dynamically updated so that it indicates the instruction block that is most likely to be accessed next is the block that was previously accessed after the present block. Therefore, the thread is made to point to such a block in the non real-time mode. The above tailoring of thread information is on a task basis and, therefore, each task in the system can choose its own mode depending on its needs. Typically real-time tasks choose the real-time mode for an improved worst case execution time whereas non time critical tasks choose the non real-time mode for an improved average case execution time. This paper shows, through analysis using a timing tool, that the proposed scheme significantly (up to 45%) improves the predicted worst case execution time in the real-time mode as compared with no prefetching scheme.<<ETX>>","PeriodicalId":198313,"journal":{"name":"1993 Proceedings Real-Time Systems Symposium","volume":"25 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1993-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133331515","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}

引用次数: 25

Specification and verification of a distributed real-time arbitration protocol 分布式实时仲裁协议的规范和验证

1993 Proceedings Real-Time Systems Symposium Pub Date : 1993-12-01 DOI: 10.1109/REAL.1993.393488

J. Hooman

引用次数: 8

Using dynamic adjustment of serialization order for real-time database systems 采用动态调整序列化顺序的实时数据库系统

1993 Proceedings Real-Time Systems Symposium Pub Date : 1993-12-01 DOI: 10.1109/REAL.1993.393514

Juhnyoung Lee, S. Son

引用次数: 131

Scheduling slack time in fixed priority pre-emptive systems 固定优先级抢占系统的空闲时间调度

1993 Proceedings Real-Time Systems Symposium Pub Date : 1993-12-01 DOI: 10.1109/REAL.1993.393496

Robert I. Davis, K. Tindell, A. Burns

引用次数: 271

Highly multi-tasking real-time systems and their evaluation 高度多任务实时系统及其评估

1993 Proceedings Real-Time Systems Symposium Pub Date : 1993-12-01 DOI: 10.1109/REAL.1993.393493

T. Soneoka, Ayaru Oizumi, K. Suda

引用次数: 2