I do declare: consensus in a logic language
I do declare: consensus in a logic language
复制标题
我确实声明：用逻辑语言达成共识
DOI：
--
复制
发表时间：
2010
期刊：
影响因子：
--
通讯作者：
Russell Sears
中科院分区：
文献类型：
--
作者：
P. Alvaro;Tyson Condie;Neil Conway;J. Hellerstein;Russell Sears
Paxos共识协议可以简洁地表述，但在实践中却出了名地难以实现。我们讲述了在Overlog（一种分布式声明式编程语言）中构建Paxos的经验。我们发现Paxos算法很容易转换为声明式逻辑，这在很大程度上是因为共识协议规范中使用的原语直接映射到简单的Overlog结构，比如聚合和选择。我们讨论了在我们的实现中频繁出现的编程习惯用法，以及声明式编程在相关应用领域的适用性。
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.