- chenchukun2020-08-13从状态和操作两个视角看待副本的一致性这点讲的很透彻，之前都没有考虑过这点。 从状态视角看，是不是只有全同步这种方式实现了强一致性，即使像paxos、raft这些实现了操作上线性一致性的算法，从状态视角看也不是强一致的。 然而全同步降低了系统的可用性，paxos、raft不保证所有节点状态的一致，而是通过额外的算法来保证操作视角的一致性，同时提高了系统的可用性。
作者回复: 你好，你的理解非常准确，点赞
69 
峰2020-08-12感觉很长一段时间都被翻译给耽误了，ACID的C是一致性，强调的是数据的状态变迁的特性，CAP里的C共识，强调的是多副本条件下，多个节点怎么就数据的变动，达成共识，统一修改。 而paxos，raft是在牺牲一定A的条件下（多数节点存活才ok），实现C的一种多节点的通信协议，Paxos貌似不需要主节点这个角色去统一时序，Raft，zab需要主节点，它们都是实现线性一致性的方式。作者回复: 你好，其实CAP的C也是Consistency，是多副本、单操作的数据一致性；而ACID里的C是指单副本、多操作的事务一致性。Paxos这类共识算法，可以看作是复制协议的一种，虽然有时也叫做一致性协议，但这个一致性是指Consensus。Consensus是实现数据一致性目标下的具体技术，但并不是唯一的选择。采用主从复制也可以达到同样效果，比如04讲会提到的PGXC风格的分布式数据库就是采用主从复制的方式。
共 5 条评论46
微思2020-09-07CAP的C是多副本、单操作的数据一致性；而ACID的C是单副本、多操作的事物一致性；作者回复: 正确������
26
孟磊2020-08-17和那些偏理论的课程不同，能感觉到作者对于分布式数据库的理解非常深刻，且结合了实际的金融业务，有点追剧的感觉了。 能不能拿出OceanBase goldendb这类领头羊产品给大家讲讲选型要注意的？作者回复: 你好，孟磊，谢谢你的鼓励。我在构思这个专栏的时候，就订下一个目标，就是把学术的东西和目前工业界的实践联系起来，再落到具体的工作中，比如技术选型。所以，能得到你的肯定，我很高兴。当然，对产品的关注是必不可少的，从04开始的每一讲我都会对领头羊产品做局部设计上的拆解，并且比对不同方案的优劣，不过这个领头羊并不固定，因为我想向你介绍最有特点的设计。希望你能喜欢这种组织方式，后面的课程中，期待还能收到你的反馈，我们结合问题一起讨论。
18
南国2020-08-15老师，其实我还是没太懂前缀一致性和因果一致性的区别，前缀一致性是某些关系可比，并发的不可比，不也是一个偏序关系嘛？我还一直觉得这两个是一回事呢。作者回复: 你好，简单的说，因果一致性是靠逻辑时钟确定偏序关系，不需要应用介入；而前缀一致性靠事件之间显式声明的依赖关系，可以在应用层处理
18
tt2020-08-13我觉得数据一致性是从数据的用户视角出发对数据属性的描述，而paxos协议是达成共识的过程的一种实现方式，是从数据的生产者或者维护者角度出发的作者回复: 说的很好
12
扩散性百万咸面包2020-08-12强一致性和弱一致性的定义感觉还是不够准确。 1. MySQL这个例子是全同步复制，实际上Raft也是强一致性算法，但它在应答客户端的请求成功后并不保证多副本之间暂时的数据一致性，有可能数据存在不同。只不过在收到读请求的时候会转发给Master，保证强一致性。 2. 弱一致性是说有可能不同用户看到的state不一样，而不仅仅是副本之间数据不一致。可能A先比B发起请求，但是是B的修改却被A覆盖了 如果按作者的作者回复: 你好，关于第一点，我再补充一下。 Raft是多数派协议，从写入成功那一刻的数据状态来说，肯定不是一致的。不过，通过操作方面的封装，约定由主副本对外提供服务，所以不会体现出副本间的差异。一致性模型，除了副本的状态，还要看读写操作。最终一致性的定义，其实只是描述了副本的状态而已。我认为，一致性模型，主要还是从读写操作的效果来分析，也数据副本的一致性有关但不是强依赖。比如，如果不使用Raft，用半同步，也可以做到线性一致性。 第二点，我没有完全理解，咱们可以继续探讨
共 3 条评论6
李鑫磊2020-08-18线性一致性和状态一致性（ACID 中的 C），到底有啥不一样？我理解的线性一致性是最终一致性里面最强的一致性模型。线性一致性和状态一致性的区别在于：读的那一瞬间，数据在多个副本之间是不是一样的；一样的就是状态一致性。线性一致性，我的理解：可以在多个数据副本之上抽象出一条逻辑上的时间轴，数据按提交到系统时的时间，从左到右依次排开；数据刚排在时间轴上时是灰色的，只有数据在多个副本之间同步完成，数据在时间轴上的点才回被“点亮”；读的时候，只能读到这样的数据：其在时间轴上已经被“点亮”了，且其左边的所有数据都已被“点亮”了。Ivan，你说是不是这样滴？作者回复: 你好，李鑫磊，你把多数据副本的同步过程说的很形象。不过ACID里的C是说事务一致性，和数据一致性还是不同的，03讲有具体的介绍，我推荐你读一下。数据一致性中还有一点很重要，就是操作之间的先后次序判断，这也是为什么我们说，线性一致性必须要有全局时钟支持。也许02中的表述还不够直观，我建议关注一下第12讲，说不定会有收获
4- 扩散性百万咸面包2020-08-12Paxos本质上是共识算法，主要是用来维护数据库副本的一致性/权威性。而今天讲的一致性是从用户角度来谈，而不局限于是数据副本。 同时，今天讲的一致性也需要共识算法Paxos，Raft来保证。比如选举，如何才能选出正确的Leader等等。
作者回复: 高级别的一致性模型，可以基于Raft算法复制，但使用主从复制也是可以的😊
4 
花儿少年2021-01-04paxos 是共识算法，是协调达成一致的过程，对某个状态达成一致的过程 数据一致性是指对经过一系列的操作，数据外呈现的状态是一致的 老师把数据一致性分解的更细了，这块在《设计数据密集型应用》里面也有细致讲到作者回复: 嗯，DDIA非常值得大家去读一读
3