redis事务

redis事务

我们之前的概念：事务要么同时成功，要么同时失败，原子性！

redis单条命令是保证原子性的，但是事务不保证原子性的！

redis事务的本质：一组命令的集合，一个事务中所有的命令都会被序列化，在执行事务的过程中，会按照顺序执行的。

一次性，顺序性，排他性执行一些命令

redis事务中没有隔离级别的概念。所有的命令在事务中，并没有被执行！只有发起执行的时候才会执行，exec

redis的事务

开启事务（Multi）

命令入队（...）

执行事务（exec）

=============================================

正常执行一组事务

127.0.0.1:6379> MULTI
OK
127.0.0.1:6379> set name zs
QUEUED
127.0.0.1:6379> set age 20 
QUEUED
127.0.0.1:6379> set sex boy
QUEUED
127.0.0.1:6379> EXEC
1) OK
2) OK
3) OK
127.0.0.1:6379> get name
"zs"

有一个命令语法编译错误，执行事务的时候，这一组中所有的命令都不会执行成功

127.0.0.1:6379> MULTI
OK
127.0.0.1:6379> 
127.0.0.1:6379> getset 123 #错误的命令 编译就报错了
(error) ERR wrong number of arguments for 'getset' command
127.0.0.1:6379> set name zs
QUEUED
127.0.0.1:6379> set age 20
QUEUED
127.0.0.1:6379> set sex boy
QUEUED
127.0.0.1:6379> exec
(error) EXECABORT Transaction discarded because of previous errors.
127.0.0.1:6379> get age
(nil)

如果编译通过，exec执行事务的时候,单个命令报错，不会影响其他命令的正常操作。就是只会失败单个。

127.0.0.1:6379> set key1 i
OK
127.0.0.1:6379> MULTI
OK
127.0.0.1:6379> INCRBY key1 1
QUEUED
127.0.0.1:6379> set name 1
QUEUED
127.0.0.1:6379> set age 20
QUEUED
127.0.0.1:6379> exec
1) (error) ERR value is not an integer or out of range
2) OK
3) OK
127.0.0.1:6379> get age
"20"

监控watch 

悲观锁：认为什么时候都会出问题，无论做什么都加锁

乐观锁：什么时候都不会出问题，所以不会上锁。更新数据的时候去判断下，在此期间是否有人修改过这个数据。

正常实现乐观锁：单线程

127.0.0.1:6379> MULTI
OK
127.0.0.1:6379> DECRBY money 10
QUEUED
127.0.0.1:6379> INCRBY out 10
QUEUED
127.0.0.1:6379> 
127.0.0.1:6379> exec
1) (integer) 90
2) (integer) 10

多个线程 :在监控money的时候，一个线程创建好事务，但是没有去执行。这时候另外一个线程修改了监控的键的值，这个时候线程执行事务就会失败

因为数据发生了变化。

这个时候如果放开锁，重新执行事务，就能正常执行了。