Redis--事务

陈戏子

于 2021-08-18 19:34:21 发布

阅读量103

点赞数

分类专栏：学习总结记录

本文链接：https://blog.csdn.net/beyond_czx/article/details/119786999

版权

18 篇文章 0 订阅

订阅专栏

Redis通过MULTI、EXEC、WATCH等命令来实现事务功能。事务提供了一种将多个命令请求打包，然后一次性、按顺序地执行多个命令的机制，并且在事务执行期间，服务器不会中断事务而改去执行其他客户端的命令请求，它会将事务中的所有命令都执行完毕，然后才去处理其他客户端的命令请求。

MULTI命令：开始事务，把命令放入事务中。

MULTI命令可以将执行该命令的客户端从非事务状态切换至事务状态，这一切换是通过在客户端状态的flags属性中打开REDIS_MULTI标识来完成的。

Redis的事务保存在客户端状态的mstate属性里面。

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

事务状态包含一个事务队列，以及一个已入队命令的计数器。

typedef struct multiState {
    //事务队列，FIFO
    multiCmd *commands;

    //已入队命令计数
    int count;
} multiState;

事务队列是一个multiCmd类型的数组，数组中的每个multiCmd结构都保存了一个已入队命令的相关信息，包括指向命令实现函数的指针、命令的参数，以及参数的数量。

typedef struct multiCmd {
    //参数
    robj **argv;

    //参数数量
    int argc;

    //命令指针
    struct redisCommand *cmd;
} multiCmd;

EXEC命令：执行事务

当一个处于事务状态的客户端向服务器发送EXEC命令时，这个EXEC命令将立即被服务器执行。服务器会遍历这个客户端的事务队列，执行队列中保存的所有命令，最后将执行命令所得的结果全部返回给客户端。

WATCH命令：监控键

可以在EXEC命令执行之前，监视任意数量的数据库键，并在EXEC命令执行时，检查被监视的键是否至少有一个已经被修改过了，如果是的话，服务器将拒绝执行事务，并向客户端返回代表事务执行失败的空回复。

每个Redis数据库都保存着一个watched_keys字典，这个字典的键是某个被WATCH命令监视的数据库键，而字典的值则是一个链表，链表中记录了所有监视相应数据库键的客户端。

typedef struct redisDb {
    ...
    //正在被WATCH命令监视的键
    dict *watched_keys;
    ...
} redisDb;

在客户端开启事务，命令进入事务队列的过程中，如果被监控某个键被修改了，服务器会把监视该键的客户端的REDIS_DIRTY_CAS标识打开。当服务器接收到客户端发来的EXEC命令时，服务器会根据这个客户端是否打开了REDIS_DIRTY_CAS标识来决定是否执行事务。

原子性（Atomicity）：事务队列中的命令要么就全部都执行，要么就一个都不执行，因此，Redis的事务是具有原子性的。

一致性（Consistency）：“一致”指的是数据符合数据库本身的定义和要求，没有包含非法或
者无效的错误数据。Redis可以保证事务的一致性。

隔离性（Isolation）：Redis使用单线程的方式来执行事务，并且服务器保证，在执行事务期间不会对事务进行中断，因此，Redis的事务总是以串行的方式运行的，并且事务也总是具有隔离性的。

持久性（Durability）：因为Redis是基于内存的数据库，在服务器停机重启后，可能会丢失数据，因此并不能保证持久性。如果硬要追求持久性，可以在每个事务的最后加上SAVE命令，但是这样效率太低，一般不会使用。

Redis并不会跟MySQL等数据库一样支持回滚。在Redis中，如果命令队列的某一条命令出错，那只有出错的命令不会被执行，其他命令还会被正常执行。

关注