General

Authors

Search


Committee login



 
 

 


 

 

Forthcoming

Small thumbnail

Dynamics of Large Structures and Inverse Problems

Mathematical and Mechanical Engineering Set Volume 5

Small thumbnail

Civil Engineering Structures According to the Eurocodes

Small thumbnail

Swelling Concrete in Dams and Hydraulic Structures

DSC 2017

Small thumbnail

Earthquake Occurrence

Short- and Long-term Models and their Validation

Small thumbnail

The Chemostat

Mathematical Theory of Microorganims Cultures

Small thumbnail

From Prognostics and Health Systems Management to Predictive Maintenance 2

Knowledge, Traceability and Decision

Small thumbnail

First Hitting Time Regression Models

Lifetime Data Analysis Based on Underlying Stochastic Processes

Small thumbnail

The Innovative Company

An Ill-defined Object

Small thumbnail

Reading and Writing Knowledge in Scientific Communities

Digital Humanities and Knowledge Construction

Small thumbnail

Going Past Limits To Growth

A Report to the Club of Rome EU-Chapter

Small thumbnail

Distributed Systems

Concurrency and Consistency

Matthieu Perrin, University of Nantes, France.

ISBN: 9781785482267

Publication Date: March 2017   Hardback   188 pp.

100 USD


Add to cart

eBooks


Ebook

Description

Modern society is increasingly governed by technology with more than 3 billion internet users in 2015. 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 proves impossible to achieve. This book investigates the best ways to specify the objects that are still possible to implement in these systems.
This research 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.

Contents

1. Specification of Shared Objects.
2. Overview of Existing Models.
3. Update Consistency.
4. Causal Consistency.
5. Weak Consistency Space.
6. CODS Library.

About the Authors

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.

Downloads

DownloadTable of Contents - PDF File - 63 Kb

































0.03971 s.