Distributed System Design

Future requirements for computing speed, system reliability, and cost-effectiveness entail the development of alternative computers to replace the traditional von Neumann organization. As computing networks come into being, one of the latest dreams is now possible - distributed computing. Distributed computing brings transparent access to as much computer power and data as the user needs for accomplishing any given task - simultaneously achieving high performance and reliability.The subject of distributed computing is diverse, and many researchers are investigating various issues concerning the structure of hardware and the design of distributed software. Distributed System Design defines a distributed system as one that looks to its users like an ordinary system, but runs on a set of autonomous processing elements (PEs) where each PE has a separate physical memory space and the message transmission delay is not negligible. With close cooperation among these PEs, the system supports an arbitrary number of processes and dynamic extensions.Distributed System Design outlines the main motivations for building a distributed system, including:inherently distributed applicationsperformance/costresource sharingflexibility and extendibilityavailability and fault tolerancescalabilityPresenting basic concepts, problems, and possible solutions, this reference serves graduate students in distributed system design as well as computer professionals analyzing and designing distributed/open/parallel systems.Chapters discuss:the scope of distributed computing systemsgeneral distributed programming languages and a CSP-like distributed control description language (DCDL)expressing parallelism, interprocess communication and synchronization, and fault-tolerant designtwo approaches describing a distributed system: the time-space view and the interleaving viewmutual exclusion and related issues, including election, bidding, and self-stabilizationprevention and detection of deadlockreliability, safety, and security as well as various methods of handling node, communication, Byzantine, and software faultsefficient interprocessor communication mechanisms as well as these mechanisms without specific constraints, such as adaptiveness, deadlock-freedom, and fault-tolerancevirtual channels and virtual networksload distribution problemssynchronization of access to shared data while supporting a high degree of concurrency