Publisher description for Protocols by invariants / Anneke A. Schoone.


Bibliographic record and links to related information available from the Library of Congress catalog


Information from electronic data provided by the publisher. May be incomplete or contain other coding.


Counter When several computers have to cooperate to achieve a certain task (i.e. distributed computing) we need 'recipes' (i.e. protocols) to tell them what to do. Unfortunately, human minds are not well suited to keeping track of what might happen given even a very simple protocol. In this book Dr Schoone shows how we can derive properties of those protocols that always hold (i.e. invariants), irrespective of what actually happens in an execution of the protocol. From these invariants the basic attributes of the protocols can be obtained. This book presents a collection of protocols used in distributed computing and distributed system implementation. Each protocol is explained intuitively, proved correct using invariants, and analysed to establish the relation between parameter settings and its essential features. The protocols belong to a wide range of layers in the ISO reference model hierarchy, and include the following: a class of communication protocols that tolerate and correct message loss, duplication, and resequencing; protocols for determining and maintaining routing information, both in a static and a dynamic environment; connection-management protocols; and atomic commitment protocols for use in distributed database management. The application areas of the protocols described in this book include data communication, routing, and database management, making it valuable for professional engineers and computer scientists working with parallel and distributed computer systems. It can also be used to accompany courses on the design and verification of distributed algorithms and protocols.

Library of Congress subject headings for this publication: Parallel processing (Electronic computers) Electronic data processing Distributed processing, Computer network protocols