Ray Liu's Blog

前言很多人在談電商架構時，直覺會把注意力放在訂單與支付，因為那條鏈路最敏感、也最容易出事。但如果從流量占比來看，真正壓力最大的往往不是付款頁，而是首頁、活動頁、商品頁、搜尋頁與推薦區塊。大量使用者每天都在看、比、查、篩選，真正進入下單的人反而是少數。 這也是為什麼超大型電商的第一個架構現實通常不是「交易寫入太多」，而是讀流量先把整個平台打爆。如果商品資料與搜尋查詢沒有分層、快取沒有設計好、索引沒有獨立出去，那麼主資料庫很快就會被大量查詢拖垮，接著連真正重要的交易鏈路都會被連帶影響。 所以這一篇要處理的核心問題是：為什麼超大型電商本質上是讀流量主導的系統？ 以及在這種前提下，商品目錄、搜尋索引、推薦服務、快取與 CDN 應該怎麼分工，才能讓前台流量夠快、夠穩，也不會把交易主線拖下水。 系列文章導航 從商品瀏覽到訂單履約，超大型電商平台到底怎麼拆 商品目錄、搜尋、推薦、快取與 CDN，為什麼電商本質上是讀流量主導的系統（本篇） 購物車、庫存預留、下單流程與超賣治理 支付、退款、帳務、對帳與交易一致性 MySQL、PostgreSQL、DynamoDB、Redis、OpenSear...

前言當我們談到 Amazon 類型的超大型電商平台時，很多人第一時間想到的是首頁很快、商品很多、促銷很多、訂單很多，但站在系統設計的角度，真正困難的從來不是單一頁面怎麼 render 出來，而是整個平台要同時承接極高的讀流量、複雜的交易鏈路、龐大的商品資料、跨區域部署、高峰活動壓力與長尾的一致性問題。 換句話說，電商系統不是「一個網站加一個資料庫」，而是一組責任不同、流量型態不同、擴展方式也不同的系統群。首頁、搜尋、商品頁、購物車、庫存、訂單、支付、履約、客服、通知、推薦、報表，看起來都屬於同一個平台，但它們對延遲、一致性、可用性與資料模型的要求其實完全不一樣。 本系列會以 Amazon 類型的超大型電商作為抽象案例，重點不是猜測某一家公司的私有實作，而是理解在公開常識與業界常見架構下，一個真正高流量、高資料量、高營運複雜度的電商平台，通常會遇到哪些典型問題，以及為什麼系統會逐步長成今天這種分層且分工明確的形態。 系列文章導航 從商品瀏覽到訂單履約，超大型電商平台到底怎麼拆（本篇） 商品目錄、搜尋、推薦、快取與 CDN，為什麼電商本質上是讀流量主導的系統 購物車、庫存預留、下...

前言到了系列最後一篇，我們終於可以正面回答很多人最在意的問題：在幣安、OKX 類型的超大流量交易所場景裡，MySQL 與 PostgreSQL 到底該怎麼選，又該怎麼調？ 這題沒有一刀切答案，因為交易所不是只有一種資料，也不是只有一種查詢模式。 真正成熟的架構思維，通常不是先問「哪個資料庫比較強」，而是先問「哪一類資料、哪一條鏈路、哪一種一致性要求，需要什麼樣的資料庫能力」。你把問題問對，MySQL 與 PostgreSQL 的差異才會真正有意義。 本文會把兩者放進大型交易所的典型資料流裡比較，並用 Go 服務實作角度來討論連線池、批次寫入、索引、複寫、分片、Vacuum、WAL、Binlog 等實務問題。重點不是背參數，而是理解每個調校動作背後到底在優化哪一段成本。 以下討論以 2026 年常見的 MySQL 8.4 LTS、PostgreSQL 17/18、Redis 7.x 與 Kafka 類事件流生態 為背景。不同版本細節會有差異，但整體取捨邏輯仍然成立。 系列文章導航 撮合引擎、In-Memory、Ring Buffer 與批次處理 Event Sourc...

前言分區、分片與事件流解決的是吞吐量與資料一致性的一大半問題，但大型交易所真正容易出事故的地方，往往發生在故障切換與協調。例如同一個 symbol 的撮合工作不能同時有兩個節點接手，同一組清算任務不能被兩個 worker 重複執行，週期性對帳也不能在多個節點上同時跑到互相打架。 這時候你就會遇到 Leader Election、lease、heartbeat、fencing token、split brain 這些名詞。它們看起來像分散式系統課本內容，但在交易所場景裡非常務實，因為只要選主做錯，後果不是單純多跑一個 job，而可能是重複清算、重複扣款、重複對帳，甚至同一資源被雙寫。 本文會把 Leader Election 放回交易所真實使用場景來解釋，並補上 MySQL / PostgreSQL 在協調鎖與選主上的差異。你也會看到一個很重要的觀念：不是所有服務都要選主，但凡是「同一時間只能有一個節點負責」的工作，都必須先想清楚協調模型。 系列文章導航 撮合引擎、In-Memory、Ring Buffer 與批次處理 Event Sourcing、Outbox Pa...

前言當你接受了 In-Memory + Event Sourcing + MQ 這套思路之後，下一個現實問題就來了：資料量到底怎麼扛？ 幣安、OKX 類型的交易所不是只有訂單表很大而已，而是訂單、成交、資產流水、風控事件、行情快照、K 線、稽核紀錄都會一起爆炸，而且不同資料的成長速度完全不同。 這也是為什麼大型交易所一定會走向 Partition、Sharding、冷熱資料分層，以及分角色的資料模型設計。若沒有把這一層拆清楚，再好的撮合引擎都會被下游儲存拖垮。 本文會用交易所最常見的三種切分維度來講解：依交易對、依使用者、依時間。你也會看到 MySQL 與 PostgreSQL 在這個問題上各自擅長的方向，以及它們在擴展時最容易踩到的坑。 系列文章導航 撮合引擎、In-Memory、Ring Buffer 與批次處理 Event Sourcing、Outbox Pattern、Message Queue 與一致性 Partition、Sharding 與 MySQL / PostgreSQL 擴展策略（本篇） Leader Election、高可用切換與跨服務協調 ...

前言上一篇我們先處理了大型交易所的熱路徑問題：撮合核心通常把最熱的 order book 狀態放在記憶體中，並靠單寫者、ring buffer 與 batching 來壓低尾延遲。但只講到這裡還不夠，因為下一個一定會被問到的問題是：如果核心狀態在記憶體裡，那系統怎麼保證資料一致、可追溯，還能在故障後重建？ 這就是 Event Sourcing、Outbox Pattern 與 Message Queue 會一起出現的原因。它們不是三個互不相干的流行名詞，而是大型交易所把低延遲與高可靠同時做出來時，最常見的一組設計組合。 本文同樣以幣安、OKX 類型的交易所為抽象案例，統一用 Go 視角來說明。你會看到，交易所真正想保存的往往不是「某一列最後長什麼樣」，而是「到底發生過哪些不可否認的事實」。一旦你抓住這個重點，Event Sourcing 與 Outbox Pattern 就會變得很好理解。 系列文章導航 撮合引擎、In-Memory、Ring Buffer 與批次處理 Event Sourcing、Outbox Pattern、Message Queue 與一致性（本篇） P...

前言當我們談到幣安、OKX 這類超大型加密貨幣交易所時，真正困難的從來不是「把訂單寫進資料庫」這麼簡單，而是要在行情劇烈波動的幾秒鐘內，同時處理大量委託、成交、資產變動、風控檢查與行情廣播。單一熱門交易對在尖峰時段就可能湧入極高密度的事件，整個平台每日累積上億筆資料更是常態。 本文會以幣安、OKX 類型交易所的公開常識與業界常見架構作為抽象化案例，統一使用 Go 的思維來說明。重點不是猜測某一家交易所的私有實作，而是理解為什麼大型交易所的核心撮合路徑會高度依賴 In-Memory、Ring Buffer / Lock-free 與 Batching，而不會把資料庫放在最熱的處理路徑上。 如果你把每一筆訂單都當成一般 Web CRUD 請求，先進資料庫、再查資料庫、再更新資料庫，那麼系統在平靜市場也許還能運作，但在暴漲暴跌時幾乎一定會出現排隊、鎖競爭、延遲飆高，最後變成整個交易鏈路雪崩。這也是本系列第一篇要先處理的核心問題：撮合引擎到底為什麼要先把狀態放進記憶體，而不是先放進 MySQL 或 PostgreSQL？ 系列文章導航 撮合引擎、In-Memory、Ring Buff...

在後端系統設計中，錯誤處理（Error Handling）不僅僅是語法問題，更深深影響著系統的穩定性與後續維護成本。Go 語言的錯誤處理機制經常引起討論（甚至抱怨），其最核心的概念就是 “Errors are values”（錯誤就是普通的變數值）。 這篇文章將探討 Go 語言的錯誤處理哲學，與主流依賴 Exception 機制的語言（PHP, JavaScript, Python, C#）進行對比，並解析實踐中如何透過設計模式優雅地處理連續錯誤，告別 if err != nil 的無盡深淵。 1. 錯誤處理的底層邏輯：Exception 機制 vs Go要理解 Go 的設計初衷，最好的方式是與基於 Exception 的語言進行對比。PHP、JavaScript 和 Python 雖然應用場景各有不同，但在錯誤處理上，主流做法都偏向隱性拋出與捕捉（try-catch / try-except）。即使是強型別語言如 C#，核心機制依舊是建構在 Exception 之上。 C#：強大型別與卓越的資源控管C# 作為微軟主導的靜態語言，其 Exception 機制極為強大...

前言「這個系統應該用什麼語言寫？」是架構師最常被問到的問題之一，也是最容易被宗教戰爭搞壞氣氛的話題。 身為資深程式語言架構師，我的態度非常明確：語言只是工具，選型取決於「問題的本質形狀」、「團隊能力邊界」與「系統的壽命計畫」。本文不做無謂的優劣排行，而是從記憶體管理哲學、型別介面設計、錯誤控制流、併發模型與雲原生適應力五個定義現代軟體工程的核心維度，為你建立最高階的決策框架。 一、核心維度總覽表 語言 記憶體管理 介面型別哲學 錯誤處理流 雲原生啟動 (編譯產物) 主要戰場 C / C++ 完全手動 / RAII 名目型別 (Nominal) Return Value / Exceptions AOT (靜態二進位檔) 作業系統、遊戲引擎、高頻交易 Rust 借用檢查器（零 GC） 特設多型 (Ad-hoc) 代數型別 Result<T, E> AOT (靜態二進位檔) 底層安全系統、取代 C/C++、Wasm Go 追蹤式 GC（超低延遲） 結構型別 (Duck Typing) 多值回傳 if err !=...

前言在微服務架構中，當系統從單體（Monolithic）走向分散式，服務之間的通訊模式從同步的 HTTP/gRPC API 呼叫，逐漸演變為非同步的事件驅動（Event-Driven）架構。此時，Message Queue（訊息佇列，簡稱 MQ） 就成了系統的中央神經索，負責解耦（Decoupling）、削峰（Load Leveling）與非同步處理。 然而，市面上的 MQ 五花八門。若從資深架構師的底層視角來看，RabbitMQ、Kafka 與 NATS 這三者根本不能互換，因為它們代表了三種截然不同的分散式設計哲學。選錯 MQ，不只是效能低下的問題，更可能面臨資料遺失與無解的維運死胡同。本文將帶你剖析它們的底層機制，找出正確的選型策略。 零、訊息交付語意（Delivery Semantics）——選型前的認知基礎在深入比較各 MQ 之前，必須先理解貫穿全文的核心概念：訊息交付語意。三大語意的選擇，直接決定了你的系統在崩潰或重傳時的資料正確性保障： 語意 說明 風險 At-most-once 訊息最多交付一次，不重傳 訊息可能永久遺失 At-leas...