土法炼钢 · 系统与基础设施

并发跳表：标记删除、乐观加锁与 ConcurrentSkipListMap

2026-04-14 | algorithms | #skip-list #lock-free #harris-list #lazy-skiplist #ConcurrentSkipListMap #jdk21 #leveldb #rocksdb #linearizability #threadsanitizer

跳表插删要改多个指针，靠标记删除或乐观加锁把它们变成一次线性化操作。对照 Pugh、Harris、Fraser、HLLS 与 JDK 21、LevelDB、RocksDB 源码，并用 TSan 与对拍验证实现，在 3 个物理核上测吞吐。