## Topics in Distributed AlgorithmsThis book presents a collection of recent computer algorithms & protocols used in distributed computing & distributed system implementation. Distributed computing involves the sharing of processing power, usually between a mainframe computer & several smaller outpost computers. Each algorithm is explained intuitively, proved correct, & analyzed thoroughly in order to establish what are its essential features. The algorithms cover a wide range of problems in distributed computing & include the following: a class of synchronizers to simulate lock-step operation on an asynchronous processor network; a communication protocol that tolerates & corrects message loss, duplication & resequencing; termination detection algorithms to signify when a distributed computation has finished; algorithms for election, mutual exclusion & distributed garbage collection. |

### What people are saying - Write a review

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

### Contents

Synchronization of ABD Networks | 35 |

Assertional Verification | 63 |

Distributed Infimum Approximation | 109 |

Garbage Collection | 193 |

227 | |

Bibliography | 237 |

### Common terms and phrases

actions activation messages assume atomic actions basic message begin receive begin send bidirectional cell clock color communication communication protocols computation connection construction correctness proof critical section decide deleted DIA algorithm distributed algorithms distributed computing Distributed Infimum Approximation distributed system edges Election element execution exists FIFO finite follows forall forall j e garbage collection global algorithm graph marking gray hence holds hypercube implemented implies Initially invariant lemma MARK1 marker marking phase message complexity multiset mutator network topology newp node number of messages observation point ok(i packet passive Peterson's algorithm possible problem processor program skeleton protocol skeleton prove queue reachable receipt result ring rithm round sent sequence number simulated starter synchronous rings termination detection algorithm termination detection protocol Theorem timer tion token topology total algorithm tree variables wave

### References to this book

Distributed Sensor Networks: A Multiagent Perspective Victor Lesser,Charles L. Ortiz Jr.,Milind Tambe No preview available - 2003 |

A Reactive Approach to Comprehensive Global Garbage Detection Sylvain R. Louboutin Limited preview - 1999 |