更多项目
来自数据库、JVM 生态、浏览器及其他知名开源项目的模式。
数据库与存储
| 模式 | 项目 | 位置 | 作用 |
|---|---|---|---|
| MVCC | PostgreSQL | heapam_visibility.c | HeapTupleSatisfiesMVCC — 快照隔离可见性检查 |
| 预写日志 | PostgreSQL | xlog.c | 事务 WAL 用于崩溃恢复、复制、PITR |
| MVCC | etcd | kvstore.go | 多版本 KV 存储，驱动 Kubernetes 配置 |
| 预写日志 | etcd | wal.go | Raft 共识 WAL 用于分布式状态 |
| LRU 缓存 | Redis | evict.c | 近似 LRU——基于采样的淘汰池 |
| Trie 前缀树 | Redis | rax.c / rax.h | RAX 压缩前缀树，用于 Streams 和有序键范围 |
| 跳表 | Redis | t_zset.c | 有序集合实现，概率平衡 |
| 布隆过滤器 | LevelDB | bloom.cc | 块级布隆过滤器跳过不必要的磁盘读取 |
| 跳表 | LevelDB | skiplist.h | 无锁 memtable，原子 next 指针 |
| Arena 分配器 | LevelDB | arena.cc | 基于块的 arena 分配器用于 memtable |
| 合并迭代器 | LevelDB | merger.cc | MergingIterator 合并有序迭代器（memtable + SSTable 各层）为单一有序视图 |
| LSM 树 | LevelDB | db_impl.cc | DBImpl::Write——批量写入 WAL，插入 memtable，阈值时刷入 SST |
| 合并迭代器 | RocksDB | merge_helper.cc | TimedFullMerge 在 compaction 期间合并同键的多个版本 |
| LSM 树 | RocksDB | memtable.cc | MemTable::Add——跳表支撑的 memtable，写满后刷入 L0 SST |
| B+ 树 | PostgreSQL | nbtinsert.c | B-link 树（Lehman-Yao 变体）——所有表和索引均由磁盘页上的 B+ 树支撑 |
| B+ 树 | SQLite | btreeInt.h | 内部单元持有子页指针 + 键；叶单元持有有效载荷。通过 balance_nonroot() 实现页面分裂 |
| 默克尔树 | ZFS (OpenZFS) | blkptr.c | 块指针校验和形成 Merkle 树，从数据块到 uberblock，检测静默数据损坏 |
| 检查点 | PostgreSQL | checkpointer.c | CheckpointerMain——刷新脏缓冲区，写检查点 WAL 记录，更新 pg_control |
| 检查点 | Redis | rdb.c | rdbSaveRio——fork 子进程写入时间点 RDB 快照，不阻塞主线程 |
JVM 生态
| 模式 | 项目 | 位置 | 作用 |
|---|---|---|---|
| Actor 模型 | Akka | Actor.scala | trait Actor — JVM 上的消息驱动并发 |
| 熔断器 | Netflix Hystrix | HystrixCircuitBreaker.java | 微服务弹性的三态熔断器 |
| 批处理 | Apache Kafka | RecordAccumulator.java | 按分区累积记录为批次 |
| 工作窃取 | OpenJDK | ForkJoinPool.java | scan 方法实现随机化工作窃取 |
| LRU 缓存 | Guava | CacheBuilder | maximumSize() LRU 淘汰 |
| 限流器 | Guava | RateLimiter | 平滑突发/预热令牌桶 |
| 一致性哈希 | groupcache | consistenthash.go | 带虚拟副本的哈希环（Brad Fitzpatrick 作品） |
Erlang / BEAM 虚拟机
| 模式 | 项目 | 位置 | 作用 |
|---|---|---|---|
| Actor 模型 | Erlang/OTP | erl_process.h | BEAM VM 进程结构体——带信箱的轻量级 Actor |
| 协作调度 | Erlang/OTP | BEAM 调度器 | 基于 reduction 的抢占，支持数百万进程 |
| 信号量 | Erlang/OTP | erl_process_lock.c | 进程锁保证安全的并发访问 |
浏览器与 Web
| 模式 | 项目 | 位置 | 作用 |
|---|---|---|---|
| 布隆过滤器 | Chromium | selector_filter.h | CSS 选择器布隆过滤器——跳过 60-70% 的规则 |
| 位掩码 | React | ReactFiberFlags.js | Fiber 副作用标志——Placement、Update、Deletion |
| 双缓冲 | React | Fiber 架构 | current 树与 work-in-progress 树在 commit 时交换 |
| 差异/补丁 | React | ReactChildFiber.js | 基于 key 的列表 reconciliation |
基础设施与云
| 模式 | 项目 | 位置 | 作用 |
|---|---|---|---|
| 指数退避重试 | Kubernetes | backoff.go | Pod 重启退避、API 服务器重试 |
| 指数退避重试 | gRPC-Go | internal/backoff/backoff.go | 带抖动的指数连接退避 |
| 依赖图 | Terraform | 资源图 | DAG 顺序的并行资源 apply |
| 依赖图 | Bazel | Action 图 | 构建目标的拓扑执行 |
| 注册表 | gRPC-Go | server.go | RegisterService 将服务描述添加到服务器的服务映射中，用于 RPC 方法分发 |
| 注册表 | TensorFlow | op.h | REGISTER_OP 宏将操作注册到全局 OpRegistry，用于构建计算图 |
| 一致性哈希 | Nginx | ngx_http_upstream_hash | 基于 ketama 哈希的上游负载均衡 |
编译器与语言运行时
| 模式 | 项目 | 位置 | 作用 |
|---|---|---|---|
| 访问者 | LLVM | InstVisitor.h | CRTP 访问者按 IR 指令操作码分发，用于优化 pass |
| 访问者 | Vue.js | transforms/vIf.ts | transformIf 是 NodeTransform 访问者，遍历模板 AST |
| 虚函数表 | CPython | object.h | PyTypeObject 虚表——tp_repr、tp_hash、tp_call、协议套件 |
| 驻留 | CPython | unicodeobject.c | PyUnicode_InternInPlace——驻留标识符字符串实现 O(1) 字典查找 |
| 驻留 | Rust (rustc) | symbol.rs | Symbol 是全局驻留表的 u32 索引——所有标识符均驻留 |
| 标签联合体 | Godot Engine | variant.h | Variant::Type 枚举 + 联合体——每个 GDScript 值都是 Variant |
| 标签联合体 | PyTorch | ivalue.h | IValue 持有 Tag 枚举 + Payload 联合体，用于 TorchScript 解释器 |