Repository logo

Infoscience

  • English
  • French
Log In
Logo EPFL, École polytechnique fédérale de Lausanne

Infoscience

  • English
  • French
Log In
  1. Home
  2. Academic and Research Output
  3. Conferences, Workshops, Symposiums, and Seminars
  4. Distal: A Framework for Implementing Fault-tolerant Distributed Algorithms
 
conference paper not in proceedings

Distal: A Framework for Implementing Fault-tolerant Distributed Algorithms

Biely, Martin  
•
Delgado, Pamela
•
Milosevic, Zarko  
Show more
2013
43rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN)

We introduce Disal, a new framework that simplifies turning pseudocode of fault tolerant distributed algorithms into efficient executable code. Without proper tool support, even small amounts of pseudocode normally ends up in several thousands of lines of non-trivial Java or C++ code. Disal is implemented as a library in Scala and consists of two main parts: a domain specific language (DSL) in which algorithms are expressed and an efficient messaging layer that deals with low level issues such as connection management, threading and (de)serialization. The DSL is designed such that implementations of distributed algorithms highly resemble the pseudocode found in research papers. By writing code that is close to protocol description, one can be more convinced that the implemented system really reflects the protocol specification on paper. Disal does not only make it simple and intuitive to implement distributed algorithms but it also leads to efficient implementations.

  • Details
  • Metrics
Type
conference paper not in proceedings
DOI
10.1109/DSN.2013.6575306
Author(s)
Biely, Martin  
Delgado, Pamela
Milosevic, Zarko  
Schiper, André  
Date Issued

2013

Subjects

DSL

•

fault-tolerant distributed algorithms

•

Paxos

•

state machine replication

Editorial or Peer reviewed

NON-REVIEWED

Written at

EPFL

EPFL units
LABOS  
LSR-IC  
Event nameEvent placeEvent date
43rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN)

Budapest, Hungary

June 24-27, 2013

Available on Infoscience
March 11, 2013
Use this identifier to reference this record
https://infoscience.epfl.ch/handle/20.500.14299/90207
Logo EPFL, École polytechnique fédérale de Lausanne
  • Contact
  • infoscience@epfl.ch

  • Follow us on Facebook
  • Follow us on Instagram
  • Follow us on LinkedIn
  • Follow us on X
  • Follow us on Youtube
AccessibilityLegal noticePrivacy policyCookie settingsEnd User AgreementGet helpFeedback

Infoscience is a service managed and provided by the Library and IT Services of EPFL. © EPFL, tous droits réservés