我们做出了一个分布式注册中心
The following article is from 金融级分布式架构 Author 祝辰（忘禅）
这篇文章是基于 SOFA Meetup 合肥站的分享总结，主要针对于注册中心的定位以及功能介绍，通过对蚂蚁注册中心发展史的分析，带领大家了解，蚂蚁的注册中心是如何一步一步演变为现在的规模和特性的。
更多深入的技术细节，欢迎大家加入到 SOFA 和 SOFARegistry 的社区中，探寻结果。
一、服务发现 & 服务注册
注册中心简单来说，是为了解决分布式场景下，服务之间互相发现的问题。
如下图所示，服务 A 想要调用服务 B 的时候，需要知道 B 的地址在哪里，如何解决这个问题？
一般来说，分为两个点：
服务发现可以有一个中心化的组件或者说是存储，它承载了所有服务的地址，同时提供出来一个可供查询和订阅的能力，服务的消费方可以通过和这个中心化的存储交互，获取服务提供方的地址列表。
服务注册：同样是上文中中心化的组件，但是，这个时候的服务信息可以有两种措施：
服务连接注册中心，同时上报自身的服务以及元数据（也是今天本文讲述的重点）
有一个集中的控制面（control plane）将用户定义的服务和 IP 的映射写入注册中心，例如 AWS 的 CloudMap。
二、调用流程
如上图所示，就是目前一种主流的注册中心模式，SOFARegistry 和 Nacos 都是这种模式。
服务 A，服务 B 通过 SDK 或者 REST 将自身的服务信息上报给注册中心；
服务 A 需要调用服务 B 的时候，就对注册中心发起请求，拉取和服务 B 相关的服务 IP 列表以及信息；
在获取到服务 B 的列表之后，就可以通过自身定义的负载均衡算法访问服务 B。
三、心跳
心跳是注册中心用于解决服务不可用时，及时拉出服务降低影响的默认方式，如下图所示。
服务 B 的一个节点断网或是 hang 住，引发心跳超时；或是宕机、断链直接引发心跳失败；
注册中心把问题节点从自身的存储中拉出（这里拉出根据具体实现：有的是直接删除，有的是标记为不健康）；
服务 A 收到注册中心的通知，获取到服务 B 最新的列表。
四、Dubbo 注册中心
下面通过 Dubbo 的例子，我们来看一下注册中心是如何使用的，以及流程：首先，Dubbo 在 2.7 和 3.0 中的配置略有不同，但是都是简单易懂的，这里都放上来。
Dubbo-2.7
Dubbo-3.0
在 RPC 客户端只需要配置一个注册中心的地址即可，地址中包含了基础三元素：
protocol（协议类型）比如，zookeeper；
host；
port。
基于此，Dubbo 的注册流程如下图所示：
服务的生产方通过 Dubbo 客户端向注册中心（Registry）发起注册行为（register）;
服务的消费方通过 Dubbo 客户端订阅信息（subscribe）;
注册中心通过通知的方式，下发服务列表给服务消费方。
五、注册中心的本质
通过前文的讲解，以及 Dubbo 组件的具体例子，我们大概可以归纳注册中心的本质。
“存储” + “可运维”
一方面，注册中心需要存储能力去记录服务的信息，比如应用列表；
另一方面，注册中心在实践过程中，需要提供必需的运维手段，比如关闭某一服务流量。
一、史前时代
史前时代的蚂蚁是相当久远的架构，当时所有的服务部署在同一台物理机上或者 JVM 上，服务之间不存在有跨机器调用的场景，这里略过不表述。
二、硬负载时代
后来，为了解决应用之间的耦合带来的部署难，运维难问题，我们对服务进行了拆分，拆分后的服务，遇到了一个问题，就是如何处理服务之间的调用关系，这个时候，蚂蚁用了两种硬负载 F5 或是 LVS。
通过简单的 4 层代理，我们可以把服务部署在代理的后面，服务与服务之间通过代理互相访问，达到了跨机调用的目的。
三、第一代注册中心 -- 硬负载到软负载的演变
通过硬负载访问的方式，一方面解决了服务之间互相调用的问题，部署架构也简单易懂；另一方面，在业务快速增长之后，却带来了一定的问题：
单点的问题（所有调用都走 F5 的话，F5 一旦挂了，很多服务会不可用）；
容量问题（F5 承载的流量太高，本身会到一个性能瓶颈）。
这个时候，蚂蚁引进了阿里集团的一款产品叫 ConfigServer，作为注册中心进行使用，这个注册中心的架构就和开头提到的架构很像了，服务之间可以通过 IP 直接访问，而降低了对负载均衡产品的强依赖，减少了单点风险。
四、第二代注册中心 -- ScaleUp？ScaleOut？It's a problem
但是，问题还在持续，那就是注册中心，本身是一个单点，那么，他就会继续遇到上文中所说的两个问题：
单点风险（注册中心本身是单机应用）；
容量瓶颈（单台注册中心的连接数和存储数据的容量是有限的）。
解决的方式有两种：
scale-up（淘宝）：通过增加机器的配置，来增强容量以及扛链接能力；同时，通过主-备这样的架构，来保障可用性；
scale-out（蚂蚁）：通过分片机制，将数据和链接均匀分布在多个节点上，做到水平拓展；通过分片之后的备份，做到高可用。
蚂蚁和淘宝走了两条不同的路，也推进了蚂蚁后面演进出一套独立的生态系统。
蚂蚁的演进架构如下，产生了两种不同的应用节点：
Session 节点，专门用来抗链接使用，本身无状态可以快速扩展，单机对资源的占用很小；
Data 节点，专门用来存储数据，通过分片的方式降低单个节点的存储量，控制资源占用。
五、第五代注册中心 -- Meta 节点的诞生
上面的架构已经很符合目前主流的分布式架构了，但是在运维过程中，产生了一系列问题，比如：
所有 Data 都是分布式的，Data 之间的服务发现需要通过启动时给定一个配置文件，这样就和标准运维脱钩；
Data 节点的上下线需要去及时修改配置文件，否则集群重启会受到影响；
分布式存储一致性问题，每次迭代发布，需要锁定 paas 平台，防止节点变动带来的不一致。
所有这些问题的产生，我们发现可以引入一个元数据管理中心（Meta）节点来，解决对 Data 和 Session 管理的问题，Data 和 Session 通过 4 层负载或是 7 层负载对 Meta 访问即可。
对比业界的解决方案，都有类似的模型，比如 HDFS 的 Name Node、Kafka 依赖于 ZK，Oceanbase 依赖于 RootServer 或者配置中心 Apollo 依赖于 Euraka。
Meta 节点的出现，缓解了手工运维注册中心的瓶颈，但是，依然没有从根本上解决问题，那么问题在哪里？详见下文分析。
六、第六代注册中心 -- 面向运维的注册中心
上文说道，Meta 节点的出现，承接了 Data 以及 Session 之间服务发现的问题，但是，丛云未测来讲，还是有很多问题解决不了，比如：
1. Data 节点的发布在数据量大的前提下，依然是个痛点；
2. Session 节点的新加节点上，可能很久都没有流量。
等等，对于这些问题，在 SOFARegistry 5.x 的基础上，我们快速迭代了 6.0 版本，主要是面向运维的注册中心。
Data 节点发布难的问题，说到底是一个影响范围的问题，如何控制单一 Data 节点发布或者挂掉对数据的影响面，是解决问题的本源，这里我们采用了两个措施：
1. 改进数据存储算法（consistent-hash -> hash-slot）；
2. 应用级服务发现。
（1）存储算法的演进
之前我们使用了一致性 hash 的算法，如下图所示，每一个节点承载一部分数据，通过是存储进行 hash 运算，算出存储内容的 hash 值，再计算出 hash 值落在哪一个 Data 所负责的存储区间，来存储数据。
当 Data 节点宕机或者重启时，由下一个 Data 节点接收宕机节点的数据以及数据的访问支持。
这样依赖，数据迁移的粒度只能以单个 Data 节点所存储的数据为单位，在数据量较大（单节点 8G）的情况下，对数据的重建有一定的影响，而且，在 Data 连续宕机的情况下，可能存在数据丢失或是不一致的场景。
改进后的算法，我们参考了 Redis Cluster 的算法机制，使用 hash slot 进行数据分片；
这样，在 Data 发布过程中，可以控制数据的迁移以 slot 为单位（单个 Data 节点多个 slot，可配置）
同时，为了解决迁移或是宕机期间，数据写入不一致的场景，我们引入了数据回放的补偿机制，Data 在 promotion 为 slot 的 master 之后，会主动地去和所有的 Session 完成一次数据比对/校验，增量同步新增数据。
（2）应用级服务发现
应用级服务发现是为了解决数据存储量大的问题，因为篇幅原因，这里略过不表述。
SOFARegistry 从项目早期就开始了开源的进程，与目前主流的注册中心的对比如下：
我们认为，注册中心首先需要解决的是可用性的问题，所以，在分布式一致性的问题上，我们选择了 AP 的模型，这点也和主流的注册中心，例如 Euraka 以及 Nacos 保持一致的观点。
其次，在性能方面，基于长连接的 SOFARegistry 拥有更短的推送延迟，相较于 Nacos 1.0 的推送时延更短（Nacos 1.0 基于 Long Polling 的模型，Nacos 2.0 也使用了长连接的模型）。
在协议方面，SOFARegistry 使用了蚂蚁开源协议栈：BOLT 协议（类似于 HTTP 2.0）的流式协议，更加轻量级，同时协议本身的全双工模式：无阻塞，大大提升了资源利用率。
和大家所熟知的 Nacos 对比，我们在金融级和分布式（存储量级）上具有很大优势，易用性和云原生方面，目前还在追赶。
技术琐话
以分布式设计、架构、体系思想为基础，兼论研发相关的点点滴滴，不限于代码、质量体系和研发管理。