𝔖 Scriptorium
✦   LIBER   ✦

πŸ“

Foundations of Real-Time Computing: Scheduling and Resource Management

✍ Scribed by John P. Lehoczky, Lui Sha, J. K. Strosnider (auth.), André M. van Tilborg, Gary M. Koob (eds.)


Publisher
Springer US
Year
1991
Tongue
English
Leaves
330
Series
The Springer International Series in Engineering and Computer Science 141
Edition
1
Category
Library

⬇  Acquire This Volume

No coin nor oath required. For personal study only.

✦ Synopsis


This volume contains a selection of papers that focus on the state-ofΒ­ the-art in real-time scheduling and resource management. Preliminary versions of these papers were presented at a workshop on the foundations of real-time computing sponsored by the Office of Naval Research in October, 1990 in Washington, D.C. A companion volume by the title Foundations of Real-Time Computing: Fonnal Specifications and Methods complements this book by addressing many of the most advanced approaches currently being investigated in the arena of formal specification and verification of real-time systems. Together, these two texts provide a comprehensive snapshot of current insights into the process of designing and building real-time computing systems on a scientific basis. Many of the papers in this book take care to define the notion of real-time system precisely, because it is often easy to misunderstand what is meant by that term. Different communities of researchers variously use the term real-time to refer to either very fast computing, or immediate on-line data acquisition, or deadline-driven computing. This text is concerned with the very difficult problems of scheduling tasks and resource management in computer systems whose performance is inextricably fused with the achievement of deadlines. Such systems have been enabled for a rapidly increasing set of diverse end-uses by the unremitting advances in computing power per constant-dollar cost and per constant-unit-volume of space. End-use applications of deadline-driven real-time computers span a spectrum that includes transportation systems, robotics and manufacturing, aerospace and defense, industrial process control, and telecommunications.

✦ Table of Contents


Front Matter....Pages i-ix
Fixed Priority Scheduling Theory for Hard Real-Time Systems....Pages 1-30
Research in Real-Time Scheduling....Pages 31-62
Design and Analysis of Processor Scheduling Policies for Real-Time Systems....Pages 63-89
Recent Results in Real-Time Scheduling....Pages 91-127
Rate Monotonic Analysis for Real-Time Systems....Pages 129-155
Scheduling In Real-Time Transaction Systems....Pages 157-184
Concurrency Control in Real-Time Database Systems....Pages 185-202
Algorithms for Scheduling Imprecise Computations....Pages 203-249
Allocating Smart Cache Segments for Schedulability....Pages 251-276
Scheduling Strategies Adopted in Spring: An Overview....Pages 277-305
Real-Time, Priority-Ordered, Deadlock Avoidance Algorithms....Pages 307-324
Back Matter....Pages 325-326

✦ Subjects


Special Purpose and Application-Based Systems; Software Engineering/Programming and Operating Systems; Processor Architectures; Programming Languages, Compilers, Interpreters; Operating Systems


πŸ“œ SIMILAR VOLUMES


Control and Scheduling Codesign: Flexibl
✍ Dr. Feng Xia, Prof. Youxian Sun (auth.) πŸ“‚ Library πŸ“… 2008 πŸ› Springer-Verlag Berlin Heidelberg 🌐 English

<p>Recent evolutionary advances in information and communication technologies give rise to a new environment for Real Time Control Systems. This is a new dynamic environment that features both resource limitation and workload variability. As a consequence, the availability of the computing and/or co

Hard Real-Time Computing Systems: Predic
✍ Giorgio C. Buttazzo πŸ“‚ Library πŸ“… 1997 πŸ› Kluwer Academic Publishers 🌐 English

Real-time systems play a crucial role in our society, supporting several important application areas, such as nuclear and chemical plant control, flight control systems, traffic control in airports, harbors, and train stations, telecommunication systems, industrial automation, robotics, defensiv

Hard Real-Time Computing Systems: Predic
✍ Giorgio C. Buttazzo (auth.) πŸ“‚ Library πŸ“… 2011 πŸ› Springer US 🌐 English

<p>This updated edition offers an indispensable exposition on real-time computing, with particular emphasis on predictable scheduling algorithms. It introduces the fundamental concepts of real-time computing, demonstrates the most significant results in the field, and provides the essential methodol

Hard Real-Time Computing Systems: Predic
✍ Giorgio Buttazzo πŸ“‚ Library πŸ“… 2023 πŸ› Springer 🌐 English

<span>This book is a basic treatise on real-time computing, with particular emphasis on predictable scheduling algorithms. The main objectives of the book are to introduce the basic concepts of real-time computing, illustrate the most significant results in the field, and provide the basic methodolo

Hard Real-Time Computing Systems: Predic
✍ Giorgio Buttazzo πŸ“‚ Library πŸ“… 2023 πŸ› Springer 🌐 English

<span>This book is a basic treatise on real-time computing, with particular emphasis on predictable scheduling algorithms. The main objectives of the book are to introduce the basic concepts of real-time computing, illustrate the most significant results in the field, and provide the basic methodolo