分布式一致性协议深度解析：从 Paxos 到 Raft 的工程实践 深入剖析 Raft 一致性协议的设计思想、核心机制与工程实践。涵盖 Leader 选举、日志复制、安全性保证、Multi-Paxos 对比、生产环境调优案例等内容，帮助读者彻底理解分布式共识的本质。 高并发架构 2026年10月08日 0 点赞 0 评论 35 浏览
TLA 形式化验证分布式系统：从规约到生产环境的工程实践 深入介绍 TLA 形式化验证方法及其在分布式系统中的应用，涵盖核心概念、Raft规约编写实战、AWS生产案例、规约到代码的精化方法，以及形式化验证工程实践中的常见陷阱与最佳实践。 分布式系统 2026年09月30日 0 点赞 0 评论 40 浏览
