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命令被放在了事务队列的索引2位置上。

最后入队的另一个GET命令被放在了事务队列的索引3位置上。