分散式系統
18 篇文章
Uber API 閘道三代演進：從 dispatch／api、RTAPI 到 Edge Gateway
依 Uber 官方部落格 2020 年的 Edge Gateway 專文與 2021 年的閘道架構文，整理 Uber API 閘道的三代演進：2014 年的 dispatch／api、2015 年起的 Node.js RTAPI，以及 2018 年起改用 Go、Zanzibar 與 Thrift IDL 的分層 Edge Gateway。
Shopify 支付工程師的 10 個韌性建議：從調低逾時到事故檢討
整理 Shopify Payments 工程師 Bart de Water 2022 年的經驗分享：調低逾時、Semian 斷路器、Little's Law、四大黃金訊號、結構化日誌、ULID 冪等鍵、對帳、壓力測試、事故管理與事故檢討。
從 Cassandra 到 ScyllaDB：Discord 用 Rust 資料服務與 Request Coalescing 儲存數兆則訊息
整理 Discord 公開過的訊息儲存演進：Cassandra 時期的 GC 停頓、熱點分區與壓實落後，先在 Cassandra 前加上 Rust 資料服務做 Request Coalescing，2022 年 5 月切換到 ScyllaDB 後，歷史訊息讀取 p99 從 40–125ms 降到 15ms。
YouTube 影片上傳與轉碼管線：可續傳上傳、GOP 分塊與依熱度分級的算力
依 YouTube Data API 文件、YouTube 官方部落格（2021）與 Google 的 Argos VCU 論文（ASPLOS 2021），整理 YouTube 公開過的影片處理做法：可續傳上傳、closed GOP 分塊、任務依賴圖排程、多輸出轉碼，以及依熱門程度分級投入轉碼算力。
設計 YouTube 類影音平台：先讓影片可靠上線，再承受熱門流量
沿著一支影片從斷線續傳、轉碼重試、公開播放到爆紅與下架，設計影音平台的資料模型、狀態責任、播放授權與故障驗收。用十張圖拆解完整產品，並比較何時值得增加系統複雜度。
全球分散式定時任務調度系統：分級時間輪（Hierarchical Timing Wheel）與分散式協調實戰
深入解析千萬級延時任務架構：從單層時間輪 Round 遍歷退化，到 Kafka / Netty 分級時間輪（時/分/秒）O(1) 級聯降級演進，再到全球分散式調度中心選主、分區雜湊槽分發與 CAS 狀態機防重實戰。
即時多人協作系統架構：OT（操作轉換）與 CRDT（無衝突複製資料型態）實戰
深入剖析 Google Docs 與 Figma 協作背後的核心架構：並行衝突消解、OT 中心化轉換局限與 O(N²) 瓶頸、CRDT 半格數學收斂、Yjs 雙向鏈表 StructStore 與 WebSocket 增量傳輸工程落地實戰。
分散式資料庫分片演算法全景對決：範圍分片、雜湊分片、一致性雜湊與目錄分片深度對比
深度剖析分散式資料庫的核心擴展策略：4 大分片演算法（Range / Hash / Consistent Hashing / Directory）深度對決，並延伸到固定邏輯槽位再平衡、分片鍵與分散式 ID 設計、跨分片交易（2PC / TCC / Saga / Outbox+CDC）、熱點鍵鹽化與分級路由，以及零停機線上遷移四步法。
企業級 Webhook 系統架構設計：HMAC-SHA256 簽名驗證、指數退避重試、死信隊列與流量治理
深度剖析現代 SaaS 與金融平台（如 Stripe、GitHub、Shopify）的 Webhook 發送引擎架構：生產級事件發布與非同步投遞管線、HMAC-SHA256 簽名防篡改、帶隨機抖動的指數退避重試演算法（Exponential Backoff with Jitter）、死信隊列（DLQ）與租戶級發送速率治理實戰。
Kubernetes 核心架構全景：API Server、etcd 分散式狀態、Kubelet 與 Controller Manager 協同調度
深度拆解現代雲原生作業系統 Kubernetes（K8s）的底層核心：控制平面（Control Plane）與工作節點（Worker Nodes）協同機制、kube-apiserver 宣告式狀態機、etcd 分散式一致性鍵值儲存、kube-scheduler 調度演算法與 kubelet / CRI 容器運行時全景架構。
銀行間清算與對帳系統（Reconciliation & Settlement Engine）：三方對帳矩陣、T+1 清算管線與自動沖正補償
深度剖析金融系統核心生命線：如何保證千億級資金流轉的分毫不差？三方對帳矩陣（內部帳本 vs. 支付網關 vs. 銀行清算文件）、T+1/T+0 分散式對帳管線、長尾差錯帳（Discrepancies）處理與自動沖正補償機制實戰。
經典系統設計：如何設計大規模分散式網頁爬蟲 (Web Crawler)？URL Frontier、禮貌策略、布隆去重與分散式調度全解
深度剖析搜尋引擎核心子系統設計：如何設計每秒抓取數千網頁的大規模分散式爬蟲？URL 邊界佇列 (URL Frontier) 優先級與禮貌策略 (Politeness Policy)、DNS 快取優化、SimHash / MD5 內容去重、Robots.txt 合規緩存與 Bloom Filter 億級網址過濾全解。
兩階段提交（2PC）與三階段提交（3PC）的極限：同步阻塞、腦裂風險與 TCC 模式演進
深入剖析強一致性分散式事務底層協定：兩階段提交 (2PC) 準備與提交階段、協調者單點故障 (SPOF) 與同步阻塞 (Synchronous Blocking) 瓶頸、三階段提交 (3PC) 預提交與超時機制、TCC (Try-Confirm-Cancel) 業務級兩階段架構實踐。
Saga 模式實踐：Orchestration 編排 vs. Choreography 協同分散式長事務全景
深度剖析微服務架構下的分散式事務難題：Saga 模式核心架構、編排式 (Orchestration) vs. 協同式 (Choreography) 拓撲對決、補償事務 (Compensating Transactions) 與前向/後向恢復、缺乏 ACID 隔離性 (Isolation) 的語義鎖應對策略。
分散式系統共識演算法：CAP 定理、PACELC 與 Raft 協定深析
深度剖析分散式共識底層理論與實踐：CAP 定理嚴格定義與常見誤區、PACELC 延遲與一致性權衡模型、Raft 共識演算法三大角色、Leader Election 隨機化超時選舉機制、Log Replication 日誌複製與安全性 (Safety) 保證。
分散式唯一 ID 生成器架構：Snowflake vs. Leaf vs. UUIDv7 深度解析與時鐘回撥防禦
深入剖析大規模分散式資料庫主鍵生成架構：資料庫自增 ID 擴展極限、UUIDv4 隨機性引發的 B+ Tree 頁分裂災難、Twitter Snowflake 64-bit 位元拓撲、時鐘回撥 (Clock Drift) 防禦策略、美團 Leaf 雙 Buffer 機制與現代 UUIDv7 (RFC 9562) 演進。
現代分散式限流演算法：Token Bucket vs. Leaky Bucket vs. 滑動視窗底層實作
全面拆解分散式限流的核心演算法：固定視窗、滑動日誌 (Sliding Log)、滑動視窗計數器 (Sliding Window Counter)、漏桶 (Leaky Bucket) 與權杖桶 (Token Bucket) 的數學模型、Redis + Lua 原子實作與叢集自適應限流策略。
為什麼 Kafka 既快又不會丟失訊息？Zero-Copy 與 ISR 複寫的底層機制
從作業系統 Page Cache、Zero-Copy DMA 系統呼叫、順序 I/O，到 Producer 冪等性、min.insync.replicas 與消費者手動 Offset 提交，全面拆解 Apache Kafka 百萬吞吐與零丟失保障的工程底層。