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标识来决定是否执行事务。
Redis事务的ACID性质
原子性(Atomicity):事务队列中的命令要么就全部都执行,要么就一个都不执行,因此,Redis的事务是具有原子性的。
一致性(Consistency):“一致”指的是数据符合数据库本身的定义和要求,没有包含非法或
者无效的错误数据。Redis可以保证事务的一致性。
隔离性(Isolation):Redis使用单线程的方式来执行事务,并且服务器保证,在执行事务期间不会对事务进行中断,因此,Redis的事务总是以串行的方式运行的,并且事务也总是具有隔离性的。
持久性(Durability):因为Redis是基于内存的数据库,在服务器停机重启后,可能会丢失数据,因此并不能保证持久性。如果硬要追求持久性,可以在每个事务的最后加上SAVE命令,但是这样效率太低,一般不会使用。
Redis事务回滚
Redis并不会跟MySQL等数据库一样支持回滚。在Redis中,如果命令队列的某一条命令出错,那只有出错的命令不会被执行,其他命令还会被正常执行。