
Principles of Eventual Consistency
Sebastian Burckhardt(Author)
now publishers Inc
1st Edition
Published on 9. October 2014
Book
Paperback/Softback
172 pages
978-1-60198-858-4 (ISBN)
Description
In globally distributed systems, shared state is never perfect. When communication is neither fast nor reliable, it is not possible to achieve strong consistency, low latency, and availability at the same time. Unfortunately, abandoning strong consistency has wide ramifications. Eventual consistency, though attractive from a performance viewpoint, is challenging to understand and reason about for both system architects and programmers. To provide robust abstractions, we need not just systems but also principles; we need the ability to articulate what a consistency protocol is supposed to guarantee, and the ability to prove or refute such claims. Principles of Eventual Consistency carefully examines both the what and the how of consistency in distributed systems. It provides the reader with tools for reasoning about consistency of protocols. The emphasis is on using basic mathematical techniques, such as sets, relations, and first order logic, to describe a wide variety of consistency guarantees, and to define protocols with a level of precision that enables us to prove both positive results - correctness of protocols - and negative results - refute implementability.
More details
Series
Language
English
Place of publication
Hanover
United States
Target group
College/higher education
Dimensions
Height: 234 mm
Width: 156 mm
Thickness: 9 mm
Weight
251 gr
ISBN-13
978-1-60198-858-4 (9781601988584)
DOI
10.1561/2500000011
Copyright in bibliographic data and cover images is held by Nielsen Book Services Limited or by the publishers or by their respective licensors: all rights reserved.
Schweitzer Classification
Content
1: Introduction 2: Preliminaries 3: Consistency Specifications 4: Replicated Data Types 5: Consistency 6: Implementations 7: Concrete Executions 8: Protocols 9: Implementability 10: Correctness 11: Related Work 12: Conclusion. Acknowledgements. Appendices. References