Redis_02_redis实现事务和乐观锁

Redis 事务

1.Redis 事务可以一次执行多个命令, 并且带有以下三个重要的保证:

  • 批量操作在发送 EXEC 命令前被放入队列缓存。
  • 收到 EXEC 命令后进入事务执行,事务中任意命令执行失败,其余的命令依然被执行。
  • 在事务执行过程,其他客户端提交的命令请求不会插入到事务执行命令序列中。

一个事务从开始到执行会经历以下三个阶段:

  • 开始事务。
  • 命令入队。
  • 执行事务。

2.正常执行事务!

127.0.0.1:6379> multi  #开启事务
OK
127.0.0.1:6379(TX)> set k1 v1
QUEUED  #进入队列
127.0.0.1:6379(TX)> set k2 v2
QUEUED   #进入队列
127.0.0.1:6379(TX)>  get k2
QUEUED   #进入队列
127.0.0.1:6379(TX)> exec  #执行事务
1) OK
2) OK
3) "v2"

 3.取消事务

127.0.0.1:6379> multi  #开启事务
OK
127.0.0.1:6379(TX)> set k1 v1
QUEUED #进入队列
127.0.0.1:6379(TX)> discard #取消事务
OK
127.0.0.1:6379> get k1
(nil)

4.Redis编译时异常 不会被执行

127.0.0.1:6379> multi #开启事务
OK
127.0.0.1:6379(TX)> set k1 v1
QUEUED                  #进入队列
127.0.0.1:6379(TX)> get k2 v2   #执行事务时报错
(error) ERR wrong number of arguments for 'get' command
127.0.0.1:6379(TX)> set k2 v2
QUEUED
127.0.0.1:6379(TX)> exec  #执行事务
(error) EXECABORT Transaction discarded because of previous errors.
127.0.0.1:6379> get k1  #所有的命令都不会生效 
(nil)

5.Redis运行时异常 正常的命令任然会被执行

Redis单条命令式保证原子性,但是事务不保证原子性!

127.0.0.1:6379> multi #开启事务
OK
127.0.0.1:6379(TX)> set k1 "v1"
QUEUED                #进入队列
127.0.0.1:6379(TX)> incr k1 #字符串自增会报错 但是其他命令任然会执行
QUEUED
127.0.0.1:6379(TX)>  set k2 v2
QUEUED
127.0.0.1:6379(TX)> exec
1) OK
2) (error) ERR value is not an integer or out of range
3) OK
127.0.0.1:6379> get k2
"v2"

Redis实现锁

1.悲观锁:

  • 每次去拿数据的时候都认为别人会修改,所以每次在拿数据的时候都会上锁,这样别人想拿这个数据就会阻塞直到它拿到锁

2.乐观锁 :

  • 每次去拿数据的时候都认为别人不会修改,所以不会上锁,但是在更新的时候会判断一下在此期间别人有没有去更新这个数据,可以使用版本号机制和CAS算法实现。

  • 实现: 获取version,更新的时候比较version

3.Redis正常转账

127.0.0.1:6379> set money 100
OK
127.0.0.1:6379> set out 0
OK
127.0.0.1:6379> watch money #监视money 对象
OK
127.0.0.1:6379> multi    #开启事务
OK
127.0.0.1:6379(TX)> decrby money 20
QUEUED
127.0.0.1:6379(TX)> incrby out 20
QUEUED 
127.0.0.1:6379(TX)> exec  #提交事务
1) (integer) 80
2) (integer) 20

4.多线程转账失败(实现回滚)

线程1正常转账

线程2 在线程1提交之前修改了money

#线程2
127.0.0.1:6379> get money "100" 127.0.0.1:6379> incrby money 100 (integer) 200 127.0.0.1:6379> get money "200"
#线程1
127.0
.0.1:6379> set money 100 OK 127.0.0.1:6379> set out 0 OK 127.0.0.1:6379> watch money #监视money OK 127.0.0.1:6379> multi OK 127.0.0.1:6379(TX)> decrby money 10 QUEUED 127.0.0.1:6379(TX)> incrby out 10 QUEUED 127.0.0.1:6379(TX)> exec #事务失败 (nil) 127.0.0.1:6379> get money "200" ########################################################################## #在事务提交失败的时候需要先解除监视,然后再次监视 127.0.0.1:6379> unwatch OK 127.0.0.1:6379> watch (error) ERR wrong number of arguments for 'watch' command 127.0.0.1:6379> watch money OK

 

 

 

 

 

原文地址:https://www.cnblogs.com/asndxj/p/14262099.html