Responsive Computer Systems: Steps Toward Fault-Tolerant Real-Time Systems - pocketboek

EAN (ISBN-13): 9780792395638
ISBN (ISBN-10): 0792395638
Gebonden uitgave
pocket book
Verschijningsjaar: 1995
Uitgever: Springer US
292 Bladzijden
Gewicht: 0,445 kg
Taal: eng/Englisch

Boek bevindt zich in het datenbestand sinds 2007-04-05T13:24:07+02:00 (Amsterdam)
Detailpagina laatst gewijzigd op 2023-11-15T16:44:28+01:00 (Amsterdam)
ISBN/EAN: 0792395638

ISBN - alternatieve schrijfwijzen:
0-7923-9563-8, 978-0-7923-9563-8
alternatieve schrijfwijzen en verwante zoekwoorden:
Auteur van het boek: malek, fussel, füssel, fussell
Titel van het boek: responsive computer systems steps toward fault tolerant real time systems, engineering time, responsive eye, 297

---

Gegevens van de uitgever

Auteur: Donald Fussell; Miroslaw Malek
Titel: The Springer International Series in Engineering and Computer Science; Responsive Computer Systems: Steps Toward Fault-Tolerant Real-Time Systems
Uitgeverij: Springer; Springer US
268 Bladzijden
Verschijningsjaar: 1995-08-31
New York; NY; US
Taal: Engels
213,99 € (DE)
219,99 € (AT)
236,00 CHF (CH)
Available
XX, 268 p. 19 illus.

BC; Hardcover, Softcover / Informatik, EDV/Informatik; Wissensbasierte Systeme, Expertensysteme; Verstehen; Scheduling; algorithms; concurrency; database; databases; performance; performance evaluation; processor; real-time system; Special Purpose and Application-Based Systems; Processor Architectures; Rechnerarchitektur und Logik-Entwurf; EA

1 A Tight Lower Bound for Processor Coordination.- 1 Introduction.- 2 Overview.- 3 The Problem.- 4 The Bermuda Triangle.- 5 The Lower Bound.- 6 Generalizing to the Partially Synchronous Model.- References.- 2 Self-Stabilizing Real-Time Decision Systems.- 1 Introduction.- 2 Related Work.- 3 A Model of Computation.- 4 Definitions and Notation.- 5 Terminating Self-Stabilizing Programs.- 6 Boolean (Finite State) Programs.- 7 Non-Terminating Self-Stabilizing Programs.- 8 Self-Stabilization and Informed Decisions.- 9 Acknowledgements.- References.- 3 Management and Scheduling of Tests for Locating Failures Dependent Upon Operation-Time in Responsive Systems.- 1 Introduction.- 2 Definitions and Notation.- 3 Assignment and Scheduling of Multiple Test Sets.- 4 The Analysis of Fault Location.- 5 A priori information analysis.- 6 Conclusion.- References.- 4 Adding Robustness in Dynamic Preemptive Scheduling.- 1 Introduction.- 2 Terminology and Assumptions.- 3 Schedulability analysis.- 4 The RED scheduling strategy.- 5 Performance Evaluation.- 6 Related Work.- 7 Conclusions.- References.- 5 Static Deadlock Analysis for CSP-Type Communications.- 1 Introduction.- 2 The Sequence Condition.- References.- 6 Comparing How Well Asynchronous Atomic Broadcast Protocols Perform.- 1 Introduction.- 2 Assumptions.- 3 Overview of Broadcast Protocols.- 4 Simulation Results.- 5 Relative Performance.- 6 Conclusion.- References.- 7 Hard Real-Time Reliable Multicast in the Dedos System.- 1 Introduction.- 2 System architecture and failure assumptions.- 3 Protocol description.- 4 Protocol analysis.- 5 Conclusion.- References.- 8 Speculative Algorithms for Concurrency Control in Responsive Databases.- 1 Introduction.- 2 RTDBMS Concurrency Control.- 3 A Generic SCC-nS Algorithm.- 4 SCC-NS Family Members.- 5 Conclusion.- References.- 9 Autonomous Transaction Managers in Responsive Computing.- 1 Introduction.- 2 System Structure and Notation.- 3 Synchronization of the Local Schedules.- 4 Effects of Transaction Aborts.- 5 Synchronization of CSR Schedules.- 6 A Pragmatic Restriction.- 7 Further Observations.- 8 Conclusions.- 9 Appendix.- References.- 10 Adaptable Fault Tolerance for Real-Time Systems.- 1 Introduction.- 2 The Three-level Framework.- 3 FERT Specification Language.- 4 Support for Scheduling.- 5 Conclusions and Discussion.- References.- 11 Fault-Tolerant Automatic Control.- 1 Introduction to the Software Fault-Tolerance Problem.- 2 The Simplex Architecture.- 3 Laboratory Experiments.- 4 Conclusion.- References.- 12 Design and Performance Evaluation of A Fault-Tolerant, Hard-Real-Time, Parallel Processor.- 1 Introduction.- 2 FTPP Overview.- 3 Overview of FTPP Scheduling.- 4 OS Performance Measurements.- 5 NE Contention Model.- 6 Conclusions.- References.