|
|
|
|
| LEADER |
04888nmm a2200349 u 4500 |
| 001 |
EB000624526 |
| 003 |
EBX01000000000000000477608 |
| 005 |
00000000000000.0 |
| 007 |
cr||||||||||||||||||||| |
| 008 |
140122 ||| eng |
| 020 |
|
|
|a 9781461522713
|
| 100 |
1 |
|
|a Fussell, Donald
|e [editor]
|
| 245 |
0 |
0 |
|a Responsive Computer Systems: Steps Toward Fault-Tolerant Real-Time Systems
|h Elektronische Ressource
|c edited by Donald Fussell, Miroslaw Malek
|
| 250 |
|
|
|a 1st ed. 1995
|
| 260 |
|
|
|a New York, NY
|b Springer US
|c 1995, 1995
|
| 300 |
|
|
|a XX, 268 p. 19 illus
|b online resource
|
| 505 |
0 |
|
|a 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
|
| 505 |
0 |
|
|a 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 --
|
| 505 |
0 |
|
|a 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 --
|
| 653 |
|
|
|a Processor Architectures
|
| 653 |
|
|
|a Microprocessors
|
| 653 |
|
|
|a Special Purpose and Application-Based Systems
|
| 653 |
|
|
|a Computers, Special purpose
|
| 653 |
|
|
|a Computer architecture
|
| 700 |
1 |
|
|a Malek, Miroslaw
|e [editor]
|
| 041 |
0 |
7 |
|a eng
|2 ISO 639-2
|
| 989 |
|
|
|b SBA
|a Springer Book Archives -2004
|
| 490 |
0 |
|
|a The Springer International Series in Engineering and Computer Science
|
| 028 |
5 |
0 |
|a 10.1007/978-1-4615-2271-3
|
| 856 |
4 |
0 |
|u https://doi.org/10.1007/978-1-4615-2271-3?nosfx=y
|x Verlag
|3 Volltext
|
| 082 |
0 |
|
|a 004
|
| 520 |
|
|
|a Responsive Computer Systems: Steps Towards Fault-Tolerant Real-Time Systems provides an extensive treatment of the most important issues in the design of modern Responsive Computer Systems. It lays the groundwork for a more comprehensive model that allows critical design issues to be treated in ways that more traditional disciplines of computer research have inhibited. It breaks important ground in the development of a fruitful, modern perspective on computer systems as they are currently developing and as they may be expected to develop over the next decade. Audience: An interesting and important road map to some of the most important emerging issues in computing, suitable as a secondary text for graduate level courses on responsive computer systems and as a reference for industrial practitioners
|