Dependable Network Computing

2000. Auflage 1999
ISBN: 978-0-7923-7711-5
Verlag: Springer Us

Buch, Englisch, Band 538, 464 Seiten, Format (B × H): 156 mm x 234 mm, Gewicht: 1880 g

Reihe: The Springer International Series in Engineering and Computer Science

provides insights into various problems facing millions of global users resulting from the `internet revolution'. It covers real-time problems involving software, servers, and large-scale storage systems with adaptive fault-tolerant routing and dynamic reconfiguration techniques. Also included is material on routing protocols, QoS, and dead- and live-lock free related issues. All chapters are written by leading specialists in their respective fields.
provides useful information for scientists, researchers, and application developers building networks based on commercially off-the-shelf components.

Zielgruppe

Research

Autoren/Hrsg.

Avresky, Dimiter R

Fachgebiete

• Mathematik | Informatik EDV | Informatik Technische Informatik Netzwerk-Hardware
• Mathematik | Informatik EDV | Informatik Technische Informatik Hochleistungsrechnen, Supercomputer
• Mathematik | Informatik EDV | Informatik Computerkommunikation & -vernetzung
• Mathematik | Informatik EDV | Informatik Informatik
• Mathematik | Informatik EDV | Informatik Technische Informatik Externe Speicher & Peripheriegeräte

Inhaltsverzeichnis

Section 1 Dependable Software and Large Storage Systems: Key Components for Dependable Network Computing.- Dependability of Software-Based Critical Systems.- DAn Analysis of Error Behavior in a Large Storage System.- Section 2 Dependable Broadcast and Protocols in Computer Networks.- 3. Totally Ordered Broadcast in the Face of Network Partitions.- 4. On the Possibility of Group Membership Protocols.- 5. Reliable Clocks for Unreliable Process Groups.- 6. Implementing Protocols with Synchronous Objects.- Section 3 Analysis of Computer Networks.- 7. Automated Formal Analysis of Networks.- 8. A BDD Approach to Dependability Analysis of Distributed Computer Systems with Imperfect Coverage.- Section 4 Fault-Tolerant Routing and Reconfiguration in Computer Networks.- 9. Fault-Tolerant Routing in the Internet Without Flooding.- 10. Dynamic Reconfiguration in High Speed Local Area.- 11. Minimal and Adaptive Fault-Tolerant Routing in ServerNet 2D Torus Network.- Section 5 Fault-Tolerant Interconnection Networks.- 12. Tolerating Faults in Counting Networks.- 13. Fault-Tolerant Multicasting in 2-D Meshes Using Extended Safety Levels.- Section 6 Dependable Distributed and Mobile Computing.- 14. Dependable Distributed and Mobile Computing #x2014; Utilizing Time to Enhance Recovery from Failures.- 15. Design and Implementation of Fault-Tolerant Parallel Software in a Distributed Environment Using a Functional Language.- 16. Overhead of Coordinated Checkpointing Protocols for Message Passing Parallel Systems.- 17. A Multi-Level Layered System Approach to on On-Line Testing.- Section 7 Dependable Real-Time Distributed Systems.- 18. Task Schedule Algorithms for Fault Tolerance in Real-Time Embedded Systems.- 19. The Rapids Simulator: A Testbed for Evaluating Scheduling, Allocation and Fault-Recovery Algorithms in Distributed Real-Time Systems.- 20. Fault-Tolerant Dynamic Scheduling of Object-Based Tasks in Multiprocessor Real-Time Systems.