TiKV 项目中的 Follower Read Cache 特性解析
背景与问题
在分布式数据库系统中,TiKV 作为 TiDB 的底层存储引擎,面临着高并发读取请求的挑战。传统的主从架构中,所有读取请求默认都会发送到 Leader 节点,这可能导致 Leader 节点成为性能瓶颈。为了解决这个问题,TiKV 实现了 Follower Read(从节点读取)功能,允许读取请求被分发到 Follower 节点执行,从而分担 Leader 节点的负载。
然而,在实际使用中发现,Follower Read 操作消耗的 CPU 资源是 Leader 节点读取或 Stale Read(过期读取)的两倍。这种额外的资源消耗主要来自于 Follower 节点需要处理更复杂的读取逻辑,包括与 Leader 节点的数据一致性验证等操作。
解决方案设计
为了优化 Follower Read 的性能和可靠性,TiKV 团队提出了 Follower Read Cache 的设计方案。该方案的核心思想是在 Follower 节点上引入一个缓存层,用于存储最近读取的数据。当后续读取请求到达时,Follower 节点可以先检查缓存中是否存在有效的数据副本,如果存在则直接返回,避免重复执行昂贵的读取操作。
缓存设计考虑了以下几个关键方面:
- 缓存一致性:确保缓存中的数据与 Leader 节点保持足够的新鲜度,不会返回过于陈旧的数据
- 缓存淘汰策略:采用合理的缓存替换算法,确保热点数据能够保留在缓存中
- 内存管理:控制缓存的内存使用量,避免影响系统的整体稳定性
- 并发控制:处理多个并发读取请求对同一缓存项的访问
实现细节
在具体实现上,Follower Read Cache 采用了多层次的缓存结构:
- Region 级别缓存:存储整个 Region 的最近读取数据
- Key-Value 对缓存:针对热点键值对进行细粒度缓存
- 版本控制:每个缓存项都带有版本信息,用于验证数据的新鲜度
缓存更新策略采用了写时无效(write-invalidate)机制,当 Leader 节点数据发生变化时,会通知 Follower 节点使相关缓存项失效。这种设计在保证数据一致性的同时,最小化了网络通信开销。
性能优化
通过引入 Follower Read Cache,TiKV 实现了以下性能提升:
- 降低 CPU 使用率:缓存命中可以避免重复执行昂贵的读取逻辑
- 减少网络往返:减少了 Follower 节点与 Leader 节点之间的协调通信
- 提高吞吐量:系统可以处理更多的并发读取请求
- 降低延迟:缓存命中时的读取延迟显著降低
适用场景
Follower Read Cache 特别适合以下场景:
- 读多写少的工作负载:当系统主要处理读取请求时,缓存可以发挥最大效益
- 热点数据访问:对于频繁访问的数据,缓存能显著提高性能
- 地理分布式部署:在跨数据中心的部署中,可以减少跨数据中心的读取延迟
总结
TiKV 的 Follower Read Cache 特性通过引入智能缓存机制,有效解决了 Follower Read 操作资源消耗过高的问题。这一优化不仅提高了系统性能,还增强了系统的可扩展性,使得 TiKV 能够更好地应对大规模数据访问场景。随着分布式数据库系统的不断发展,类似的数据访问优化策略将变得越来越重要。
AutoGLM-Phone-9BAutoGLM-Phone-9B是基于AutoGLM构建的移动智能助手框架,依托多模态感知理解手机屏幕并执行自动化操作。Jinja00
Kimi-K2-ThinkingKimi K2 Thinking 是最新、性能最强的开源思维模型。从 Kimi K2 开始,我们将其打造为能够逐步推理并动态调用工具的思维智能体。通过显著提升多步推理深度,并在 200–300 次连续调用中保持稳定的工具使用能力,它在 Humanity's Last Exam (HLE)、BrowseComp 等基准测试中树立了新的技术标杆。同时,K2 Thinking 是原生 INT4 量化模型,具备 256k 上下文窗口,实现了推理延迟和 GPU 内存占用的无损降低。Python00
GLM-4.6V-FP8GLM-4.6V-FP8是GLM-V系列开源模型,支持128K上下文窗口,融合原生多模态函数调用能力,实现从视觉感知到执行的闭环。具备文档理解、图文生成、前端重构等功能,适用于云集群与本地部署,在同类参数规模中视觉理解性能领先。Jinja00
HunyuanOCRHunyuanOCR 是基于混元原生多模态架构打造的领先端到端 OCR 专家级视觉语言模型。它采用仅 10 亿参数的轻量化设计,在业界多项基准测试中取得了当前最佳性能。该模型不仅精通复杂多语言文档解析,还在文本检测与识别、开放域信息抽取、视频字幕提取及图片翻译等实际应用场景中表现卓越。00
GLM-ASR-Nano-2512GLM-ASR-Nano-2512 是一款稳健的开源语音识别模型,参数规模为 15 亿。该模型专为应对真实场景的复杂性而设计,在保持紧凑体量的同时,多项基准测试表现优于 OpenAI Whisper V3。Python00
GLM-TTSGLM-TTS 是一款基于大语言模型的高质量文本转语音(TTS)合成系统,支持零样本语音克隆和流式推理。该系统采用两阶段架构,结合了用于语音 token 生成的大语言模型(LLM)和用于波形合成的流匹配(Flow Matching)模型。 通过引入多奖励强化学习框架,GLM-TTS 显著提升了合成语音的表现力,相比传统 TTS 系统实现了更自然的情感控制。Python00
Spark-Formalizer-X1-7BSpark-Formalizer 是由科大讯飞团队开发的专用大型语言模型,专注于数学自动形式化任务。该模型擅长将自然语言数学问题转化为精确的 Lean4 形式化语句,在形式化语句生成方面达到了业界领先水平。Python00