TigerBeetle：達成一兆次交易處理 [影片]

背景

這場討論源於 TigerBeetle 執行長 Joran Greef 的演講影片，展示了該分散式帳本資料庫如何達成處理一兆次交易的壯舉。TigerBeetle 以其極致的性能與安全性著稱，採用 Zig 語言開發，並遵循嚴格的「Tiger Style」工程規範，旨在解決金融系統中對高吞吐量與強一致性的極端需求。

社群觀點

Hacker News 的討論首先聚焦於 TigerBeetle 團隊展現的工程素養。許多評論者對 Joran Greef 深入淺出的講解能力表示讚賞，認為這不只是技術實力的展現，更是一場「說好故事」的成功製作。這種對細節的極致追求不僅體現在程式碼上，也體現在硬體配置、視覺化呈現與投影片的準備中。

在技術架構層面，社群引發了關於「單機性能」與「分散式複雜度」的激烈辯論。有觀點認為，TigerBeetle 的案例證明了與其盲目使用 Kubernetes 或複雜的分散式鎖定機制，不如購買一台性能強大的伺服器並搭配優質的設計。部分開發者分享了在業界遭遇的亂象，例如在單機運行的單體應用中使用分散式鎖，或是無謂地運行多個實例卻導致競態條件。然而，反對者則質疑單機方案的可用性，認為 Kubernetes 的價值在於標準化維運而非單純的擴展性。對此，支持者反駁稱，良好的單機設計搭配 RAID 陣列，其可用性往往高於許多主流的雲端服務。

關於 TigerBeetle 提出的「對角線擴展」（Diagonal Scaling）概念，社群也展開了深度探討。這項設計試圖在不犧牲嚴格序列化（Strict Serializability）的前提下，同時兼顧垂直與水平擴展能力。雖然有留言質疑這與現有的 LSM 儲存庫（如 SlateDB）將運算與儲存分離的做法雷同，但 Joran Greef 親自回應指出，TigerBeetle 的獨特性在於它在物件儲存前端提供了一個具備共識機制的複製狀態機（Replicated State Machine），能在享受 NVMe 等級延遲的同時，確保冷熱資料的一致性與持久性。

此外，一些曾嘗試將 TigerBeetle 導入生產環境的開發者分享了實務經驗。雖然認可其在處理帳戶餘額與多幣種交易的卓越表現，但也提到目前在查詢靈活性、串流備份以及官方 UI 工具上的不足。討論中亦有資深遊戲開發者分享了類似的高性能開發經驗，提到在開發《最後一戰 4》遙測系統時，同樣採用了靜態分配、無鎖環形佇列與位元打包等技術，這與 TigerBeetle 提倡的「Tiger Style」工程哲學不謀而合，皆是透過限制系統複雜度來換取極致的穩定性與效能。

延伸閱讀

• Tiger Style：TigerBeetle 團隊遵循的工程設計規範，強調靜態分配與顯式限制。
• Hammock Driven Development：Rich Hickey 關於深度思考與系統設計的演講。
• SlateDB：基於物件儲存（如 S3）構建的 LSM 樹鍵值儲存庫。
• Change Data Capture (CDC)：TigerBeetle 官方文件中關於資料變更追蹤的說明。