实时验证 · PROOF · REDIS 7.2.11
直接跑 Redis 7.2.11 官方 runtest
不修改测试用例、不另起一套断言。直接跑 Redis 7.2.11 官方测试集， engula 通过 3098 / 3135 个子用例（98.82%）。所有日志可在公开看板逐行核对。
未通过项覆盖内部表示/监控字段差异、边界行为差异和少量高优先级修复项；每项都可展开查看原因与影响。
RUNTEST 全景
逐条跑 Redis 7.2.11 官方 runtest
覆盖 redis tests/ 下全部测试单元；只列出未通过的子用例，每条都带原因 / 影响。点击任一按钮看详情。
未通过的子用例 · 点击看原因与影响
13 个单元 · 22 个独立子用例 · 37 次断言失败RUNTEST 模块
四组 runtest 套件：Run test / Module API / Sentinel / Cluster
每组是一个独立的 runtest 套件（各自一个接口），上方 RUNTEST 全景的总数即这四组的合计。
客户端兼容性
主流客户端 SDK 直接连，行为与 Redis 一致
覆盖 Java / Python / Go / Node.js 四大语言；每个 SDK 跑各自官方/社区维护的兼容测试集。
性能矩阵
多线程 × 多 value 大小，与 Redis 同环境实测对比
维度组合 = 读写比例 × ioThreads × value 长度；比例按 读:写。每个 cell 显示 engula / redis 的实际 ops/s 与比值。
读写比例 8:2
读:写 · 读 80% / 写 20%
| ioThreads ↓ /value 长度 (B) → | 16 B | 32 B | 64 B | 128 B |
|---|---|---|---|---|
| 1 threads | ||||
| 2 threads | ||||
| 4 threads |
点击任一 cell 查看 p99 / p99.9 / 内存占用 / CPU 等明细；底部按钮跳公开 proof 看板查看历史 10 次 run。
RDB SAVE / LOAD / BGSAVE
冷启动与维护窗口的真实落盘耗时
数据集大小 × 数据类型 = 9 个 cell。SAVE / LOAD 各一份矩阵；BGSAVE 单独看 stress 配置下的 fork 窗口与峰值内存。
SAVE 落盘耗时
阻塞式 RDB 写盘 · 越大越好（engula 比 Redis 快多少倍）
| 数据集 ↓ /数据类型 → | string | hash | set |
|---|---|---|---|
| 1G 数据集 | |||
| 4G 数据集 | |||
| 8G 数据集 |
LOAD 重启加载耗时
冷启动从 RDB 文件恢复内存 · 决定故障恢复 / 扩容上线的时间窗口
| 数据集 ↓ /数据类型 → | string | hash | set |
|---|---|---|---|
| 1G 数据集 | |||
| 4G 数据集 | |||
| 8G 数据集 |
BGSAVE 单点（stress run）
8GB · 40M keys × 128B · 写比 2:8 · 不是 per-type 矩阵，是单一压力配置下的 fork 窗口对比
SAVE / LOAD 来自 perf-3.5（3 type × 3 size 矩阵）；BGSAVE 来自 stability-4.9 在 8GB stress 配置下的实测，没有按 type 拆分 —— BGSAVE 的瓶颈是 fork 窗口与 COW 翻倍，与 type 无关。 点击 cell 看 LOAD 时间 / RDB 文件大小 / 内存占用明细。
高可用 + 平台
集群、复制、Failover、平台兼容
HA 与平台层用例直接复用 Redis 官方拓扑测试。每条都附 PASS/FAIL 与关键指标，点击查看详情。
高可用 / 集群
6 / 6平台兼容 / 稳定性
2 / 2透明性脚注
所有结果都可以由你自己复跑
测试代码完全使用 Redis 官方仓库的 7.2.11 tag，不修改、不打 patch。 每一次 run 的完整 stdout 都在公开看板上保留 24 小时以上，便于第三方核对。
- CPU
- Intel(R) Xeon(R) 6982P-C
- 操作系统
- ubuntu 22.04
- 实例规格
- ecs.c9i.2xlarge
- SSD 实例
- ecs.i4g.8xlarge
- engula 版本
- engula 2.2.0
- 对照基准
- redis 7.2.11
- 数据采集
- runtest 直连，不修改、同源代码
- 完整看板
- 完整看板 ↗