## Networks and Distributed Computation: Concepts, Tools, and AlgorithmsNetworks and Distributed Computation covers the recent rapid developments in distributed systems. It introduces the basic tools for the design and analysis of systems involving large-scale concurrency, with examples based on network systems; considers problems of network and global state learning; discusses protocols allowing synchronization constraints to be distributed; and analyzes the fundamental elements of distribution in detail, using a large number of algorithms.Interprocess communication and synchronization are central issues in the design of distributed systems, taking on a different character from their counterparts in centralized systems. Raynal addresses these issues in detail and develops a coherent framework for presenting and analyzing a wide variety of algorithms relevant to distributed computation. Contents:First example - a data transfer protocol. Second example - independent control of logic clocks. Simple algorithms and protocols. Determination of the global state. Distributing a global synchronization constraint. Elements and algorithms for a toolbox. Michel Raynal is Professor of Computer Science at the Institute for Research in Informatics and Random Systems at the University of Rennes, France. He is author of Algorithms for Mutual Exclusion (MIT Press 1986). Networks and Distributed Computation is included in the Computer Systems series edited by Herb Schwetman. |

### What people are saying - Write a review

We haven't found any reviews in the usual places.

### Contents

Introductory examples | 1 |

mutual control of logical clocks | 31 |

Two fundamental elements elementary algorithms | 47 |

Copyright | |

5 other sections not shown

### Other editions - View all

### Common terms and phrases

acknowledgement allocation allows array assumption behaviour breakdowns broadcast buffer Byzantine Generals problem calculation cesses Chapter clock value complete graph computer networks Consider consume control algorithm control message corresponding counters cterm(consume ctermcons defined delay depth-first traversal desequencing distance distributed algorithm Distributed Computation distributed system duplication end if end ensure example finite given global clock global constraint global synchronization constraints global variables iden identifier identities IEEE Trans implementation increase init(p init(produce initialized input channels integer introduced isarithmic knowledge knows Lamport logical clocks marker maximum maxn messages transmitted modification multiset mutual exclusion neighbours number of messages obtained possible principle priori problem procedure process Pi produce protocol Px end Raynal receives a message reception request resource retransmission ring routes scan message Section sequence numbers startcons startprod structure termination token Toplas topology total ordering transmission tree updating variables VERJUS