Engula

文档
文档

Engula CodeProof

Engula CodeProof 是一套 Docker 可运行的完整验证套件，用于在本地或测试机验证 engula-server 的兼容性、客户端生态、性能、稳定性、迁移路径、平台矩阵与高可用行为。

它不是单一功能的小工具，而是把 Redis 官方测试集、社区客户端测试、基准工具和运维场景编排成可重复执行的验证流程。每个子项都会生成独立的 report.html，方便评估人员、交付团队和客户现场复核结果。

适合什么时候使用

场景 建议
首次快速确认 Redis 命令兼容 优先使用 Engula KernelCompat
评估真实 RDB 的内存收益 优先使用 Engula ValueSight
复现吞吐、延迟或 RDB save/load 指标 使用 Engula AutoBench 或 Engula RDBPerf
做 PoC、版本验收或客户现场复现 使用 Engula CodeProof

覆盖范围

CodeProof 按 suite 组织验证项：

  • compat：Redis 7.2 命令、协议、Lua、事务、Pub/Sub、Stream、持久化、ACL、CONFIG、模块等兼容性。
  • client：Jedis、redis-py、go-redis、node-redis 等社区客户端库兼容性。
  • perf：吞吐、延迟、CPU、内存效率、RDB save/load、批量请求和非字符串数据类型性能。
  • stability：内存检测、长跑稳定性、崩溃恢复、BGSAVE 稳定性等。
  • migration：RDB/AOF 导入、在线迁移与迁移结果校验。
  • platform：Linux 发行版、CPU 架构、容器等平台矩阵。
  • ha：Sentinel、Cluster、复制、reshard、混合部署与网络分区恢复。

推荐路径

  1. 先阅读 使用指南，用 Docker 镜像进入 TUI 并跑通一个 compat 子项。
  2. 再按验证目标选择 suite，例如只跑 compat、perf 或 ha。
  3. 将生成的 report.html 作为验收证据归档。
  4. 需要持续回归时，再结合开源项目文档接入命令行、结果库或 Web Dashboard。

和实时验证看板的关系

官网的 实时验证 页面展示的是公开环境持续运行的验证结果。CodeProof 文档说明的是如何在你自己的环境里运行同一类验证流程，并生成可审计报告。

公开看板适合快速查看当前结果；本地 CodeProof 适合复现、调参、PoC 和交付验收。

开始使用

ON THIS PAGE