Redis事务

2019-11-06 06:54:48

字体：大中小

来源：转载

供稿：网友

Redis 事务

1、是什么

可以一次执行多个命令，本质是一组命令的集合。一个事务中的所有命令都会序列化，按顺序地串行化执行而不会被其它命令插入，不许加塞

2、能干嘛

一个队列中，一次性、顺序性、排他性的执行一系列命令

3、怎么玩

常用命令

序号	命令	描述
1	DISCARD	取消事务，放弃执行事务块内的所有命令
2	EXEC	执行所有事务块内的命令
3	MULTI	标记一个事务块的开始
4	UNWATCH	取消 WATCH 命令对所有 key 的监视
5	WATCH key [key …]	监视一个（或多个）key，如果在事务执行之前这个（或哪些）key 被其他命令所改动，那么事务将被打断

正常执行

127.0.0.1:6379> flushdbOK127.0.0.1:6379> keys *(empty list or set)127.0.0.1:6379> set k1 v1OK127.0.0.1:6379> del k1(integer) 1127.0.0.1:6379> MULTIOK127.0.0.1:6379> set k1 v1 QUEUED127.0.0.1:6379> set k2 v2QUEUED127.0.0.1:6379> get k2QUEUED127.0.0.1:6379> set k3 v3QUEUED127.0.0.1:6379> EXEC1) OK2) OK3) "v2"4) OK

放弃事务

127.0.0.1:6379> MULTIOK127.0.0.1:6379> set k1 v1QUEUED127.0.0.1:6379> set k2 v22QUEUED127.0.0.1:6379> set k3 v33QUEUED127.0.0.1:6379> DISCARDOK

全体连坐

127.0.0.1:6379> MULTIOK127.0.0.1:6379> set k1 v1QUEUED127.0.0.1:6379> set k2 v2QUEUED127.0.0.1:6379> set k3 v3QUEUED127.0.0.1:6379> getset k3(error) ERR wrong number of arguments for 'getset' command127.0.0.1:6379> set k4 v4QUEUED127.0.0.1:6379> set k5 v5QUEUED127.0.0.1:6379> EXEC(error) EXECABORT Transaction discarded because of PRevious errors.127.0.0.1:6379> get k5(nil)

冤头债主

127.0.0.1:6379> flushdbOK127.0.0.1:6379> keys *(empty list or set)127.0.0.1:6379> set k1 v1OK127.0.0.1:6379> set k2 v2OK127.0.0.1:6379> set k3 v3OK127.0.0.1:6379> keys *1) "k2"2) "k1"3) "k3"127.0.0.1:6379> MULTIOK127.0.0.1:6379> INCR k1QUEUED127.0.0.1:6379> set k2 v22QUEUED127.0.0.1:6379> set k3 v33QUEUED127.0.0.1:6379> set k4 v44QUEUED127.0.0.1:6379> EXEC1) (error) ERR value is not an integer or out of range2) OK3) OK4) OK127.0.0.1:6379> get k4"v44"

watch 监控

悲观锁/乐观锁/CAS （Check And Set）

悲观锁

悲观锁(Pessimistic Lock), 顾名思义，就是很悲观，每次去拿数据的时候都认为别人会修改，所以每次在拿数据的时候都会上锁，这样别人想拿这个数据就会block直到它拿到锁。传统的关系型数据库里边就用到了很多这种锁机制，比如行锁，表锁等，读锁，写锁等，都是在做操作之前先上锁

乐观锁

乐观锁(Optimistic Lock), 顾名思义，就是很乐观，每次去拿数据的时候都认为别人不会修改，所以不会上锁，但是在更新的时候会判断一下在此期间别人有没有去更新这个数据，可以使用版本号等机制。乐观锁适用于多读的应用类型，这样可以提高吞吐量，

乐观锁策略:提交版本必须大于记录当前版本才能执行更新

例子

初始化信用卡可用余额和欠额

127.0.0.1:6379> set balance 100OK127.0.0.1:6379> set debt 0OK

无加塞篡改，先监控再开启multi，保证两笔金额变动在同一个事务内

127.0.0.1:6379> WATCH balanceOK127.0.0.1:6379> MULTIOK127.0.0.1:6379> DECRBY balance 20QUEUED127.0.0.1:6379> INCRBY debt 20QUEUED127.0.0.1:6379> EXEC1) (integer) 802) (integer) 20

有加塞篡改

#在终端A127.0.0.1:6379> WATCH balanceOK#在终端B127.0.0.1:6379> get balance"80"127.0.0.1:6379> set balance 800OK#在终端A127.0.0.1:6379> MULTIOK127.0.0.1:6379> DECRBY balance 20QUEUED127.0.0.1:6379> INCRBY debt 20QUEUED127.0.0.1:6379> EXEC(nil)#执行失败

监控了key，如果key被修改了，后面一个事务的执行失效

unwatch

127.0.0.1:6379> WATCH balance OK 127.0.0.1:6379> set balance 500 OK 127.0.0.1:6379> MULTI OK 127.0.0.1:6379> DECRBY balance 20 QUEUED 127.0.0.1:6379> INCRBY debt 20 QUEUED 127.0.0.1:6379> EXEC (nil) 127.0.0.1:6379> UNWATCH OK 127.0.0.1:6379> WATCH balance OK 127.0.0.1:6379> MULTI OK 127.0.0.1:6379> DECRBY balance 20 QUEUED 127.0.0.1:6379> INCRBY debt 20 QUEUED 127.0.0.1:6379> EXEC 1) (integer) 480 2) (integer) 40

一旦执行了exec之前加的监控锁都会被取消掉了

小结

Watch指令，类似乐观锁，事务提交时，如果Key的值已被别的客户端改变，比如某个list已被别的客户端push/pop过了，整个事务队列都不会被执行通过WATCH命令在事务执行之前监控了多个Keys，倘若在WATCH之后有任何Key的值发生了变化， EXEC命令执行的事务都将被放弃，同时返回Nullmulti-bulk应答以通知调用者事务执行失败