走进KeyDB

本文涉及的产品
云原生多模数据库 Lindorm,多引擎 多规格 0-4节点
云数据库 Redis 版,社区版 2GB
推荐场景:
搭建游戏排行榜
云数据库 MongoDB,通用型 2核4GB
简介: KeyDB项目是从redis fork出来的分支。众所周知redis是一个单线程的kv内存存储系统,而KeyDB在100%兼容redis API的情况下将redis改造成多线程。项目git地址:https://github.com/JohnSully/KeyDB网上公开的技术细节比较少,本文基本是通过阅读源码总结出来的,如有错漏之处欢迎指正。

KeyDB项目是从redis fork出来的分支。众所周知redis是一个单线程的kv内存存储系统,而KeyDB在100%兼容redis API的情况下将redis改造成多线程。
项目git地址:https://github.com/JohnSully/KeyDB
网上公开的技术细节比较少,本文基本是通过阅读源码总结出来的,如有错漏之处欢迎指正。

多线程架构

线程模型

KeyDB将redis原来的主线程拆分成了主线程和worker线程。每个worker线程都是io线程,负责监听端口,accept请求,读取数据和解析协议。如图所示:
_2019_06_12_4_24_12

KeyDB使用了SO_REUSEPORT特性,多个线程可以绑定监听同个端口。
每个worker线程做了cpu绑核,读取数据也使用了SO_INCOMING_CPU特性,指定cpu接收数据。
解析协议之后每个线程都会去操作内存中的数据,由一把全局锁来控制多线程访问内存数据。
主线程其实也是一个worker线程,包括了worker线程的工作内容,同时也包括只有主线程才可以完成的工作内容。在worker线程数组中下标为0的就是主线程。
主线程的主要工作在实现serverCron,包括:

  • 处理统计
  • 客户端链接管理
  • db数据的resize和reshard
  • 处理aof
  • replication主备同步
  • cluster模式下的任务

链接管理

在redis中所有链接管理都是在一个线程中完成的。在KeyDB的设计中,每个worker线程负责一组链接,所有的链接插入到本线程的链接列表中维护。链接的产生、工作、销毁必须在同个线程中。每个链接新增一个字段
int iel; /* the event loop index we're registered with */
用来表示链接属于哪个线程接管。
KeyDB维护了三个关键的数据结构做链接管理:

  • clients_pending_write:线程专属的链表,维护同步给客户链接发送数据的队列
  • clients_pending_asyncwrite:线程专属的链表,维护异步给客户链接发送数据的队列
  • clients_to_close:全局链表,维护需要异步关闭的客户链接

分成同步和异步两个队列,是因为redis有些联动api,比如pub/sub,pub之后需要给sub的客户端发送消息,pub执行的线程和sub的客户端所在线程不是同一个线程,为了处理这种情况,KeyDB将需要给非本线程的客户端发送数据维护在异步队列中。
同步发送的逻辑比较简单,都是在本线程中完成,以下图来说明如何同步给客户端发送数据:
_2019_06_12_5_05_44

如上文所提到的,一个链接的创建、接收数据、发送数据、释放链接都必须在同个线程执行。异步发送涉及到两个线程之间的交互。KeyDB通过管道在两个线程中传递消息:

int fdCmdWrite; //写管道
int fdCmdRead; //读管道

本地线程需要异步发送数据时,先检查client是否属于本地线程,非本地线程获取到client专属的线程ID,之后给专属的线程管到发送AE_ASYNC_OP::CreateFileEvent的操作,要求添加写socket事件。专属线程在处理管道消息时将对应的请求添加到写事件中,如图所示:
_2019_06_12_5_53_35

redis有些关闭客户端的请求并非完全是在链接所在的线程执行关闭,所以在这里维护了一个全局的异步关闭链表。
_2019_06_12_6_33_47

锁机制

KeyDB实现了一套类似spinlock的锁机制,称之为fastlock。
fastlock的主要数据结构有:

struct ticket
{
    uint16_t m_active;  //解锁+1
    uint16_t m_avail;  //加锁+1
};
struct fastlock
{
    volatile struct ticket m_ticket;

    volatile int m_pidOwner; //当前解锁的线程id
    volatile int m_depth; //当前线程重复加锁的次数
};

使用原子操作__atomic_load_2,__atomic_fetch_add,__atomic_compare_exchange来通过比较m_active=m_avail判断是否可以获取锁。
fastlock提供了两种获取锁的方式:

  • try_lock:一次获取失败,直接返回
  • lock:忙等,每1024 * 1024次忙等后使用sched_yield 主动交出cpu,挪到cpu的任务末尾等待执行。

在KeyDB中将try_lock和事件结合起来,来避免忙等的情况发生。每个客户端有一个专属的lock,在读取客户端数据之前会先尝试加锁,如果失败,则退出,因为数据还未读取,所以在下个epoll_wait处理事件循环中可以再次处理。
_2019_06_12_7_42_06

Active-Replica

KeyDB实现了多活的机制,每个replica可设置成可写非只读,replica之间互相同步数据。主要特性有:

  • 每个replica有个uuid标志,用来去除环形复制
  • 新增加rreplay API,将增量命令打包成rreplay命令,带上本地的uuid
  • key,value加上时间戳版本号,作为冲突校验,如果本地有相同的key且时间戳版本号大于同步过来的数据,新写入失败。采用当前时间戳向左移20位,再加上后44位自增的方式来获取key的时间戳版本号。

结束语

云数据库Redis版(ApsaraDB for Redis)是一种稳定可靠、性能卓越、可弹性伸缩的数据库服务。基于飞天分布式系统和全SSD盘高性能存储,支持主备版和集群版两套高可用架构。提供了全套的容灾切换、故障迁移、在线扩容、性能优化的数据库解决方案。欢迎各位购买使用:云数据库 Redis 版

相关实践学习
基于Redis实现在线游戏积分排行榜
本场景将介绍如何基于Redis数据库实现在线游戏中的游戏玩家积分排行榜功能。
云数据库 Redis 版使用教程
云数据库Redis版是兼容Redis协议标准的、提供持久化的内存数据库服务,基于高可靠双机热备架构及可无缝扩展的集群架构,满足高读写性能场景及容量需弹性变配的业务需求。 产品详情:https://www.aliyun.com/product/kvstore     ------------------------------------------------------------------------- 阿里云数据库体验:数据库上云实战 开发者云会免费提供一台带自建MySQL的源数据库 ECS 实例和一台目标数据库 RDS实例。跟着指引,您可以一步步实现将ECS自建数据库迁移到目标数据库RDS。 点击下方链接,领取免费ECS&RDS资源,30分钟完成数据库上云实战!https://developer.aliyun.com/adc/scenario/51eefbd1894e42f6bb9acacadd3f9121?spm=a2c6h.13788135.J_3257954370.9.4ba85f24utseFl
目录
相关文章
|
5月前
|
人工智能 搜索推荐
走进AGIC《看见新力量(第七期)》
前言:AGIC是什么?它对我们的生活有什么影响,本期文章带领大家走进AGIC,领略新时代新力量~
97 1
|
10月前
|
人工智能 Java 区块链
带你走进神奇的元宇宙的世界
朋友,你听说过“元宇宙”吗? 2021年,一个新奇的概念名词在网络上迅速蹿红,引发科技界和投资界的广泛关注。这个概念名词,就是“元宇宙”。
75 0
|
人工智能 算法 物联网
《看见新力量》第四期免费下载!走进十五位科技创业者的精彩故事
「看见新力量」栏目由阿里云创新中心全新出品,挖掘创业者和企业创新背后的故事,以访谈、直播等形式,多视角、多纬度进行价值报道,让你听到创业者的真实声音,看见科技创新的力量。
《看见新力量》第四期免费下载!走进十五位科技创业者的精彩故事
|
人工智能 算法 前端开发
阿觿学长带领准大学生们一起走进互联网
Hello,大家晚上好,我是阿觿学长。阿觿学长带领大家走进互联网。 在我们正式开始之前呢,我们先看一下下方的图片,这是一张关于近几年高校毕业生人数的图片,相信每年到了就业季大家都会听说:“今年是最难的就业季”,确实每一年高校毕业生人数都在逐年增加今年更是突破千万,达到了1076万人,这就是为什么每年都要比前一年更难就业。 随着我国高等教育的普及以及人们对于教育的重视,上大学已经变得越来越简单,不论分数高低,都会有适合自己的高校,而这一现象就造成了高校毕业生数量急剧增多,本科学
197 1
阿觿学长带领准大学生们一起走进互联网
|
消息中间件 人工智能 弹性计算
当开源走进课堂,激发大学生的不竭创新动力
随着中国信息技术飞速的发展,云计算、AI、5G等创新技术被更多地运用到教育手段变革、教育资源共享之中。阿里云提出的“飞天加速计划”也在后疫情时代,通过云力量帮助中国高校培养新一批创新人才。
5132 4
|
安全 机器人 Linux
7年,从“游戏少年”到大厂技术总监的逆袭之路
一直没有正式的介绍过自己,一方面粉丝太少,另一方面确实没有时间写。算一算在杭州已经有11个年头了。算是一个彻头彻尾的杭漂,现在已经在杭州安家立业。希望大家看过我的经历...
159 0
|
达摩院 Linux 芯片
开讲了!龙蜥社区走进北大课堂
龙蜥社区走进高校——北京大学,本学期内分享龙蜥操作系统的技术亮点,并组织同学们进行龙蜥操作系统开源开发实践。
开讲了!龙蜥社区走进北大课堂
|
人工智能 Cloud Native 物联网
《看见新力量》第二期免费下载! 带你走进数十位科技创业者背后的故事
这是一本正在进行中的科技创业者的记录,书中涉及的创业者还都奔跑在路上。然而,他们的所思所做,已足以令一些产业发生微小而有效的变化,令数字经济时代下人们的生活变得更加智能。阿里云创新中心作为科技创业者坚定的陪伴者,希望能够通过记录的方式,让大家听到创业者真实的声音,看见科技创新的力量。
26187 0
《看见新力量》第二期免费下载! 带你走进数十位科技创业者背后的故事
|
云栖大会 云计算 开发者
我眼中的云栖大会
一年一度的云栖大会正在西湖区云栖小镇进行中。云栖大会从最开始的地方网站峰会,经过两年发展,2011年演变成阿里云开发者大会,到2015年正式更名为“云栖大会”。经过多年的举办和发展,无疑已经成为了一次科技,产品,理念和思想的盛会。因为疫情的原因今年不能亲自去现场参加大会。十分的遗憾,下面就来说说我眼中的云栖大会吧
我眼中的云栖大会
|
新零售 人工智能 自然语言处理
“数字智能客服”走进阿里 | CIO培训班
8月13日-14日,阿里云CIO学院联合达摩院举办第31期CIO培训班,共有中国农业银行、中国工商银行、浙江民泰商业银行、宁波银行、温州银行、莱商银行、马上消费金融、中原消费金融、上投摩根基金、浙江省能源集团、正泰股份等12家企业的55位客服中心和研发主管走进阿里。
1302 0
“数字智能客服”走进阿里 | CIO培训班

相关产品

  • 云原生多模数据库 Lindorm
  • 云数据库 Redis 版
  • 云数据库 MongoDB 版