License: Creative Commons Attribution 3.0 Unported license (CC BY 3.0)
When quoting this document, please refer to the following
DOI: 10.4230/LIPIcs.SNAPL.2015.90
URN: urn:nbn:de:0030-drops-50192
URL: http://dagstuhl.sunsite.rwth-aachen.de/volltexte/2015/5019/
Go to the corresponding LIPIcs Volume Portal

Dragoi, Cezara ; Henzinger, Thomas A. ; Zufferey, Damien

The Need for Language Support for Fault-Tolerant Distributed Systems

pdf-format:
9.pdf (0.5 MB)

Abstract

Fault-tolerant distributed algorithms play an important role in many
critical/high-availability applications. These algorithms are notoriously difficult to implement correctly, due to asynchronous
communication and the occurrence of faults, such as the network
dropping messages or computers crashing. Nonetheless there is surprisingly little language and verification support to build
distributed systems based on fault-tolerant algorithms. In this
paper, we present some of the challenges that a designer has to
overcome to implement a fault-tolerant distributed system. Then we
review different models that have been proposed to reason about
distributed algorithms and sketch how such a model can form the basis
for a domain-specific programming language. Adopting a high-level
programming model can simplify the programmer's life and make the code
amenable to automated verification, while still compiling to
efficiently executable code. We conclude by summarizing the current
status of an ongoing language design and implementation project that
is based on this idea.

BibTeX - Entry

@InProceedings{dragoi_et_al:LIPIcs:2015:5019,
  author =	{Cezara Dragoi and Thomas A. Henzinger and Damien Zufferey},
  title =	{{The Need for Language Support for Fault-Tolerant Distributed Systems}},
  booktitle =	{1st Summit on Advances in Programming Languages (SNAPL 2015)},
  pages =	{90--102},
  series =	{Leibniz International Proceedings in Informatics (LIPIcs)},
  ISBN =	{978-3-939897-80-4},
  ISSN =	{1868-8969},
  year =	{2015},
  volume =	{32},
  editor =	{Thomas Ball and Rastislav Bodik and Shriram Krishnamurthi and Benjamin S. Lerner and Greg Morrisett},
  publisher =	{Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{http://drops.dagstuhl.de/opus/volltexte/2015/5019},
  URN =		{urn:nbn:de:0030-drops-50192},
  doi =		{10.4230/LIPIcs.SNAPL.2015.90},
  annote =	{Keywords: Programming language, Fault-tolerant distributed algorithms, Automated verification}
}

Keywords: Programming language, Fault-tolerant distributed algorithms, Automated verification
Collection: 1st Summit on Advances in Programming Languages (SNAPL 2015)
Issue Date: 2015
Date of publication: 30.04.2015

DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI