文档章节

redis事务中的WATCH命令和基于CAS的乐观锁

m
 mirrorgdit
发布于 2016/04/20 13:22
字数 487
阅读 51
收藏 0

在Redis的事务中,WATCH命令可用于提供CAS(check-and-set)功能。假设我们通过WATCH命令在事务执行之前监控了多个Keys,倘若在WATCH之后有任何Key的值发生了变化,EXEC命令执行的事务都将被放弃,同时返回Null multi-bulk应答以通知调用者事务执行失败。例如,我们再次假设Redis中并未提供incr命令来完成键值的原子性递增,如果要实现该功能,我们只能自行编写相应的代码。其伪码如下:
val = GET mykey
val = val + 1
SET mykey $val
以上代码只有在单连接的情况下才可以保证执行结果是正确的,因为如果在同一时刻有多个客户端在同时执行该段代码,那么就会出现多线程程序中经常出现的一种 错误场景--竞态争用(race condition)。比如,客户端A和B都在同一时刻读取了mykey的原有值,假设该值为10,此后两个客户端又均将该值加一后set回Redis服 务器,这样就会导致mykey的结果为11,而不是我们认为的12。为了解决类似的问题,我们需要借助WATCH命令的帮助,见如下代码:
WATCH mykey
val = GET mykey
val = val + 1
MULTI
SET mykey $val
EXEC
和此前代码不同的是,新代码在获取mykey的值之前先通过WATCH命令监控了该键,此后又将set命令包围在事务中,这样就可以有效的保证每个连接在 执行EXEC之前,如果当前连接获取的mykey的值被其它连接的客户端修改,那么当前连接的EXEC命令将执行失败。这样调用者在判断返回值后就可以获 悉val是否被重新设置成功。        

© 著作权归作者所有

共有 人打赏支持
m
粉丝 3
博文 34
码字总数 36719
作品 0
深圳
高级程序员
Redis数据库高级实用特性:事务控制

 redis对事务的支持目前还比较简单。redis只能保证一个client发起的事务中的命令可以连续的执行,而中间不会插入其他client的命令。 由于redis是单线程来处理所有client的请求的所以做到这点...

凯文加内特
2015/11/26
90
0
Redis——事务

Redis通过MULTI, EXEC, WATCH等命令来实现事务(transaction)功能。事务提供了一种将多个请求命令打包,然后一次性,按顺序地执行多个命令的机制,并且在事务执行期间,服务器 不会中断事务而...

nao
2016/05/27
34
0
7种最常见的Redis使用——PHP实战

  Redis是使用ANSI C语言编写、支持网络、可基于内存亦可持久化的日志型、Key-Value数据库,并提供多种语言的   一个开源的   API。   大家可以加入我们的交流学习君羊416344370。而...

学编程C语言以及
01/30
0
0
Redis 事务

先手动执行如下命令,然后看看效果 >multi >set str1 "hello world" >"QUEUED" >set str2 hello world >"QUEUED" >set str2 "welcome" >"QUEUED" >exec > 1) "OK" > 2) "ERR syntax error" >......

learn_more
2016/09/10
25
0
Redis的事务(transaction)

Redis事务和传统事务的区别 事务我们都不陌生,对于关系型数据库来说,事务必须满足: 1.作为单个逻辑工作单元执行的一系列操作,要么完全地执行,要么完全地不执行 2.一个逻辑工作单元要成为...

激情的狼王丶21
02/24
0
0

没有更多内容

加载失败,请刷新页面

加载更多

CentOS7全局安装composer

1. 下载composer-setup.php到当前目录 php -r "copy('https://install.phpcomposer.com/installer', 'composer-setup.php');" 2. 安装 php composer-setup.php 3. 将composer设置成全局 mv c......

月夜中徘徊
昨天
1
0
20180920上课截图

小丑鱼00
昨天
1
0
基于TCP的远程服务调用

前言 上篇,分析了基于HTTP方式的RPC调用。本篇将在上篇的基础上,分析基于TCP方式的RPC调用。代码的整体思路是一致的,可以看作是在上篇功能上的扩展——即通信的方式。 代码:https://git...

MarvelCode
昨天
1
0
67:shell脚本介绍 | shell脚本结构 | 执行data命令用法 | shell脚本中变量

1、shell脚本介绍: shell是一种脚本语言和传统的开发语言相比,会比较简单: shell有自己语法,可以支持逻辑判断、循环等语法: 可以自定义函数,目的是减少重复的代码: shell是系统命令的集合...

芬野de博客
昨天
1
0
json schema

json schema是用来验证和描述json对象结构的。 在线验证:https://www.jsonschemavalidator.net/ json schema 编辑器,推荐VSCode,写上"$schema": "https://raw.githubusercontent.com/jso......

谷永权
昨天
1
0

没有更多内容

加载失败,请刷新页面

加载更多

返回顶部
顶部