前言

参考资料：《Redis设计与实现第二版》；

第三部分为独立功能的实现，主要由以下模块组成：发布订阅、事务、Lua 脚本、排序、二进制位数组、慢查询日志、监视器；

本篇将介绍 Redis 的发布订阅与事务。Redis 提供了频道与模式的订阅与退订，支持对频道发送消息。Redis 的事务机制支持一次性、按顺序执行多个命令，以及事务的 ACID 性质；

与本章相关的 Redis 命令总结在下篇文章，欢迎点击收藏，本篇将不再重复：

《Redis常用命令及示例总结（API）》：https://blog.csdn.net/dlhjw1412/article/details/119713214

1. 发布订阅

Redis 将所有频道的订阅关系保存在服务器状态的 pubsub_challens 字典里：

struct redisService{//...//保存所有频道的订阅关系dict *pubsub_channels;
};

一个 pubsub_channels 字典示例

频道的订阅

Redis 将所有模式的订阅关系保存在服务器状态的 pubsub_patterns 链表里：

struct redisServer{//...//保存所有模式订阅关系，记录被订阅的模式list *pubsub_patterns;
};

pubsub_patterns 链表保存的结构体如下：

typedef struct pubsubPattern{//订阅模式的客户端redisClient *client;//被订阅的模式robj *pattern;
} pubsubPattern;

pubsub_patterns 链表示例

模式与频道的订阅

客户端执行 PUBLISH channel message 命令将 message 消息发送给 channel 频道，然后服务器将消息发送给频道与模式订阅者；
将消息发送给频道订阅者：
- 在 pubsub_channels 字典里找到频道 channel 的所有订阅者名单（链表），然后将消息发送给名单上的所有客户端；
将消息发送给模式订阅者：
- 遍历 pubsub_patterns 链表，查找与 channel 频道相匹配的模式，然后将消息发送给订阅了这些模式的客户端；

频道发送消息
模式频道发送消息

客户端使用 PUBSUB 命令查看频道或模式的相关信息；
PUBSUB CHANNELS [pattern] 命令用于返回服务器当前被订阅的频道；
PUBSUB NUMSUB [channel …] 命令接受任意多个频道作为输入参数，返回这些频道的订阅者数量。通过查询 pubsub_channels 字典中对应频道键的链表值的长度；
PUBSUB NUMPAT 命令用于返回服务器当前被订阅模式的数量。通过查询 pubsub_patterns 链表的长度；

事务开始：
- 使用 MULTI 命令；
- 通过修改客户端状态中 flags 属性为 REDIS_MULTI 实现；
命令入队：
- 当客户端切换到事务模式时，会根据命令不同采取不同的操作；
- 与事务相关的命令有：EXEC、DISCARD、WATCH、MULTI；

事务队列：

Redis 客户端里有事务状态属性 mstate：

typedef struct redisClient{//...//事务状态multiState mstate;
} redisClient;

multiState 事务状态结构，包含事务队列与计数器：

typedef struct multiState{//事务队列，FIFO排序multiCmd *commands;//已入队命令计数int count;
} multiState;

事务队列逻辑图

执行事务：
- 处于事务状态的客户端向服务器发送 EXEC 命令时，会执行事务；
- 服务器遍历客户端的事务队列，执行队列中保存的所有命令，将执行结果返回给客户端；

Redis 数据库保存一个 watched_keys 字典：

typedef struct redisDb{//...// 字典，键表示被 WATCH 命令监视的数据库键；值为链表，记录监视该键的客户  端dict *watched_keys;
} redisDb;

所有对数据库进行修改的命令，在执行后都会调用 multi.c/touchWatchKey 函数对 watched_keys 字典进行检查：
- 如果有客户端监视被修改的键，则将客户端的 REDIS_DIRTY_CAS 标识打开，表示客户端的事务安全性被破坏；
服务器接收到 EXEC 命令时，会根据客户端是否打开 REDIS_DIRTY_CAS 标识决定是否执行事务：
- 如果打开，说明本次提交不安全，服务器会拒绝执行客户端提交的事务；
- 否则说明事务安全，可以提交；

判断事务是否安全

Redis 数据库的事务具有原子性(Atomicity)、一致性(Consistency)、隔离性(Isolation)、耐久性(Durability)；
原子性：
- 事务队列要么全部执行，要么一个都不执行；
- Redis 不支持事务回滚机制(rollback)，事务队列中某个命令在执行期间出现错误，后续事务也会继续执行；
一致性：
- 一致指：数据符合数据库本身的定义和要求，没有包含非法或无效的错误数据；
- 数据库在执行事务之前是一致的，在执行事务之后，无论事务是否成功，数据库也应该是一致的；
- Redis 的一致性有：入队错误、执行错误、服务器停机；
隔离性：
- 数据库中多个事务并发执行，各个事务之间不会互相影响，并且与串行执行的结果相同；
- 原因：Redis 使用单线程方式执行事务以及事务队列中的命令，且服务器保证在事务执行期间不会对事务中断；

耐久性：

Redis 的事务耐久性由持久化模式支持：

服务器的持久化模式	事务的耐久性	说明
无持久化模式	不具有
RDB 持久化模式	不具有	服务器只会在特定条件下执行 BGSAVE
AOF 持久化模式，且`appendfsync` 的值为 `always`	具有	程序总在执行命令后调用同步函数
AOF 持久化模式，且`appendfsync` 的值为 `everysec`	不具有	程序每秒同步一次命令数据到硬盘
AOF 持久化模式，且`appendfsync` 的值为 `no`	不具有	同步操作由操作系统决定
服务器打开了 `no-appendfsync-on-rewrite` 选项	不具有	该选项打开时，服务器在执行 BGSAVE 或 BGREWRITEAOF 命令时，会暂时停止对 AOF 文件进行同步（尽可能减少 I/O 阻塞）