Neblux 知識圖譜
分散式系統
分散式系統是由獨立運算節點組成的集合，這些節點透過網路協調，使用者看來如同一個統一的整體系統。
概觀
分散式系統領域隨著電腦互聯互通而興起，研究人員研究如何從不可靠的元件構建可靠、一致的服務。基本挑戰包括在可能發生故障或非同步通訊的節點之間達成共識——這在一九八五年的 FLP 不可能定理中被形式化，該定理證明了在即使只有一個有故障進程的非同步系統中，確定性共識是不可能的。二〇〇〇年的 CAP 定理進一步確立了分散式系統無法同時保證一致性、可用性和分區容忍性。Google 的 Chubby、Apache Zookeeper 和基於 Raft 的資料庫等實際系統在這些取捨中尋求平衡。該領域大量借鑒演算法設計、機率理論與形式驗證。
為什麼重要
分散式系統是整個現代網際網路和雲端運算基礎設施的基石。從網路搜尋、社群網路到金融交易平台和串流媒體，這些服務都在大規模分散式系統上運行。這一學科推動了從單伺服器到行星級運算的轉變。區塊鏈技術將分散式共識應用於建立去中心化帳本。邊緣運算將分散式原則延伸至網路邊緣，使即時應用成為可能。分散式系統的形式研究影響了軟體架構、工程實踐以及我們對可靠運算根本極限的理解。