远端

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

此软件的关键字

这里的任何内容都将在支持canvas元素的浏览器上被替换