KeyDB线程模型是怎样的

共计 2154 个字符，预计需要花费 6 分钟才能阅读完成。

这篇文章主要介绍了 KeyDB 线程模型是怎样的的相关知识，内容详细易懂，操作简单快捷，具有一定借鉴价值，相信大家阅读完这篇 KeyDB 线程模型是怎样的文章都会有所收获，下面我们一起来看看吧。

线程模型

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

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 将需要给非本线程的客户端发送数据维护在异步队列中。

同步发送的逻辑比较简单，都是在本线程中完成，以下图来说明如何同步给客户端发送数据：

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

int fdCmdWrite; // 写管道

int fdCmdRead; // 读管道

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

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

锁机制

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 处理事件循环中可以再次处理。

Active-Replica

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

每个 replica 有个 uuid 标志，用来去除环形复制

新增加 rreplay API，将增量命令打包成 rreplay 命令，带上本地的 uuid

key，value 加上时间戳版本号，作为冲突校验，如果本地有相同的 key 且时间戳版本号大于同步过来的数据，新写入失败。采用当前时间戳向左移 20 位，再加上后 44 位自增的方式来获取 key 的时间戳版本号。

关于“KeyDB 线程模型是怎样的”这篇文章的内容就介绍到这里，感谢各位的阅读！相信大家对“KeyDB 线程模型是怎样的”知识都有一定的了解，大家如果还想学习更多知识，欢迎关注丸趣 TV 行业资讯频道。