【高频【高频 Redis 面试题】面试题】Redis 事务是否具备原子性？事务是否具备原子性？
一、一、Redis 事务的实现原理事务的实现原理
一个事务从开始到结束通常会经历以下三个阶段：
1、事务开始、事务开始
客户端发送 MULTI 命令，服务器执行 MULTI 命令逻辑。
服务器会在客户端状态（redisClient）的 flags 属性打开 REDIS_MULTI 标识，将客户端从非事务状态切换到事务状态。
void multiCommand(redisClient *c) {
// 不能在事务中嵌套事务
if (c->flags & REDIS_MULTI) {
addReplyError(c,"MULTI calls can not be nested");
return;
}
// 打开事务 FLAG
c->flags |= REDIS_MULTI;
addReply(c,shared.ok);
}
2、命令入队、命令入队
接着，用户可以在客户端输入当前事务要执行的多个命令。
当客户端切换到事务状态时，服务器会根据客户端发来的命令来执行不同的操作。
如果客户端发送的命令为 EXEC、DISCARD、WATCH、MULTI 四个命令的其中一个，那么服务器立即执行这个命令。
与此相反，如果客户端发送的命令是 EXEC、DISCARD、WATCH、MULTI 四个命令以外的其他命令，那么服务器并不立即
执行这个命令。
首先检查此命令的格式是否正确，如果不正确，服务器会在客户端状态（redisClient）的 flags 属性打开 REDIS_MULTI 标
识，并且返回错误信息给客户端。
如果正确将这个命令放入一个事务队列事务队列里面，然后向客户端返回 QUEUED 回复。
我们先看看事务队列是如何实现的？我们先看看事务队列是如何实现的？
每个 Redis 客户端都有自己的事务状态，对应的是客户端状态（redisClient）的 mstate 属性。
typeof struct redisClient{
// 事务状态
multiState mstate;
}redisClient;
事务状态（mstate）包含一个事务队列（FIFO 队列），以及一个已入队命令的计数器。
/*
* 事务状态
*/
typedef struct multiState {
// 事务队列，FIFO 顺序
multiCmd *commands; /* Array of MULTI commands */
// 已入队命令计数
int count; /* Total number of MULTI commands */
int minreplicas; /* MINREPLICAS for synchronous replication */
time_t minreplicas_timeout; /* MINREPLICAS timeout as unixtime. */
} multiState;
事务队列是一个 multiCmd 类型数组，数组中每个 multiCmd 结构都保存了一个如入队命令的相关信息：指向命令实现函数的指
针，命令的参数，以及参数的数量。
/*
* 事务命令
*/
typedef struct multiCmd {
资源评论
weixin_38715721
- 粉丝: 5
- 资源: 965
最新资源
- C语言-leetcode题解之70-climbing-stairs.c
- C语言-leetcode题解之68-text-justification.c
- C语言-leetcode题解之66-plus-one.c
- C语言-leetcode题解之64-minimum-path-sum.c
- C语言-leetcode题解之63-unique-paths-ii.c
- C语言-leetcode题解之62-unique-paths.c
- C语言-leetcode题解之61-rotate-list.c
- C语言-leetcode题解之59-spiral-matrix-ii.c
- C语言-leetcode题解之58-length-of-last-word.c
- 计算机编程课程设计基础教程
资源上传下载、课程学习等过程中有任何疑问或建议，欢迎提出宝贵意见哦~我们会及时处理！
点击此处反馈
