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
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