Aerospike 数据库 5 中的主动-主动功能

Aerospike数据库5中的主动•主动功能

在新的数字环境中，各个国家和全球品牌必须推广始终在线且几乎实时执行的应用程序。这

导致应用程序以及为这些应用程序提供服务的数据库采用了分布式技术。

在新的数字环境中，各个国家和全球品牌必须推广始终在线且几乎实时执行的应

用程序。这导致应用程序以及为这些应用程序提供服务的数据库采用了分布式技

术。为了最好地服务于广泛的地理区域并获得更高级别的可用性，各种组织已在

地理区域之间(无论是自己的数据中心还是公共云供应商代表的分区，或两者兼

而有之)分布了数字化业务。为了应对在此分布式领域中维护发生的业务交易的

全球视图的挑战,Aerospike支持两种不同的主动■主动部署模型,即多站点集

群和跨数据中心复制(XDR):

多站点集群使用同步复制，通过在多个地理分布站点之间跨越单个

Aerospike集群来提供全球分布的交易功能。

跨数据中心复制(XDR)使用异步复制来连接位于多个地理分布站点上

的两个或更多Aerospike集群。

上面的两个模型都是主动-主动模式，使Aerospike可以用于各种交易用例。

多站点集群

在多站点集群配置中,组成单个Aerospike集群的节点分布在站点之间。站点

可以是数据中心的物理机架、整个数据中心、云区域的可用分区、或云区域。这

里有一些示例：

1.具有两个机架的单个集群，第一个机架位于美国西部区域的亚马逊的一个

可用分区，第二个机架位于西部区域的亚马逊的另一个可用分区。

2.具有三个机架的单个集群，第一个机架位于美国西部区域的亚马逊，第二

个机架位于中部区域的亚马逊，第三个机架位于东部区域的亚马逊。

3.具有两个机架的单个集群，第一个机架位于意大利罗马的一个数据中心,

另一个机架位于一个数据中心附近（距离八公里），也位于罗马。

4.具有三个机架的单个集群，第一个机架位于旧金山的一个数据中心，第二

个机架位于纽约的一个数据中心，第三个机架位于达拉斯的一个数据中心。

在所有四个示例中，假定每个机架具有相同数量的同类节点，因此每个机架的系

统容量相同。一种常见的做法是确保复制因子被设置为与机架数量相等。多站点

集群依赖于Aerospike本身固有的分布式聚类算法,而与站点之间的距离无

关。

通过将Aerospike集群配置为强一致性（SC）,多站点集群可确保所有写入将

在站点之间复制而不会丢失数据。写入逻辑如图1所示。所有应用程序写入都

发送到包含分区原版副本的节点，然后在系统将成功返回给客户端之前，该节点

与每个复制副本协调一个两阶段的写入过程。如果对其中一个复制副本的写入失

败，则原版副本将确保已完成对集群（或子集群，如果系统受到威胁）中适当数

量的复制副本的写入。另外，请注意，在大多数情况下，不会为复制因子2发

送建议复制消息（代理原版副本不是复制副本的情况除外）0

<

Jim制*

<

瞅”厦w施,并服当电

也|个削树

S1：同步耿逻辑

一这样的系统可以在整个站点（机架）丢失后不丢失数据并继续运行。.因此，这

样的集群是一种主动/主动配置，在站点故障场景具有强一致性和可用性。

主要的权衡是处理低一写入_和一读取一延迟。

•应用程序的一写入.可能会经历额外的延迟，这取决于两个站点之间的有效距

离，无论是实际的物理距离还是网络配置导致的延迟。例如，地面上相隔几英里

的站点的额外延迟可能只有几毫秒，而通过卫星链接相隔数千英里的站点的延迟

可能会增加。

•可以将在给定站点上运行的应用程序配置为以低延迟从位于同一站点的机架一

读取一数据，因为在本地机架的节点中可以使用集群数据的整个副本。

共享的名册中的信息，使用Aerospike的强一致性算法来确保没有写入丢失，

并且没有操作员干预。包含机架1和2的多数子集群在创建在脑裂事件期间

正在写入的数据项的临时第三副本的同时，继续进行读取和写入。少数子集群仍

然可用，但不可用于应用程序读取和写入。一旦网络分裂被修复，机架3的节

点与其他节点连接，形成由机架1、2和3组成的完整集群。此时,在脑裂事

件中更新的项目的第三副本已正确传输到机架3中的适当节点，以便系统可以

恢复到稳定状态。所有这些操作都在没有操作员干预的情况下发生，在发生脑裂

事件期间，保持了强一致性，没有数据丢失，并且完全可用。有许多此类故障会

自动处理，以确保自动处理大多数站点故障事件。

桃应用程序本他应用程序

Aerospike/强一致性

多站点集怖

/线性翻

R100

/无写入丢失

自动同步

美国酸（机架1）美国东部（机架2）/同步复制

/无需操作员干预

/避免冲突

美国中部（机架3）机架1和2形成螂

名册成员

机架3不可用

S不可用

本地应用程序

图3：多站点集群-站点断开连接

借助多站点集群，Aerospike数据库5提供强一致性、地理数据分布、灵活性

和性能，使其成为需要大规模地理分布的交易系统的任何企业的最佳选择。

Aerospike多站点集群建立在实时、始终在线、主动■主动架构的基础上，为全

球企业提供了新的用例类别，其中对强一致性、弹性伸缩、高性能和复原能力的

要求是不可协商的。

多站点集群将强一致性与对大规模、全球分布的交易应用程序的支持独特地结合

在一起，这些应用程序可以放宽写入延迟，该延迟根据集群站点之间的距离而变

化，同时仍以高吞吐量提供亚毫秒级的读取延迟。如前所述，Aerospike多站

点集群可以进行架构设计，以在没有操作员干预的情况卜幸免于站点故障，同时

通过避免冲突来提供强一致性和零数据丢失。这消除了对应用程序复杂性和/或

解决冲突时的人工介入的需求。

跨数据中心复制（XDR）

Aerospike数据库5提供了一种新的基于主动■主动架构的XDR（跨数据中

心复制）实施方案，并且在位于不同地理分布站点的集群之间进行了异步复

制。站点可以是数据中心的物理机架、整个数据中心、云区域的可用分区、或

云区域。这里有一些示例：

示例配置说明和拓扑类型

1.美国西部区域的亚马逊的一个可用分区中的一个集群，被在集群之间配置单向传送。

配置为将其所有数据更新传送到西部区域的亚马逊的另一个这是典型的主动-被动设置，

可用分区中的第二集群。其中第二集群有时被称为

“热备用”。

2.一个两集群系统，其中每个集群都配置为将其所有数据更双向传送配置。该配置可以

新传送到另一个集群,第一集群位于美国西部区域的亚马逊，表示为主动-主动c

示例配置说明和拓扑类型

第二集群位于东部区域的亚马逊。在这种情况下，可以将应

用程序配置为使用任何一个集群进行读取/更新。

3.一个三集群跨云主动/主动系统，第一集群位于美国西部三向传送配置。该配置可以

区域的Azure数据中心，第二集群位于美国中部区域的亚马表示为主动-主动。

逊，第三集群位于美国东部区域的谷歌云。

XDR（主动/主动或主动/被动）可以通过控制、灵活性、易管埋、更快的写入

和区域自治将数据基础架构扩展到任意数量的集群。

新的XDR传送算法基于记录的上次更新时间（LUT）,与早期XDR版本中使

用的日志记录机制相比，更简单、更有效地管理元数据。基于LUT的传送允许

从过去的特定时间点开始轻松地重新同步数据中心。止匕外，新的XDR支持任何

一对源站点和目标站点之间的动态配置和独立传送。

通常在地理或其他基础上自然分离数据集。在这些情况下，一个区域中需要复制

到另一区域的写入与另一站点中的准同步写入发生冲突的可能性非常低。对于可

以在弱一致性级别上运行的用例，最好通过处理由应用程序代码内的写入冲突引

起的潜在不一致来优化大部分交易的写入时间和读取时间。对于这些用例以及其

他用例，XDR可以支寿亚毫秒级的读取和写入延迟。

处理冲突更新

即使在主动-被动设置中，源集群配置为强一致性，仍需要进行元数据交换方面

的工作，以确保源（主动）集群中的数据与目标（被动）集群中的数据完全同步。

在主动/主动设置中（上面的示例配置2和3）,如果同时对多个站点中的同一

数据记录进行并发更新，则复制机制的异步，性质可能会导致一致性问题，也称为

一冲突写入

假设每次写入都传送了整个记录，则可能会发生不一致。一个站点上的更改记录

可以通过XDR传输到另一个站点，而另一个站点上的更改记录则由XDR同

时传送到第一个站点。结果是记录最终在两个集群上具有不同的值，或者两个更

新之一丢失（假设某种基于时间戳的冲突解决方案）。

有一些方法可以减轻这种情况。例如，XDR传送机制可能在bin级别工作，除

了记录更新时间外，还跟踪bin更新时间。这项称为bin_投影一的技术将确保

同一记录的不同bin可以在不同站点上同时更改，而不会破坏数据一致性。应

该可以使用bin级别更新时间在两个站点上正确合并记录。

即使更改了传送bin级别，在多个站点中对同一bin进行并发更改也会导致与

上述记录级别类似的不一致。我们要么对两个站点的bin使用两个不同的值，

要么其中一个值将丢失。

通常建议的替代方法是无冲突的复制数据类型（CRDT）。但是，诸如CRDT之

类的一致性方法仅适用于一小部分数据类型，通常是计数器和集合，而对大多数

其他数据类型没有帮助。网络中断随着距离的增加而放大，并且节点、分区或区

域中断，所有这些都会确保发生数据不一致，并且写入将丢失。

在大多数情况下，保证主动/主动XDR部署的一致性的一种可能方法是，通过

完全避免与特定数据项（记录或bin发生冲突的方式设计应用程序的数据访问。

但是，如果允许写入冲突，则应用程序需要容忍某种程度的一致性违规。传送算

法的异步特性意味着，当发生站点故障时，其他站点将无法使用发生故障的站点

的最新更新。这意味着需要设计和准备应用程序以处理可能的数据丢失。

要进行深入讨论，请观看Aerospike工程副总裁AndrewGooding的视频

《数据库中的强一致性。它实际上保证了什么？》。

IB级PB级百PB级

图4：使用XDR的Aerospike数据中心^AEROSPIKE

Aerospike的XDR使企业能够创建一个