专栏
探索系列深度文章
分布式算法系列
9 篇文章
> Paxos 是分布式共识问题的奠基性算法，由 Leslie Lamport 于 1998 年发表。本文从 Basic Paxos 的三阶段协议出发，推导 Multi-Paxos 的 Leader 优化，并深入分析 Leader 宕机、消息丢失、网络分区、活锁等异常场景下算法如何保证安全性。 相关文章：Raft 共识…
进入专栏 →
分布式系统系列
5 篇文章
> 本文系统梳理分布式一致性的核心理论与协议：从 CAP/BASE 的设计哲学，到强/顺序/因果/最终四种一致性模型，再到 Paxos、Raft、Gossip、向量时钟等具体实现方案。读完能清楚知道在什么场景下选哪种一致性保证，以及各协议的工作原理与取舍。 相关文章：分布式事务 · 分布式协调与选举 · 分布式系统设计…
进入专栏 →
协程系列
3 篇文章
> 本文以问题驱动视角梳理并发模型的演化——每一代模型的出现都是在回应上一代的具体缺陷，协程是这条演化链的必然结果，而非凭空出现的新技术。 --- 目录 | 章节 | 说明 | |------|------| | 并发的本质问题 | CPU 等待与 IO 等待的本质 | | 多进程时代 | C10K 问题量化分析 | …
进入专栏 →
地图导航算法系列
5 篇文章
> A 是在 Dijkstra 的基础上引入启发函数 h(n) 的最短路径算法，用「到终点的估计代价」引导搜索方向，大幅减少无效节点的探索，是地图导航、游戏寻路的基础算法。 相关文章：双向搜索 · Contraction Hierarchies !astar search 目录 | 章节 …
进入专栏 →
存储算法系列
12 篇文章
> LSM Tree（Log-Structured Merge Tree）是现代高写入吞吐存储引擎的核心数据结构，通过将随机写转换为顺序写，大幅提升写入性能。RocksDB、LevelDB、TiKV、Cassandra、HBase 均以 LSM Tree 为底层引擎。 相关文章：Bloom Filter · B+ Tr…
进入专栏 →
并发算法系列
6 篇文章
> CAS（Compare-And-Swap）是无锁并发编程的基石，是一条原子指令：仅当内存值等于预期值时，才将其更新为新值。Java 的 AtomicInteger、ConcurrentHashMap、无锁队列均以 CAS 构建。本文深入 CAS 的硬件实现、ABA 问题及修复方案，以及无锁算法的三个层次。 相关文章…
进入专栏 →
经典算法专栏
4 篇文章
> 图由顶点和边组成，是描述"关系"最自然的数据结构。本文覆盖图的存储、BFS/DFS 搜索、Dijkstra/Bellman-Ford 最短路径、Prim/Kruskal 最小生成树和拓扑排序，每个算法配有过程图辅助理解。 --- 目录 | 章节 | 说明 …
进入专栏 →
缓存算法系列
7 篇文章
> LRU（Least Recently Used）是最经典的缓存淘汰算法：当缓存满时，驱逐最长时间未被访问的条目。本文从数据结构设计出发，推导出 O(1) 的实现，并深入分析 LRU 在工程中的边界情况与局限性。 相关文章：LFU（最少使用频率） · ARC（自适应替换缓存） · W-TinyLFU 与 Caffei…
进入专栏 →
网络协议专栏
4 篇文章
> 本文覆盖 OSI 与 TCP/IP 分层模型对比、IP 协议基础、TCP 三次握手/四次挥手完整状态机、TCP 可靠性机制（序号/确认/重传/滑动窗口/流量控制/拥塞控制），以及 UDP 特性与 TCP/UDP 选型。 --- 目录 | 章节 | 说明 | |------|------| | OSI vs TCP/…
进入专栏 →
网络算法系列
10 篇文章
> 轮询算法解决多节点负载均衡问题，将请求依次或按权重分发给后端服务器，被 Nginx、HAProxy、Kubernetes 等广泛采用。 相关文章：最小连接数 · Jump Consistent Hash · Rendezvous Hashing 目录 | 章节 | 说明 | |------|------| | 普通…
进入专栏 →