Lavik 为什么将内存索引与 SSD 值数据分开
沿着所有权、追加、读取与空间回收四个环节，理解 Lavik 如何让值数据容量超越 DRAM。
LAVIK / BLOG
架构
探索 Lavik 的架构。
Lavik 如何跨分区协调多键操作
键所有权让本地操作更高效，而多键命令还需要独立设计调度、锁生命周期、命令错误与持久完成过程。
为什么 Lua 函数目录也是一个存储问题
函数库需要在工作线程之间保持一致、跨重启保留，并经由复制传播。Lavik 先构建完整候选目录，再将其变为可见。
分组集合如何改变大 Redis 值的存储代价
大型哈希、列表、集合与有序集合，需要的不只是存放一个巨大值的位置。Lavik 使用按集合类型设计的路由与原子图发布。
复制进度，不能只看一个偏移量
Lavik 按历史与逻辑流跟踪原生复制。理解确认能够证明什么、重启会丢弃什么，以及故障转移为什么还需要额外证据。
存储等待时，Lavik 如何继续推进请求
支持 SSD 的 Redis 接口需要的不只是异步读取。沿着连接状态、准入、分区所有权与响应背压，理解 Lavik 的请求处理路径。
快速重启，首先要知道索引何时已经过期
Lavik 将关机检查点视为一次性恢复加速器。真正重要的是它的发布、消费与回退规则。
故障转移需要意图、权威与证据
Lavik 控制面的决策区分计划交接与所有者失效。沿着状态转换，理解它如何防止过期准备状态或观测值成为新的服务权威。