Tagged: Linearizability

我们在前面《分布式系统中的Linearizability一致性的概念介绍》介绍了Linearizability的基本概念，本文就来详细介绍一下我们如何来实现Linearizability。 我们再来简单回忆一下Linearizability的介绍，他其实就是说所有的replica都像只有一个一样，那么我们是否有个暴力解，就是真的只有一个拷贝，没有replica，这样不就是Linearizable的了？你是对的，哈哈，不过这个显然不是我们想要的答案，毕竟这样一来，如果这个节点出了任何问题，你整个读写就都不能继续了。 那么我们先来看看各种分布式的模型，看看他们能不能Linearizability： 单leader的replication 在单leader的系统中，假如读都是从leader来的话，或者你使用同步更新replica，那是有可能实现Linearizability的，但是注意也只是有可能，毕竟有可能leader出问题，比如leader自己还认为自己是leader，但事实上已经不是了，这种情况就有可能不是linearizability了。...

分布式系统中一致性一直是一个大家热衷讨论的话题，这里的一致性是指假如你同时到两个节点读取数据，你很可能看到的是不同的数据。毕竟发生在一个节点上的写操作同步到另外一个节点总是需要时间的。 我们最常见的说法就是“最终一致性”，也就是说假如没有写操作，所有的节点在一段时间之后就会一致了。目前大多数的数据库都是支持这种一致性的，但是这个一致性非常弱。你仔细想想它其实什么都没有保证，比如你写了一个数，你再去读，读到什么值根本就没有任何保证，只是说你最终能读到一致的值，这个最终是多长时间之后谁也不知道。所以说这样的“最终一致性”其实给应用开发带来了很多困难，也有可能导致很多Bug。 那么有没有什么更强的一致性保证呢?答案是当然有，但是需要注意的是一致性越强，它的性能或者错误容忍度就会越差，毕竟十全十美总是很难。本文就来介绍一种强一致性技术：Linearizability。 概述 我们上面提到在一个“最终一致性”的系统中，你同时访问不同的数据replica，得到的值可能是不同的。那么能否有一种机制保证我们任何时候访问同一个数据replica得到的值一直都是相同的呢？这种保证的就是Linearizability背后的思想：任何时候整个系统就像只有一个拷贝一样，不管你访问哪一个replica，得到的结果都是一样的。...