如何使用 Redis Lua 脚本实现“仅当键存在时才设置值”的原子操作

夏辰同学_9135

夏辰同学_9135

2026-08-07

779人浏览

原创

如何使用 Redis Lua 脚本实现“仅当键存在时才设置值”的原子操作

本文介绍如何通过 redis 内置的 lua 脚本机制,安全、原子地实现「仅在键已存在前提下更新其值」的逻辑,彻底规避竞态条件(如过期瞬间的检查-设置失效问题)。

本文介绍如何通过 redis 内置的 lua 脚本机制,安全、原子地实现「仅在键已存在前提下更新其值」的逻辑,彻底规避竞态条件(如过期瞬间的检查-设置失效问题)。

在 Redis 中,不存在原生的 SETIFEXIST 命令,而常见的 SETNX(SET if Not eXists)恰恰与需求相反——它只在键不存在时设置。若业务要求「必须确保键已存在才能更新值」(例如每日库存计数器需先初始化、后续仅允许续存更新),直接使用 GET + EXISTS + SET 多步操作会引发典型的 check-then-act 竞态问题:两次网络往返间,键可能因过期被自动删除,导致后续 SET 失败或误创建新键。

Redis 提供的 Lua 脚本执行是原子性的(单个脚本在服务端串行执行,期间无其他命令插入),这使其成为解决该问题的理想方案。核心思路是:将「判断键是否存在 → 若存在则更新值并重设过期时间」封装为一个 Lua 脚本,在服务端一次性完成,杜绝中间状态干扰。

以下为完整 PHP 实现示例:

Redis Skill - 高性能缓存管理
Redis Skill - 高性能缓存管理

Redis 缓存和数据结构管理技能。通过自然语言操作 Redis,支持 String、Hash、List、Set、ZSet、Stream 等数据结构操作。当用户提到 Redis、缓存、消息队列、会话存储时使用此技能。

下载
// 初始化脚本:若键不存在,则设初值 + 过期时间;存在则直接返回当前值
$getAndInitLua = connect('127.0.0.1', 6379);

$expiredAt = strtotime(date('Y-m-d')) + 86400; // 今日结束时间戳(注意:原文中 864000 为 10 天,应为 86400)
$key = "store_of_today";

// 原子化获取/初始化
$left = $redis->eval($getAndInitLua, [$key, $expiredAt], 1);

// ... 业务逻辑处理(如扣减库存)...
$newLeft = max(0, $left - 1);

// 原子化更新:无论键是否刚过期,此脚本均能确保值与过期时间同步刷新
$redis->eval($setWithExpireLua, [$key, $newLeft, $expiredAt], 1);

⚠️ 关键注意事项:

  • EXPIREAT 对不存在的键静默失败(返回 0),但 SET 会强制创建键。因此 $setWithExpireLua 实际具备「存在则更新+续期,不存在则创建+设期」双重语义。若严格要求「仅更新不创建」,需在脚本中显式检查 EXISTS 并 return:
    if redis.call('EXISTS', key) == 0 then
        return 0 -- 或 error("key not exists")
    end
    redis.call('SET', key, value)
    redis.call('EXPIREAT', key, expireAt)
  • Lua 脚本中避免耗时操作(如循环大量数据),否则会阻塞 Redis 主线程。
  • 时间戳务必使用秒级 UNIX 时间戳(EXPIREAT 参数),PHP 中用 strtotime() 或 DateTime 生成后需验证有效性。

总结:面对「键存在性依赖」的强一致性场景,放弃客户端多步协调,转而利用 Redis Lua 的原子性封装逻辑,是简洁、可靠且高性能的工程实践。

相关文章

PHP速学视频免费教程(入门到精通)
PHP速学视频免费教程(入门到精通)

PHP怎么学习?PHP怎么入门?PHP在哪学?PHP怎么学才快?不用担心,这里为大家提供了PHP速学教程(入门到精通),有需要的小伙伴保存下载就能学习啦!

下载

相关标签:

redis redis lua

本站声明:本文内容由网友自发贡献,版权归原作者所有,本站不承担相应法律责任。如您发现有涉嫌抄袭侵权的内容,请联系admin@php.cn

相关专题

更多
php文件怎么打开
php文件怎么打开

打开php文件步骤:1、选择文本编辑器;2、在选择的文本编辑器中,创建一个新的文件,并将其保存为.php文件;3、在创建的PHP文件中,编写PHP代码;4、要在本地计算机上运行PHP文件,需要设置一个服务器环境;5、安装服务器环境后,需要将PHP文件放入服务器目录中;6、一旦将PHP文件放入服务器目录中,就可以通过浏览器来运行它。

2023.09.01

10104

6

php怎么取出数组的前几个元素
php怎么取出数组的前几个元素

取出php数组的前几个元素的方法有使用array_slice()函数、使用array_splice()函数、使用循环遍历、使用array_slice()函数和array_values()函数等。本专题为大家提供php数组相关的文章、下载、课程内容,供大家免费下载体验。

2023.10.11

5981

5

php反序列化失败怎么办
php反序列化失败怎么办

php反序列化失败的解决办法检查序列化数据。检查类定义、检查错误日志、更新PHP版本和应用安全措施等。本专题为大家提供php反序列化相关的文章、下载、课程内容,供大家免费下载体验。

2023.10.11

2075

5

php怎么连接mssql数据库
php怎么连接mssql数据库

连接方法:1、通过mssql_系列函数;2、通过sqlsrv_系列函数;3、通过odbc方式连接;4、通过PDO方式;5、通过COM方式连接。想了解php怎么连接mssql数据库的详细内容,可以访问下面的文章。

2023.10.23

3748

4

php连接mssql数据库的方法
php连接mssql数据库的方法

php连接mssql数据库的方法有使用PHP的MSSQL扩展、使用PDO等。想了解更多php连接mssql数据库相关内容,可以阅读本专题下面的文章。

2023.10.23

4454

6

html怎么上传
html怎么上传

html通过使用HTML表单、JavaScript和PHP上传。更多关于html的问题详细请看本专题下面的文章。php中文网欢迎大家前来学习。

2023.11.03

3491

9

PHP出现乱码怎么解决
PHP出现乱码怎么解决

PHP出现乱码可以通过修改PHP文件头部的字符编码设置、检查PHP文件的编码格式、检查数据库连接设置和检查HTML页面的字符编码设置来解决。更多关于php乱码的问题详情请看本专题下面的文章。php中文网欢迎大家前来学习。

2023.11.09

4977

8

php文件怎么在手机上打开
php文件怎么在手机上打开

php文件在手机上打开需要在手机上搭建一个能够运行php的服务器环境,并将php文件上传到服务器上。再在手机上的浏览器中输入服务器的IP地址或域名,加上php文件的路径,即可打开php文件并查看其内容。更多关于php相关问题,详情请看本专题下面的文章。php中文网欢迎大家前来学习。

2023.11.13

3902

8

sprintf函数用法详解
sprintf函数用法详解

sprintf函数的用法:1、格式化字符串;2、指定输出宽度和精度;3、返回值。更多关于sprintf函数用法详解的内容,大家可以阅读下面的文章。

2023.11.27

11862

4

热门下载

更多
网站特效
/
网站源码
/
网站素材
/
前端模板

精品课程

更多
相关推荐
/
热门推荐
/
最新课程
phpEnv手册
phpEnv手册

共0课时 | 0人学习

进程与SOCKET
进程与SOCKET

共6课时 | 0.5万人学习