论分布式编程模型的设计
分布式、并行与集群计算
2017-02-02 v2
摘要
编程大规模分布式应用需要新的抽象和模型才能做好。我们证明了这些模型是可能的。基于FLP结果和CAP定理，我们表明由于故障和网络分区问题，并发编程模型在构建大规模分布式系统中是必要的但不充分的：语言需要能够捕获并编码一致性与可用性之间的权衡。我们提出两种编程模型，Lasp和Austere，每一种都针对CAP定理做出了强权衡。这两种模型勾勒出分布式模型设计的边界：严格AP或严格CP。我们认为所有可能的分布式编程模型必须来自这一设计空间，并提出了一种允许声明式指定一致性权衡的实用设计，称为Spry。
引用
@article{arxiv.1701.07615,
title = {On the Design of Distributed Programming Models},
author = {Christopher S. Meiklejohn},
journal= {arXiv preprint arXiv:1701.07615},
year = {2017}
}