I do declare: consensus in a logic language

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

Full description

Saved in:
Bibliographic Details
Published in:Operating systems review 2010-01, Vol.43 (4), p.25-30
Main Authors: Alvaro, Peter, Condie, Tyson, Conway, Neil, Hellerstein, Joseph M., Sears, Russell
Format: Article
Language:English
Citations: Items that this one cites
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary: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.
ISSN:0163-5980
DOI:10.1145/1713254.1713261