TLA+ 形式化规约与模型检测深度工程实战：从时序逻辑到时不变式、状态机规约、分布式协议验证及生产级应用
TLA+ 形式化规约语言深度工程实战：从时序逻辑（LTL/CTL）、时不变式（Invariant）、状态机规约（Init/Next）、Pluscal 算法语言、TLC 模型检测器引擎，到分布式共识协议（Paxos/Raft）规约验证、Amazon DynamoDB/S3 生产级认证实践、规约调试技巧、性能优化、CI/CD 集成与工业级最佳指南。
Raft
NewSQL 分布式数据库深度实战：从 Percolator 事务模型到 TiDB/TiKV HTAP 架构与生产级工程体系
NewSQL深度实战教程：从Percolator分布式事务模型到TiKV Multi-Raft Group存储架构、TiDB分布式SQL优化器、TiFlash列式引擎HTAP融合、多IDC灾备策略、生产性能调优完整工程体系
分布式共识算法 Raft 深度实战：从 Leader 选举到日志复制、Multi-Raft 分片与生产级线性一致性读写的完全工程指南
分布式共识算法 Raft 深度实战完全指南：从 Leader 选举机制、日志复制一致性检查与提交规则、Multi-Raft 分片架构与 PD 调度、线性一致性读优化（ReadIndex/LeaseRead）、Joint Consensus 成员变更、到 etcd WAL/快照实现剖析、生产性能调优与灾难恢复方案。
分布式一致性 Raft 算法深度实战：从共识理论到 etcd 生产级部署与性能调优的完全工程指南
深度解析分布式一致性 Raft 算法：从八大不可能定理、FLP 不可能、CAP 理论出发，完整拆解 Raft 状态机模型（Leader 选举 / Candidate 竞选 / Follower 心跳）、AppendEntries 日志复制、Log Matching 与 Leader Completeness 安全性证明、联合共识与单节点成员变更、快照压缩机制，并落地 etcd 3.6 与 HashiCorp Raft 的工程实践与生产调优
Raft 共识算法从零实现：Leader 选举、日志复制与共识安全的完整工程实践
从零实现 Raft 共识算法的工程实践指南：深入解析 Leader 选举超时机制、日志复制一致性保证、安全性约束与持久化策略，完整 Go 语言实现含 Raft 核心状态机、RPC 通信层，并扩展到线性一致读、集群成员变更与快照压缩的生产级方案。
分布式共识算法Raft深度解析：从Leader选举到Go语言实战实现
深入解析Raft共识算法的核心机制：服务器状态机模型与Term机制、Leader选举流程与随机超时策略、日志复制流程与一致性保证、提交规则与联合共识安全性，附完整Go语言核心引擎实现代码
