远程：实现容错分布式算法的框架

我们引入了Distal，这是一个新的框架，可以简化将容错分布式算法的伪代码转换为高效的可执行代码。如果没有适当的工具支持，即使是少量的伪代码通常也会出现在数千行非平凡的Java或C++代码中。Distal在Scala中实现为一个库，它由两个主要部分组成：一个是表示算法的领域特定语言（DSL），另一个是处理低级问题（如连接管理、线程和（反）序列化）的高效消息传递层。DSL的设计使得分布式算法的实现与研究论文中发现的伪代码非常相似。通过编写接近协议描述的代码，可以更加确信所实现的系统确实反映了书面的协议规范。Distal不仅使实现分布式算法变得简单直观，而且还带来了高效的实现。