redis设计与实现读书笔记——事务

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

• 事务的实现

1. 事务开始：redis > MULTI

   def MULTI():
   
       #打开事务标识
       client.flag |= REDIS_MULTI
   
       #返回OK回复
       replyOK()

    

2. 命令入队：当一个客户端切换到事务状态之后，服务器会根据这个客户端发来的不同命令执行不同的操作：如果客户端发送的命令为EXEC、DISCARD、WATCH、MULIT四个命令中的一个，那么服务器立即执行这个命令；否则，服务器将这个命令放入一个事务队列里面，然后向客户端返回QUEUE回复。
3. 事务队列：每个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;

    

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

• WATCH命令的实现

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

1. 使用WATCH命令监视数据库键

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

   

2. 监视机制的触发

   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

    

3. 判断事务是否安全

• 事务的ACID性质

1. 原子性：与传统的关系型数据库事务支持的原子性不同，redis不支持事务回滚机制，即使事务队列中的某个命令在执行期间出错，整个事务也会继续执行下去，直到事务队列中所有的命令都执行完毕
2. 一致性
3. 隔离性
4. 持久性