分散式系統(Distributed Systems)

CAP定理(CAP theorem)：不能同時滿足一致性與容錯性。

• 一致性(Consistency)：各節點資料庫間即時地保持資料同步
• 可用性(Availability)：各節點各自提供同一服務，同時至少有一節點存活，保證該服務持用可用
• 容錯性(Partition tolerance)：資料分佈需容忍資料錯誤，於一定時間內才能同步完成。

時間排序(Temporal Orders)：
使得資料同步(Synchronization)達成最小延遲，是兼容一致性與容錯性的一種方法。

許可共識(Permissioned Consensus)

投票共識(Voting Consensus)：
傳統共識機制，機器故障造成暫時無法同步資料，只要滿足投票過半仍可達成共識。
容易造成攻擊漏洞，造成資料同步異常，資料版本分歧。

機器故障(Machine Faults)：因應故障情況不同，適合不同的共識機制。

• 崩潰故障(Crash fault, CFT)：使系統停止的故障
  • Paxos
  • RAFT
• 拜占庭故障(Byzantine faults, BFT)：惡意故障，攻擊分佈系統的資料同步機制漏洞
  f = 錯誤節點(Corrupt Node)
  • BFT：3f + 1
  • CFT：2f + 1、效能較好
  • XFT：2f + 1、效能較好