Dependable Network Computing (The Springer International Series in Engineering and Computer Science, 538)

__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. 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

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 prools, 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.