评估 Redis 客户端的第二次尝试

第一次读取成功，是评估 Lavik 的良好起点。更难的问题是：遇到超时、写入被拒绝或连接重建后，Redis 客户端会怎么做？Lavik 将值的容量层放到存储设备上，同时在 DRAM 中保留紧凑的键索引，因此值得被值容量挤压内存预算的团队评估。它提供广泛的 Redis 兼容接口，但仍需验证应用实际依赖的命令和运维行为。对于这个采用 Apache 2.0 许可证的 beta 项目，应把应用的恢复行为纳入评估。

为每项应用操作建立一条评估记录：客户端及版本、协商后的协议、连接初始化、具体命令及选项、预期响应类型、预期状态变化、错误处理、超时策略和重连行为。这是一份建议采用的验收清单，并非新增测试的结果报告。它的作用是把 Lavik 文档中的边界转化为可观察的应用要求。

检查应用最终收到的响应

协议：使用实际客户端验证连接握手和响应解码。Lavik 的连接默认采用 RESP2 语义，也可以协商使用 RESP3。在相应处理器提供这些类型时，RESP3 响应包含映射、集合、布尔值、双精度数、空值和推送帧。同时记录协议层的预期以及应用层得到的结果；连接成功并不能证明客户端能正确解码应用使用的每一种响应。

具体命令：盘点应用发送的操作，包括选项、键数量、值类型、键不存在的情况以及集合大小。Lavik 的命令元数据区分参数数量、键位置、读写属性和阻塞行为。评估清单也应达到这一精度：支持某种数据结构，并不能证明应用依赖的所有命令变体和错误场景都符合要求。如果客户端使用流水线批处理或事务，也应将其纳入。

连接状态：在重连后，以及连接池中的连接交给其他调用方后，重复上述检查。Lavik 在连接边界保留身份验证、所选逻辑数据库、协议版本、事务状态和 Pub/Sub 订阅。确认客户端会重新执行哪些初始化步骤，以及如何防止一个调用方的状态影响另一个调用方。脚本应单独评估：声明的键决定事务边界，而脚本内部的阻塞操作存在不同于普通命令执行的限制。

区分请求被拒绝与结果未知

错误：记录收到的错误、客户端转换出的异常或返回值，以及数据库最终状态。对于索引准入，Lavik 文档说明：无法让记录进入索引时，会返回 ResourceExhausted，且不会发布该记录。快照准入的边界不同：如果无法保留快照状态，失效的是该快照，前台修改仍会完成。评估时应分别记录这些路径；与后台工作有关的错误，并不能直接说明客户端修改的结果。

超时：在允许自动重试之前，应先把未收到响应视为需要调查的结果。Lavik 文档区分了准入、修改发布、复制发布和存储刷盘等阶段。对于客户端可能重试的每项写操作，应确认重复执行是否改变预期结果、应用如何识别重复生效，以及什么证据可以消除首次尝试的不确定性。尤其要关注重复执行会再产生一次变化、而不是覆盖为同一个值的操作。

持久性：普通写入成功响应并不代表同步 fsync 已完成。Lavik 可以先发布指向暂存字节的索引项，再让这些字节达到崩溃持久性边界。因此，应将响应成功、后续读取可见，以及在指定故障后仍然存在，记录为独立的验收条件。重试策略不能让一次响应确认获得更强的持久性保证。

把运维状态转换纳入评估

就绪状态与路由：明确客户端如何处理启动、全量同步和所有者变化。Lavik 在恢复及可选导入完成后发布就绪状态；仅有监听套接字并不代表服务已经就绪。由 Meta 管理的节点启动时处于隔离状态，必须获得当前有效的服务授权。集群模式下，多键命令仍需满足同槽要求。按照计划部署的拓扑，将有界的重连行为和路由刷新纳入验收记录。

背压：加入停止读取的消费者，以及接近内存准入限制的工作负载。Lavik 会关闭过慢的 Pub/Sub 订阅者连接，防止输出无限增长。保留内存按 worker 分配固定份额，一个 worker 不能借用另一个 worker 的空闲额度；配置的内存预算也不是严格的 RSS 上限。验证客户端如何呈现断连和被拒绝的工作，以及重试队列是否保持有界。

从基础检查开始，再追踪一次结果不明的写入

使用已注册的 basic-commands 配方完成初始检查。所提供的宿主机回执记录了五个步骤的结果均符合预期，并且 ARM64 minimal 0.1.0-beta.1 软件包在 Linux 7.0.12-linuxkit、glibc 2.39 环境中完成了一次正常关闭后的重启。该回执覆盖这条基础路径，不覆盖上述应用清单，也不能证明断电恢复行为。Lavik 需要 Linux 6.1 或更新版本、可用的 io_uring 和兼容的 glibc；这一最低版本是 API 要求，不是经过测试的内核矩阵。

set -euo pipefail
if [ ! -x ./lavik ]; then
  echo "Run this from the extracted Lavik package directory (the folder containing ./lavik)." >&2
  exit 1
fi
mkdir -p /tmp/lavik-example
if [ ! -e /tmp/lavik-example/data ]; then
  fallocate -l 512M /tmp/lavik-example/data
fi
./lavik --bind 127.0.0.1 --port 6379 --metrics-port 0 \
  --network kernel --storage uring \
  --threads 2 --no-pin-workers --registered-buffer-mb-per-worker 64 \
  --shutdown-checkpoint --data-file /tmp/lavik-example/data \
  --log-dir /tmp/lavik-example/logs

$ redis-cli -h 127.0.0.1 -p 6379 --raw PING
PONG

$ redis-cli -h 127.0.0.1 -p 6379 --raw SET greeting 'hello from Lavik'
OK

$ redis-cli -h 127.0.0.1 -p 6379 --raw GET greeting
hello from Lavik

$ redis-cli -h 127.0.0.1 -p 6379 --raw HSET user:42 name Ada
1

$ redis-cli -h 127.0.0.1 -p 6379 --raw HGET user:42 name
Ada

{
  "recipeId": "basic-commands",
  "platform": "Linux-7.0.12-linuxkit-aarch64-with-glibc2.39",
  "steps": [
    {
      "argv": [
        "redis-cli",
        "-h",
        "127.0.0.1",
        "-p",
        "6379",
        "--raw",
        "PING"
      ],
      "expected": "PONG",
      "actual": "PONG"
    },
    {
      "argv": [
        "redis-cli",
        "-h",
        "127.0.0.1",
        "-p",
        "6379",
        "--raw",
        "SET",
        "greeting",
        "hello from Lavik"
      ],
      "expected": "OK",
      "actual": "OK"
    },
    {
      "argv": [
        "redis-cli",
        "-h",
        "127.0.0.1",
        "-p",
        "6379",
        "--raw",
        "GET",
        "greeting"
      ],
      "expected": "hello from Lavik",
      "actual": "hello from Lavik"
    },
    {
      "argv": [
        "redis-cli",
        "-h",
        "127.0.0.1",
        "-p",
        "6379",
        "--raw",
        "HSET",
        "user:42",
        "name",
        "Ada"
      ],
      "expected": "1",
      "actual": "1"
    },
    {
      "argv": [
        "redis-cli",
        "-h",
        "127.0.0.1",
        "-p",
        "6379",
        "--raw",
        "HGET",
        "user:42",
        "name"
      ],
      "expected": "Ada",
      "actual": "Ada"
    }
  ],
  "status": "passed",
  "binaryVersion": "lavik 0.1.0-beta.1",
  "executableOnPath": false,
  "workingDirectory": "/opt/lavik",
  "sourceCommit": "3955b98d43b312324aa8d52775df52cfb111c0d0",
  "packageVersion": "v0.1.0-beta.1",
  "gracefulRestart": "passed"
}

下一步，选取一项客户端可能重试的真实应用修改操作，补全其评估记录，包括连接初始化、响应解码、错误处理、完成结果不明以及重连行为。在扩大工作负载之前，先把这些观察结果作为采用门槛。团队由此可以结合 Lavik 已记录的存储与恢复边界，针对自己的客户端和应用作出具体的兼容性判断。