写点什么

淘宝开源 Key/Value 结构数据存储系统 Tair 技术剖析

2010 年 9 月 08 日

Tair 是由淘宝网自主开发的 Key/Value 结构数据存储系统,在淘宝网有着大规模的应用。您在登录淘宝、查看商品详情页面或者在淘江湖和好友“捣浆糊”的时候,都在直接或间接地和 Tair 交互。

Tair 于 2010 年 6 月 30 号在淘宝开源平台上正式对外开源,本文较详细地介绍了Tair 提供的功能及其实现的细节,希望对大家进一步了解Tair 有所帮助。

Tair 的功能

Tair 是一个 Key/Value 结构数据的解决方案,它默认支持基于内存和文件的两种存储方式,分别和我们通常所说的缓存和持久化存储对应。

Tair 除了普通 Key/Value 系统提供的功能,比如 get、put、delete 以及批量接口外,还有一些附加的实用功能,使得其有更广的适用场景,包括:

  • Version 支持 >
  • 原子计数器
  • Item 支持

Version 支持

Tair 中的每个数据都包含版本号,版本号在每次更新后都会递增。这个特性有助于防止由于数据的并发更新导致的问题。

比如,系统有一个 value 为“a,b,c”,A 和 B 同时 get 到这个 value。A 执行操作,在后面添加一个 d,value 为“a,b,c,d”。B 执行操作添加一个 e,value 为”a,b,c,e”。如果不加控制,无论 A 和 B 谁先更新成功,它的更新都会被后到的更新覆盖。

Tair 无法解决这个问题,但是引入了 version 机制避免这样的问题。还是拿刚才的例子,A 和 B 取到数据,假设版本号为 10,A 先更新,更新成功后,value 为”a,b,c,d”,与此同时,版本号会变为 11。当 B 更新时,由于其基于的版本号是 10,服务器会拒绝更新,从而避免 A 的更新被覆盖。B 可以选择 get 新版本的 value,然后在其基础上修改,也可以选择强行更新。

原子计数器

Tair 从服务器端支持原子的计数器操作,这使得 Tair 成为一个简单易用的分布式计数器。

Item 支持

Tair 还支持将 value 视为一个 item 数组,对 value 中的部分 item 进行操作。比如有个 key 的 value 为 [1,2,3,4,5],我们可以只获取前两个 item,返回 [1,2],也可以删除第一个 item,还支持将数据删除,并返回被删除的数据,通过这个接口可以实现一个原子的分布式 FIFO 的队列。

Tair 的内部结构

图 1 Tair 整体架构图

一个 Tair 集群主要包括 client、configserver 和 dataserver 3 个模块。Configserver 通过和 dataserver 的心跳(HeartBeat)维护集群中可用的节点,并根据可用的节点,构建数据的在集群中的分布信息(见下文的对照表)。Client 在初始化时,从 configserver 处获取数据的分布信息,根据分布信息和相应的 dataserver 交互完成用户的请求。Dataserver 负责数据的存储,并按照 configserver 的指示完成数据的复制和迁移工作。

数据的分布

分布式系统需要解决的一个重要问题便是决定数据在集群中的分布策略,好的分布策略应该能将数据均衡地分布到所有节点上,并且还应该能适应集群节点的变化。Tair 采用的对照表方式较好地满足了这两点。

对照表的行数是一个固定值,这个固定值应该远大于一个集群的物理机器数,由于对照表是需要和每个使用 Tair 的客户端同步的,所以不能太大,不然同步将带来较大的开销。我们在生产环境中的行数一般为 1023 。

对照表简介

下面我们看对照表是怎么完成数据的分布功能的,为了方便,我们这里假设对照表的行数为 6。最简单的对照表包含两列,第一列为 hash 值,第二列为负责该 hash 值对应数据的 dataserver 节点信息。比如我们有两个节点 192.168.10.1 和 192.168.10.2,那么对照表类似:

192.168.10.1

1

192.168.10.2

2

192.168.10.1

3

192.168.10.2

4

192.168.10.1

5

192.168.10.2

当客户端接收到请求后,将 key 的 hash 值和 6 取模,然后根据取模后的结果查找对照表。比如取模后的值为 3,客户端将和 192.168.10.2 通信。

对照表如何适应节点数量的变化

我们假设新增了一个节点——192.168.10.3,当 configserver 发现新增的节点后,会重新构建对照表。构建依据以下两个原则:

  1. 数据在新表中均衡地分布到所有节点上。
  2. 尽可能地保持现有的对照关系。

更新之后的对照表如下所示:

192.168.10.1

1

192.168.10.2

2

192.168.10.1

3

192.168.10.2

4

192.168.10.3

5

192.168.10.3

这里将原本由 192.168.10.1 负责的 4 和 192.168.10.2 负责的 5 交由新加入的节点 192.168.10.3 负责。

如果是节点不可用,则相当于上述过程反过来,道理是一样的。

多备份的支持

Tair 支持自定义的备份数,比如你可以设置数据备份为 2,以提高数据的可靠性。对照表可以很方便地支持这个特性。我们以行数为 6,两个节点为例,2 个备份的对照表类似:

192.168.10.1

192.168.10.2

1

192.168.10.2

192.168.10.1

2

192.168.10.1

192.168.10.2

3

192.168.10.2

192.168.10.1

4

192.168.10.1

192.168.10.2

5

192.168.10.2

192.168.10.1

第二列为主节点的信息,第三列为辅节点信息。在 Tair 中,客户端的读写请求都是和主节点交互,所以如果一个节点不做主节点,那么它就退化成单纯的备份节点。因此,多备份的对照表在构建时需要尽可能保证各个节点作为主节点的个数相近。

当有节点不可用时,如果是辅节点,那么 configserver 会重新为其指定一个辅节点,如果是持久化存储,还将复制数据到新的辅节点上。如果是主节点,那么 configserver 首先将辅节点提升为主节点,对外提供服务,并指定一个新的辅节点,确保数据的备份数。

多机架和多数据中心的支持

对照表在构建时,可以配置将数据的备份分散到不同机架或数据中心的节点上。Tair 当前通过设置一个 IP 掩码来判断机器所属的机架和数据中心信息。

比如你配置备份数为 3,集群的节点分布在两个不同的数据中心 A 和 B,则 Tair 会确保每个机房至少有一份数据。假设 A 数据中心包含两份数据时,Tair 会尽可能将这两份数据分布在不同机架的节点上。这可以减少整个数据中心或某个机架发生故障是数据丢失的风险。

轻量级的 configserver

从 Tair 的整体架构图上看,configserver 很类似传统分布式集群中的中心节点。整个集群服务都依赖于 configserver 的正常工作。

但 Tair 的 configserver 却是一个轻量级的中心节点,在大部分时候,configserver 不可用对集群的服务是不造成影响的。

Tair 用户和 configserver 的交互主要是为了获取数据分布的对照表,当 client 获取到对照表后,会 cache 这张表,然后通过查这张表决定数据存储的节点,所以请求不需要和 configserver 交互,这使得 Tair 对外的服务不依赖 configserver,所以它不是传统意义上的中心节点。

configserver 维护的对照表有一个版本号,每次新生成表,该版本号都会增加。当有数据节点状态发生变化(比如新增节点或者有节点不可用了)时,configserver 会根据当前可用的节点重新生成对照表,并通过数据节点的心跳,将新表同步给数据节点。

当客户端请求数据节点时,数据节点每次都会将自己的对照表的版本号放入 response 中返回给客户端,客户端接收到 response 后,会将数据节点返回的版本号和自己的版本号比较,如果不相同,则主动和 configserver 通信,请求新的对照表。

所以客户端也不需要和 configserver 保持心跳,以便及时地更新对照表。这使得在正常的情况下,客户端不需要和 configserver 通信,即使 configserver 不可用了,也不会对整个集群的服务造成大的影响。

仅有当 configserver 不可用,此时有客户端需要初始化,那么客户端将取不到对照表信息,这将使得客户端无法正常工作。

DataServer 内部结构

DataServer 负责数据的物理存储,并根据 configserver 构建的对照表完成数据的复制和迁移工作。DataServer 具备抽象的存储引擎层,可以很方便地添加新存储引擎。DataServer 还有一个插件容器,可以动态地加载 / 卸载插件。

图 2 DataServer 的内部结构示意图

抽象的存储引擎层

Tair 的存储引擎有一个抽象层,只要满足存储引擎需要的接口,便可以很方便地替换 Tair 底层的存储引擎。比如你可以很方便地将 bdb、tc 甚至 MySQL 作为 Tair 的存储引擎,而同时使用 Tair 的分布方式、同步等特性。

Tair 默认包含两个存储引擎:mdb 和 fdb。

mdb 是一个高效的缓存存储引擎,它有着和 memcached 类似的内存管理方式。mdb 支持使用 share memory,这使得我们在重启 Tair 数据节点的进程时不会导致数据的丢失,从而使升级对应用来说更平滑,不会导致命中率的较大波动。

fdb 是一个简单高效的持久化存储引擎,使用树的方式根据数据 key 的 hash 值索引数据,加快查找速度。索引文件和数据文件分离,尽量保持索引文件在内存中,以便减小 IO 开销。使用空闲空间池管理被删除的空间。

自动的复制和迁移

为了增强数据的安全性,Tair 支持配置数据的备份数。比如你可以配置备份数为 3,则每个数据都会写在不同的 3 台机器上。得益于抽象的存储引擎层,无论是作为 cache 的 mdb,还是持久化的 fdb,都支持可配的备份数。

当数据写入一个节点(通常我们称其为主节点)后,主节点会根据对照表自动将数据写入到其他备份节点,整个过程对用户是透明的。

当有新节点加入或者有节点不可用时,configserver 会根据当前可用的节点,重新 build 一张对照表。数据节点同步到新的对照表时,会自动将在新表中不由自己负责的数据迁移到新的目标节点。迁移完成后,客户端可以从 configserver 同步到新的对照表,完成扩容或者容灾过程。整个过程对用户是透明的,服务不中断。

插件容器

Tair 还内置了一个插件容器,可以支持热插拔插件。

插件由 configserver 配置,configserver 会将插件配置同步给各个数据节点,数据节点会负责加载 / 卸载相应的插件。

插件分为 request 和 response 两类,可以分别在 request 和 response 时执行相应的操作,比如在 put 前检查用户的 quota 信息等。

插件容器也让 Tair 在功能方便具有更好的灵活性。

Tair 的未来

我们将 Tair 开源,希望有更多的用户能从我们开发的产品中受益,更希望依托社区的力量,使 Tair 有更广阔的发展空间。

Tair 开源后,有很多用户关心我们是否会持续维护这个项目。我们将 Tair 开源后,淘宝内部已经不再有私有的 Tair 分支,所有的开发和应用都基于开源分支。Tair 在淘宝有非常广的应用,我们内部有一个团队,专门负责 Tair 的开发和维护,相信我们会和社区一起,将 Tair 越做越好。

有很多用户在淘宝开源平台上申请加入 Tair 项目,加入项目在我们的开源平台上意味着成为项目的提交者,可以向代码库直接提交代码。所以我们暂时还没有批准外部用户加入,我们将在大家对 Tair 有更深入的了解后和社区一起决定是否批准加入项目的申请,在此之前,如果你有对代码的改进,欢迎使用 patch 的方式提交给我们,我们将在 review 后决定是否合并到代码库。

希望我们能和社区一起,将 Tair 做成一个真正对大家都有帮助的项目。

关于作者

若海,真名余刚,淘宝网核心系统研发部工程师,Tair 的主要作者之一,当前的方向是大型分布式缓存和存储解决方案。


给 InfoQ 中文站投稿或者参与内容翻译工作,请邮件至 editors@cn.infoq.com 。也欢迎大家加入到 InfoQ 中文站用户讨论组中与我们的编辑和其他读者朋友交流。

2010 年 9 月 08 日 00:0031073

评论

发布
暂无评论
发现更多内容

如何在K8s,Docker-Compose注入镜像Tag

互联网架构师小马

GNUCash

lidaobing

GNUCash 28天写作 四柱结算法 复式记账

Spring Boot 中集成 Shiro

武哥聊编程

Java springboot SpringBoot 2 shiro 28天写作

一顿午饭的现实思考

石君

28天写作 择业

机器学习笔记之:监督学习

Nydia

碎碎念之「卡马克的反脆弱想法生成系统」

Justin

心理学 创意 28天写作 反脆弱

我是这样使用极客时间APP的

熊斌

极客时间 28天写作

HASH碰撞问题一直没真正搞懂?这下不用慌了

架构精进之路

算法 hash 七日更 28天写作

解密阿里线上问题诊断工具Arthas和jvm-sandbox

比伯

Java 编程 架构 面试 计算机

创业失败启示录|校园微生活之闹剧

青城

28天写作 创业失败启示录 青城

2020出行之变(二):新能源汽车的拥挤牌桌

脑极体

原来Canal也可以做HA!

大数据老哥

网络出口究竟选择防火墙,还是路由器?

【并发编程的艺术】详解指令重排序与数据依赖

程序员架构进阶

并发 Java内存模型 28天写作 架构·

四个策略,三个“坑”,读《架构师也不写代码》有感

李忠良

28天写作

28天瞎写的第二百二十七天:跨年夜的故事

树上

28天写作

如何快速提升自己的能力?高效学习让你更出类拔萃。

一笑

学习方法 28天写作

项目管理系列(9)- 项目分析与报告

Ian哥

28天写作

登录微软账号的Windows电脑如何远程?

BigYoung

微软 Windows 10 远程登录

2021最新总结一个90后 双非本末 5面蚂蚁 如何拿到年薪60W+?

比伯

Java 编程 程序员 架构 面试

核酸检测:让我明白AQS原理

叫练

AQS 共享锁 独占锁 可中断 条件队列

【操作系统概论】05 - 文件系统

brave heart

操作系统 28天写作

当情绪生病?就嫁接一段新的记忆「幻想短篇 16/28」

道伟

28天写作

2021开启数据结构与算法的学习之旅

Nick

高效学习 flag 新年计划

张小龙:视频号是什么?| 视频号 28 天 (16)

赵新龙

28天写作

重学JS | 通过无限循环动画案例理解CSS3动画与JS动画

梁龙先森

面试 前端 编程语言 28天写作

项目管理系列(9)- 从 0 到 1 搭建 PMO(二)

Ian哥

28天写作

html容器以及CSS概述

程序员的时光

程序员 七日更 28天写作

认识产品经理-产品JD作业

Weiyung

【CSS】格仔背景

学习委员

html css3 前端 CSS小技巧 28天写作

Elasticsearch 乐观锁并发控制

escray

elastic 七日更 28天写作 死磕Elasticsearch 60天通过Elastic认证考试

演讲经验交流会|ArchSummit 上海站

演讲经验交流会|ArchSummit 上海站

淘宝开源Key/Value结构数据存储系统Tair技术剖析-InfoQ