Redis事务

目录

事务简介

事务的实现

事务开始

命令入队

事务队列

执行事务

WATCH命令的实现

使用WATCH 命令监视数据库键

监视机制的触发

判断事务是否安全

一个完整的WATCH事务执行过程

事务的ACID性质

原子性

一致性

入队错误

执行错误

服务器停机

隔离性

耐久性


事务简介

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

以下是一个事务执行的过程,该事务首先以一个MULTI命令为开始,接着将多个命令 放入事务当中,最后由EXEC命令将这个事务提交(commit)给服务器执行:

事务的实现

一个事务从开始到结束通常会经历以下三个阶段:

1)事务开始。

2)命令入队。

3)事务执行。

事务开始

MULTI命令的执行标志着事务的开始:

redis> MULTI

OK

MULTI命令可以将执行该命令的客户端从非事务状态切换至事务状态,这一切换是通 过在客户端状态的flags属性中打开REDIS MULTI标识来完成的,MULTI命令的实现可以 用以下伪代码来表示:

命令入队

当一个客户端处于非事务状态时,这个客户端发送的命令会立即被服务器执行:

与此不同的是,当一个客户端切换到事务状态之后,服务器会根据这个客户端发来的不 同命令执行不同的操作:

如果客户端发送的命令为EXEC、DISCARD、WATCH、MULTI四个命令的其中一 个,那么服务器立即执行这个命令。

与此相反,如果客户端发送的命令是EXEC、DISCARD、WATCH、MULTI四个命令 以外的其他命令,那么服务器并不立即执行这个命令,而是将这个命令放入一个事 务队列里面,然后向客户端返回QUEUED回复。

服务器判断命令是该入队还是该立即执行的过程可以用流程图来描述。

事务队列

每个Redis客户端都有自己的事务状态,这个事务状态保存在客户端状态的mstate属性 里面:

事务状态包含一个事务队列,以及一个已入队命令的计数器(也可以说是事务队列的长度):

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

事务队列以先进先出(FIFO)的方式保存入队的命令,较先入队的命令会被放到数组 的前面,而较后入队的命令则会被放到数组的后面。

举个例子,如果客户端执行以下命令:

那么服务器将为客户端创建图19-2所示的事务状态:

最先入队的SET命令被放在了事务队列的索引0位置上。

第二入队的GET命令被放在了事务队列的索引1位置上。

第三入队的另一个SET命令被放在了事务队

  • 0
    点赞
  • 0
    收藏
    觉得还不错? 一键收藏
  • 0
    评论

“相关推荐”对你有帮助么?

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值