无锁队列：Michael-Scott 算法与 ABA 问题
按 PODC 1996 原文复原 Michael-Scott 无锁队列：线性化点、计数指针防 ABA、计数器为何不解决内存回收、每条 CAS 的 C11 内存序，并用 TSan 与线性化检查器实测。
linearizability 标签归档
共 4 篇文章 · 返回首页
并发跳表：标记删除、乐观加锁与 ConcurrentSkipListMap
跳表插删要改多个指针，靠标记删除或乐观加锁把它们变成一次线性化操作。对照 Pugh、Harris、Fraser、HLLS 与 JDK 21、LevelDB、RocksDB 源码，并用 TSan 与对拍验证实现，实测独占 CPU 与超额订阅两种情形下的吞吐。
【分布式系统百科】一致性模型全景：从线性一致性到最终一致性的光谱
分布式系统中一致性模型不是二选一，而是一条光谱。本文从线性一致性、顺序一致性讲到因果一致性、最终一致性及其变体，用反例区分每一级的差异，用 Go 代码实现操作历史的一致性检测，并把 ZooKeeper、Spanner、DynamoDB、Cassandra 映射到这条光谱上。
【分布式系统百科】FLP、CAP 与不可能性结果：被误读的三座里程碑
FLP 说异步系统中共识不可能，但 Raft 跑得好好的。CAP 说三选二，但 Spanner 声称兼得。矛盾不在定理本身，在于读定理时跳过了精确条件。本文回到 FLP、CAP、共识数和收割/产出四篇原始论文，逐一拆解它们的真实陈述、证明思路与工程边界。