CRDT与无冲突复制数据类型：实时协作系统的算法基础与工程实践深度对比
系统解析 CRDT（无冲突复制数据类型）的理论基础、两大学派（State-based vs Op-based）、经典实现（G-Counter、PN-Counter、OR-Set、RGA、YATA）、与 OT 的对比、Yjs/Automerge 实战、tombstone GC、tombstone 压缩算法、以及 Notion/Figma/Liveblocks 实际应用案例。
CRDT
CRDT 深度工程：无冲突复制数据类型如何重塑协同与本地优先架构
从 join-semilattice 的代数性质出发，拆解 G-Counter、LWW-Register、OR-Set 与序列 CRDT 的实现原理，结合 Rust/TypeScript 代码示例，剖析墓碑膨胀、因果元数据、时钟漂移与不变式表达四大工程陷阱，并给出 Yjs/Automerge/Ditto 的实战选型建议。
向量时钟与分布式一致性：从因果序到 CRDT 的工程实践
深入解析向量时钟在分布式系统中的核心作用：如何通过逻辑时钟捕获因果序、版本向量的演进与优化策略、向量时钟在 DynamoDB/Riak/Cassandra 中的工程应用，以及 CRDT 与混合逻辑时钟的前沿实践。
分布式系统一致性模型深度实战：从线性一致到因果一致的全景解析
系统解析分布式系统主流一致性模型：从线性一致到最终一致，涵盖FLP不可能定理、CAP理论、Paxos/Raft共识算法、向量时钟、CRDT、Dynamo/Cassandra最终一致实现、以及选型决策框架。
分布式系统共识协议深度实战：Raft、Paxos、Gossip 与 CRDT 全面解析
在分布式系统中，多个节点如何就某个状态达成一致？这是分布式计算领域最核心也最困难的问题之一。本文深入剖析四种主流的共识与一致性方案——Raft、Paxos、Gossip 和 CRDT，从算法原理到工程实践，逐一拆解它们的适用场景与实现细节。
向量时钟与分布式一致性：从并发控制到因果序的工程实践
深入解析向量时钟的核心原理与工程实现——从分布式系统的时间难题出发，系统阐述Lamport逻辑时钟的局限、向量时钟的数学证明、偏序关系与并发检测算法，以及在Amazon DynamoDB、Riak、Git等系统中的真实应用
向量时钟与因果一致性：分布式系统排序问题的工程解法
深入解析向量时钟与因果一致性模型。从Lamport时钟的局限性出发，详解向量时钟的更新规则、因果判定，以及版本向量在分布式数据库中的工程实践。包含Dotted Version Vector、垃圾回收、CRDT合并策略，以及与HLC的对比分析。
CRDT：无冲突复制数据类型的理论与实战——从编辑器协同到分布式数据库
深入解析无冲突复制数据类型（CRDT）的数学原理与工程实现，涵盖状态型和操作型两大流派，结合Yjs、Automerge等实战框架，揭示其在协同编辑、离线优先应用和分布式数据库中的关键作用。
深入解析分布式系统一致性模型：从强一致到最终一致性的工程权衡
系统解析分布式系统七大一致性模型（线性一致、顺序一致、因果一致、最终一致等），结合CAP/PACELC定理、共识算法与CRDT数据结构，构建完整的一致性工程决策框架
