License
When quoting this document, please refer to the following
DOI: 10.4230/LIPIcs.ECOOP.2015.568
URN: urn:nbn:de:0030-drops-52385
URL: http://drops.dagstuhl.de/opus/volltexte/2015/5238/
Go to the corresponding LIPIcs Volume Portal


Burckhardt, Sebastian ; Leijen, Daan ; Protzenko, Jonathan ; Fähndrich, Manuel

Global Sequence Protocol: A Robust Abstraction for Replicated Shared State

pdf-format:
28.pdf (0.4 MB)


Abstract

In the age of cloud-connected mobile devices, users want responsive apps that read and write shared data everywhere, at all times, even if network connections are slow or unavailable. The solution is to replicate data and propagate updates asynchronously. Unfortunately, such mechanisms are notoriously difficult to understand, explain, and implement. To address these challenges, we present GSP (global sequence protocol), an operational model for replicated shared data. GSP is simple and abstract enough to serve as a mental reference model, and offers fine control over the asynchronous update propagation (update transactions, strong synchronization). It abstracts the data model and thus applies both to simple key-value stores, and complex structured data. We then show how to implement GSP robustly on a client-server architecture (masking silent client crashes, server crash-recovery failures, and arbitrary network failures) and efficiently (transmitting and storing minimal information by reducing update sequences).

BibTeX - Entry

@InProceedings{burckhardt_et_al:LIPIcs:2015:5238,
  author =	{Sebastian Burckhardt and Daan Leijen and Jonathan Protzenko and Manuel F{\"a}hndrich},
  title =	{{Global Sequence Protocol: A Robust Abstraction for Replicated Shared State}},
  booktitle =	{29th European Conference on Object-Oriented Programming (ECOOP 2015)},
  pages =	{568--590},
  series =	{Leibniz International Proceedings in Informatics (LIPIcs)},
  ISBN =	{978-3-939897-86-6},
  ISSN =	{1868-8969},
  year =	{2015},
  volume =	{37},
  editor =	{John Tang Boyland},
  publisher =	{Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{http://drops.dagstuhl.de/opus/volltexte/2015/5238},
  URN =		{urn:nbn:de:0030-drops-52385},
  doi =		{10.4230/LIPIcs.ECOOP.2015.568},
  annote =	{Keywords: distributed computing, eventual consistency, GSP protocol}
}

Keywords: distributed computing, eventual consistency, GSP protocol
Seminar: 29th European Conference on Object-Oriented Programming (ECOOP 2015)
Issue Date: 2015
Date of publication: 26.06.2015


DROPS-Home | Fulltext Search | Imprint Published by LZI