Name
Abstract | ||
|---|---|---|
We introduce Distal, 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 non-trivial lines of Java or C++. Distal 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 the protocol description, one can be more convinced that the implemented system really reflects the protocol specification on paper. Distal does not only make it simple and intuitive to implement distributed algorithms but it also leads to efficient implementations. |
Year | DOI | Venue |
|---|---|---|
2013 | 10.1109/DSN.2013.6575306 | Dependable Systems and Networks |
Keywords | Field | DocType |
C++ language,Java,distributed algorithms,protocols,software fault tolerance,software libraries,C++,DSL,Distal,Java,Scala,domain specific language,executable code,fault tolerant distributed algorithms,protocol description,protocol specification,pseudocode turning,DSL,Paxos,SMR,fault-tolerant distributed algorithms | Domain-specific language,Serialization,Programming language,Scala,State machine replication,Computer science,Software fault tolerance,Real-time computing,Distributed algorithm,Pseudocode,Executable,Distributed computing | Conference |
ISSN | ISBN | Citations |
1530-0889 | 978-1-4673-6471-3 | 4 |
PageRank | References | Authors |
0.43 | 13 | 4 |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Martin Biely | 1 | 98 | 9.12 |
| Pamela Delgado | 2 | 4 | 0.43 |
| Zarko Milosevic | 3 | 56 | 10.35 |
| André Schiper | 4 | 514 | 35.63 |