Abstract | ||
---|---|---|
The Paxos consensus protocol can be specified concisely, but is notoriously difficult to implement in practice. We recount our experience building Paxos in Overlog, a distributed declarative programming language. We found that the Paxos algorithm is easily translated to declarative logic, in large part because the primitives used in consensus protocol specifications map directly to simple Overlog constructs such as aggregation and selection. We discuss the programming idioms that appear frequently in our implementation, and the applicability of declarative programming to related application domains. |
Year | DOI | Venue |
---|---|---|
2009 | 10.1145/1713254.1713261 | ACM SIGOPS Operating Systems Review |
Keywords | Field | DocType |
programming idiom,large part,consensus protocol specification,paxos algorithm,related application domain,paxos consensus protocol,experience building paxos,simple overlog,logic language,declarative programming language,declarative programming,col | Fifth-generation programming language,Programming language,Raft,Computer science,Fault tolerance,Logic programming,Declarative programming,Transmission protocol,Paxos | Journal |
Volume | Issue | Citations |
43 | 4 | 20 |
PageRank | References | Authors |
1.02 | 8 | 5 |
Name | Order | Citations | PageRank |
---|---|---|---|
Peter Alvaro | 1 | 463 | 28.96 |
Tyson Condie | 2 | 1162 | 64.84 |
Neil Conway | 3 | 458 | 21.46 |
Joseph M. Hellerstein | 4 | 14093 | 1651.14 |
Russell Sears | 5 | 1799 | 85.12 |