组件学习redis原理
Source
Edit
History

undefined

事务

MySQL：ACID

Redis 单条命令是保证原子性的，但是事务不保证原子性。Redis 事务没有隔离级别的概念，所有的命令在事务中，并没有直接被执行，只有发起执行命令的时候才会执行

Redis 的事务：

  1. 开启事务（multi）
  2. 命令入队（…）
  3. 执行事务（exec）
1
2
3
1. multi  # 开启事务
2. exec # 执行事务
3. discard # 放弃事务，事务队列中命令都不会被执行

编译性异常（代码有问题，命令有错），事务中所有的命令都不会被执行

1
2
3
4
5
6
7
8
9
10
127.0.0.1:6379> multi
OK
127.0.0.1:6379(TX)> set k1 v1
QUEUED
127.0.0.1:6379(TX)> getset k1
(error) ERR wrong number of arguments for 'getset' 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.

运行时异常（I/O），如果事务队列中存在错误的命令，那么执行命令的时候，其他命令是可以正常执行的，错误命令执行错误

1
2
3
4
5
6
7
8
9
10
11
12
13
14
127.0.0.1:6379> set k1 "v1"
OK
127.0.0.1:6379> multi
OK
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)> get k2
QUEUED
127.0.0.1:6379(TX)> exec
1) (error) ERR value is not an integer or out of range
2) OK
3) "v2"

悲观锁

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

乐观锁

  • 很乐观，认为什么时候都不会出问题，所以不会上锁。更新数据的时候去判断一下，在此期间是否有人修改过这个数据
      1. 获取 version
      1. 更新的比较version

Redis 监控

正常执行成功

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
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

测试多线程修改值，使用watch 可以当作 redis 的乐观锁操作

1
2
3
4
5
6
7
8
9
10
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)

如果修改失败，获取最新的值就好

1
2
unwatch # 先 unwatch，取消监视
然后在走上述流程。watch  multi ... exec