Dependable Network Computing

✍ Scribed by Jean-Claude Laprie (auth.), Dimiter R. Avresky (eds.)

• Publisher: Springer US
• Year: 2000
• Tongue: English
• Leaves: 462
• Series: The Springer International Series in Engineering and Computer Science 538
• Edition: 1
• Category: Library

✦ Synopsis

Dependable Network Computing 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.
Dependable Network Computing provides useful information for scientists, researchers, and application developers building networks based on commercially off-the-shelf components.

✦ Table of Contents

Front Matter....Pages i-xv
Front Matter....Pages 1-1
Dependability of Software-Based Critical Systems....Pages 3-19
Failure Characteristics and Soft Error Behavior in a Large Storage System....Pages 21-47
Front Matter....Pages 49-49
Totally Ordered Broadcast in the Face of Network Partitions....Pages 51-75
On the Possibility of Group Membership Protocols....Pages 77-92
Reliable Logical Clocks For Unreliable Process Groups....Pages 93-107
Implementing Protocols with Synchronous Objects....Pages 109-140
Front Matter....Pages 141-141
Automated Formal Analysis of Networks....Pages 143-166
A BDD Approach to Dependability Analysis of Distributed Computer Systems with Imperfect Coverage....Pages 167-190
Front Matter....Pages 191-191
Fault-Tolerant Routing in the Internet without Flooding....Pages 193-206
Dynamic Reconfiguration in High Speed Local Area Networks....Pages 207-231
Adaptive Minimal-Path Routing in 2-Dimensional Torus Servernet San....Pages 233-263
Front Matter....Pages 265-265
Tolerating Faults in Counting Networks....Pages 267-277
A Fault-Tolerant and Time-Step Optimal Multicasting in 2-D Meshes....Pages 279-312
Front Matter....Pages 313-313
Dependable Distributed and Mobile Computing — Utilizing Time to Enhance Recovery from Failures....Pages 315-339
Implementing Fault Tolerant Software in Distributed Environment....Pages 341-358
Overhead of Coordinated Checkpointing Protocols for Message Passing Parallel Systems....Pages 359-378
A Multi-Level Layered System Approach to On-Line Testing....Pages 379-391
Front Matter....Pages 393-393
Task Scheduling Algorithms for Fault Tolerance in Real-Time Embedded Systems....Pages 395-412
The Rapids Simulator: A Testbed for Evaluating Scheduling, Allocation and Fault-Recovery Algorithms in Distributed Real-Time Systems....Pages 413-431
Fault-Tolerant Dynamic Scheduling of Object-Based Real-Time Tasks in Multiprocessor Systems....Pages 433-462
Back Matter....Pages 463-464

✦ Subjects

Processor Architectures; Computer Communication Networks