The Need for Language Support for Fault-tolerant Distributed Systems

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 asyn-chronous 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.
Type de document :
Communication dans un congrès
Leibniz International Proceedings in Informatics (LIPIcs) , May 2015, Dagstuhl, Germany. Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, 32, pp.90-102, 〈10.4230/LIPIcs.SNAPL.2015.90 〉
Liste complète des métadonnées

https://hal.inria.fr/hal-01251194
Contributeur : Cezara Dragoi <>
Soumis le : mardi 5 janvier 2016 - 17:37:38
Dernière modification le : vendredi 25 mai 2018 - 12:02:07
Document(s) archivé(s) le : jeudi 7 avril 2016 - 15:40:26

Fichier

dragoi.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Collections

Citation

Cezara Drăgoi, Thomas Henzinger, Damien Zufferey. The Need for Language Support for Fault-tolerant Distributed Systems. Leibniz International Proceedings in Informatics (LIPIcs) , May 2015, Dagstuhl, Germany. Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, 32, pp.90-102, 〈10.4230/LIPIcs.SNAPL.2015.90 〉. 〈hal-01251194〉

Partager

Métriques

Consultations de la notice

154

Téléchargements de fichiers

68