Tag: system-design
All the articles with the tag "system-design".
-
分布式事务深挖 · 2PC、TCC、Saga 与 Outbox
深挖分布式事务：单机 ACID 到分布式为何失效、CAP/BASE 与最终一致，逐帧拆 2PC/3PC 的阻塞与单点、TCC 的空回滚悬挂、Saga 的编排与补偿、Outbox+CDC 可靠事件投递，落到广告计费扣预算的幂等补偿与对账。
-
分布式锁深挖 · Redis Redlock 与 ZooKeeper/etcd
深挖分布式锁核心底座：从互斥、防死锁、容错与可重入四大正确性边界出发，拆解 Redis SET NX + Lua 释放 + 续期看门狗、Redlock 的妥协与 Fencing Token 防护机制，对比 ZooKeeper 顺序节点与 etcd 租约 CAS 的 CP/AP 架构取舍。
-
基于共识引擎的协调服务 · ZooKeeper 与 etcd 底层图解
深度剖析两大协调服务底层架构：ZooKeeper 的 znode 存储模型、临时节点与 ZAB 协议，etcd 的 Raft 引擎、MVCC 历史版本控制、Lease 租约与可回放 Watch，并横向对比 ZAB 与 Raft 的领导者选举机制与工业级落地选型。
-
分布式共识机制 · Paxos 与 Raft 图解
深挖分布式共识：从状态机复制与 FLP 不可能定理讲起，图解 Quorum 机制、Paxos 算法演进、Raft 的领导者选举 / 日志复制 / 安全性约束，并剖析脑裂隔离策略与 etcd / KRaft 工程落地经验。
-
广告多维报表与漏斗分析实战
广告报表的极致体验，取决于正确的指标语义、可命中的预聚合及可承受的去重成本。本文聚焦多维报表实战，解析 CUBE 组合爆炸的应对策略与物化视图加速路径。详细阐述漏斗分析的有序递减语义与留存 cohort 的集合运算，对比 Bitmap 精确去重与 HLL 近似去重在计费场景下的严格边界。最终通过报表 API 缓存策略，将高频看板查询的 P99 延迟压制在秒级以内，实现指标闭环。