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

如何在 Redis 中实现“仅当键存在时才设置值”的原子操作

夜芳酱_5076

夜芳酱_5076

发布时间:2026-08-08 08:38:07

|

481人浏览过

|

来源于php中文网

原创

如何在 Redis 中实现“仅当键存在时才设置值”的原子操作

本文介绍使用 Redis Lua 脚本实现键存在性校验与原子写入的可靠方案,解决高并发或临界时间窗口下因 TTL 过期导致的 SET 失败问题,避免竞态条件。

本文介绍使用 redis lua 脚本实现键存在性校验与原子写入的可靠方案,解决高并发或临界时间窗口下因 ttl 过期导致的 `set` 失败问题,避免竞态条件。

在 Redis 中,原生命令如 SET、SETNX 或 EXPIREAT 均为单命令原子操作,但多个命令组合(如先 GET 再 SET + EXPIREAT)无法保证原子性——这正是用户遇到的核心问题:在获取键值后、执行写入前,键可能因过期而被自动删除,导致后续 SET 失效,业务逻辑中断。

Redis 本身不提供 SETIFEXIST 这类复合命令,但其内置的 Lua 执行引擎提供了完美的解决方案:Lua 脚本在服务端以原子方式执行,全程无上下文切换,彻底规避竞态。

✅ 推荐方案:原子化 Lua 脚本

以下两个 Lua 脚本分别处理「初始化键」和「安全更新键」两个关键阶段:

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

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

下载

1. 初始化脚本(get_or_init.lua)

首次访问时检查键是否存在,不存在则初始化并设过期时间:

local key = KEYS[1]
local expireAt = tonumber(ARGV[1])

local value = redis.call('GET', key)
if value == false then
    redis.call('SET', key, ARGV[2])          -- 默认值,如 100
    redis.call('EXPIREAT', key, expireAt)
    return ARGV[2]
end
return value

2. 安全更新脚本(set_if_exists.lua)

严格确保仅当键当前存在时才更新值与过期时间(注意:EXPIREAT 若传入历史时间戳,Redis 会立即删除该键):

local key = KEYS[1]
local newValue = ARGV[1]
local newExpireAt = tonumber(ARGV[2])

-- 先检查键是否存在(非空且未过期)
if redis.call('EXISTS', key) == 1 then
    redis.call('SET', key, newValue)
    redis.call('EXPIREAT', key, newExpireAt)
    return 1  -- 成功
else
    return 0  -- 键不存在,拒绝写入
end

? PHP 使用示例(基于 phpredis)

$redis = new Redis();
$redis->connect('127.0.0.1', 6379);

$todayEnd = strtotime('today 23:59:59'); // 精确到秒,避免毫秒级漂移
$key = 'store_of_today';

// 阶段一:获取或初始化
$initScript = <<<LUA
local key = KEYS[1]
local expireAt = tonumber(ARGV[1])
local defaultValue = ARGV[2]

local value = redis.call('GET', key)
if value == false then
    redis.call('SET', key, defaultValue)
    redis.call('EXPIREAT', key, expireAt)
    return defaultValue
end
return value
LUA;

$left = $redis->eval($initScript, [$key, $todayEnd, '100'], 1);

// ... 业务逻辑处理(如扣减库存)...

$newLeft = max(0, $left - 1);

// 阶段二:原子更新(仅当键仍存在)
$updateScript = <<<LUA
local key = KEYS[1]
local newValue = ARGV[1]
local newExpireAt = tonumber(ARGV[2])

if redis.call('EXISTS', key) == 1 then
    redis.call('SET', key, newValue)
    redis.call('EXPIREAT', key, newExpireAt)
    return 1
else
    return 0
end
LUA;

$result = $redis->eval($updateScript, [$key, $newLeft, $todayEnd], 1);
if ($result === 0) {
    throw new RuntimeException("Key '$key' disappeared before update — handle fallback (e.g., re-init or error)");
}

⚠️ 关键注意事项

  • Lua 中 EXISTS 是唯一可靠的存在性判断:GET 返回 false 可能是键不存在 或 值为字符串 "false",而 EXISTS 明确返回 0/1。
  • EXPIREAT 时间戳必须为整数秒:PHP 的 strtotime() 返回秒级时间戳,直接传入即可;切勿传入毫秒或浮点数。
  • 避免脚本超时:Redis 默认 lua-time-limit=5000(ms),复杂逻辑需精简;本例脚本极轻量,无性能风险。
  • 错误兜底不可省略:eval 返回 0 表示键已丢失,此时应触发重初始化或告警,而非静默失败。

通过将存在性校验与写入操作封装于单次 Lua 调用,我们完全消除了网络延迟、调度间隙与 TTL 边界竞争带来的不确定性——这是构建高可靠 Redis 应用的基石实践。

热门AI工具

更多
立刻MV
立刻MV Hot

立刻MV是一款AI文本写作工具,AI 音乐视频(MV)创作工具。

二狗PPT
二狗PPT Hot

一款AI演示文稿工具,主要用于专为中式职场打造的AI PPT生成工具,适合需要提升相关任务效率的用户。

UpDream
UpDream Hot

一款AI视频创作工具,主要用于哔哩哔哩推出的自研AI视频创作工具,适合需要提升相关任务效率的用户。

Laper
Laper Hot

Laper是专为编剧、导演和制片人推出的 AI 原生剧本创作工具。

DeepSeek

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

PixTV
PixTV Hot

PixTV是一款面向AIGC内容创作的AI视频生成工具。

超级简历WonderCV

一款AI办公效率工具,主要用于免费求职简历模版下载制作,应届生职场人必备简历制作神器,适合需要提升相关任务效率的用户。

豆包大模型

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

WorkBuddy

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

相关专题

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

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

0

2026.09.30

LLVM RISC-V参数配置教程
LLVM RISC-V参数配置教程

本专题介绍LLVM对RISC-V基础ISA和扩展的支持方式,涵盖RV32、RV64、标准扩展、实验性扩展、厂商扩展、-menable-experimental-extensions和版本差异。

0

2026.09.30

LLVM IR中间表示入门指南
LLVM IR中间表示入门指南

本专题整理LLVM IR的核心概念,包括中间表示作用、模块结构、函数、基本块、SSA形式、类型系统和常见语法,帮助新手理解LLVM编译流程中的关键层。

0

2026.09.30

PDF转图片方法
PDF转图片方法

需要把 PDF 页面用于上传、预览、分享或图片归档时,PDF 转图片方法专题整理 JPG/PNG 格式选择、逐页导出、清晰度设置、批量下载和结果检查等流程,帮助用户稳定完成 PDF 图片化处理。

0

2026.09.30

PixTV AI视频生成与无限画布创作
PixTV AI视频生成与无限画布创作

PixTV专题整理AI视频与视觉内容创作相关功能使用教程,涵盖AI生图、视频生成、无限画布、多模型创作、素材管理、声音音乐及视频剪辑等功能,帮助用户快速掌握PixTV从创意到成片的完整制作方法。

0

2026.09.29

Buffalo框架数据库开发全教程
Buffalo框架数据库开发全教程

本专题围绕Buffalo框架数据库开发,讲解database.yml多环境配置、soda与fizz迁移生成回滚、模型结构体标签、增删改查与条件查询、一对多与多对多关联、数据校验、回调钩子、事务处理及原生SQL执行能力。

200

2026.09.23

Buffalo框架路由与请求处理实操指南
Buffalo框架路由与请求处理实操指南

本专题讲解Buffalo框架路由与请求处理机制,涵盖路由注册与分组、资源路由、Handler编写规范、Context上下文方法、参数绑定、中间件编写挂载、Session与Cookie读写、Flash消息及错误页面定制方法。

120

2026.09.23

Buffalo框架零基础入门教程
Buffalo框架零基础入门教程

本专题整理Buffalo框架入门内容,涵盖Go环境准备、buffalo CLI安装、新项目生成、目录结构说明、dev热加载启动、数据库连接配置与常见报错排查,帮助新手按约定优于配置的思路跑通第一个Buffalo框架应用。

100

2026.09.23

Conan创建软件包配方指南
Conan创建软件包配方指南

本专题介绍通过conanfile.py创建软件包的方法,讲解包名、版本、依赖和构建设置等基础信息,以及source、build、package、package_info等常用方法的作用及编写思路。

60

2026.09.22

热门下载

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

精品课程

更多
相关推荐
/
热门推荐
/
最新课程
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