Distributed Systems - 1st Edition - ISBN: 9781785482267, 9780081023174

Distributed Systems

1st Edition

Concurrency and Consistency

Authors: Matthieu Perrin
eBook ISBN: 9780081023174
Hardcover ISBN: 9781785482267
Imprint: ISTE Press - Elsevier
Published Date: 21st March 2017
Page Count: 188
Sales tax will be calculated at check-out Price includes VAT/GST
25% off
25% off
25% off
25% off
25% off
20% off
20% off
25% off
25% off
25% off
25% off
25% off
20% off
20% off
25% off
25% off
25% off
25% off
25% off
20% off
20% off
71.95
53.96
53.96
53.96
53.96
53.96
57.56
57.56
60.99
45.74
45.74
45.74
45.74
45.74
48.79
48.79
100.00
75.00
75.00
75.00
75.00
75.00
80.00
80.00
Unavailable
Price includes VAT/GST
× DRM-Free

Easy - Download and start reading immediately. There’s no activation process to access eBooks; all eBooks are fully searchable, and enabled for copying, pasting, and printing.

Flexible - Read on multiple operating systems and devices. Easily read eBooks on smart phones, computers, or any eBook readers, including Kindle.

Open - Buy once, receive and download all available eBook formats, including PDF, EPUB, and Mobi (for Kindle).

Institutional Access

Secure Checkout

Personal information is secured with SSL technology.

Free Shipping

Free global shipping
No minimum order.

Description

Distributed Systems: Concurrency and Consistency explores the gray area of distributed systems and draws a map of weak consistency criteria, identifying several families and demonstrating how these may be implemented into a programming language. Unlike their sequential counterparts, distributed systems are much more difficult to design, and are therefore prone to problems. On a large scale, usability reminiscent of sequential consistency, which would provide the same global view to all users, is very expensive or impossible to achieve. This book investigates the best ways to specify the objects that are still possible to implement in these systems.

Key Features

  • Explores the gray area of distributed systems and draws a map of weak consistency criteria
  • Investigates the best ways to specify the objects that are still possible to implement in these systems
  • Presents a description of existing memory models and consistency criteria

Readership

Designers of distributed applications should read this book. Researchers in distributed systems are also a natural target for this book, as it opens a lot of perspectives that can result in very interesting scientific problems in this field

Table of Contents

Introduction

  • I.1 Preamble
  • I.2 Distributed systems and concurrency
  • I.3 Wait-free distributed systems
  • I.4 Shared objects
  • I.5 Shared object specification
  • I.6 Organization

List of Notations

1: Specification of Shared Objects

  • Abstract
  • 1.1 Introduction
  • 1.2 Sequential specifications
  • 1.3 Concurrent histories
  • 1.4 Consistency criteria
  • 1.5 Conclusion

2: Overview of Existing Models

  • Abstract
  • 2.1 Introduction
  • 2.2 Strong consistency
  • 2.3 Transactional systems
  • 2.4 Eventual consistency
  • 2.5 Shared memory
  • 2.6 Conclusion

3: Update Consistency

  • Abstract
  • 3.1 Preamble
  • 3.2 Introduction
  • 3.3 Consistency criteria
  • 3.4 Generic implementations
  • 3.5 Conclusion

4: Causal Consistency

  • Abstract
  • 4.1 Preamble
  • 4.2 Introduction
  • 4.3 Causality as a consistency criterion
  • 4.4 Causal consistency
  • 4.5 Specific behaviors
  • 4.6 Conclusion

5: Weak Consistency Space

  • Abstract
  • 5.1 Introduction
  • 5.2 Weak criteria
  • 5.3 The structure of the weak criteria space
  • 5.4 Hierarchy of abstract data types
  • 5.5 Which criterion should be used?
  • 5.6 Conclusion

6: CODS Library

  • Abstract
  • 6.1 Introduction
  • 6.2 Overview
  • 6.3 Defining new criteria
  • 6.4 Conclusion

Details

No. of pages:
188
Language:
English
Copyright:
© ISTE Press - Elsevier 2017
Published:
Imprint:
ISTE Press - Elsevier
eBook ISBN:
9780081023174
Hardcover ISBN:
9781785482267

About the Author

Matthieu Perrin

Matthieu Perrin is a researcher whose interests are primarily focused on distributed systems modeling. This book is based on work carried out for his PhD thesis at the University of Nantes in France.

Affiliations and Expertise

PostDoc at Technion, Haifa, Israel

Ratings and Reviews