Distributed Systems : Concurrency and Consistency

Matthieu Perrin

ISBN 10: 1785482262 / ISBN 13: 9781785482267

Published by Elsevier Science & Technology, ISTE Press - Elsevier, 2017

About this Item

nach der Bestellung gedruckt Neuware - Printed after ordering - 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.

Seller Inventory # 9781785482267

Bibliographic Details

• Title: Distributed Systems : Concurrency and Consistency
• Publisher: Elsevier Science & Technology, ISTE Press - Elsevier
• Publication Date: 2017
• Language: English
• ISBN 10: 1785482262
• ISBN 13: 9781785482267
• Binding: Buch
• Condition: Neu
• Dimensions: 229W x 152H x 12D millimeters 229 millimeters width by 152 millimeters height by 12 millimeters depth
• Weight: 430 grams

About this title

Synopsis

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.

• 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

About the Author

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.