Redis - 事务隔离机制

Redis 的事务的本质是 一组命令的批处理 。这组命令在执行过程中会被顺序地、一次性

全部执行完毕，只要没有出现语法错误，这组命令在执行期间是不会被中断。

当事务中的命令出现语法错误时，整个事务在 exec 执行时会被取消。

如果事务中的命令没有语法错误，但在执行过程中出现异常，该异常不会影响其它命令

的执行。（比如incrby一个字符）

在并发场景下可能会出现多个客户端对同一个数据进行修改的情况。

Redis 通过 watch 命令再配合事务实现了多线程下的执行隔离。

?

?

其内部的执行过程如下： 1) 当某一客户端对 key 执行了 watch 后，系统就会为该 key 添加一个 version 乐观锁，并

初始化 version 。例如初值为 1.0 。

2) 此后客户端 C 左将对该 key 的修改语句写入到了事务命令队列中，虽未执行，但其将该

key 的 value 值与 version 进行了读取并保存到了当前客户端缓存。此时读取并保存的是

version 的初值 1.0 。

3) 此后客户端 C 右对该 key 的值进行了修改，这个修改不仅修改了 key 的 value 本身，同

时也增加了 version 的值，例如使其 version 变为了 2.0 ，并将该 version 记录到了该 key

信息中。

4) 此后客户端 C 左执行 exec ，开始执行事务中的命令。不过，其在执行到对该 key 进行修

改的命令时，该命令首先对当前客户端缓存中保存的 version 值与当前 key 信息中的

version 值。如果缓存 version 小于 key 的 version ，则说明客户端缓存的 key 的 value 已

经过时，该写操作如果执行可能会破坏数据的一致性。所以该写操作不执行。