Dependable Network Computing

by Avresky, Dimiter R.

• ISBN13: 9780792377115
• ISBN10: 0792377117
• Format: Hardcover
• Copyright: 1999-11-01
• Publisher: Kluwer Academic Pub

Summary

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

Preface	vii
Section 1 - Dependable Software and Large Storage Systems: Key Components for Dependable Network Computing	1	(48)
Dependability of Software-Based Critical Systems	3	(18)
Jean-Claude Laprie
An Analysis of Error Behavior in a Large Storage System	21	(28)
Nisha Talagala
David Patterson
Section 2 - Dependable Broadcast and Protocols in Computer Networks	49	(92)
Totally Ordered Broadcast in the Face of Network Partitions	51	(26)
Idit Keidar
Danny Dolev
On the Possibility of Group Membership Protocols	77	(16)
Massimo Franceschetti
Jehoshua Bruck
Reliable Clocks for Unreliable Process Groups	93	(16)
A. Mostefaoui
Michel Raynal
M. Takizawa
Implementing Protocols with Synchronous Objects	109	(32)
Claude Petitpierre
Antonio J. Restepo Zea
Section 3 - Analysis of Computer Networks	141	(50)
Automated Formal Analysis of Networks	143	(24)
J. N. Reed
D. M. Jackson
B. Deianov
G.M. Reed
A BDD Approach to Dependability Analysis of Distributed Computer Systems with Imperfect Coverage	167	(24)
H. Zang
H. Sun
K. Trivedi
Section 4 - Fault-Tolerant Routing and Reconfiguration in Computer Networks	191	(74)
Fault-Tolerant Routing in the Internet Without Flooding	193	(14)
Paolo Narvaez
Kai-Yeung Siu
Hong-Yi Tzeng
Dynamic Reconfiguration in High Speed Local Area Networks	207	(26)
Jose Duato
Rafael Casado
Francisco J. Quiles
Jose L. Sanchez
Minimal and Adaptive Fault-Tolerant Routing in ServerNet 2D Torus Network	233	(32)
D. R. Avresky
J. Acosta
Vl. Shurbanov
Z. McCafrey
Section 5 - Fault-Tolerant Interconnection Networks	265	(48)
Tolerating Faults in Counting Networks	267	(12)
Marc D. Riedel
Jehoshua Bruck
Fault-Tolerant Multicasting in 2-D Meshes Using Extended Safety Levels	279	(34)
Xiao Chen
Jie Wu
Dajin Wang
Section 6 - Dependable Distributed and Mobile Computing	313	(80)
Dependable Distributed and Mobile Computing - Utilizing Time to Enhance Recovery from Failures	315	(26)
W. Kent Fuchs
Nino Neves
Kuo-Feng Ssu
Design and Implementation of Fault-Tolerant Parallel Software in a Distributed Environment Using a Functional Language	341	(18)
M. Toyoshima
A. Cherif
M. Suzuki
T. Katayama
Overhead of Coordinated Checkpointing Protocols for Message Passing Parallel Systems	359	(20)
Bernd Bieker
Erik Maehle
A Multi-Level Layered System Approach to on On-Line Testing	379	(14)
H. Levendel
Section 7 - Dependable Real-Time Distributed Systems	393	(70)
Task Schedule Algorithms for Fault Tolerance in Real-Time Embedded Systems	395	(18)
N. Kandasamy
J. Hayes
B. T. Murray
The Rapids Simulator: A Testbed for Evaluating Scheduling, Allocation and Fault-Recovery Algorithms in Distributed Real-Time Systems	413	(20)
M. Allalouf
J. Chang
G. Dirairaj
J. Haines
V. R. Lakamraju
K. Toutireddy
O. S. Unsal
K. Yu
I. Koren
C. M. Krishna
Fault-Tolerant Dynamic Scheduling of Object-Based Tasks in Multiprocessor Real-Time Systems	433	(30)
Indranil Gupta
A. G. Manimaran
C. Siva Ram Murthy
Index	463