Redis通过MULTI、EXEC、WATCH等命令来实现事务功能。事务提供了一种将多个命令请求打包,然后一次性、按顺序的执行多个命令的机制,并且在事务执行期间,服务器不会中断事务而改去执行其他客户端请求,他会将事务中的所有命令都执行完毕,然后才去处理其他客户端的命令请求。
- 事务的实现
- 事务开始:redis > MULTI
def MULTI(): #打开事务标识 client.flag |= REDIS_MULTI #返回OK回复 replyOK()
- 命令入队:当一个客户端切换到事务状态之后,服务器会根据这个客户端发来的不同命令执行不同的操作:如果客户端发送的命令为EXEC、DISCARD、WATCH、MULIT四个命令中的一个,那么服务器立即执行这个命令;否则,服务器将这个命令放入一个事务队列里面,然后向客户端返回QUEUE回复。
- 事务队列:每个Redis客户端都有自己的事务状态,这个事务状态保存在客户端状态的master属性里面:
typedef struct redisClient{ //…… //事务状态 multiState mstate; //…… }redisClient; typedef struct multiState{ //事务队列,FIFO顺序 multiCmd *commands; //已入队命令计数 int count; }multiState; typedef struct multiCmd{ //参数 robj **argv; //参数数量 int argc; //命令指针 struct redisCommand *cmd; }multiCmd;
-
执行事务:当一个处于事务状态的客户端向服务器发送EXEC命令时,这个EXEC命令将立即被服务器执行。服务器会遍历这个客户端的事务队列,执行队列中保存的所有命令,最后将执行命令所得的结果全部返回客户端。
- WATCH命令的实现
WATCH命令是一个乐观锁,他可以在EXEC命令执行之前,监视任意数量的数据库键,并在EXEC命令执行时,检查被监视的键是否至少有一个已经被修改过了,如果是的话,服务器将拒绝执行事务,并向客户端返回代表事务执行失败的空回复。
- 使用WATCH命令监视数据库键
typedef struct redisDb{ //…… //正在被WATCH命令监视的键 dict *watched_keys; //…… }redisDb;
- 监视机制的触发
def toutchWatchKey(db,key): #如果键key存在于数据库的watched_keys字典中,那么说明至少有一个客户端在监视这个key if key in db.watched_keys #遍历所有监视key的客户端 for client in db.watched_keys[key]: #打开标识 client.flags |= REDIS_DIRTY_CAS
- 判断事务是否安全
- 事务的ACID性质
- 原子性:与传统的关系型数据库事务支持的原子性不同,redis不支持事务回滚机制,即使事务队列中的某个命令在执行期间出错,整个事务也会继续执行下去,直到事务队列中所有的命令都执行完毕
- 一致性
- 隔离性
- 持久性