一致性模型

在計算機科學領域,分散式一致性問題是一個相當重要,且被廣泛論證與探索的問題。通常存在於分散式記憶體共享,分散式存儲(例如:分散式檔案系統,資料庫,快取)等分散式系統中。Paxos算法是萊斯利·蘭伯特(Leslie Lamport,就是 LaTeX中的La,供職於微軟研究院)於1990年提出的一種基於訊息傳遞且具有高度容錯特性的一致性算法,是至今為止最優秀的分散式一致性算法。

簡介

概述

在計算機科學領域,分散式一致性問題是一個相當重要,且被廣泛論證與探索的問題。通常存在於分散式記憶體共享,分散式存儲(例如:分散式檔案系統,資料庫,快取)等分散式系統中。

問題原型

假設有下列場景:
-節點N_1N_2上存放著數據X的拷貝
-客戶端A更新節點N_1上的數據X
-一段時間之後,客戶端從節點N_2上讀取數據X
在這個場景中,客戶端B從節點N_2上是否可以讀取到客戶端A在節點N!上的數據更新取決於系統的實現,而這便是分散式一致性問題。

一致性算法

Paxos算法是萊斯利·蘭伯特(Leslie Lamport,就是 LaTeX中的"La",供職於微軟研究院)於1990年提出的一種基於訊息傳遞且具有高度容錯特性的一致性算法,是至今為止最優秀的分散式一致性算法。
Basic Paxos
Multi-Paxos
Cheap Paxos
Fast Paxos
Generalized Paxos
Byzantine Paxos

工程實現

zookeeper

zookeeper是Hadoop的正式子項目,它是一個針對大型分散式系統的可靠協調系統,提供的功能包括:配置維護、名字服務、分散式同步、組服務等。ZooKeeper的目標就是封裝好複雜易出錯的關鍵服務,將簡單易用的接口和性能高效、功能穩定的系統提供給用戶。

Chubby

來自Google的Paxos實現,是一個分散式鎖服務。

spanner

Spanner是谷歌公司研發的、可擴展的、多版本、全球分散式、同步複製資料庫。它是第一個把數據分布在全球範圍內的系統,並且支持外部一致性的分散式事務。本文描述了Spanner的架構、特性、不同設計決策的背後機理和一個新的時間API,這個API可以暴露時鐘的不確定性。這個API及其實現,對於支持外部一致性和許多強大特性而言,是非常重要的,這些強大特性包括:非阻塞的讀、不採用鎖機制的唯讀事務、原子模式變更。

IBM SVC

IBM SVC異構存儲整合解決方案實現了虛擬存儲層(Virtualization Layer)的功能,將存儲智慧型加入到SAN的網路中。用戶可以按照套用不斷變化的需求來分配存儲,而不再受制於存儲子系統設備在功能和性能上的限制。SVC又是一個SAN網路的中心管理控制點,而且它對伺服器的作業系統和存儲子系統透明。

Microsoft AutoPilot

AutoPilot是微軟用於維護大規模網際網路服務的工具利器,採用簡單的模型和設計思想,AutoPilot負責自動化的運維數據中心中提供服務的大規模機器。

相關詞條

相關搜尋

熱門詞條

聯絡我們