文件名称：测试分布式系统的线性一致性
文件大小：229KB
文件格式：PDF
更新时间：2024-03-17 05:31:55
测试分布式系统的线性一致性
最近看到一篇文章http://www.anishathalye.com/2017/06/04/testing-distributed-systems-for-linearizability/，写得非常好，在征得作者Anish同意的情况下，决定将其翻译成中文。但为了更好理解，一些地方并不会逐字翻译，也会稍作调整。正确实现一个分布式系统是非常有挑战的一件事情，因为需要很好的处理并发和失败这些问题。网络包可能被延迟，重复，乱序或者丢弃，机器可能在任何时候宕机。即使一些设计被论文证明是正确的，也仍然很难再实现中避免bug。除非我们使用形式方法[1]，不然，即使我们假设实现是正确的，我们也需要去测试系统