概述

在 Redis 中使用 watch 命令可以决定事务是执行还是回滚。

一般而言，可以在 multi 命令之前使用 watch 命令监控某些键值对，然后使用 multi 命令开启事务，执行各类对数据结构进行操作的命令，这个时候这些命令就会进入队列。

当 Redis 使用 exec 命令执行事务的时候，它首先会去比对被 watch 命令所监控的键值对，

如果没有发生变化，那么它会执行事务队列中的命令，提交事务；
如果发生变化，那么它不会执行任何事务中的命令，而去事务回滚。

无论事务是否回滚， Redis 都会去取消执行事务前的 watch 命令

Redis watch流程

流程如下：

Redis 参考了多线程中使用的 CAS （比较与交换， Compare And Swap ）去执行的。在
数据高并发环境的操作中，我们把这样的一个机制称为乐观锁.

ABA问题

先简要论述其操作的过程:

当一条线程去执行某些业务逻辑，但是这些业务务逻辑操作的数据可能被其他线程共享了，这样会引发多线程中数据不一致的情况。为了克服这个问题，首先，在线程开始时读取这些多线程共享的数据，并将其保存到当前进程的副本中，我们称为旧值（ old value), watch 命令就是这样的一个功能。

然后，开启线程业务逻辑，由 multi 命令提供这一功能。在执行更新前，比较当前线程副本保存的旧值和当前线程共享的值是否一致，如果不一致，那么该数据己经被其他线程操作过，此次更新失败。为了保持一致，线程就不去更新任何值，而将事务回滚：否则就认为它没有被其他线程操作过，执行对应的业务逻辑， exec 命令就是执行“类似”这样的一个功能。

注意，“类似”这个字眼，因为不完全是，原因是 CAS 原理会产生 ABA 问题。所谓ABA 问题来自于 CAS 原理的一个设计缺陷，它可能引发 ABA 问题

在处理复杂运算的时候，被线程 2 修改的 X 的值有可能导致线程1的运算出错，而最后线程 2 将 X 的值修改为原来的旧值 A，那么到了线程 1运算结束的时间顺序 T6，它将j检测 X 的值是否发生变化，就会拿旧值 A 和当前的 X 的值 A 比对，结果是一致的，于是提交事务，然后在复杂计算的过程中 X 被线程 2 修改过了，这会导致线程1的运算出错。

在这个过程中，对于线程 2 而言， X 的值的变化为 A->B->A，所以 CAS 原理的这个设计缺陷被形象地称为“ABA 问题”。

仅仅记录一个旧值去比较是不足够的，还要通过其他方法避免 ABA 问题。常见的方法
如 Hibernate 对缓存的持久对象（ PO ）加入字段段 version 值，当每次操作一次该 PO，则version=version+ 1 ，这样采用 CAS 原理探测 version 宇段，就能在多线程的环境中，排除ABA 问题，从而保证数据的一致性。

Redis 在执行事务的过程中，并不会阻塞其他连接的并发，而只是通过比较 watch 监控的键值对去保证数据的一致性，所以 Redis 多个事务完全可以在非阻塞的多线程环境中井发执行，而且 Redis 的机制是不会产生 ABA 问题的，这样就有利于在保证数据一致的基础上，提高高并发系统的数据读／写性能。

使用watch成功提交的事务的案例

时刻	客户端	说明
T1	set key1 value1	初始化 key1
T2	watch key1	监控 key1 的健值对
T3	multi	开启事务
T4	set key2 value2	设置 key2 的值
T5	exec	提交事务， Redis会在这个时间点检测 key1 的值在 T2 时刻后，有没有被其他命令修改泣，如果没有，则提交事务去执行

127.0.0.1:6379> FLUSHDB
OK
127.0.0.1:6379> SET key1 value1
OK
127.0.0.1:6379> WATCH key1
OK
127.0.0.1:6379> MULTI
OK
127.0.0.1:6379> SET key2 value2
QUEUED
127.0.0.1:6379> EXEC
1) OK
127.0.0.1:6379>

这里我们使用了 watch 命令设置了一个 key1 的监控，然后开启事务设置 key2 ，直至exec 命令去执行事务. 如果在当前会话中修改key1的值，也是可以成功的。

使用watch回滚的事务的案例

时刻	客户端1	客户端2	说明
T1	set key1 value1	—	客户端 1 ：返回 OK
T2	watch key1	—	客户端 1 ：监控 key1
T3	multi	—	客户端 1：开启事务
T4	set key2 value2	—	客户端1 ：事务命令入列
T5	—	set key1 val1	客户端 2：修改 key1的值
T6	exec	—	客户端 1：执行事务，但是事务会先检查在 T2 时刻被监控的 key1 是否被其他命令修改过。因为客户揣 2 修改过，所以它会回滚事务，事实上如果客户端执行的是 set key1 value1 命令，它也会认为 key1 被修改过，然后返回( nil) ，所以是不会产生 ABA 问题的

客户端一

127.0.0.1:6379> FLUSHDB
OK
127.0.0.1:6379>
127.0.0.1:6379> SET key1 value1
OK
127.0.0.1:6379> WATCH key1
OK
127.0.0.1:6379> MULTI
OK
127.0.0.1:6379> set key2 value2
QUEUED# 在这一步暂停下，打开第二个客户端去修改key1的值，然后再exec
127.0.0.1:6379> exec
(nil)
127.0.0.1:6379>

客户端二：

然后回到客户端1 执行exec

注意 T2 和 T6 时刻命令的说明，数据已经被回滚了，并没有执行事务。

Redis-11使用 watch 命令监控事务相关推荐

Redis 高级特性（1）—— 事务过期时间排序
1. Redis 高级特性 -- 事务事务概念 Redis 中的事务 (transaction)是一组命令的集合.事务同命令一样是 Redis 的最小执行单位,一个事务中的命令要么都执行,要么都不执 ...
Redis运维和开发学习笔记(6) 监控Redis工作状态-info命令
Redis运维和开发学习笔记(6) 监控Redis工作状态-info命令文章目录 Redis运维和开发学习笔记(6) 监控Redis工作状态-info命令 info server info clie ...
Redis的系统级命令
文章建立一个统一的认识就是Redis的版本是3.2.8 1:BGREWRITEAOF(bgrewriteaof) 执行一个 AOF文件重写操作.重写会创建一个当前 AOF 文件的体积优化版本. 即使 ...
Redis 服务器管理相关命令
客户端相关查看客户端列表 CLIENT LIST 自2.4.0可用. 时间复杂度:O(N) N是客户端连接数量. 语法:CLIENT LIST 说明: Redis CLIENT LIST 命令用于返 ...
尚硅谷Redis尚硅谷学习汇总_事务_持久化_主从复制_集群_穿透_雪崩_击穿
前言该文章是我在学习Redis过程中写的学习汇总,包括了基本使用和常用命令.RDB和AOF.配置文件.事务.击穿.穿透.雪崩.集群等,都记录了详细过程,不管是新手学习还是有基础的同学拿来回顾都是可以 ...
【Redis】详细基础命令 - 学习笔记
Redis 环境搭建及运行安装(Ubuntu举例,其他系统类似) apt-get update && apt-get install redis-server -y 启动 redis ...
Redis:17---常用功能之（事务）
为了保证多条命令组合的原子性,Redis提供了简单的事务功能以及集成Lua脚本来解决这个问题,本文介绍Redis事务,Lua在下一篇文章介绍一.事务概述简单地说,事务表示一组动作,要么全部执行,要 ...
redis查询所有key命令_三歪推荐：Redis常见的面试题
本文公众号来源:科技缪缪作者:科技缪缪本文已收录至我的GitHub 说说Redis基本数据类型有哪些吧字符串:redis没有直接使用C语言传统的字符串表示,而是自己实现的叫做简单动态字符串SDS的抽 ...
redis 介绍和常用命令
redis 介绍和常用命令 redis简介 Redis 是一款开源的,基于 BSD 许可的,高级键值 (key-value) 缓存 (cache) 和存储 (store) 系统.由于 Redis 的键 ...

Redis-11使用 watch 命令监控事务

文章目录

概述

Redis watch流程

ABA问题

使用watch成功提交的事务的案例

使用watch回滚的事务的案例

Redis-11使用 watch 命令监控事务相关推荐

最新文章

热门文章