Redis Functions 的只读标记与副本执行边界

Redis Functions 的只读边界由“注册时的函数标记”和“调用时的命令”共同决定。默认情况下，Redis 会把函数视为可能读写数据，因此直接用 FCALL_RO 调用时可能被拒绝。真正只读取数据的函数，应在注册时声明 flags = { 'no-writes' }，再使用 FCALL_RO 访问只读副本。

官方文档：https://redis.io/docs/latest/develop/programmability/functions-intro/

先把“只读”拆成两个判断

迁移到 Redis Functions 时，先不要只看函数名。需要同时回答两个问题：函数内部是否只执行不会修改数据集的命令，以及客户端是否明确选择了只读调用路径。前一个问题决定能否声明 no-writes，后一个问题决定是否使用 FCALL_RO。

用 no-writes 把只读语义写进函数注册

关键区别在于命名参数注册形式。下面的函数只读取哈希字段，因此把 no-writes 写进注册元数据；注释说明了参数作用和返回值，不把示例当作真实运行截图。

-- 只读函数：读取用户哈希，不修改任何键
local function user_profile(keys, args)
  -- keys[1] 是调用方传入的哈希键，args 保留扩展参数位置
  local key = keys[1]
  local field = args[1]
  -- HGET 只读取字段；返回 nil 由客户端按业务规则处理
  return redis.call('HGET', key, field)
end

-- 命名参数用于声明函数名、回调和只读标记
redis.register_function{
  function_name = 'user_profile',
  callback = user_profile,
  flags = { 'no-writes' },
  description = 'Read one field from a user hash'
}

加载库时，生产环境应把完整库文件作为一次部署单元管理。no-writes 不是性能开关，也不会把一个包含写操作的函数“变成”只读函数；它是对实现行为的声明，Redis 会据此限制执行场景。

FCALL_RO 在主节点与只读副本上的执行边界

普通 FCALL 表示按常规函数路径执行；FCALL_RO 则明确要求调用只读函数。对于配置为只读的副本，客户端还需要把读请求路由到实际承载目标键的副本，不能把“副本可读”理解成“所有副本都能读所有键”。

# 读取函数清单，确认目标函数的 flags 包含 no-writes
redis-cli FUNCTION LIST

# 只读调用：1 表示后面提供一个 Redis key
# user:42 是示例键名，email 是传给函数的 args[1]
redis-cli FCALL_RO user_profile 1 user:42 email

函数没有声明 no-writes 时，常见结果是类似“不能用 fcall_ro 执行带写标记函数”的拒绝。此时不要反复切换命令绕过错误，应回到函数实现逐个检查 Redis 调用。

标记前要排除几个容易漏掉的命令

“业务上没有更新字段”不等于“执行一定只读”。除了明显的 SET、HSET、DEL，还要检查可能产生传播或修改语义的调用。Redis 文档特别提醒，PUBLISH、SPUBLISH 和 PFCOUNT 在脚本环境中也按写命令处理，因为它们可能影响副本传播或 AOF。

另外，读副本的数据可能落后于主节点。FCALL_RO 解决的是执行权限与路由语义，不提供线性一致读。登录态、余额、库存等必须读主的业务，不应仅因为函数标记为只读就迁移到副本。

• 先列出函数调用的所有 Redis 命令，再判断是否都满足只读约束。
• 把副本延迟、故障切换和数据新鲜度写进调用方的验收条件。
• 使用 FUNCTION LIST 检查部署后的 flags，而不是只依赖源码审查。

上线前的迁移清单

1. 确认函数属于 Redis 7 及以上的 Functions 能力，并记录库名与函数名。
2. 确认 callback 只访问允许的读命令，移除或拆分写路径。
3. 用命名参数注册并声明 no-writes，再用 FUNCTION LIST 检查。
4. 先在主节点用 FCALL_RO 做结果对照，再灰度到只读副本。
5. 为副本延迟、ACL、故障切换和跨槽路由分别准备回退方案。

相关问题

没有 no-writes 能不能直接使用 FCALL_RO？

不建议。默认函数按可能读写处理，Redis 可能拒绝 FCALL_RO；应先让实现和注册标记一致。

no-writes 会不会让函数自动变快？

它主要改变可执行边界和资源策略，不是通用性能优化。函数本身仍会阻塞 Redis，长时间扫描需要单独拆分。

只读副本返回旧数据怎么办？

把副本延迟纳入业务决策；需要最新值的读请求保留主节点，允许最终一致的查询才使用副本。