Redis 事务提供了一种将多个命令请求打包,然后一次性、按顺序地执行多个命令的机制，并且在事务执行期间，服务器不会中断，会将事务中的所以命令都执行完毕才去处理其他客户端的命令请求。

事务的实现

事务开始

MULTI 命令意味着事务的开始。

事务从开始到结束包含三个阶段：事务开始、命令入队、事务执行。

127.0.0.1:6379> multi

OK

multi 命令将执行命令的客户端从非事务切换到事务状态，这一切换是通过在客户端状态的 flags 属性中打开 REDIS_MULTI 标识完成的。返回客户端 OK。

命令入队

在事务状态中，服务器会立刻执行 exec、discard、watch、multi 四个命令中的一个，而非这些命令将会放入事务事务队列，然后返回 QUEUED。

事务队列

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

typedef struct redisClient {

// ...

	multiState mstate;      /* MULTI/EXEC state */

// ...

}

typedef struct multiState {

    multiCmd *commands;     /* Array of MULTI commands */

    int count;              /* Total number of MULTI commands */

    int minreplicas;        /* MINREPLICAS for synchronous replication */

    time_t minreplicas_timeout; /* MINREPLICAS timeout as unixtime. */

} multiState;

/* Client MULTI/EXEC state */

typedef struct multiCmd {

    robj **argv;

    int argc;

    struct redisComm，and *cmd;

} multiCmd;

执行事务

当一个处于事务状态的客户端向服务器发送 exec 命令时，这个 exec 命令将立刻被服务器执行，遍历事务队列执行所有命令，最后将执行命令所得的结果全部返回给客户端。

watch 命令的实现

watch 命令是个乐观锁，它可以在 exec 命令执行前，监视任意数量的数据库键。当发现有修改则拒绝事务执行并向客户端返回代表事务执行失败的空回复。

使用 watch 命令监视数据库键

每个 Redis 数据库都保存着一个 watched_keys 字典，键是被 watch 命令监视的数据库键，字典值是所有监视这个键的客户端链表。

监视机制的触发

所有对于数据库进行修改的命令执行后都会调用 multi.c/touchWatchKey 函数对 watched_keys 字典进行检查，如果有客户端正在监视刚刚被命令修改过的数据库键，touchWatchKey 函数会将监视被修改键的客户端的 REDIS_DIRTY_CAS 标识打开，表示客户端的事务安全性被破坏。

判断事务是否安全

当服务器收到客户端发来的 exec 命令时，服务器会根据这个客户端是否打开了 REDIS_DIRTY_CAS 标识来决定是否执行事务。

事务的 ACID 性质

A：Atomicity，原子性；

C：Consistency，一致性；

I：Isolation，隔离性；

D：Durability，耐久性。

原子性

原子性是指将事务中的多个操作作为一个整体来执行，要么全部执行成功，要么一个都不执行。Redis 不支持事务回滚机制，即使事务队列中的某个命令在执行期间出现了错误，整个事务也会继续执行下去，直到将事务队列中的所有命令都执行完毕为止。

一致性

如果数据库在执行事务之前是一致的，那么在事务执行之后无论事务是否执行成功，数据库应该是一致的。一致是指数据符合数据库本身的定义和要求，没有包含非法或者无效的错误数据。

隔离性

即使数据库有多个事务并发地执行，各个事务之间也不会互相影响，并发和串行状态事务产生的结果完全相同。

耐久性

当一个事务执行完毕时，执行这个事务所得到的结果已经被保存到永久存储介质里，即使事务执行完毕后停机，执行事务的结果也不会丢失。