DDIA 第五章:数据复制

2024-01-07 17:19:24

本文是《数据密集型应用系统设计》(DDIA)的读书笔记,一共十二章,我已经全部阅读并且整理完毕。
采用一问一答的形式,并且用列表形式整理了原文。 笔记的内容大概是原文的 1/5 ~
1/3,所以你如果没有很多时间看书的话,看我的笔记也就够了!

image.png
复制的目的:

  • 使得数据与用户在地理上接近(从而减少延迟)
  • 即使系统的一部分出现故障,系统也能继续工作(从而提高可用性)
  • 伸缩可以接受读请求的机器数量(从而提高读取吞吐量)

如果复制的数据不会随时间而改变,那复制就很简单:复制一次即可。
复制的难点在于复制数据的变更。
三种流行的变更复制算法:

  • 单领导者
  • 多领导者
  • 无领导者

复制时的权衡:使用同步复制还是异步复制?如何处理失败的副本?

领导者与追随者

  • 存储数据库副本的每个节点称为 副本(replica)。
  • 多副本的问题:如何确保数据都落在了所有的副本上。
    • 每次对数据库的写入都要传播到所有副本上,否则副本就会有不一样的数据。
    • 常见的解决方案:基于领导者的复制(主从复制)。

主从复制工作原理:

  1. 副本之一被指定为领导者(leader,也被称作主库)
    1. 客户端写数据时,要把请求发送给领导者;
    2. 领导者把新输入写入本地存储。
  2. 其他副本被称为追随者(followers,也被称作只读副本、从库、热备)
    1. 每当领导者将新数据写入本地存储时,他会把数据变更发送给所有的追随者,称之为复制日志或变更刘。
    2. 每个追随者从领导者拉取日志,并相应更新其本地数据库副本,方法是按照领导者处理的相同顺序应用所有写入。
  3. 当客户想要从数据库中读取数据时,它可以向领导者或追随者查询。 但只有领导者才能接受写操作(从客户端的角度来看从库都是只读的)。

image.png

同步复制与异步复制

复制系统的一个重要细节是:复制是 同步(synchronously) 发生还是 异步(asynchronously) 发生。
以用户更新头像为例:
image.png

  • 从库 1 的复制是同步的
  • 从库 2 的复制是异步的

同步复制:

  • 优点:从库保证和主库一直的最新数据副本
  • 缺点:如果从库没有响应(如已崩溃、网络故障),主库就无法处理写入操作。主库必须阻止所有的写入,等待副本再次可用。

半同步:通常使用一个从库与主库是同步的,而其他从库是异步的。这保证了至少两个节点拥有最新的数据副本。

通常情况下,基于领导者的复制都配置为完全异步。注意,主库故障可能导致丢失数据。

设置新从库

有时会增加一个新的从库。
过程:

  1. 在某个时刻获取主库的一致性快照(如果可能),而不必锁定整个数据库。大多数数据库都具有这个功能,因为它是备份必需的。对于某些场景,可能需要第三方工具,例如MySQL的innobackupex 。
  2. 将快照复制到新的从库节点。
  3. 从库连接到主库,并拉取快照之后发生的所有数据变更。这要求快照与主库复制日志中的位置精确关联。该位置有不同的名称:例如,PostgreSQL将其称为 日志序列号(log sequence number, LSN),MySQL将其称为 二进制日志坐标(binlog coordinates)
  4. 当从库处理完快照之后积压的数据变更,我们说它 赶上(caught up) 了主库。现在它可以继续处理主库产生的数据变化了。

处理节点宕机

我们的目标:即使个别节点失效,也要能保持整个系统运行,并尽可能控制节点停机带来的影响。

从库失效:追赶恢复
  • 从库可以从日志知道,在发生故障前处理的最后一个事务。
  • 所以从库可以连接到主库,并拉取断开连接后的所有数据变更。
  • 应用完成所有变更之后,它就赶上了主库,继续接收数据变更流。
主库失效:故障切换
  • 故障切换:需要把一个从库提升为新的主库,重新配置客户端,其他从库需要开始拉取来自新主库的变更。
  • 故障切换可以手动或者自动进行。

自动故障切换:

  1. 确认主库失效。有很多事情可能会出错:崩溃,停电,网络问题等等。没有万无一失的方法来检测出现了什么问题,所以大多数系统只是简单使用 超时(Timeout) :节点频繁地相互来回传递消息,并且如果一个节点在一段时间内(例如30秒)没有响应,就认为它挂了(因为计划内维护而故意关闭主库不算)。
  2. 选择一个新的主库。这可以通过选举过程(主库由剩余副本以多数选举产生)来完成,或者可以由之前选定的控制器节点(controller node) 来指定新的主库。主库的最佳人选通常是拥有旧主库最新数据副本的从库(最小化数据损失)。让所有的节点同意一个新的领导者,是一个共识问题,将在第九章详细讨论。
  3. 重新配置系统以启用新的主库。客户端现在需要将它们的写请求发送给新主库(将在“请求路由”中讨论这个问题)。如果老领导回来,可能仍然认为自己是主库,没有意识到其他副本已经让它下台了。系统需要确保老领导认可新领导,成为一个从库。

故障切换会出现很多大麻烦:

  • 如果使用异步复制,则新主库可能没有收到老主库宕机前最后的写入操作。在选出新主库后,如果老主库重新加入集群,新主库在此期间可能会收到冲突的写入,那这些写入该如何处理?最常见的解决方案是简单丢弃老主库未复制的写入,这很可能打破客户对于数据持久性的期望。
  • 如果数据库需要和其他外部存储相协调,那么丢弃写入内容是极其危险的操作。例如在GitHub 【13】的一场事故中,一个过时的MySQL从库被提升为主库。数据库使用自增ID作为主键,因为新主库的计数器落后于老主库的计数器,所以新主库重新分配了一些已经被老主库分配掉的ID作为主键。这些主键也在Redis中使用,主键重用使得MySQL和Redis中数据产生不一致,最后导致一些私有数据泄漏到错误的用户手中。
  • 发生某些故障时(见第八章可能会出现两个节点都以为自己是主库的情况。这种情况称为 脑裂(split brain),非常危险:如果两个主库都可以接受写操作,却没有冲突解决机制(请参阅“多主复制”),那么数据就可能丢失或损坏。一些系统采取了安全防范措施:当检测到两个主库节点同时存在时会关闭其中一个节点[1],但设计粗糙的机制可能最后会导致两个节点都被关闭【14】。
  • **主库被宣告死亡之前的正确超时应该怎么配置?**在主库失效的情况下,超时时间越长,意味着恢复时间也越长。但是如果超时设置太短,又可能会出现不必要的故障切换。例如,临时负载峰值可能导致节点的响应时间超时,或网络故障可能导致数据包延迟。如果系统已经处于高负载或网络问题的困扰之中,那么不必要的故障切换可能会让情况变得更糟糕。

复制日志的实现

基于主库的复制,底层工作有几种不同的复制方式。

基于语句的复制

在最简单的情况下,主库记录下它执行的每个写入请求(语句(statement))并将该语句日志发送给其从库。
问题:

  • 任何调用 非确定性函数(nondeterministic) 的语句,可能会在每个副本上生成不同的值。比如 NOW(), RAND()。
  • 如果语句使用了自增列(auto increment),或者依赖于数据库中的现有数据(例如,UPDATE … WHERE <某些条件>),则必须在每个副本上按照完全相同的顺序执行它们,否则可能会产生不同的效果。影响并发。
  • 有副作用的语句(例如,触发器,存储过程,用户定义的函数)可能会在每个副本上产生不同的副作用,除非副作用是绝对确定的。
传输预写式日志(WAL)

第三章告诉我们,写操作通常追加到日志中:

  • 对于日志结构存储引擎(SSTables 和 LSM 树),日志是主要存储位置。日志段在后台压缩,并进行垃圾回收。
  • 覆盖单个磁盘块的 B 树,每次修改会先写入预写式日志(Write Ahead Log, WAL),以便崩溃后索引可以恢复到一个一致的状态。

所以,日志都是包含所有数据库写入的仅追加字节序列。可以使用完全相同的日志在另一个节点上构建副本:主库把日志发送给从库。
PostgreSQL和Oracle等使用这种复制方法。
缺点:

  • 复制与存储引擎紧密耦合。
  • 不可能使主库和从库上运行不同版本的数据库软件。
  • 运维时如果升级软件版本,有可能会要求停机。
逻辑日志复制(基于行)

采用逻辑日志,可以把复制与存储逻辑分离。
关系型数据库通常以行作为粒度描述数据库写入的记录序列:

  • 对于插入的行,日志包含所有列的新值;
  • 对于删除的行,日志包含足够的信息来唯一标识已删除的行。通常是主键,或者所有列的旧值。
  • 对于更新的行,日志包含足够的信息来唯一标识更新的行,以及所有列(至少是更新列)的新值。

优点:

  • 逻辑日志与存储引擎分离,方便向后兼容。可以让领导者和跟随者运行不同版本的数据库软件。
  • 对于外部应用,逻辑日志也更容易解析。比如复制到数据仓库,或者自定义索引和缓存。被称为数据变更捕获。
基于触发器的复制
  • 上述复制都是数据库自己实现的。也可以自定义复制方法:数据库提供了触发器和存储过程。
  • 允许数据库变更时,自动执行应用的程序代码。
  • 开销更大,更容易出错。但更灵活。

复制延迟问题

  • 主从异步同步会有延迟:导致同时对主库和从库的查询,结果可能不同。
  • 因为从库会赶上主库,所以上述效应被称为「最终一致性」。
  • 复制延迟可能超过几秒或者几分钟,下文是 3 个例子。

读己之写

如果用户把数据提交到了主库,但是主从有延迟,用户马上看数据的时候请求的从库,会感觉到数据丢失。
image.png
此时需要「读写一致性」,也成为读己之写一致性。
技术:

  • 读用户可能已经修改过的内容时,都从主库读;比如读个人资料都从主库读,读别人的资料可以读从库。
  • 如果应用的部分内容都可能被用户编辑,上述方法无效。可以指定更新后的时间窗口,比如上次更新的一分钟内从主库读。
  • 客户端记住最近一次写入的时间戳,从库提供查询时,保证该时间戳前的变更都已经传播到了本从库;否则从另外的从库读,或者等待从库追赶上来。(时间戳可以是逻辑时间戳,如日志序列号;或者要有准确的时间同步)
  • 如果副本在多个数据中心,则比较复杂。任何需要从领导者提供服务的请求,都必须路由到包含主库的数据中心。

用户有多个设备时,还要考虑的问题:

  • 记录更新时间戳变得更困难;
  • 不同设备可能路由到不同的数据中心。如果你的方法需要读主库,就需要把同一用户的请求路由到同一个数据中心。

单调读

用户可能会遇到时光倒流
第一次请求到从库看到了评论,第二次请求到另外一个从库发现评论消失。
image.png
单调读保证了这种异常不会发生。
方法:

  • 确保每个用户总是从同一副本来读取。比如基于用户 ID 的散列来选择副本,而不是随机选。
  • 但是如果该副本失败,则需要路由到另一个副本。

一致前缀读

一系列事件可能出现前后顺序不一致问题。比如回答可能在提问之前发生。
这是分区(分片)数据库中的一个特殊问题:不同分区之间独立,不存在全局写入顺序。
image.png
需要「一致前缀读」。
方法:

  • 任何因果相关的写入都写入相同的分区。

复制延迟的解决方案

  • 可以信赖数据库:需要事务。
  • 事务(transaction) 存在的原因:数据库通过事务提供强大的保证,所以应用程序可以更加简单。
  • 单节点事务存在了很长时间,但是分布式数据库中,许多系统放弃了事务。“因为事务的代价太高。”
  • 本书的其余部分将继续探讨事务。

多主复制

  • 单个领导者的复制架构是个常见的方法,也有其他架构。
  • 基于领导者复制的主要缺点:只有一个主库,所有的写入都要通过它。
  • 多个领导者的复制:允许多个节点接受写入,复制仍然是转发给所有其他节点。每个领导者也是其他领导者的追随者。

多主复制的应用场景

  • 单个数据中心内部使用多个主库没有太大意义。
运维多个数据中心
  • 多领导配置允许每个数据中心都有自己的主库。
  • 每个数据中心内部使用常规的主从复制;
  • 数据中心之间,每个数据中心的主库都会将其更改复制到其他数据中心的主库中。

image.png
运维多个数据中心时,单主和多主的适应情况比较:
性能

  • 单主配置中,每个写入都得穿过互联网,进入主库所在的数据中心。会增大写入时间。
  • 多主配置中,每个写操作都可以在本地数据中心进行处理,与其他数据中心异步复制。感觉到性能更好。

容忍数据中心停机

  • 单主配置中,如果主库所在的数据中心发生故障,必须让另一个数据中心的追随者成为主领导者。
  • 多主配置中,每个数据中心都可以独立于其他数据中心继续运行。若发生故障的数据中心归队,复制会自动赶上。

容忍网络问题

  • 数据中心之间的网络需要通过公共互联网,不如数据中心之内的本地网络可靠。
  • 单主配置对网络连接问题非常敏感,因为写是同步的。
  • 异步复制的多主配置更好地承受网络问题。

多主复制的缺点:

  • 两个数据中心可能会修改相同的内容,写冲突必须解决。
  • 多主复制比较危险,应尽可能避免。
需要离线操作的客户端
  • 多主复制的另一适用场景:应用程序在断网后仍然需要继续工作。
  • 在这种情况下,每个设备都有一个充当领导者的本地数据库(它接受写请求),并且在所有设备上的日历副本之间同步时,存在异步的多主复制过程。复制延迟可能是几小时甚至几天,具体取决于何时可以访问互联网。
  • 每个设备相当于一个“数据中心”
协同编辑
  • 协作式编辑不能视为数据库复制问题,但是与离线编辑有许多相似
  • 一个用户编辑文档时,所做的更改将立即应用到其本地副本(web 或者客户端),并异步复制到服务器和编辑同一文档的任何其他用户。
  • 如果想要不发生编辑冲突,则应用程序需要先将文档锁定,然后用户才能进行编辑;如果另一用户想编辑,必须等待第一个用户提交修改并释放锁定。这种协作模式相当于主从复制模型下在主节点上执行事务操作。
  • 但是,为了加速写作,可编辑的粒度需要非常小(例如单个按键,甚至全程无锁)。
  • 也会面临所有多主复制都存在的挑战,即如何解决冲突。

处理写入冲突

  • 多领导者复制的最大问题是可能发生写冲突,因此需要解决冲突。
  • 单主数据库没有这个问题。
  • 假如两个用户同时修改标题:image.png
同步与异步冲突检测
  • 单主数据库:第二个写入被阻塞,并等待第一个写入完成,或被终止;
  • 多主配置:两个写入都成功,稍后的时间点仅仅异步地监测到冲突。
  • 如果想冲突检测同步-等待被写入到所有的副本,那么丢失了多主复制的优点。
避免冲突
  • 处理冲突的最简单策略是避免它们:确保特定记录的写入都通过同一个领导者,就不会有冲突。
  • 但是,如果更改指定的记录主库——比如数据中心故障,需要把流量重新路由;冲突避免会中断,必须处理不同主库同时写入的可能性。
收敛至一致的状态
  • 单主数据库按顺序进行写操作:如果同一个字段有多个更新,则最后一个写操作将决定该字段的最终值。
  • 在多主配置中,没有明确的写入顺序,所以最终值应该是什么并不清楚。
  • 每个复制方案都必须确保数据在所有副本中最终都是相同的。
  • 数据库必须以一种 收敛(convergent) 的方式解决冲突,这意味着所有副本必须在所有变更复制完成时收敛至一个相同的最终值。

实现冲突合并解决有多种途径:

  • 给每个写入一个唯一的ID(例如,一个时间戳,一个长的随机数,一个UUID或者一个键和值的哈希),挑选最高ID的写入作为胜利者,并丢弃其他写入。
  • 为每个副本分配一个唯一的ID,ID编号更高的写入具有更高的优先级。这种方法也意味着数据丢失。
  • 以某种方式将这些值合并在一起 - 例如,按字母顺序排序,然后连接它们
  • 用一种可保留所有信息的显式数据结构来记录冲突,并编写解决冲突的应用程序代码(也许通过提示用户的方式)。
自定义冲突解决逻辑

解决冲突的最合适方法取决于应用程序。
写时执行

  • 只要数据库系统检测到复制更改日志中存在冲突,就会调用冲突处理程序。

读时执行

  • 当检测到冲突时,所有冲突写入被存储。
  • 下一次读取数据时,会将这些多个版本的数据返回给应用程序。
  • 应用程序可能会提示用户或自动解决冲突,并将结果写回数据库。
自动冲突解决

规则复杂,容易出错。

  • **无冲突复制数据类型(Conflict-free replicated datatypes):**是可以由多个用户同时编辑的集合,映射,有序列表,计数器等的一系列数据结构,它们以合理的方式自动解决冲突。一些CRDT已经在Riak 2.0中实现
  • **可合并的持久数据结构(Mergeable persistent data structures)**显式跟踪历史记录,类似于Git版本控制系统,并使用三向合并功能(而CRDT使用双向合并)。
  • **可执行的转换(operational transformation)**是 Etherpad 和Google Docs 等合作编辑应用背后的冲突解决算法。它是专为同时编辑项目的有序列表而设计的,例如构成文本文档的字符列表。
什么是冲突?
  • 显而易见的冲突:两个写操作并发地修改了同一条记录中的同一个字段。
  • 微秒的冲突:一个房间接受了两个预定。

多主复制拓扑

  • 复制拓扑(replication topology)描述写入从一个节点传播到另一个节点的通信路径。
  • 只有两个领导者时,只有一个合理的拓扑:互相写入。
  • 当有两个以上的领导,拓扑很多样:

image.png

  • 最普遍的是全部到全部;
  • MySQL 仅支持环形拓扑。

防止无限复制循环:

  • 圆形和星型拓扑,节点需要转发从其他节点收到的数据更改。
  • 防止无限复制循环:每个节点都有唯一的标识符,在复制日志中,每个写入都标记了所有已经过的节点的标识符。

环形和星形拓扑的问题

  • 一个节点故障,可能中断其他节点之间的复制消息流。
  • 拓扑结构可以重新配置,但是需要手动操作。
  • 全部到全部的容错性更好,避免单点故障。

全部到全部拓扑的问题

  • 网络问题导致消息顺序错乱

image.png

  • 写入时添加时间戳是不够的的。
  • 解决办法是版本向量技术
  • 有些数据库没有该功能。

无主复制

  • 一些数据库放弃主库的概念,允许任何副本直接接收来自客户端的写入。
  • 一些无主配置中,客户端直接写入到几个副本中;
  • 另一些情况下,一个协调者节点代表客户端进行写入。

当节点故障时写入数据库

  • 无主复制中,故障切换不存在。
  • image.png
  • 如果一个副本故障或下线,重启后提供的数据是落后的。
  • 解决办法:客户端同时请求多个副本,根据版本号确定最新值。
读修复和反熵
  • 故障节点重新上线,怎么追上错过的写入?

读修复(Read repair)

  • 客户端检测到陈旧的值,客户端将新值写回到该副本。
  • 适合读频繁的值。

反熵过程(Anti-entropy process)

  • 数据库的后台进程,不断查找副本之间的数据差异,把缺少的数据进行复制。
  • 反熵过程不会以任何特定的顺序复制写入,复制数据之前可能有显著的延迟。
读写的法定人数
  • 如果有副本下线,究竟多少个副本完成才可以认为写成功?

计算方式

  • 如果有n个副本,每个写入必须由w节点确认才能被认为是成功的,并且我们必须至少为每个读取查询r个节点。
  • (只要 w + r > n w + r> n w+r>n,我们期望在读取时获得最新的值,因为r个读取中至少有一个节点是最新的。遵循这些r值,w值的读写称为**法定人数(quorum)**的读和写】。你
  • 可以认为,r和w是有效读写所需的最低票数。

image.png

法定人数一致性的局限性

但是,即使在 w + r > n w + r> n w+r>n 的情况下,也可能存在返回陈旧值的边缘情况。

  • 如果使用了宽松的法定人数,w 个写入和 r 个读取落在完全不同的节点上。
  • 两个写入同时发生,不清楚哪一个先发生。
  • 写操作和读操作同时发生,写操作可能仅反映在某些副本上。
  • 写操作在某些副本上成功,而在其他节点上失败,在小于w个副本上写入成功。
  • 如果携带新值的节点失败,需要读取其他带有旧值的副本。
  • 即使一切工作正常,有时也会不幸地出现关于时序(timing) 的边缘情况。

不要把 w 和 r 当做绝对的保证,应该看做是概率。
强有力的保证需要事务和共识。

监控陈旧度
  • 基于领导者的复制,数据库会会公开复制滞后的度量标准,可以做监控。
  • 无领导者复制中,没有固定的写入顺序,监控困难。
  • 最终一致性是非常模糊的保证。

宽松的法定人数与提示移交

  • 合理配置的法定人数可以使数据库无需故障切换即可容忍个别节点的故障。
  • 需要高可用、低延时、且能够容忍偶尔读到陈旧值的应用场景来说,这些特性使无主复制的数据库很有吸引力。

问题

  • 网络中断导致剩余可用节点可能少于w或r,客户端达不到法定人数。

权衡

  • 对于所有无法达到w或r节点法定人数的请求,是否返回错误是更好的?
  • 或者我们是否应该接受写入,然后将它们写入一些可达的节点,但不在这些值通常所存在的n个节点上?

宽松的法定人数(sloppy quorum)

  • 上述的后者是宽松的法定人数(sloppy quorum)。
  • 大型集群中,节点数量明显多于 n 个。
  • 写和读仍然需要 w 和 r 个成功的响应,但是不来自指定的 n 个节点中。

提示移交(hinted handoff)

  • 网络中断得到解决时,另一个节点临时接收的一个节点的任何写入都被发送到适当的“主”节点。

优点

  • 提高了写入可用性:任何 w 个节点可用,数据库就可以接收写入。

缺点

  • 即使当 w + r > n w + r> n w+r>n时,也不能确定读取某个键的最新值,因为最新的值可能已经临时写入了n之外的某些节点。

在传统意义上,一个宽松的法定人数实际上不是一个法定人数。
常见使用中,宽松的法定人数是可选的。

运维多个数据中心
  • 无主复制也适用于多数据中心操作,因为它旨在容忍冲突的并发写入,网络中断和延迟尖峰。
  • 无论数据中心如何,每个来自客户端的写入都会发送到所有副本,但客户端通常只等待来自其本地数据中心内的法定节点的确认,从而不会受到跨数据中心链路延迟和中断的影响。
  • 对其他数据中心的高延迟写入通常被配置为异步发生,尽管配置有一定的灵活性.

检测并发写入

  • 无主复制,允许多个客户端同时写入相同的 key,会冲突。
  • 读修复和提示移交期间也可能会发生冲突。

写入顺序问题举例:
image.png

最后写入胜利(丢弃并发写入)

思路

  • 只需要存储最 “最近” 的值,允许 “更旧” 的值被覆盖和抛弃。
  • 需要有一种明确的方式来确定哪个写是“最近的”,并且每个写入最终都被复制到每个副本,那么复制最终会收敛到相同的值。
  • “最近”的,这个词没有意义,因为是并发的。

方法:最后写入胜利

  • 可以为每个写入附加一个时间戳,挑选最 “最近” 的最大时间戳,并丢弃具有较早时间戳的任何写入。

优点

  • 实现了最终收敛的目标

缺点

  • 持久性为代价:如果同一个Key有多个并发写入,即使它们报告给客户端的都是成功(因为它们被写入 w 个副本),也只有一个写入将存活,而其他写入将被静默丢弃。
  • 甚至可能会删除不是并发的写入
  • 如果丢失数据不可接受,那么最后写入胜利是个很烂的选择。

使用场景

  • 唯一安全的方法:每一个键只写入一次,然后视为不变,避免并发更新。
“此前发生”的关系和并发
  • 只要有两个操作A和B,就有三种可能性:A在B之前发生,或者B在A之前发生,或者A和B并发。
  • 我们需要的是一个算法来告诉我们两个操作是否是并发的。
  • 如果一个操作发生在另一个操作之前,则后面的操作应该覆盖较早的操作,但是如果这些操作是并发的,则存在需要解决的冲突。
捕获"此前发生"关系

一个算法,可以确定两个操作是否是并发的,还是先后关系。
两个客户端同时向一个购物车添加项目,注意版本号:
image.png
操作依赖关系:
image.png

  • 客户端永远不会完全掌握服务器上的数据,因为总是有另一个操作同时进行。
  • 但是,旧版本的值最终会被覆盖,并且不会丢失任何写入。

服务器可以通过查看版本号来确定两个操作是否是并发的,算法的原理:

  • 服务器为每个键保留一个版本号,每次写入键时都增加版本号,并将新版本号与写入的值一起存储。
  • 当客户端读取键时,服务器将返回所有未覆盖的值以及最新的版本号。客户端在写入前必须读取。
  • 客户端写入键时,必须包含之前读取的版本号,并且必须将之前读取的所有值合并在一起。 (针对写入请求的响应可以像读取请求一样,返回所有当前值,这使得我们可以像购物车示例那样将多个写入串联起来。)
  • 当服务器接收到具有特定版本号的写入时,它可以覆盖该版本号或更低版本的所有值(因为它知道它们已经被合并到新的值中),但是它必须用更高的版本号来保存所有值(因为这些值与随后的写入是并发的)。

当一个写入包含前一次读取的版本号时,它会告诉我们的写入是基于之前的哪一种状态。

合并同时写入的值

优点

  • 没有数据被无声地丢弃

缺点

  • 客户端需要额外工作:客户端必须通过合并并发写入的值来擦屁股。

Riak 称这些并发值为兄弟。

合并兄弟值:

  • 与多领导者复制的冲突解决相同的问题。
  • 最简单的是根据版本号或者时间戳最后写入胜利,但会丢失数据。
  • 对于购物车来说,合理的合并方法是集合求并集。
  • 但是如果从购物车中删除东西,那么求并集会出错:一个购物车删除,求并集后,会重新出现在并集终值中。
  • 所以删除操作不能简单删除,需要留下有合适版本号的标记,被称为墓碑。

容易出错,所以有了一些数据结构设计出来。

版本向量

多个副本,但是没有领导者,该怎么办?

  • 每个副本、每个主键都定义一个版本号。
  • 每个副本在处理写入时增加自己的版本号,并且跟踪从其他副本中看到的版本号。
  • 这个信息指出了要覆盖哪些值,以及保留哪些值作为兄弟。

版本向量

  • 所有副本的版本号集合称为版本向量(version vector)。
  • 版本向量允许数据库区分覆盖写入和并发写入。

本章小结

复制可以用于几个目的:
高可用性
即使在一台机器(或多台机器,或整个数据中心)停机的情况下也能保持系统正常运行
断开连接的操作
允许应用程序在网络中断时继续工作
延迟
将数据放置在距离用户较近的地方,以便用户能够更快地与其交互
可伸缩性
能够处理比单个机器更高的读取量可以通过对副本进行读取来处理

我们讨论了复制的三种主要方法:
单主复制
客户端将所有写入操作发送到单个节点(领导者),该节点将数据更改事件流发送到其他副本(追随者)。读取可以在任何副本上执行,但从追随者读取可能是陈旧的。
多主复制
客户端发送每个写入到几个领导节点之一,其中任何一个都可以接受写入。领导者将数据更改事件流发送给彼此以及任何跟随者节点。
无主复制
客户端发送每个写入到几个节点,并从多个节点并行读取,以检测和纠正具有陈旧数据的节点。

我们研究了一些可能由复制滞后引起的奇怪效应,我们也讨论了一些有助于决定应用程序在复制滞后时的行为的一致性模型:
写后读
用户应该总是看到自己提交的数据。
单调读
用户在一个时间点看到数据后,他们不应该在某个更早的时间点看到数据。
一致前缀读
用户应该将数据视为具有因果意义的状态:例如,按照正确的顺序查看问题及其答复。

最后,我们讨论了多领导者和无领导者复制方法所固有的并发问题:因为他们允许多个写入并发发生,这可能会导致冲突。我们研究了一个数据库可能使用的算法来确定一个操作是否发生在另一个操作之前,或者它们是否同时发生。我们还谈到了通过合并并发更新来解决冲突的方法。

文章来源:https://blog.csdn.net/fuxuemingzhu/article/details/135384123
本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。