分析Redis事务的实例
Redis Assistant 是一款为Redis设计的高效可视化管理与监控工具，提供多种操作模式，高效处理服务器数据。日常使用里的持续防护和信息管理会更突出，适合把安全控制放进长期使用流程中的场景。
Redis中的使用Redis通过multi，exec，discard，watch实现事务功能。multi：开始事务exec：提交事务并执行discard：取消事务watch：事务开始之前监视任意数量的键>multiOK>setbookName"Redis"QUEUED>getbookNameQUEUED>saddtag"Redis""NewBook"QUEUED>smemberstagQUEUED>exec1)OK2)"Redis"3)(integer)24)1)"Redis"2)"NewBook"开始事
Redis 中的使用
Redis 通过 multi，exec，discard，watch 实现事务功能。
multi：开始事务
exec：提交事务并执行
discard：取消事务
watch：事务开始之前监视任意数量的键
> multi OK > set bookName "Redis" QUEUED > get bookName QUEUED > sadd tag "Redis" "New Book" QUEUED > smembers tag QUEUED > exec 1) OK 2) "Redis" 3) (integer) 2 4) 1) "Redis" 2) "New Book"
开始事务
> multi OK
这个命令将 Redis_multi 选项打开，让客户端从非事务状态变为事务状态
命令入队
> set bookName "Redis" QUEUED > get bookName QUEUED > sadd tag "Redis" "New Book" QUEUED > smembers tag QUEUED
在事务状态中，Redis 命令并不是立即执行的，而是进入一个先进先出的事务队列。QUEUED 表示这个命令已经入了事务队列。
执行事务
> exec 1) OK 2) "Redis" 3) (integer) 2 4) 1) "Redis" 2) "New Book"
当执行 exec 命令时，Redis 根据客户端所保存的事务队列， 以先进先出的方式执行事务队列中的命令：最先入队的命令最先执行， 而最后入队的命令最后执行。当 exec 命令执行完毕时，Redis 会将结果保存到一个回复队列，并将回复队列返回给客户端。客户端从事务状态退出，一个事务执行完毕。
discard 命令
> multi OK > set author "lisi" QUEUED > discard OK > get author (nil)
discard 取消一个事务的命令，表示这个事务被取消。客户端从事务状态退出，回到非事务状态，Redis_multi 选项关闭。
watch 命令
# Redis 客户端1 > watch letter OK > multi OK > set letter a QUEUED > exec (nil) # Redis 客户端2 > set letter b OK # Redis 客户端1 > get letter "b"
设置监控 letter 键，客户端1进入事务，设置 letter 的 value 为 a，未提交事务。客户端2设置 letter 的 value 为 b。回到客户端1提交事务返回的结果为 nil，调用 get 命令得到 letter 为 b。这说明当 letter 键在其他客户端改变后，事务被取消了，不会被执行，返回失败。
watch 命令在事务开始之前监视任意数量的键：当调用 exce 命令执行事务时，如果任意一个被监视的键已经被其他客户端修改了，那么整个事务不再执行，直接返回失败。
事务异常
命令错误
> set letter ac QUEUED > get letter ac (error) ERR wrong number of arguments for 'get' command > exec (error) EXECABORT Transaction discarded because of previous errors.
事务中命令异常属于语法错误，将导致事务无法执行。
运行时异常
> multi OK > lpush books "Redis" QUEUED > incr books QUEUED > lpush books "Python" QUEUED > lrange books 0 -1 QUEUED > exec 1) (integer) 1 2) (error) WRONGTYPE Operation against a key holding the wrong kind of value 3) (integer) 2 4) 1) "Python" 2) "Redis"
上面的例子是事务执行到中间遇到失败了，因为不能对一个字符串进行 incr 命令，事务在遇到命令执行失败后，后续的命令还继续执行，所以 books 的值能继续得到设置。这种异常只有程序员在代码中避免。
事务的 ACID
原子性
原子意味着要么一起成功执行，要么一起失败回滚。Redis 提供的所有 API 都是原子操作。那么 Redis 事务只要保证在一批操作中保证原子性，但是在运行时异常中，在一个事务中一个命令出现异常，其他命令还是会继续执行，事务没有回滚机制，所以 Redis 事务是不保证原子性的。
一致性
事务异常
如果命令错误事务无法执行，如果是运行时异常，Redis 会将错误包含在返回结果中，并不影响后续执行，所以事务是一致性的。
Redis 进程被终结
在纯内存模式下，Redis 没有做持久化，重启之后数据库是空白的，所以是事务一致性的。
在 RDB 模式下，事务并不会在中途执行保存 RDB 文件的工作，只有在事务执行完后，RDB 工作才可能会开始。所以在事务执行过程中 Redis 进程被杀死，不管成功多少都不会保存到 RDB 文件中，所以是一致性的。
在 AOF 模式下，事务部分语句被写入 AOF 文件并保存成功，不完整的事务被保存到了 AOF 文件，当重启 Redis 时，检查 AOF 文件不完整，Redis 退出并报错。需要把这段不完整的事务删除后才能重启成功，所以是一致性的。
在 AOF 模式下，事务并未被写入 AOF 文件，所以重启后 Redis 数据库是最近一次成功保存到 AOF 文件中的数据。并没有这次事务的数据，所以是以一致性的。
隔离性
Redis 是单进程程序，并且它保证在执行事务时，不会对事务进行中断，事务可以运行直到执行完所有事务队列中的命令为止。所以事务是带有隔离性的。
持久
在纯内存模式下，事务肯定不是持续性的。
在 RDB 模式下，服务器可能在事务执行之后、RDB 文件更新之前的这段时间失败，所以 RDB 模式下的事务也是不持久的。
在 AOF 模式下，将命令添加到 AOF 文件中，但是对文件进行写入并不会马上写到磁盘上，而是先存储到缓冲区。所以数据保存到磁盘上有一段非常小的时间间隔。这种模式下事务也不是持久的。
IntelliJ IDEA 是 JetBrains 推出的专业集成开发环境，重点服务于 Java、Kotlin 与 JVM 项目开发。软件集成代码补全、静态检查、重构、调试、测试、版本控制及构建工具，并可借助插件扩展语言和框架支持。
JetBrains PyCharm 是面向 Python 开发者的集成开发环境，提供智能补全、代码检查、重构、调试、测试、版本控制及虚拟环境管理功能。Mac 版兼容 Intel 与 Apple 芯片，核心功能可免费使用。
JetBrains WebStorm 是面向 JavaScript、TypeScript 和现代 Web 技术的专业集成开发环境，可智能理解项目结构，提供代码补全、重构、错误检查、运行调试、测试及 Git 工具。
Adobe After Effects 是面向动态图形、影视特效与视频合成的专业创作软件。它提供关键帧动画、遮罩抠像、运动跟踪、三维空间、文字动画和表达式等工具，并可与 Premiere Pro、Photoshop、Illustrator
Adobe Audition 是面向播客、影视后期、音乐制作及内容创作者的专业音频工作站，提供波形精修、多轨录制与混音、频谱编辑、降噪修复、响度匹配和效果处理工具，并可与 Adobe Premiere 协同完成视频声音制作。
Adobe Bridge 是面向摄影师、设计师及内容团队的免费数字资产管理工具，可集中预览照片、视频和 Adobe 项目文件，并利用评级、标签、关键词、元数据、筛选与收藏集完成分类检索。它还支持批量重命名、格式导出、相机导入及 Camera
Adobe Illustrator 是 Adobe 推出的专业矢量图形设计软件，适合在 Mac 上制作标志、图标、插画、包装、信息图及印刷版面。它以路径和锚点构建可无损缩放的图形，并提供钢笔、形状、文字、图像描摹、渐变、画板及生成式功能。
Adobe InDesign 是面向印刷品与数字出版物的专业版面设计软件，可在 Mac 上制作书籍、杂志、宣传册、海报、报告及交互式文档。它提供精细的文字样式、网格、母版、长文档管理和印前输出能力。
Adobe Lightroom Classic 是面向桌面摄影工作流的照片管理与后期处理软件，可将原始照片保存在本地硬盘，通过目录、关键词、评分和收藏夹高效整理图库，并提供 RAW 冲印、蒙版、镜头校正、批量同步及多格式导出等功能。
Adobe Media Encoder 是 Adobe 推出的专业音视频编码与转码工具，可通过队列、预设和监视文件夹批量完成格式转换、代理文件创建及多平台成片输出，并与 Premiere Pro、After Effects 等软件紧密协作。
Adobe Photoshop 是面向摄影师、设计师和内容创作者的专业图像处理软件，提供图层、蒙版、选区、修复、调色、文字排版、智能对象及生成式编辑等能力。Mac 版支持 Intel 与 Apple Silicon 处理器。
Adobe Premiere Pro 是面向专业视频制作的非线性剪辑软件，提供多轨时间线、调色、音频处理、字幕、代理工作流和多格式输出能力，并可与 After Effects、Audition、Photoshop 及 Frame.io 协同
JetBrains IntelliJ IDEA 是以 Java、Kotlin 和 JVM 项目为核心的专业集成开发环境，提供智能补全、代码检查、安全重构、调试、测试、版本控制及构建工具集成。统一发行版的核心功能可免费用于商业和非商业项目，
PhpStorm 是 JetBrains 面向 PHP 与现代 Web 开发打造的专业集成开发环境，提供代码补全、静态检查、重构、调试、测试、数据库、版本控制及前端语言支持。Windows 用户可直接下载安装程序，
PyCharm 是 JetBrains 推出的 Python 集成开发环境，提供智能代码补全、错误检查、重构、调试、测试、Git、终端及 Jupyter Notebook 支持。统一版安装后可体验 30 天 Pro 功能，
WebStorm 是 JetBrains 面向 JavaScript、TypeScript 和现代 Web 技术打造的集成开发环境。它提供项目级代码分析、智能补全、安全重构、导航搜索，并集成调试、测试、终端、Git 与常用前端工具，
Adobe Photoshop 是面向摄影师、设计师和内容创作者的专业图像处理工具，可在 Windows 上完成照片修饰、选区抠图、图层合成、文字排版、绘画及生成式编辑。软件采用订阅授权，由 Creative Cloud 管理安装、更新与许
Adobe InDesign 是面向印刷与数字出版的专业页面排版工具，可制作书籍、杂志、宣传册、海报、交互式 PDF 和电子书。它提供精细的文字样式、多页面管理、印前检查及多格式输出能力，并能与 Photoshop、Illustrator
Adobe Illustrator 是用于绘制矢量图形、插画、图标、徽标和版式的专业设计工具。它以路径和锚点为核心，作品放大后仍能保持清晰，并提供画板、文字、渐变、图像描摹及精确变换等功能，适合品牌视觉、印刷物料、数字界面和商业插画创作。
Adobe Bridge 是 Adobe 推出的创意资产管理工具，可集中预览、分类和查找照片、视频、PDF及多种设计文件，并支持元数据、关键词、评级、批量重命名和格式导出。它可与 Photoshop、Illustrator 等应用衔接，
Adobe Lightroom Classic 是面向 Windows 桌面摄影工作流的照片管理与无损编辑工具，可通过目录集中整理大型图库，并完成 RAW 显影、局部蒙版、批量调整、打印和多格式导出。它强调本地文件管理与精细控制，
Adobe Acrobat Pro 是面向专业 PDF 工作的综合解决方案，可在 Windows 中创建、编辑、转换、比较、整理和保护文档，并支持表单、电子签名、扫描件文字识别及敏感信息永久遮盖。订阅还包含网页、移动服务和云端协作能力，
Adobe After Effects 是面向动态图形、动画与影视视觉特效制作的专业工具，可完成关键帧动画、图层合成、遮罩跟踪、抠像、文字动画和二维三维元素整合。Windows 版通过 Adobe Creative Cloud 安装及更新，
Adobe Media Encoder 是 Adobe 面向视频与音频制作流程提供的专业编码和转码工具，可批量处理媒体文件、创建代理、套用输出预设并监控文件夹自动执行任务。它与 Premiere、After Effects、Audition