Redis 事务及发布订阅命令实现

事务

事务本质：一组命令的集合！一个事务中的所有命名都会被序列化，在事务执行过程中，会按照顺序执行！
一次性、顺序性、排他性！执行一系列命令！

Redis事务没有隔离级别的概念
所有的命令在事务中，并没有执行！只有发起执行命令的时候才会执行！Exec
Redis单条命令是保证原子性的（要么同时成功，要么同时失败），但是事务不保证原子性！

redis的事务：

• 开启事务（MULTI）
• 命名入队（。。。）
• 执行事务（）

正常执行事务！

127.0.0.1:6379[1]> MULTI    # 开启事务
OK
127.0.0.1:6379[1]> set k1 v1    # 命令入队
QUEUED
127.0.0.1:6379[1]> set k2 v2
QUEUED
127.0.0.1:6379[1]> get k2
QUEUED
127.0.0.1:6379[1]> set k3 v3
QUEUED
127.0.0.1:6379[1]> EXEC    # 执行事务
1) OK
2) OK
3) "v2"
4) OK

放弃事务

127.0.0.1:6379[1]> multi    # 开启事务
OK
127.0.0.1:6379[1]> set k1 v1
QUEUED
127.0.0.1:6379[1]> set k2 v2
QUEUED
127.0.0.1:6379[1]> set k4 v2
QUEUED
127.0.0.1:6379[1]> DISCARD    # 取消事务
OK
127.0.0.1:6379[1]> get k4    # 事务队列中命令都不会被执行
(nil)

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

127.0.0.1:6379[1]> MULTI
OK
127.0.0.1:6379[1]> set k1 v1
QUEUED
127.0.0.1:6379[1]> set k2 v2
QUEUED
127.0.0.1:6379[1]> set k3 v3
QUEUED
127.0.0.1:6379[1]> getset k3    # 错误的命名
(error) ERR wrong number of arguments for 'getset' command
127.0.0.1:6379[1]> set k4 v4
QUEUED
127.0.0.1:6379[1]> set k5 v5
QUEUED
127.0.0.1:6379[1]> EXEC    # 执行事务报错！
(error) EXECABORT Transaction discarded because of previous errors.
127.0.0.1:6379[1]> get k5    # 所有的命令都不会被执行！
(nil)

运行时异常（1/0），如果事务队列中存在语法性，那么执行命令的时候，其它命名可以正常执行的，错误命令抛出异常

127.0.0.1:6379[1]> set k1 v1
OK
127.0.0.1:6379[1]> multi
OK
127.0.0.1:6379[1]> incr k1
QUEUED
127.0.0.1:6379[1]> set k2 v2
QUEUED
127.0.0.1:6379[1]> set k3 v3
QUEUED
127.0.0.1:6379[1]> get k3
QUEUED
127.0.0.1:6379[1]> exec
1) (error) ERR value is not an integer or out of range    # 虽然一条命令报错了，但是依旧正常执行成功了
2) OK
3) OK
4) "v3"
127.0.0.1:6379[1]> get k2
"v2"
127.0.0.1:6379[1]> get k3
"v3"

监控！Watch

悲观锁：

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

Redis 监视测试

正常执行成功

127.0.0.1:6379[1]> set money 100
OK
127.0.0.1:6379[1]> set out 0
OK
127.0.0.1:6379[1]> watch money    # 监视 mony
OK
127.0.0.1:6379[1]> multi    # 事务正常结束，数据期间没有发生变动，这个时候就正常执行成功
OK
127.0.0.1:6379[1]> decrby money 20
QUEUED
127.0.0.1:6379[1]> incrby out 20
QUEUED
127.0.0.1:6379[1]> exec
1) (integer) 80
2) (integer) 20

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

127.0.0.1:6379[1]> watch money    # 监视money
OK
127.0.0.1:6379[1]> multi
OK
127.0.0.1:6379[1]> decrby money 10
QUEUED
127.0.0.1:6379[1]> incrby money 10
QUEUED
127.0.0.1:6379[1]> get money
QUEUED
127.0.0.1:6379[1]> exec    # 执行之前，另一个线程修改了值，就会导致事务执行失败
(nil)

使用exec和discard会自动解锁类似于JUC编程中的自旋锁。
如果修改失败，获取最新的值就好了。

发布订阅

1、打开一个客户端订阅 channel1

127.0.0.1:6379> SUBSCRIBE channel1
Reading messages... (press Ctrl-C to quit)
1) "subscribe"
2) "channel1"
3) (integer) 1

2、打开另一个客户端，给 channel1 发布消息

127.0.0.1:6379> PUBLISH channel1 hello
(integer) 1

返回的 1 是订阅者的数量

3、打开第一个客户端看到发送的消息

127.0.0.1:6379> SUBSCRIBE channel1
Reading messages... (press Ctrl-C to quit)
1) "subscribe"
2) "channel1"
3) (integer) 1
1) "message"
2) "channel1"
3) "hello"

发布的消息没有持久化，只能收到订阅后发布的消息

本作品采用《CC 协议》，转载必须注明作者和本文链接