深入理解Redis事务、事务异常、乐观锁、管道

2024-06-02 00:04
文章标签 异常 redis 深入 理解 管道 事务 乐观

本文主要是介绍深入理解Redis事务、事务异常、乐观锁、管道，希望对大家解决编程问题提供一定的参考价值，需要的开发者们随着小编来一起学习吧！

Redis事务与MySQL事务

  • 不一样。
  • 原子性：MySQL有Undo Log机制，支持强原子性，和回滚。Redis只能保证事务内指令可以不被干扰的在同一批次执行，且没有机制保证全部成功则提交，部分失败则回滚。
  • 隔离性：MySQL的隔离性指多个事务可以并发执行，MySQL有MVCC机制。而Redis没有，Redis是事务提交前的指令不会被执行，单线程的环境下，也就不存在事务未提交时，事务内外数据不一致的隔离性问题了。
  • 持久性：MySQL事务先写Undo Log，并有Redo Log的两阶段提交机制，可以保证持久性。但是Redis持久化机制只有RDB和AOF持久化策略，若事务成功执行且数据刚好被保存，则可以满足持久性。
  • 一致性：MySQL是指数据库从一个合法（指符合业务预期）状态转换成另一个合法状态，这种只要Redis执行不出错，可以保证。

Redis事务

  • 官方文档：https://redis.io/docs/latest/develop/interact/transactions/
  • 极简概括：将一批要执行的Redis指令，放入Redis的执行队列中，事务执行时（不包含事务未提交时） 使其不被并发过来的任务干扰执行。（无法做到严格意义上的ACID 4特性）。
  • 适用场景：
    • 性能优化：10条命令传输10次执行10次，与1次批量执行10条命令，性能有差异。
    • 乐观锁实现：结合Watch可以实现乐观锁。
  • 优点：如上的应用场景就是优点。
  • 缺点：无法像MySQL那样保证原子性、持久性。
  • 关键字：mutli（开启事务），discard（停止事务）、exec（执行事务）、watch（监视指定key）、unwatch（取消监视所有key）。

事务操作实操

测试multi与exec，常规执行

127.0.0.1:6379> multi
OK
127.0.0.1:6379> set a a
QUEUED
127.0.0.1:6379> set b b
QUEUED
127.0.0.1:6379> exec
1) OK
2) OK

测试discard，事务未提交，强行终止，则修改不会生效

127.0.0.1:6379> multi
OK
127.0.0.1:6379> set a a1
QUEUED
127.0.0.1:6379> set b b1
QUEUED
127.0.0.1:6379> discard
OK
127.0.0.1:6379> get a
"a"
127.0.0.1:6379> get b
"b"

Redis事务异常（语法错误导致整个事务执行失败，非回滚操作）

127.0.0.1:6379> multi
OK
127.0.0.1:6379> set a a2
QUEUED
127.0.0.1:6379> sset b b2
(error) ERR unknown command `sset`, with args beginning with: `b`, `b2`, 
127.0.0.1:6379> exec
(error) EXECABORT Transaction discarded because of previous errors.
127.0.0.1:6379> get a
"a"
127.0.0.1:6379> get b
"b"

Redis事务异常（非语法错误引起的部分失败，无法保证ACID中的A，无回滚机制）

127.0.0.1:6379> multi
OK
127.0.0.1:6379> set a aa
QUEUED
127.0.0.1:6379> incr a
QUEUED
127.0.0.1:6379> set b bb
QUEUED
127.0.0.1:6379> exec
1) OK
2) (error) ERR value is not an integer or out of range
3) OK
127.0.0.1:6379> get a
"aa"
127.0.0.1:6379> get b
"bb"

有Redis事务，为什么又出来了Lua？

  • Redis事务和Lua机制并不冲突，并且要比Redis事务更加强大。
  • 应对并发安全问题：虽然有了Lua的加持，仍不支持事务回滚或者，强原子性（要么都成功，要么都回滚），但是Lua可以保证当前的操作不被打断（无间隙执行），应对并发（例如超卖）问题，Lua能妥善解决。
  • Redis事务不支持流程控制，只支持函数调用：配合Lua用于实现无间隙执行的复杂逻辑，这样的用法非常多。因为高并发下，若单纯利用编程语言多次调Redis，实现判断或循环逻辑，这中间有间隙，会有并发问题发生。
    Lua是一门高性能脚本语言，Lua由标准C编写而成，几乎在所有操作系统和平台上都可以编译、运行。Lua脚本可以很容易的被C/C++代码调用，也可以反过来调用C/C++的函数，这使得Lua在应用程序中可以被广泛应用。

关于Redis+Lua是否是原子性执行的争议问题

https://redis.io/docs/latest/develop/interact/programmability/eval-intro/
对Redis官网进行搜索，出现了原子性的字眼。
原话是：
Blocking semantics that ensure the script’s atomic execution.
Lua lets you run part of your application logic inside Redis. Such scripts can perform conditional updates across multiple keys, possibly combining several different data types atomically.

但是我想了想有矛盾的地方：
MySQL使用了undo log来保证原子性，要么成功全部执行，要么失败全部回滚。
众所周知，Redis不支持回滚的，那么ACID的A就没办法全部保证，最多是没有执行期间没有间隙，不被其它过来的请求影响，引起并发问题。

然后我又看了看阿里某架构师对此的剖析，跟我设想的一样：
Redis会把Lua脚本当做一个整体去执行，中间不会被其它的命令插入，但是如果执行过程中出现了错误，事务是不会回滚的。
也就意味着执行Lua脚本的过程不可被拆分，不可被中断，但是遇到错误不会回滚。

Redis乐观锁

  • 悲观锁：很悲观，认为数据大概率会有并发一致性问题，首次请求过来时加具有互斥性的锁阻塞其它并发请求，但是Redis是高性能组件，阻塞会带来性能问题，所以不用悲观锁。
  • 乐观锁：乐观，认为数据小概率有并发一致性问题，所以读数据时不上锁，但是写数据时，会判断一下这个数据是否被改动，从而在旧值的基础上做修改，如果数据被改动，则失败掉此次执行。
  • 注意：redis在事务exec或者discard，都会取消对key的watch操作。
  • 解决问题：高并发读多写少场景下Redis数据一致性问题。
  • 演变：

假设用户a账户有100元，此时要添加10元

127.0.0.1:6379> set a_money 100
OK
127.0.0.1:6379> multi
OK
127.0.0.1:6379> incrby a_money 10
QUEUED
127.0.0.1:6379> exec
1) (integer) 110
127.0.0.1:6379> get a_money
"110"

假设用户a账户有110元，此时要添加20元，但是事务未提交期间，已经被其它请求改为了115，然后事务内加了20。
由于是加法，所以值正确，但是事务内的数据一般是不让改的，很多情况下的自增或者自减，是需要以原数据为基础基础为准的（这也是MySQL隔离级别的用意，所以有了当前读和快照读的区分）。

终端1
127.0.0.1:6379> get a_money
"110"
127.0.0.1:6379> multi
OK
127.0.0.1:6379> incrby a_money 20
QUEUED终端2
127.0.0.1:6379> get a_money
"110"
127.0.0.1:6379> incrby a_money 5
(integer) 115终端1
127.0.0.1:6379> get a_money
"110"
127.0.0.1:6379> multi
OK
127.0.0.1:6379> incrby a_money 20
QUEUED
127.0.0.1:6379> exec
1) (integer) 135
127.0.0.1:6379> get a_money
"135"

Redis没有事务的隔离机制怎么办？使用watch加锁。

终端一
127.0.0.1:6379> watch a_money
OK
127.0.0.1:6379> get a_money
"135"
127.0.0.1:6379> multi
OK
127.0.0.1:6379> incrby a_money 20
QUEUED终端二模拟其它并发用户
127.0.0.1:6379> incrby a_money 5
(integer) 140终端1
127.0.0.1:6379> exec
(nil)
127.0.0.1:6379> get a_money
"140"
事务没有成功被执行，因为watch监控了a_money的值，一旦事务执行期间，被事务外的请求锁修改，则失败掉此次事务。
乐观锁，在此处的体现就是，利用watch监控一下事务执行期间，a_money的值是否被改动。

unwatch 使用

终端1
127.0.0.1:6379> set a a
OK
127.0.0.1:6379> watch a
OK
127.0.0.1:6379> unwatch
OK
127.0.0.1:6379> multi
OK
127.0.0.1:6379> set a a1终端2，模拟并发过来的用户请求
127.0.0.1:6379> set a a2
OK终端1，执行unwatch后，取消了对所有key的监控，执行exec时，就不是nil了。
127.0.0.1:6379> exec
1) OK
127.0.0.1:6379> get a
"a1

watch部分key，其余key的反应

终端1
127.0.0.1:6379> set a a
OK
127.0.0.1:6379> set b b
OK
127.0.0.1:6379> watch a
OK
127.0.0.1:6379> multi
OK
127.0.0.1:6379> set a a1
QUEUED
127.0.0.1:6379> set b b1
QUEUED终端2
127.0.0.1:6379> set a a2
OK
127.0.0.1:6379> set b b2
OK终端1，watch a,没有watch b，事务提交时，被watch的key，可以影响没有被watch的key。
127.0.0.1:6379> exec
(nil)
127.0.0.1:6379> get a
"a2"
127.0.0.1:6379> get b
"b2"

管道

  • 官方文档：https://redis.io/docs/latest/develop/use/pipelining/
  • 极简概括：将多个指令的操作，一次性发送给Redis，进行批量处理。
  • 解决问题：减少网络开销，减少频繁接收命令的开销（10轮request->exec->response，精简为1次request->10次exec->1次response），避免多条Redis指令通信往返时间。避免Redis服务器频繁的从用户态到内核态的调用，减少上下文通信时间。
  • 与事务对比：批量处理指令的行为，类似事务。
  • 注意：redis-cli会话内部并未提供管道命令，（但是使用Linux Shell端支持STDIN标准输入到redis-cli实现管道，例如echo -e "set a aa \n set b bb" | redis-cli --pipe），但redis-server提供了这个机制，管道机制最好用编程语言的客户端演示。
若在redis-cli会话内部实现管道，会有如下提示：
127.0.0.1:6379> pipe
(error) ERR unknown command `pipe`, with args beginning with: 
127.0.0.1:6379> pipeline
(error) ERR unknown command `pipeline`, with args beginning with:
  • PHP实现：
<?php
$redis = new Redis();
$redis->connect('127.0.0.1', 6379);$pipe = $redis->pipeline();$pipe->set('key1', 'value1');
$pipe->set('key2', 'value2');
$pipe->get('key1');
$pipe->get('key2');$responses = $pipe->exec();var_dump($responses);$redis->close();返回执行的结果
array(4) {[0]=>bool(true)[1]=>bool(true)[2]=>string(6) "value1"[3]=>string(6) "value2"
}

管道异常情况（Redis语法错误）

以PHP为例，经实际测试（set函数缺少参数2），Redis调用语法错误（非PHP语法错误），会升级为PHP出现致命错误，管道流程走不下去。

Fatal error: Uncaught ArgumentCountError: Redis::set() expects at least 2 arguments, 1 given in E:\Host\test\t1.php:7
Stack trace:
#0 E:\Host\test\t1.php(7): Redis->set('a')
#1 {main}thrown in E:\Host\test\t1.php on line 7

管道异常情况（Redis执行异常）

经过实测，对字符串进行递增操作，除了incr返回false外，其余上下文代码执行不受影响。

<?php
$redis = new Redis();
$redis->connect('127.0.0.1', 6379);$pipe = $redis->pipeline();$pipe->set('a', 'a');
$pipe->incr('a');
$pipe->set('b', 'b');
$pipe->get('a');
$pipe->get('b');$responses = $pipe->exec();var_dump($responses);$redis->close();array(5) {     [0]=>        bool(true)[1]=>bool(false)[2]=>bool(true)[3]=>string(1) "a"[4]=>string(1) "b"
}

这篇关于深入理解Redis事务、事务异常、乐观锁、管道的文章就介绍到这儿，希望我们推荐的文章对编程师们有所帮助！


http://www.chinasem.cn/article/1022476。

相关文章

一文带你理解Python中import机制与importlib的妙用

一文带你理解Python中import机制与importlib的妙用

《一文带你理解Python中import机制与importlib的妙用》在Python编程的世界里,import语句是开发者最常用的工具之一,它就像一把钥匙,打开了通往各种功能和库的大门,下面就跟随小... 目录一、python import机制概述1.1 import语句的基本用法1.2 模块缓存机制1.
阅读更多...
Redis主从/哨兵机制原理分析

Redis主从/哨兵机制原理分析

《Redis主从/哨兵机制原理分析》本文介绍了Redis的主从复制和哨兵机制,主从复制实现了数据的热备份和负载均衡,而哨兵机制可以监控Redis集群,实现自动故障转移,哨兵机制通过监控、下线、选举和故... 目录一、主从复制1.1 什么是主从复制1.2 主从复制的作用1.3 主从复制原理1.3.1 全量复制
阅读更多...
Redis延迟队列的实现示例

Redis延迟队列的实现示例

《Redis延迟队列的实现示例》Redis延迟队列是一种使用Redis实现的消息队列,本文主要介绍了Redis延迟队列的实现示例,文中通过示例代码介绍的非常详细,对大家的学习或者工作具有一定的参考学习... 目录一、什么是 Redis 延迟队列二、实现原理三、Java 代码示例四、注意事项五、使用 Redi
阅读更多...
深入理解C语言的void*

深入理解C语言的void*

《深入理解C语言的void*》本文主要介绍了C语言的void*,包括它的任意性、编译器对void*的类型检查以及需要显式类型转换的规则,具有一定的参考价值,感兴趣的可以了解一下... 目录一、void* 的类型任意性二、编译器对 void* 的类型检查三、需要显式类型转换占用的字节四、总结一、void* 的
阅读更多...
Redis缓存问题与缓存更新机制详解

Redis缓存问题与缓存更新机制详解

《Redis缓存问题与缓存更新机制详解》本文主要介绍了缓存问题及其解决方案,包括缓存穿透、缓存击穿、缓存雪崩等问题的成因以及相应的预防和解决方法,同时,还详细探讨了缓存更新机制,包括不同情况下的缓存更... 目录一、缓存问题1.1 缓存穿透1.1.1 问题来源1.1.2 解决方案1.2 缓存击穿1.2.1
阅读更多...
redis-cli命令行工具的使用小结

redis-cli命令行工具的使用小结

《redis-cli命令行工具的使用小结》redis-cli是Redis的命令行客户端,支持多种参数用于连接、操作和管理Redis数据库,本文给大家介绍redis-cli命令行工具的使用小结,感兴趣的... 目录基本连接参数基本连接方式连接远程服务器带密码连接操作与格式参数-r参数重复执行命令-i参数指定命
阅读更多...
深入理解Redis大key的危害及解决方案

深入理解Redis大key的危害及解决方案

《深入理解Redis大key的危害及解决方案》本文主要介绍了深入理解Redis大key的危害及解决方案,文中通过示例代码介绍的非常详细,对大家的学习或者工作具有一定的参考学习价值,需要的朋友们下面随着... 目录一、背景二、什么是大key三、大key评价标准四、大key 产生的原因与场景五、大key影响与危
阅读更多...
Redis主从复制的原理分析

Redis主从复制的原理分析

《Redis主从复制的原理分析》Redis主从复制通过将数据镜像到多个从节点,实现高可用性和扩展性,主从复制包括初次全量同步和增量同步两个阶段,为优化复制性能,可以采用AOF持久化、调整复制超时时间、... 目录Redis主从复制的原理主从复制概述配置主从复制数据同步过程复制一致性与延迟故障转移机制监控与维
阅读更多...
Redis过期键删除策略解读

Redis过期键删除策略解读

《Redis过期键删除策略解读》Redis通过惰性删除策略和定期删除策略来管理过期键,惰性删除策略在键被访问时检查是否过期并删除,节省CPU开销但可能导致过期键滞留,定期删除策略定期扫描并删除过期键,... 目录1.Redis使用两种不同的策略来删除过期键，分别是惰性删除策略和定期删除策略1.1惰性删除策略
阅读更多...
Linux(Centos7)安装Mysql/Redis/MinIO方式

Linux(Centos7)安装Mysql/Redis/MinIO方式

《Linux(Centos7)安装Mysql/Redis/MinIO方式》文章总结：介绍了如何安装MySQL和Redis,以及如何配置它们为开机自启,还详细讲解了如何安装MinIO,包括配置Syste... 目录安装mysql安装Redis安装MinIO总结安装Mysql安装Redis搜索Red
阅读更多...

Copyright China编程 23002807@qq.com

沪ICP备2023033072号-2