Redis 事务满足一致性吗 redis事务的实现

转载

mob6454cc770d06 2023-09-27 08:55:22

文章标签 Redis 事务满足一致性吗 redis 事务 watch 客户端 文章分类 Redis 数据库

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;

Redis 事务满足一致性吗 redis事务的实现_redis

监视机制的触发

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