重访SNOW：理解理想READ事务何时可能
分布式、并行与集群计算
2021-05-25 v2
摘要
读取分布在多个服务器上的数据的READ事务主导了现实世界分布式存储系统的工作负载。SNOW定理指出，在需要三个或更多客户端（至少两个读取者和一个写入者）的一种特定设置中，具有最优延迟和最强保证（即“SNOW”READ事务）的理想READ事务是不可能的。然而，它留下了许多开放问题。我们用新的不可能性结果和新算法解决了所有这些开放问题。首先，我们严格证明了SNOW定理论文中的结果，即在三个或更多客户端下不可能存在满足SNOW属性的READ事务系统。我们从该证明中获得的洞见厘清了陈述结果所需的隐含假设，并解决了关于两个客户端下SNOW可能性的开放问题。我们展示了可以设计一种算法，在客户端可向其他客户端发送消息的多写入者单读取者（MWSR）设置中实现SNOW；另一方面，我们证明在不允许客户端间通信的、比双客户端设置更一般的多写入者单读取者（MWSR）设置中，实现SNOW是不可能的。我们还纠正了SNOW定理论文中先前的错误断言，该断言错误地将已有系统Eiger认定为支持最强保证（SW）且其只读事务具有有界延迟。因此，此前没有任何算法能提供最强保证并具有有界延迟。最后，我们提出了前两种提供最强保证且具有有界延迟的算法。
引用
@article{arxiv.1811.10577,
title = {SNOW Revisited: Understanding When Ideal READ Transactions Are Possible},
author = {Kishori M Konwar and Wyatt Lloyd and Haonan Lu and Nancy Lynch},
journal= {arXiv preprint arXiv:1811.10577},
year = {2021}
}