讲师中心 微信公众号
AI工具推荐 视频效率加速

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

夏辰同学_9135

夏辰同学_9135

发布时间:2026-08-07 20:20:02

|

779人浏览过

|

来源于php中文网

原创

如何使用 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 = <<<LUA
local key = KEYS[1]
local expireAt = ARGV[1]

local value = redis.call('GET', key)
if value == false then
    redis.call('SET', key, 100)      -- 初始值
    redis.call('EXPIREAT', key, expireAt)
    return 100
else
    return value
end
LUA;

// 更新脚本:强制更新值并刷新过期时间(仅当键存在时生效,因 SET 本身不校验存在性,但 EXPIREAT 对不存在键无效)
$setWithExpireLua = <<<LUA
local key = KEYS[1]
local value = ARGV[1]
local expireAt = ARGV[2]

redis.call('SET', key, value)
redis.call('EXPIREAT', key, expireAt)
LUA;

$redis = new Redis();
$redis->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 的原子性封装逻辑,是简洁、可靠且高性能的工程实践。

热门AI工具

更多
火山引擎

火山引擎是一款面向企业的云计算与AI服务平台。

VibeKnow
VibeKnow Hot

一款AI视频创作工具,主要用于全球首个AI知识视频创作平台,文档、文章、网页,一键生成视频,适合需要提升相关任务效率的用户。

豆包大模型

豆包大模型是一款由字节跳动推出的企业级大语言模型服务平台。

DeepSeek

DeepSeek是一款面向对话、写作、编程和推理场景的AI大模型工具。

墨刀AI
墨刀AI Hot

一款AI图像与设计工具,主要用于产品经理的专属智能体,适合需要提升相关任务效率的用户。

WorkBuddy

一款AI办公效率工具,主要用于腾讯云推出的AI原生桌面智能体工作台,适合需要提升相关任务效率的用户。

AionClaw
AionClaw Hot

AionClaw是一款面向办公、创作和编程任务的AI桌面智能体。

UP简历
UP简历 Hot

一款AI办公效率工具,主要用于基于AI技术的免费在线简历制作工具,适合需要提升相关任务效率的用户。

咔片AIPPT

一款在线AI演示文稿制作工具,可根据主题和内容需求辅助生成PPT结构与页面,提高演示材料制作效率。

相关专题

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

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

10144

2023.09.01

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

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

6001

2023.10.11

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

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

2095

2023.10.11

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

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

3768

2023.10.23

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

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

4474

2023.10.23

html怎么上传
html怎么上传

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

3491

2023.11.03

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

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

4997

2023.11.09

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

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

3902

2023.11.13

LLVM自定义Pass怎么写
LLVM自定义Pass怎么写

本专题聚焦LLVM自定义Pass开发,整理Pass类结构、run()方法、PreservedAnalyses、CMake构建、插件注册、-load-pass-plugin加载和测试用例编写流程。

100

2026.09.30

热门下载

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

精品课程

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

共0课时 | 0人学习

进程与SOCKET
进程与SOCKET

共6课时 | 0.5万人学习

关于我们 免责申明 举报中心 意见反馈 讲师合作 广告合作 最新更新
php中文网:公益在线php培训,帮助PHP学习者快速成长!
关注服务号
PHP中文网订阅号
每天精选资源文章推送

Copyright 2014-2026 https://www.php.cn/ All Rights Reserved | php.cn