如何利用 Redis 的 Lua 脚本配合 Java 业务逻辑实现强一致性的分布式限流
Redis配合Lua脚本通过原子性执行实现分布式限流的强一致性，Java仅负责安全调用，不可参与状态判断。生产环境推荐EVALSHA并提前预热脚本。令牌桶限流时，客户端传入时间戳等参数。Java层需正确配置序列化、返回值类型和连接池，否则易破坏一致性。
分布式限流这件事，技术方案看起来不少，但要真正实现“强一致性”，路其实挺窄的。Redis 配合 Lua 脚本是目前比较成熟的解法，但这里面有个关键前提——限流的全部判断逻辑，必须老老实实缩在 Lua 脚本里完成，Ja va 层只负责“安全调用”，不要掺和任何状态判断。
问题的核心就几句话：Redis + Lua 脚本本身具备原子性，能保证强一致；而 Ja va 嘛，离了脚本，任何“先查后判再写”的操作都会破坏原子性，漏放或误拒只是时间问题。
为什么不能在 Ja va 里做 if-else 判断是否超限
实践中经常能看到这样的场景：Ja va 先 stringRedisTemplate.opsForValue().get() 拿到当前计数，接着 if (count >= max) throw new RuntimeException() 做个判断，最后才 incr() 加一。这三步之间，竞态窗口敞开着，多个请求可能同时读到旧值、同时判定未超限、同时写入，结果就是实际 QPS 轻松翻倍。
差别在哪里？
- Redis 单线程执行 Lua，一个脚本里所有
redis.call()天然是原子的，不会被打断。 - Ja va 层的网络往返、本地计算、条件分支全在 Redis 外部，天然非原子。
- 哪怕是
pipeline或者事务（multi/exec），也只保证命令序列不被穿插，却无法保证“读-算-写”这个逻辑在并发下不被干扰。
简单说，Lua 才是集装箱，Ja va 只该是运货的卡车司机，不用替集装箱验货。
EVAL 与 EVALSHA 的选择要点
到了生产环境，关于脚本调用方式，有个很实际的建议：用 EVALSHA，别每次都传完整 Lua 长串。
EVAL每次发送整段脚本，网络包体积不小，尤其脚本里塞了注释和空格的时候更加明显。- Redis 会缓存已经执行过的 Lua 脚本 SHA1 值，
EVALSHA只传 40 个字符的哈希，带宽和解析开销都降下来了。 - 不过第一次调用前，需要先
SCRIPT LOAD注册一下脚本，否则EVALSHA返回NOSCRIPT错误——这个错误容易被忽略，可一旦忽略，限流就形同虚设。 - Spring Data Redis 的
RedisTemplate.execute(RedisScript, …)默认走EVALSHA，但它要求脚本对象已经预热，也就是要提前执行一次loadScript()。
总结下来就是：EVALSHA 省带宽、省解析，但预热这件事千万别省。
令牌桶 Lua 脚本中几个关键参数含义
拿最常见的令牌桶限流来说，KEYS[1] 自然就是限流 key，比如 "rate:uid:123"。而 ARGV 通常按这样几个参数传进去：
ARGV[1]：当前毫秒时间戳，用System.currentTimeMillis()传进去，用来计算这段时间内生成了多少令牌。ARGV[2]：桶的容量max_permits，比如 100。ARGV[3]：令牌生成速率rate，单位是“个/秒”，比如 50 就表示每 20 毫秒补一个。ARGV[4]：本次申请的令牌数，通常为 1。虽然支持批量获取，但大多数场景固定传 1 就够。
这里有个容易被忽略的细节：有人喜欢用 redis.call('TIME') 在 Redis 内部获取时间，但返回的是秒 + 微秒。且不说时区、精度的问题，它和业务系统的时钟很难对齐，时间漂移会直接干扰限流的准确度。所以更推荐的做法是，让客户端（Ja va 端）把时间戳作为参数传进去。
Ja va 调用时最容易被忽略的细节
脚本写对了，这还只是第一步。Ja va 层配置上稍有不慎，强一致性照样会崩溃。
StringRedisTemplate的序列化器必须明确设为StringRedisTemplate.setDefaultSerializer(new StringRedisSerializer())，不然传进去的KEYS和ARGV可能变成乱码，Lua 里tonumber(ARGV[1])返回nil，限流直接就垮了。- Lua 脚本的返回值通常是
Long类型，比如 1 表示通过，0 表示拒绝。Ja va 接收时泛型必须用Long.class，要是图省事用了Integer.class，ClassCastException就会找上门。 - Redis 连接池的配置也至关重要。
max-active设得太小，会导致 EVAL 请求排队，表面上看起来限流在生效，其实是连接池成了新瓶颈。timeout设得太短，正常脚本执行到一半就被中断，直接抛RedisCommandTimeoutException。 - 另外，不要在 Lua 脚本里写
redis.log()。虽然它不阻塞，但高频打日志会严重拖慢 Redis 主线程，而且日志内容也传不回 Ja va，调试时反而帮倒忙。
说来也怪，写出正确的 redis.call('zadd', ...) 并不难，真正的难点在于让整个链路——从 Ja va 时钟、序列化、连接池，到 Redis 的 script cache 和 clock drift——全都对齐在同一个语义下。稍微偏差一点，“强一致”就真的只剩一个名字了。
Adobe Acrobat Pro 是面向办公、法务、财务、教育及出版用户的专业PDF处理软件，可在Mac上创建、编辑、转换、合并和保护文档，并提供OCR文字识别、表单、批注、内容比较、敏感信息遮盖及电子签名功能。
Blender 是一款免费开源、跨平台的专业 3D 创作软件，集建模、动画、渲染、视频编辑与视觉合成等功能于一体，广泛应用于影视动画、游戏设计和建筑可视化等领域。软件支持 Cycles 物理渲染器与 Eevee 实时渲染引擎，并提供多边形建模、骨骼绑定、物理模拟等专业工具。Blender 兼容 Windows、macOS 和 Linux 系统，安装包轻巧、运行流畅，依托活跃的全球开发者社区持续更新，是从初学者到专业创作者都值得选择的正版 3D 创作工具。
Shapr3D是一款面向工业设计、机械工程、建筑概念和三维打印工作流的CAD软件。Mac版采用Parasolid建模内核，支持草图约束、实体建模、工程图、可视化渲染及常见CAD格式交换，并可通过账户在多台设备之间同步项目。
Adobe Illustrator 是 Adobe 推出的专业矢量图形设计软件，适合在 Mac 上制作标志、图标、插画、包装、信息图及印刷版面。它以路径和锚点构建可无损缩放的图形，并提供钢笔、形状、文字、图像描摹、渐变、画板及生成式功能。
Adobe InDesign 是面向印刷品与数字出版物的专业版面设计软件，可在 Mac 上制作书籍、杂志、宣传册、海报、报告及交互式文档。它提供精细的文字样式、网格、母版、长文档管理和印前输出能力。
Affinity Designer 的矢量设计能力现已整合进 Affinity by Canva，可在 Mac 上进行标志、图标、插画、界面原型及印刷品设计。个人用户使用免费 Canva 账户即可使用完整的矢量、像素和版面工具。
Archicad是Graphisoft推出的建筑信息模型设计软件，可在Mac上完成概念设计、参数化建模、图纸编制、工程量统计、渲染展示及团队协同。模型与平立剖面、明细表和布局保持关联，适合建筑师、室内设计师、BIM团队及相关专业学生使用。
AutoCAD LT是Autodesk推出的专业二维CAD设计与文档编制软件，Mac版本提供原生界面、多点触控及分屏查看体验。用户可精确创建和编辑DWG图形，完成图层管理、尺寸标注、表格、PDF参考、外部参照及打印输出。
AutoCAD for Mac 是 Autodesk 面向 macOS 提供的专业计算机辅助设计软件，支持精确的二维绘图、标注、布局输出以及实体、曲面和网格建模。软件采用适配 Mac 操作习惯的界面，可处理 DWG 图纸。
Autodesk Fusion 是面向产品设计与制造的一体化云连接平台，在 Mac 上提供参数化建模、自由曲面、装配、工程图、仿真、PCB 设计和 CAM 加工等工具。它适合机械工程师、工业设计师、创客及制造团队使用。
Autodesk Maya是一套面向影视动画、游戏开发和视觉特效制作的专业三维创作软件，集多边形与曲面建模、角色绑定、关键帧动画、动力学模拟、程序化特效及Arnold渲染于一体，并提供脚本、插件和开放式制作管线支持。
Blender是一款免费开源的综合三维创作软件，可在Mac上完成建模、数字雕刻、材质制作、角色绑定、动画、物理模拟、渲染、合成及视频剪辑。软件提供Cycles与Eevee渲染工具，并支持几何节点、蜡笔绘制和Python扩展。
AutoCAD 是 Autodesk 推出的专业计算机辅助设计软件，Windows 版支持精确二维绘图、三维实体与曲面建模、图纸标注、布局发布和任务自动化，并包含多套行业专业化工具组合，适用于建筑、机械、电气、工程建设及制造设计人员。
Adobe Acrobat Pro 是面向专业 PDF 工作的综合解决方案，可在 Windows 中创建、编辑、转换、比较、整理和保护文档，并支持表单、电子签名、扫描件文字识别及敏感信息永久遮盖。订阅还包含网页、移动服务和云端协作能力，
Blender 是一款免费开源、跨平台的专业 3D 创作软件，集建模、动画、渲染、视频编辑与视觉合成等功能于一体，广泛应用于影视动画、游戏设计和建筑可视化等领域。软件支持 Cycles 物理渲染器与 Eevee 实时渲染引擎，并提供多边形建模、骨骼绑定、物理模拟等专业工具。Blender 兼容 Windows、macOS 和 Linux 系统，安装包轻巧、运行流畅，依托活跃的全球开发者社区持续更新，是从初学者到专业创作者都值得选择的正版 3D 创作工具。
Adobe InDesign 是面向印刷与数字出版的专业页面排版工具，可制作书籍、杂志、宣传册、海报、交互式 PDF 和电子书。它提供精细的文字样式、多页面管理、印前检查及多格式输出能力，并能与 Photoshop、Illustrator
Adobe Illustrator 是用于绘制矢量图形、插画、图标、徽标和版式的专业设计工具。它以路径和锚点为核心，作品放大后仍能保持清晰，并提供画板、文字、渐变、图像描摹及精确变换等功能，适合品牌视觉、印刷物料、数字界面和商业插画创作。
Figma 是面向产品设计与开发团队的云端协作平台，可在 Windows 桌面客户端中完成界面绘制、组件管理、交互原型、评论评审和开发交付。文件保存在云端，多名成员能够同步编辑并共享设计系统；官方同时提供免费 Starter 方案及按席位计
Affinity Designer 是面向矢量图形、数字插画和界面设计的专业创作工具，可在矢量、像素与导出工作区之间快速切换。它提供曲线编辑、形状构建、画板、排版、图层和专业色彩管理，并支持常见设计文件的导入及多种印刷、网页格式输出。
Cinema 4D是Maxon推出的专业三维创作软件，将建模、动画、MoGraph动态图形、粒子与动力学模拟、材质灯光及Redshift渲染整合在统一工作环境中，适用于广告包装、影视特效、产品和建筑可视化、游戏素材等制作场景。
Blender 是免费开源的三维创作套件，在 Windows 上提供建模、雕刻、材质、动画、物理模拟、合成、跟踪、视频剪辑及 Cycles、EEVEE 渲染工具。它适合个人创作者、学生和小型工作室，
Autodesk Maya 是面向影视、电视、动画和游戏行业的专业三维制作软件，集多边形与 NURBS 建模、角色绑定、关键帧和动作捕捉动画、Bifrost 特效模拟、材质开发及 Arnold 渲染于一体，
SketchUp Pro 是面向建筑、室内、景观、施工和产品设计等专业场景的三维建模工具，提供桌面建模、LayOut 二维文档、模型资源库、扩展程序及云端协作能力。其操作逻辑直观，适合从概念推敲、空间规划到图纸表达和方案汇报的完整工作流程。