Bigtable 论文翻译
目錄
1 介紹
2 數據模型
3 API
4 Bigtable構件
5 介紹
6 優化
7 性能評估
8 實際應用
9 經驗教訓
10 相關工作
11 結論
原文下載鏈接:https://pan.baidu.com/s/1JfW6wrSmUp892pu-CRojVw 提取碼:1452?
?
Bigtable:一個分布式的結構化數據存儲系統
摘要
Bigtable是一個分布式的結構化數據存儲系統,它被設計用來處理海量數據:通常是分布在數千臺普通服務器上的PB級的數據。Google的很多項目使用Bigtable存儲數據,包括Web索引、Google Earth、Google Finance。這些應用對Bigtable提出了不一樣的的要求,無論是在數據量上(從URL到網頁到衛星圖像)還是在響應速度上(從后端的批量處理到實時數據服務)。盡管應用需求差異很大,但是,針對Google的這些產品,Bigtable還是成功的提供了一個靈活的、高性能的解決方案。本論文描述了Bigtable提供的簡單的數據模型,利用這個模型,用戶可以動態的控制數據的分布和格式;我們還將描述Bigtable的設計和實現。
?
1 介紹
在過去兩年半時間里,我們設計、實現并部署了一個分布式的結構化數據存儲系統。在Google,我們稱之為Bigtable。Bigtable的設計目的是可靠的處理PB級別的數據,并且能夠部署到上千臺機器上。Bigtable已經實現了下面的幾個目標:適用性廣泛、可擴展性、高性能和高可用性。Bigtable已經在超過60個Google的產品和項目上得到了應用,包括Google Analytics、Google Finance、Orkut、Personalized Search、Writely和Google Earth。這些產品對Bigtable提出了不同的需求,有的需要高吞吐量的批處理,有的則需要及時響應,快速返回數據給終端用戶。它們使用的Bigtable集群的配置也有很大的差異,有的集群只有幾臺服務器,而有的則需要上千臺服務器、存儲幾百TB的數據。
在很多方面,Bigtable和數據庫很類似:它使用了很多數據庫的實現策略。并行數據庫和內存數據庫已經具備可擴展性和很高的性能,但是Bigtable提供了一個和它們完全不同的接口。Bigtable不支持完整的關系數據模型;與之相反,Bigtable為客戶提供了簡單的數據模型,利用這個模型,客戶可以動態控制數據的分布和格式,用戶也可以自己推測底層存儲數據的位置相關性。數據的下標是行名和列名,行列名可以是任意的字符串。Bigtable將存儲的數據都視為字符串,但是Bigtable本身不去解析這些字符串,客戶程序通常會在把各種結構化或者半結構化的數據串行化到這些字符串里。通過仔細選擇數據的模式,客戶可以控制數據的位置相關性。最后,可以通過Bigtable的模式參數來控制數據是存放在內存中、還是硬盤上。
第二節描述關于數據模型更多細節方面的東西;第三節介紹了客戶端API概要;第四節簡要介紹了Bigtable底層使用的Google的基礎框架;第五節描述了Bigtable實現的關鍵部分;第6節描述了我們為了改進Bigtable的性能采用的調優方法;第7節提供了Bigtable的性能數據;第8節講述了幾個Google內部使用Bigtable的例子;第9節是我們在設計和維護過程中得到一些經驗和教訓;最后,在第10節列出我們的相關研究工作,第11節是我們的結論。
?
2 數據模型
Bigtable是一個稀疏的、分布式的、持久化存儲的多維度排序Map。Map的索引是行關鍵字、列關鍵字以及時間戳;Map中的每個value都是一個未經解析的byte數組。
(row:string, column:string,time:int64)->string
我們仔細分析了一個類似Bigtable的系統的種種潛在用途之后,決定使用這個數據模型。先舉個具體的例子,這個例子促使我們做了很多設計決策;假設我們想要存儲海量的網頁及相關信息,這些數據可以用于很多不同的項目中,我們稱這個特殊的表為Webtable。在Webtable里,我們使用URL作為行關鍵字,使用網頁的某些屬性作為列名,網頁的內容存在"contents:"列中,并用獲取該網頁的時間戳作為標識,如圖一所示。
圖一:這是Webtable例子中的某一部分。行名是一個反向URL。contents列族存放的是網頁的內容,anchor列族存放引用該網頁的錨鏈接文本。CNN的主頁被Sports Illustrater和MY-look的主頁引用,因此該行包含了名為"anchor:cnnsi.com"和 "anchor:my.look.ca"的列。每個錨鏈接只有一個版本(時間戳標識了列的版本,t9和t8分別標識了兩個錨鏈接的版本);而contents列則有三個版本,分別由時間戳t3,t5,和t6標識。
?
行
表中的行關鍵字可以是任意的字符串(目前支持最大64KB的字符串,但是對大多數用戶,10-100個字節就足夠了)。對同一個行關鍵字的讀或者寫操作都是原子的(不管讀或者寫這一行里多少個不同列),這個設計決策能夠使用戶很容易的理解程序在對同一個行進行并發更新操作時的行為。
Bigtable通過行關鍵字的字典順序來組織數據。表的行范圍可以動態分區。每個行范圍叫做一個"Tablet",Tablet是數據分布和負載均衡調整的最小單位。這樣做的結果是,當操作只讀取很短的行范圍(即表中很少的幾列)數據時效率很高,通常只需要少數機器間的通信即可完成(The row range for a table is dynamically partitioned.Each row range is called a tablet, which is the unit of distribution and load balancing. As a result, reads of short row ranges are efficient and typically require communication with only a small number of machines.)。用戶可以通過選擇合適的行關鍵字,在數據訪問時有效利用數據的位置相關性,從而更好的利用這個特性。舉例來說,在Webtable里,通過反轉URL中主機名的方式,可以把同一個域名下的網頁聚集起來組織成連續的行。具體來說,我們可以把maps.google.com/index.html的數據存放在關鍵字com.google.maps/index.html下。把相同的域中的網頁存儲在連續的區域可以讓基于主機和域名的分析更加有效。
?
列族
列關鍵字組成的集合叫做"列族",列族是訪問控制的基本單位。存放在同一列族下的所有數據通常都屬于同一個類型(我們可以把同一個列族下的數據壓縮在一起)。列族在使用之前必須先創建,然后才能在列族中的任何一列關鍵字下存放數據;列族創建后,其中的任何一個列關鍵字下都可以存放數據。根據我們的設計意圖,一張表中的列族不能太多(最多幾百個),并且列族在運行期間很少改變。與之相對應的,一張表可以有無限多個列。
列關鍵字的命名語法如下:列族:限定詞。?列族的名字必須是可打印的字符串,而限定詞的名字可以是任意的字符串。比如,Webtable有個列族language,language列族用來存放撰寫網頁的語言。我們在language列族中只使用一個列關鍵字,用來存放每個網頁的語言標識ID。Webtable中另一個有用的列族是anchor;這個列族的每一個列關鍵字代表一個錨鏈接,如圖一所示。Anchor列族的限定詞是引用該網頁的站點名;Anchor列族每列的數據項存放的是鏈接文本。
訪問控制、磁盤和內存的使用統計都是在列族層面進行的。在我們的Webtable的例子中,上述的控制權限能幫助我們管理不同類型的應用:我們允許一些應用可以添加新的基本數據、一些應用可以讀取基本數據并創建繼承的列族、一些應用則只允許瀏覽數據(甚至可能因為隱私的原因不能瀏覽所有數據)。
?
時間戳
在Bigtable中,表的每一個數據項都可以包含同一份數據的不同版本;不同版本的數據通過時間戳來索引。Bigtable時間戳的類型是64位整型。Bigtable可以用精確到毫秒的"實時"時間給時間戳賦值;用戶程序也可以給時間戳賦值。如果應用程序需要避免數據版本沖突,那么它必須自己生成具有唯一性的時間戳。數據項中,不同版本的數據按照時間戳倒序排序,即最新的數據排在最前面。為了減輕多個版本數據的管理負擔,我們對每一個列族配有兩個設置參數,Bigtable通過這兩個參數可以對廢棄版本的數據自動進行垃圾收集。用戶可以指定只保存最后n個版本的數據,或者只保存"足夠新"的版本的數據(比如,只保存最近7天的內容寫入的數據)。
在Webtable的例子里,contents:列存儲的時間戳信息是網絡爬蟲抓取一個頁面的時間。上面提及的垃圾收集機制可以讓我們只保留最近三個版本的網頁數據。
?
3 API
Bigtable提供了建立和刪除表以及列族的API函數。Bigtable還提供了修改集群、表和列族的元數據的API,比如修改訪問權限。
客戶程序可以對Bigtable進行如下的操作:寫入或者刪除Bigtable中的值、從每個行中查找值、或者遍歷表中的一個數據子集。圖2中的C++代碼使用RowMutation類的對象r1進行了一系列的更新操作。(為了保持示例代碼的簡潔,我們忽略了一些細節代碼)。調用Apply函數對Webtable進行了一個原子修改操作:它為www.cnn.com增加了一個錨點,同時刪除了另外一個錨點。
圖3中的C++代碼使用Scanner類的對象指針遍歷一行內的所有錨點。客戶程序可以遍歷多個列族,有幾種方法可以對掃描輸出的行、列和時間戳進行限制。例如,我們可以限制上面的掃描,讓它只輸出那些匹配正則表達式*.cnn.com的錨點,或者那些時間戳在當前時間前10天的錨點。
Bigtable還支持一些其它的特性,利用這些特性,用戶可以對數據進行更復雜的處理。首先,Bigtable支持單行事務處理,利用這個功能,用戶可以對存儲在一個行關鍵字下的數據進行原子性的讀-更新-寫操作。雖然Bigtable提供了一個允許用戶跨行批量寫入數據的接口,但是,Bigtable目前還不支持通用的跨行事務處理。其次,Bigtable允許把數據項用做整數計數器。最后,Bigtable允許用戶在服務器的地址空間內執行腳本程序。腳本程序使用Google開發的Sawzall數據處理語言。雖然目前我們基于的Sawzall語言的API函數還不允許客戶的腳本程序寫入數據到Bigtable,但是它允許多種形式的數據轉換、基于任意表達式的數據過濾、以及使用多種操作符的進行數據匯總。
Bigtable可以和MapReduce一起使用,MapReduce是Google開發的大規模并行計算框架。我們已經開發了一些Wrapper類,通過使用這些Wrapper類,Bigtable可以作為MapReduce框架的輸入和輸出。
?
4 Bigtable構件
Bigtable是建立在其它的幾個Google基礎構件上的。Bigtable使用Google的分布式文件系統(GFS)存儲日志文件和數據文件。Bigtable集群通常運行在一個共享的機器池中,池中的機器還會運行其它的各種各樣的分布式應用程序,Bigtable的進程經常要和其它應用的進程共享機器。Bigtable依賴集群管理系統來調度任務、管理共享的機器上的資源、處理機器的故障、以及監視機器的狀態。
Bigtable內部存儲數據的文件是Google SSTable格式。SSTable是一個持久化的、排序的、不可更改的Map結構,而Map是一個key-value映射的數據結構,key和value的值都是任意字節的串。可以對SSTable進行如下的操作:查詢與一個key值相關的value,或者遍歷某個key值范圍內的所有的鍵值對。從內部看,SSTable是一系列的數據塊(通常每個塊的大小是64KB,這個大小是可以配置的)。SSTable使用塊索引(通常存儲在SSTable的最后)來定位數據塊;在打開SSTable的時候,索引被加載到內存。每次查找都可以通過一次磁盤搜索完成:首先使用二分查找在內存中的索引里找到數據塊的位置,然后再從硬盤讀取相應的數據塊。也可以選擇把整個SSTable都放在內存中,這樣就不必訪問硬盤了。
Bigtable還依賴一個高可用的、序列化的分布式鎖服務組件,叫做Chubby。一個Chubby服務包括了5個活動的副本,其中的一個副本被選為Master,并且處理請求。只有在大多數副本都是正常運行的,并且彼此之間能夠互相通信的情況下,Chubby服務才是可用的。當有副本失效的時候,Chubby使用Paxos算法來保證副本的一致性。Chubby提供了一個命名空間,里面包括了目錄和小文件。每個目錄或者文件可以當成一個鎖,讀寫文件的操作都是原子的。Chubby客戶程序庫提供對Chubby文件的一致性緩存。每個Chubby客戶程序都維護一個與Chubby服務的會話。如果客戶程序不能在租約到期的時間內重新簽訂會話的租約,這個會話就過期失效了。當一個會話失效時,它擁有的鎖和打開的文件句柄都失效了。Chubby客戶程序可以在文件和目錄上注冊回調函數,當文件或目錄改變、或者會話過期時,回調函數會通知客戶程序。
Bigtable使用Chubby完成以下的幾個任務:確保在任何給定的時間內最多只有一個活動的Master副本;存儲Bigtable數據的自引導指令的位置(參考5.1節);查找Tablet服務器,以及在Tablet服務器失效時進行善后(5.2節);存儲Bigtable的schema information(模式信息)(每張表的列族信息);以及存儲訪問控制列表。如果Chubby長時間無法訪問,Bigtable就會失效。最近我們在使用11個Chubby服務實例在14個Bigtable集群上測量了這個影響。由于Chubby不可用而導致Bigtable中的部分數據不能訪問的平均比率是0.0047%(Chubby不能訪問的原因可能是Chubby本身失效或者網絡問題)。單個集群里,受Chubby失效影響最大的百分比是0.0326%。
?
5 介紹
Bigtable包括了三個主要的組件:鏈接到客戶程序中的庫、一個Master服務器和多個Table服務器。針對系統工作負載的變化情況,Bigtable可以動態的向集群中添加(或者刪除)Tablet服務器。
Master服務器主要負責以下工作:為Tablet服務器分配Tablets、檢測新加入的或者過期失效的Table服務器、對Tablet服務器進行負載均衡、以及對保存在GFS上的文件進行垃圾收集。除此之外,它還處理對Schema(模式)的相關修改操作,例如建立表和列族。
每個Tablet服務器都管理一個Tablet的集合(通常每個服務器有大約數十個至上千個Tablet)。每個Tablet服務器負責處理它所加載的Tablet的讀寫操作,以及在Tablets過大時,對其進行分割。
和很多Single-Master類型的分布式存儲系統類似,客戶端讀取的數據都不經過Master服務器:客戶程序直接和Tablet服務器通信進行讀寫操作。由于Bigtable的客戶程序不必通過Master服務器來獲取Tablet的位置信息,因此,大多數客戶程序甚至完全不需要和Master服務器通信。在實際應用中,Master服務器的負載是很輕的。
一個Bigtable集群存儲了很多表,每個表包含了一整套Tablet(a set of tablets),而每個Tablet包含了某個范圍內的行的所有相關數據。初始狀態下,一個表只有一個Tablet。隨著表中數據的增長,它被自動分割成多個Tablet,缺省情況下,每個Tablet的尺寸大約是100MB到200MB。
?
5.1 Tablet的位置
我們使用一個三層的、類似B+樹[10]的結構存儲Tablet的位置信息(如圖4)。
第一層是一個存儲在Chubby中的文件,它包含了Root Tablet的位置信息。Root Tablet包含了一個特殊的METADATA表,它包含所有的Tablet的位置信息。METADATA表的每個Tablet包含了一個用戶Tablet的集合。Root Tablet實際上是METADATA表的第一個Tablet,只不過對它的處理比較特殊——Root Tablet永遠不會被分割——這就保證了Tablet的位置信息存儲結構不會超過三層。
在METADATA表里面,每個Tablet的位置信息都存放在一個行關鍵字下面,而這個行關鍵字是由Tablet所在的表的標識符和Tablet的最后一行編碼而成的。METADATA的每一行都存儲了大約1KB的內存數據。在一個大小適中的、容量限制為128MB的METADATA Tablet中,采用這種三層結構的存儲模式,可以標識2^34個Tablet的地址(如果每個Tablet存儲128MB數據,那么一共可以存儲2^61字節數據)。
客戶程序使用的庫會緩存Tablet的位置信息。如果客戶程序沒有緩存某個Tablet的地址信息,或者發現它緩存的地址信息不正確,客戶程序就在樹狀的存儲結構中遞歸的查詢Tablet位置信息;如果客戶端緩存是空的,那么尋址算法需要通過三次網絡來回通信尋址,這其中包括了一次Chubby讀操作;如果客戶端緩存的地址信息過期了,那么尋址算法可能需要最多6次網絡來回通信才能更新數據,因為只有在緩存中沒有查到數據的時候才能發現數據過期(假設METADATA的Tablet沒有被頻繁的移動)。盡管Tablet的地址信息是存放在內存里的,對它的操作不必訪問GFS文件系統,但是,通常我們會通過預取Tablet地址來進一步的減少訪問的開銷:每次需要從METADATA表中讀取一個Tablet的元數據的時候,它都會多讀取幾個Tablet的元數據。
在METADATA表中還存儲了次級信息,包括每個Tablet的事件日志(例如,什么時候一個服務器開始為該Tablet提供服務)。這些信息有助于排查錯誤和性能分析。
?
5.2 Tablet分配
在任何一個時刻,一個Tablet只能分配給一個Tablet服務器。Master服務器記錄了當前有哪些活躍的Tablet服務器、哪些Tablet分配給了哪些Tablet服務器、哪些Tablet還沒有被分配。當一個Tablet還沒有被分配、并且剛好有一個Tablet服務器有足夠的空閑空間裝載該Tablet時,Master服務器會給這個Tablet服務器發送一個裝載請求,把Tablet分配給這個服務器。
Bigtable使用Chubby跟蹤記錄Tablet服務器的狀態。當一個Tablet服務器啟動時,它在Chubby的一個指定目錄下建立一個唯一的文件,并且獲取該文件的獨占鎖。Master服務器實時監控著這個目錄(服務器目錄),因此Master服務器能夠知道有新的Tablet服務器加入了。如果Tablet服務器丟失了Chubby上的獨占鎖——比如,由于網絡斷開導致Tablet服務器和Chubby的會話丟失——它就停止對Tablet提供服務。(Chubby提供了一種高效的機制,利用這種機制,Tablet服務器能夠在不增加網絡負擔的情況下知道它是否還持有鎖)。只要文件還存在,Tablet服務器就會試圖重新獲得對該文件的獨占鎖;如果文件不存在了,那么Tablet服務器就不能再提供服務了,它會自行退出。當Tablet服務器終止時(比如,集群的管理系統將該Tablet服務器的主機從集群中移除),它會嘗試釋放它持有的文件鎖,這樣一來,Master服務器就能盡快把Tablet分配到其它的Tablet服務器。
Master服務器負責檢查一個Tablet服務器是否已經不再為它的Tablet提供服務了,并且要盡快重新分配它加載的Tablet(給其它Tablet服務器)。Master服務器通過輪詢Tablet服務器文件鎖的狀態來檢測何時Tablet服務器不再為Tablet提供服務。如果一個Tablet服務器報告它丟失了文件鎖,或者Master服務器最近幾次嘗試和它通信都沒有得到響應,Master服務器就會嘗試獲取該Tablet服務器文件的獨占鎖;如果Master服務器成功獲取了獨占鎖,那么就說明Chubby是正常運行的,而Tablet服務器要么是宕機了、要么是不能和Chubby通信了,因此,Master服務器就刪除該Tablet服務器在Chubby上的服務器文件以確保它不再給Tablet提供服務。
一旦Tablet服務器在Chubby上的服務器文件被刪除了,Master服務器就把之前分配給它的所有的Tablet放入未分配的Tablet集合中。為了確保Bigtable集群在Master服務器和Chubby之間網絡出現故障的時候仍然可以使用,Master服務器在它的Chubby會話過期后主動退出。但是不管怎樣,如同我們前面所描述的,Master服務器的故障不會改變現有Tablet在Tablet服務器上的分配狀態。
當集群管理系統啟動了一個Master服務器之后,Master服務器首先要了解當前Tablet的分配狀態,之后才能夠修改分配狀態。Master服務器在啟動的時候執行以下步驟:(1)Master服務器從Chubby獲取一個唯一的Master鎖,用來阻止創建其它的Master服務器實例;(2)Master服務器掃描Chubby的服務器文件鎖存儲目錄,獲取當前正在運行的服務器列表;(3)Master服務器和所有的正在運行的Tablet服務器通信,獲取每個Tablet服務器上Tablet的分配信息;(4)Master服務器掃描METADATA表獲取所有的Tablet的集合。在掃描的過程中,當Master服務器發現了一個還沒有分配的Tablet,Master服務器就將這個Tablet加入未分配的Tablet集合并等待合適的時機分配。
可能會遇到一種復雜的情況:在METADATA表的Tablet還沒有被分配之前是不能夠掃描它的。因此,在開始掃描之前(步驟4),如果在第三步的掃描過程中發現Root Tablet還沒有分配,Master服務器就把Root?Tablet加入到未分配的Tablet集合。這個附加操作確保了Root Tablet會被分配。由于Root Tablet包括了所有METADATA的Tablet的名字,因此Master服務器掃描完Root Tablet以后,就得到了所有的METADATA表的Tablet的名字了。
保存現有Tablet的集合只有在以下事件發生時才會改變:建立了一個新表或者刪除了一個舊表、兩個Tablet被合并了、或者一個Tablet被分割成兩個小的Tablet。Master服務器可以跟蹤記錄所有這些事件,因為除了最后一個事件外的兩個事件都是由它啟動的。Tablet分割事件需要特殊處理,因為它是由Tablet服務器啟動。在分割操作完成之后,Tablet服務器通過在METADATA表中記錄新的Tablet的信息來提交這個操作;當分割操作提交之后,Tablet服務器會通知Master服務器。如果分割操作已提交的信息沒有通知到Master服務器(可能兩個服務器中有一個宕機了),Master服務器在要求Tablet服務器裝載已經被分割的子表的時候會發現一個新的Tablet。通過對比METADATA表中Tablet的信息,Tablet服務器會發現Master服務器要求其裝載的Tablet并不完整,因此,Tablet服務器會重新向Master服務器發送通知信息。
?
5.3 Tablet服務
如圖5所示,Tablet的持久化狀態信息保存在GFS上。更新操作提交到REDO日志中。在這些更新操作中,最近提交的那些存放在一個排序的緩存中,我們稱這個緩存為MemTable;較早的更新存放在一系列SSTable中。為了恢復一個Tablet,Tablet服務器首先從METADATA表中讀取它的元數據。Tablet的元數據包含了組成這個Tablet的SSTable的列表,以及一系列的Redo Point,這些Redo?Point指向可能含有該Tablet數據的已提交的日志記錄。Tablet服務器把SSTable的索引讀進內存,之后通過重復Redo Point之后提交的更新來重建MemTable。
當對Tablet服務器進行寫操作時,Tablet服務器首先要檢查這個操作格式是否正確、操作發起者是否有執行這個操作的權限。權限驗證的方法是通過從一個Chubby文件里讀取出來的具有寫權限的操作者列表來進行驗證(這個文件幾乎一定會存放在Chubby客戶緩存里)。成功的修改操作會記錄在提交日志里。可以采用批量提交方式(group commit)來提高包含大量小的修改操作的應用程序的吞吐量。當一個寫操作提交后,寫的內容插入到MemTable里面。
當對Tablet服務器進行讀操作時,Tablet服務器會作類似的完整性和權限檢查。一個有效的讀操作在一個由一系列SSTable和MemTable合并的視圖里執行。由于SSTable和MemTable是按字典排序的數據結構,因此可以高效生成合并視圖。當進行Tablet的合并和分割時,正在進行的讀寫操作能夠繼續進行。
?
5.4 Compactions(空間壓縮)
隨著寫操作的執行,MemTable的大小不斷增加。當MemTable的大小到達一個閾值的時候,這個MemTable就會被凍結,然后創建一個新的MemTable;被凍結住MemTable會被轉換成SSTable,然后寫入GFS(這種Compaction行為被稱為Minor Compaction)。Minor Compaction過程有兩個目的:shrink(注:shrink是數據庫用語,表示空間收縮)Tablet服務器使用的內存,以及在服務器災難恢復過程中,減少必須從提交日志里讀取的數據量。在Compaction過程中,正在進行的讀寫操作仍能繼續。(注:Bigtable中包含三種Compaction策略:Minor Compaction、Merging Compaction和Major Compaction。其中,Minor Compaction把內存中的MemTable轉儲到GFS中,Merging Compaction和Major ?Compaction合并GFS中的多個SSTable文件生成一個更大的SSTable。Minor ?Compaction主要是為了防止內存占用過多,Merging和Major Compaction則是為了防止讀取文件個數過多。)
每一次Minor Compaction都會創建一個新的SSTable。如果Minor Compaction過程不停滯的持續進行下去,讀操作可能需要合并來自多個SSTable的更新;否則,我們通過定期在后臺執行Merging?Compaction過程合并文件,限制這類文件的數量。Merging Compaction過程讀取一些SSTable和MemTable的內容,合并成一個新的SSTable。只要Merging Compaction過程完成了,輸入的這些SSTable和MemTable就可以刪除了。(注:Major Compaction與Merging Compaction的區別在于Major Compaction會合并所有的SSTable文件和內存中的memetable,生成最終結果;而Merging Compaction生成的SSTable文件可能包含一些操作,比如刪除、增加等)
合并所有的SSTable并生成一個新的SSTable的合并壓縮過程叫作Major?Compaction。由非Major Compaction產生的SSTable可能含有特殊的刪除條目,這些刪除條目能夠隱藏在舊的、但是依然有效的SSTable中(原文是SSTables produced by non-major?compactions can contain special deletion entries that suppress deleted data in older?SSTables that are still live)。而Major Compaction過程生成的SSTable不包含已經刪除的信息或數據。Bigtable循環掃描它所有的Tablet,并且定期對它們執行Major Compaction。Major Compaction機制允許Bigtable回收已刪除數據所占用的資源,并且確保Bigtable能及時清除已經刪除的數據(注:數據刪除后,它占有的空間并不能馬上得到利用;只有空間回收后才能使用),這對存放敏感數據的服務是非常重要的。
?
6 優化
上一章我們描述了Bigtable的實現,我們還需要很多優化工作才能使Bigtable達到用戶要求的高性能、高可用性和高可靠性。本章描述了Bigtable實現的其它部分,為了更好的突出這些優化工作,我們將深入細節的講解。
?
局部性群組?(Locality groups)
客戶程序可以將多個列族組合成一個局部性群族。對Tablet中的每個局部性群組都會生成一個單獨的SSTable。通常將不會一起訪問的列族分割成不同的局部性群組可以提高讀取操作的效率。例如,在Webtable表中,網頁的元數據(比如language和Checksum)可以在一個局部性群組中,網頁的內容可以在另外一個群組:當一個應用程序要讀取網頁的元數據的時候,它沒有必要去讀取所有的頁面內容。
此外,可以以局部性群組為單位設定一些有用的調試參數。比如,可以把一個局部性群組被聲明為全部存儲在內存中。設定為放入內存的局部性群組的SSTable被惰性加載到Tablet服務器的內存中。加載完成之后,訪問屬于該局部性群組的列族時就不必讀取硬盤了。這個特性對于需要頻繁訪問的小塊數據特別有用:在Bigtable內部,我們利用這個特性提高METADATA表中具有位置相關性的列族的訪問速度。
?
壓縮?(Compression)
客戶程序可以控制一個局部性群組的SSTable是否需要壓縮;如果需要壓縮,那么以什么格式來壓縮。每個SSTable的塊(塊的大小由局部性群組的優化參數指定)都按用戶指定的壓縮格式來壓縮。雖然分塊壓縮浪費了少量空間,但是,我們能在讀取SSTable的一小部分數據的時候,不必解壓整個文件。很多客戶程序使用了兩階段的、可定制的壓縮方式。第一階段采用Bentley and McIlroy’s方式,這種方式在一個很大的掃描窗口里對常見的長字符串進行壓縮;第二階段是采用快速壓縮算法,即在一個16KB的小掃描窗口中尋找重復數據。兩種壓縮的算法都很快,在現在的機器上,壓縮速率達到100-200MB/s,解壓速率達到400-1000MB/s。
雖然我們在選擇壓縮算法的時候重點考慮的是速度而不是壓縮的空間,但是這種兩階段的壓縮方式在空間壓縮率上的表現也是令人驚嘆的。比如,在Webtable的例子里,我們使用這種壓縮方式來存儲網頁內容。在一次測試中,我們在一個壓縮的局部性群組中存儲了大量的網頁。針對實驗的目的,我們沒有存儲每個文檔所有版本的數據,我們僅僅存儲了一個版本的數據。該模式的空間壓縮比達到了10:1。這比傳統的Gzip在壓縮HTML頁面時3:1或者4:1的空間壓縮比好的多;兩階段的壓縮模式如此高效的原因是因為Webtable中行的存放方式:從同一個主機獲取的頁面都存在臨近的地方。利用這個特性,Bentley-McIlroy算法可以從來自同一個主機的頁面里找到大量的重復內容。不僅僅是Webtable,其它的很多應用程序也通過選擇合適的行名來將相似的數據聚簇在一起,以獲取較高的壓縮率。當我們在Bigtable中存儲同一份數據的多個版本的時候,壓縮效率會更高。
?
通過緩存提高讀操作的性能?(Caching for read performance)
為了提高讀操作的性能,Tablet服務器使用二級緩存的策略。掃描緩存是第一級緩存,主要緩存Tablet服務器通過SSTable接口獲取的Key-Value對;塊緩存是二級緩存,緩存的是從GFS讀取的SSTable的Block。對于經常要重復讀取相同數據的應用程序來說,掃描緩存非常有效;對于經常要讀取近期讀過的數據(或其臨近的數據)的應用程序來說,Block緩存更有用(例如,順序讀,或者在一個熱點的行的局部性群組中隨機讀取不同的列)。
?
Bloom過濾器
(注:布隆過濾器可以用于檢索一個元素是否在一個集合中。它的優點是空間效率和查詢時間都比一般的算法要好的多,缺點是有一定的誤識別率和刪除困難。)
如5.3節所述,一個讀操作必須讀取構成Tablet狀態的所有SSTable的數據。如果這些SSTable不在內存中,那么就需要多次訪問硬盤。我們通過允許客戶程序對特定局部性群組的SSTable指定Bloom過濾器,來減少硬盤訪問的次數。我們可以使用Bloom過濾器查詢一個SSTable是否包含了特定行和列的數據。對于某些特定應用程序,我們只付出了少量的、用于存儲Bloom過濾器的內存的代價,就換來了讀操作顯著減少的磁盤訪問次數。使用Bloom過濾器也達到了當應用程序訪問不存在的行或列時,(大多數時候)不需要訪問硬盤的目的。
?
Commit日志的實現
如果我們把對每個Tablet的操作的Commit日志都存在一個單獨的文件的話,那么就會產生大量的文件,并且這些文件會并行的寫入GFS。根據GFS服務器底層文件系統實現的方案,當把這些文件寫入不同的磁盤日志文件時,會有大量的磁盤Seek操作。另外,由于批量提交(group commit)中操作的數目一般比較少,因此,對每個Tablet設置單獨的日志文件也會給批量提交本應具有的優化效果帶來很大的負面影響。為了避免這些問題,我們為每個Tablet服務器設置了一個Commit日志文件,把修改操作的日志以追加方式寫入同一個日志文件,因此一個實際的日志文件中混合了對多個Tablet修改的日志記錄。
使用單個日志顯著提高了普通操作的性能,但是將恢復的工作復雜化了。當一個Tablet服務器宕機時,它加載的Tablet將會被移到其它的Tablet服務器上:每個Tablet服務器都裝載很少的幾個原來的服務器的Tablet。當恢復一個Tablet的狀態的時候,新的Tablet服務器要從原來的Tablet服務器寫的日志中提取修改操作的信息,并重新執行。然而,這些Tablet修改操作的日志記錄都混合在同一個日志文件中。一種方法是新的Tablet服務器讀取完整的Commit日志文件,然后只重復執行它需要恢復的Tablet的相關修改操作。使用這種方法,假如有100臺Tablet服務器,每臺都加載了失效的Tablet服務器上的一個Tablet,那么,這個日志文件就要被讀取100次(每個服務器讀取一次)。
為了避免多次讀取日志文件,我們首先把日志按照關鍵字(table,row name,log sequence?number)排序。排序之后,對同一個Tablet的修改操作的日志記錄就連續存放在了一起,因此,我們只要一次磁盤Seek操作,之后順序讀取就可以了。為了并行排序,我們先將日志分割成64MB的段,之后在不同的Tablet服務器對段進行并行排序。這個排序工作由Master服務器來協同處理,并且在一個Tablet服務器表明自己需要從Commit日志文件恢復Tablet時開始執行。
在向GFS中寫Commit日志時可能會引起系統顛簸,原因是多種多樣的(比如,寫操作正在進行的時候,一個GFS服務器宕機了;或者連接三個GFS副本所在的服務器的網絡擁塞或者過載了)。為了確保在GFS負載高峰時修改操作還能順利進行,每個Tablet服務器實際上有兩個日志寫入線程,每個線程都寫自己的日志文件,并且在任何時刻,只有一個線程是工作的。如果一個線程的在寫入的時候效率很低,Tablet服務器就切換到另外一個線程,修改操作的日志記錄就寫入到這個線程對應的日志文件中。每個日志記錄都有一個序列號,因此,在恢復的時候,Tablet服務器能夠檢測出并忽略掉那些由于線程切換而導致的重復的記錄。
?
Tablet恢復提速
當Master服務器將一個Tablet從一個Tablet服務器轉移到另外一個Tablet服務器時,源Tablet服務器會對這個Tablet做一次Minor Compaction。這個Compaction操作減少了Tablet服務器的日志文件中沒有歸并的記錄,從而減少了恢復的時間。Compaction完成之后,該服務器就停止為該Tablet提供服務。在卸載Tablet之前,源Tablet服務器還會再做一次(通常會很快)Minor Compaction,以消除前面在一次壓縮過程中又產生的未歸并的記錄。第二次Minor Compaction完成以后,Tablet就可以被裝載到新的Tablet服務器上了,并且不需要從日志中進行恢復。
?
利用不變性?(Exploiting immutability)
我們在使用Bigtable時,除了SSTable緩存之外的其它部分產生的SSTable都是不變的,我們可以利用這一點對系統進行簡化。例如,當從SSTable讀取數據的時候,我們不必對文件系統訪問操作進行同步。這樣一來,就可以非常高效的實現對行的并行操作。MemTable是唯一一個能被讀和寫操作同時訪問的可變數據結構。為了減少在讀操作時的競爭,我們對內存表采用COW(Copy-on-write)機制,這樣就允許讀寫操作并行執行。
因為SSTable是不變的,因此,我們可以把移除已經刪除的數據問題,轉換成對廢棄的SSTable進行垃圾回收的問題。每個Tablet的SSTable都在METADATA表中注冊了。Master服務器采用"標記-刪除"的垃圾回收方式刪除SSTable集合中廢棄的SSTable,METADATA表則保存了Root?SSTable的集合。
最后,SSTable的不變性使得分割Tablet的操作非常快捷。我們不必為每個分割出來的Tablet建立新的SSTable集合,而是共享原來的Tablet的SSTable集合。
?
7 性能評估
為了測試Bigtable的性能和可擴展性,我們建立了一個包括N臺Tablet服務器的Bigtable集群,這里N是可變的。每臺Tablet服務器配置了1GB的內存,數據寫入到一個包括1786臺機器、每臺機器有2個400GB的IDE硬盤的GFS集群上。我們使用N臺客戶機生成工作負載測試Bigtable。(我們使用和Tablet服務器相同數目的客戶機以確保客戶機不會成為瓶頸。) 每臺客戶機配置2GHz雙核Opteron處理器,配置了足以容納所有進程工作數據集的物理內存,以及一張Gigabit的以太網卡。這些機器都連入一個兩層的、樹狀的交換網絡里,在根節點上的帶寬加起來有大約100-200Gbps。所有的機器采用相同的設備,因此,任何兩臺機器間網絡來回一次的時間都小于1ms。
Tablet服務器、Master服務器、測試機、以及GFS服務器都運行在同一組機器上。每臺機器都運行一個GFS的服務器。其它的機器要么運行Tablet服務器、要么運行客戶程序、要么運行在測試過程中使用這組機器的其它的任務啟動的進程。(注:benchmark??基準程序,基準。原文的benchmark也可以理解成符合基準的測試)
R是測試過程中,Bigtable包含的不同的列關鍵字的數量。我們精心選擇R的值,保證每次對每臺Tablet服務器基準讀/寫(benchmark read or wrote)的數據量都在1GB左右。
在序列寫的基準中(sequential write benchmark),我們使用的列關鍵字的范圍是0到R-1。這個范圍又被劃分為10N個大小相同的區間。核心調度程序把這些區間分配給N個客戶端,分配方式是:只要客戶程序處理完上一個區間的數據,調度程序就把后續的、尚未處理的區間分配給它。這種動態分配的方式有助于減少客戶機上同時運行的其它進程對性能的影響。我們在每個列關鍵字下寫入一個單獨的字符串。每個字符串都是隨機生成的、因此也沒有被壓縮。另外,不同列關鍵字下的字符串也是不同的,因此也就不存在跨行的壓縮。隨機寫入基準(random write benchmark)采用類似的方法,除了行關鍵字在寫入前先做Hash,Hash采用按R取模的方式,這樣就保證了在整個基準測試持續的時間內,寫入的工作負載均勻的分布在列存儲空間內。
序列讀基準(sequential read benchmark)生成列關鍵字的方式與序列寫相同,不同于序列寫在列關鍵字下寫入字符串的是,序列讀是讀取列關鍵字下的字符串(這些字符串由之前序列寫測試程序寫入)。同樣的,隨機讀的基準和隨機寫是類似的。
掃描基準(scan?benchmark)和序列讀類似,但是,使用的是Bigtable提供的、從一個列范圍內掃描所有的value的API。由于一次RPC調用就從一個Tablet服務器取回了大量的value,因此,使用掃描方式的基準程序可以減少RPC調用的次數。
隨機讀(內存)基準(random reads (mem) benchmark)和隨機讀類似,除了包含基準數據的局部性群組被設置為"in-memory",因此,讀操作直接從Tablet服務器的內存中讀取數據,不需要從GFS讀取數據。針對這個測試,我們把每臺Tablet服務器存儲的數據從1GB減少到100MB,這樣就可以把數據全部加載到Tablet服務器的內存中了。
圖6中有兩個視圖,顯示了我們的基準測試的性能;圖中的數據和曲線是讀/寫 1000-byte value時取得的。圖中的表格顯示了每個Tablet服務器每秒鐘進行的操作的次數;圖中的曲線顯示了每一秒所有的Tablet服務器上操作次數的總和。
?
單個Tablet服務器的性能
我們首先分析下單個Tablet服務器的性能。隨機讀的性能比其它操作慢一個數量級或以上。 每個隨機讀操作都要通過網絡從GFS傳輸64KB的SSTable到Tablet服務器,而我們只使用其中大小是1000 byte的一個value值。Tablet服務器每秒大約執行1200次讀操作,也就是每秒大約從GFS讀取75MB的數據。這個傳輸帶寬足以占滿Tablet服務器的CPU時間,因為其中包括了網絡協議棧的消耗、SSTable解析、以及Bigtable代碼執行;這個帶寬也足以占滿我們系統中網絡鏈路的帶寬。大多數采用這種訪問模式的Bigtable應用程序會減小Block的大小,通常會減到8KB。
內存中的隨機讀操作速度快很多,原因是,所有1000-byte的讀操作都是從Tablet服務器的本地內存中讀取數據,不需要從GFS讀取64KB的Block。
隨機和序列寫操作的性能比隨機讀要好些,原因是每個Tablet服務器直接把寫入操作的內容追加到一個Commit日志文件的尾部,并且采用批量提交的方式,通過把數據以流的方式寫入到GFS來提高性能。隨機寫和序列寫在性能上沒有太大的差異,這兩種方式的寫操作實際上都是把操作內容記錄到同一個Tablet服務器的Commit日志文件中。
序列讀的性能好于隨機讀,因為每取出64KB的SSTable的Block后,這些數據會緩存到Block緩存中,后續的64次讀操作直接從緩存讀取數據。掃描的性能更高,這是由于客戶程序每一次RPC調用都會返回大量的value數據,所以,RPC調用的消耗基本抵消了。
?
性能提升
隨著我們將系統中的Tablet服務器從1臺增加到500臺,系統的整體吞吐量有了夢幻般的增長,增長的倍率超過了100。比如,隨著Tablet服務器的數量增加了500倍,內存中的隨機讀操作的性能增加了300倍。之所以會有這樣的性能提升,主要是因為這個基準測試的瓶頸是單臺Tablet服務器的CPU。
盡管如此,性能的提升還不是線性的。在大多數的基準測試中我們看到,當Tablet服務器的數量從1臺增加到50臺時,每臺服務器的吞吐量會有一個明顯的下降。這是由于多臺服務器間的負載不均衡造成的,大多數情況下是由于其它的程序搶占了CPU。 我們負載均衡的算法會盡量避免這種不均衡,但是基于兩個主要原因,這個算法并不能完美的工作:一個是盡量減少Tablet的移動導致重新負載均衡能力受限(如果Tablet被移動了,那么在短時間內——一般是1秒內——這個Tablet是不可用的),另一個是我們的基準程序產生的負載會有波動。
隨機讀基準測試的測試結果顯示,隨機讀的性能隨Tablet服務器數量增加的提升幅度最小(整體吞吐量只提升了100倍,而服務器的數量卻增加了500倍)。這是因為每個1000-byte的讀操作都會導致一個64KB大的Block在網絡上傳輸。這樣的網絡傳輸量消耗了我們網絡中各種共享的鏈路(1GB),結果導致隨著我們增加服務器的數量,每臺服務器上的吞吐量急劇下降。
?
8 實際應用
截止到2006年8月,Google內部一共有388個非測試用的Bigtable集群運行在各種各樣的服務器集群上,合計大約有24500個Tablet服務器。表1顯示了每個集群上Tablet服務器的大致分布情況。這些集群中,許多用于開發目的,因此會有一段時期比較空閑。通過觀察一個由14個集群、8069個Tablet服務器組成的集群組,我們看到整體的吞吐量超過了每秒1200000次請求,發送到系統的RPC請求導致的網絡負載達到了741MB/s,系統發出的RPC請求網絡負載大約是16GB/s。
表2提供了一些目前正在使用的表的相關數據。一些表存儲的是與用戶相關的數據,另外一些存儲的則是用于批處理的數據;這些表在總的大小、每個數據項的平均大小、從內存中讀取的數據的比例、表的Schema的復雜程度上都有很大的差別。本節的其余部分,我們將主要描述三個產品研發團隊如何使用Bigtable的。
?
8.1 Google Analytics
Google Analytics是用來幫助Web站點的管理員分析他們網站的流量模式的服務。它提供了整體狀況的統計數據,比如每天獨立訪問的用戶數量、每天每個URL的瀏覽次數;它還提供了用戶使用網站的行為報告,比如根據用戶之前訪問的某些頁面,統計出幾成的用戶購買了商品。
為了使用這個服務,Web站點的管理員只需要在他們的Web頁面中嵌入一小段JavaScript腳本就可以了。這個JavaScript程序在頁面被訪問的時候調用。它記錄了各種Google Analytics需要使用的信息,比如用戶的標識、獲取的網頁的相關信息。Google Analytics匯總這些數據,之后提供給Web站點的管理員。
我們粗略的描述一下Google Analytics使用的兩個表。Raw Click表(大約有200TB數據)的每一行存放了一個最終用戶的會話。行的名字是一個包含Web站點名字以及用戶會話創建時間的元組。這種模式保證了對同一個Web站點的訪問會話是順序的,會話按時間順序存儲。這個表可以壓縮到原來尺寸的14%。
Summary表(大約有20TB的數據)包含了關于每個Web站點的、各種類型的預定義匯總信息。一個周期性運行的MapReduce任務根據Raw Click表的數據生成Summary表的數據。每個MapReduce工作進程都從Raw Click表中提取最新的會話數據。系統的整體吞吐量受限于GFS的吞吐量。這個表的能夠壓縮到原有尺寸的29%。
?
8.2 Google Earth
Google通過一組服務為用戶提供了高分辨率的地球表面衛星圖像,訪問的方式可以使通過基于Web的Google Maps訪問接口(maps.google.com),也可以通過Google Earth定制的客戶端軟件訪問。這些軟件產品允許用戶瀏覽地球表面的圖像:用戶可以在不同的分辨率下平移、查看和注釋這些衛星圖像。這個系統使用一個表存儲預處理數據,使用另外一組表存儲用戶數據。
數據預處理流水線使用一個表存儲原始圖像。在預處理過程中,圖像被清除,圖像數據合并到最終的服務數據中。這個表包含了大約70TB的數據,所以需要從磁盤讀取數據。圖像已經被高效壓縮過了,因此存儲在Bigtable后不需要再壓縮了。
Imagery表的每一行都代表了一個單獨的地理區域。行都有名稱,以確保毗鄰的區域存儲在了一起。Imagery表中有一個列族用來記錄每個區域的數據源。這個列族包含了大量的列:基本上是每個列對應一個原始圖片的數據。由于每個地理區域都是由很少的幾張圖片構成的,因此這個列族是非常稀疏的。
數據預處理流水線高度依賴運行在Bigtable上的MapReduce任務傳輸數據。在運行某些MapReduce任務的時候,整個系統中每臺Tablet服務器的數據處理速度是1MB/s。
這個服務系統使用一個表來索引GFS中的數據。這個表相對較小(大約是500GB),但是這個表必須在保證較低的響應延時的前提下,針對每個數據中心,每秒處理幾萬個查詢請求。 因此,這個表必須在上百個Tablet服務器上存儲數據,并且使用in-memory的列族。
?
8.3 個性化查詢
個性化查詢(www.google.com/psearch)是一個雙向服務;這個服務記錄用戶的查詢和點擊,涉及到各種Google的服務,比如Web查詢、圖像和新聞。用戶可以瀏覽他們查詢的歷史,重復他們之前的查詢和點擊;用戶也可以定制基于Google歷史使用習慣模式的個性化查詢結果。
個性化查詢使用Bigtable存儲每個用戶的數據。每個用戶都有唯一的用戶id,每個用戶id和一個列名綁定。一個單獨的列族被用來存儲各種類型的行為(比如,有個列族可能是用來存儲所有的Web查詢的)。每個數據項都被用作Bigtable的時間戳,記錄了相應的用戶行為發生的時間。個性化查詢使用以Bigtable為存儲的MapReduce任務生成用戶的數據圖表。這些用戶數據圖表用來個性化當前的查詢結果。
個性化查詢的數據會復制到幾個Bigtable的集群上,這樣就增強了數據可用性,同時減少了由客戶端和Bigtable集群間的"距離"造成的延時。個性化查詢的開發團隊最初建立了一個基于Bigtable的、"客戶端"(client-side)的復制機制為所有的復制節點提供一致性保障。現在的系統則使用了內建的復制子系統。
個性化查詢存儲系統的設計允許其它的團隊在它們自己的列中加入新的用戶數據,因此,很多Google服務使用個性化查詢存儲系統保存用戶級的配置參數和設置。在多個團隊之間分享數據的結果是產生了大量的列族。為了更好的支持數據共享,我們加入了一個簡單的配額機制限制用戶在共享表中使用的空間;配額也為使用個性化查詢系統存儲用戶級信息的產品團體提供了隔離機制。
?
9 經驗教訓
在設計、實現、維護和支持Bigtable的過程中,我們得到了很多有用的經驗和一些有趣的教訓。一個教訓是,我們發現,很多類型的錯誤都會導致大型分布式系統受損,這些錯誤不僅僅是通常的網絡中斷、或者很多分布式協議中設想的fail-stop類型的錯誤(注:fail-stop錯誤,指一旦系統fail就stop,不輸出任何數據;fail-fast錯誤,指fail不馬上stop,在短時間內return錯誤信息,然后再stop)。比如,我們遇到過以下類型的錯誤導致的問題:內存數據損壞、網絡中斷、時鐘偏差、機器掛起、擴展的和非對稱的網絡分區(extended and asymmetric network partitions)、我們使用的其它系統的Bug(比如Chubby)、GFS配額溢出、計劃內和計劃外的硬件維護。我們在解決這些問題的過程中學到了很多經驗,我們通過修改協議來解決這些問題。比如,在我們的RPC機制中加入了Checksum。我們在設計系統的部分功能時,不對其它部分功能做任何的假設,這樣的做法解決了其它的一些問題。比如,我們不再假設一個特定的Chubby操作只返回錯誤碼集合中的一個值。
另外一個教訓是,我們明白了在徹底了解一個新特性會被如何使用之后,再決定是否添加這個新特性是非常重要的。比如,我們開始計劃在我們的API中支持通常方式的事務處理。但是由于我們還不會馬上用到這個功能,因此,我們并沒有去實現它。現在,Bigtable上已經有了很多的實際應用,我們可以檢查它們真實的需求;我們發現,大多是應用程序都只是需要單個行上的事務功能。有些應用需要分布式的事務功能,分布式事務大多數情況下用于維護二級索引,因此我們增加了一個特殊的機制去滿足這個需求。新的機制在通用性上比分布式事務差很多,但是它更有效(特別是在更新操作的涉及上百行數據的時候),而且非常符合我們的"跨數據中心"復制方案的優化策略。
還有一個具有實踐意義的經驗:我們發現系統級的監控對Bigtable非常重要(比如,監控Bigtable自身以及使用Bigtable的客戶程序)。比如,我們擴展了我們的RPC系統,因此對于一個RPC調用的例子,它可以詳細記錄代表了RPC調用的很多重要操作。這個特性允許我們檢測和修正很多的問題,比如Tablet數據結構上的鎖的內容、在修改操作提交時對GFS的寫入非常慢的問題、以及在METADATA表的Tablet不可用時,對METADATA表的訪問掛起的問題。關于監控的用途的另外一個例子是,每個Bigtable集群都在Chubby中注冊了。這可以幫助我們跟蹤所有的集群狀態、監控它們的大小、檢查集群運行的軟件版本、監控集群流入數據的流量,以及檢查是否有引發集群高延時的潛在因素。
對我們來說,最寶貴的經驗是簡單設計的價值。考慮到我們系統的代碼量(大約100000行生產代碼,以及隨著時間的推移,新的代碼以各種難以預料的方式加入系統,我們發現簡潔的設計和編碼給維護和調試帶來的巨大好處。這方面的一個例子是我們的Tablet服務器成員協議。我們第一版的協議很簡單:Master服務器周期性的和Tablet服務器簽訂租約,Tablet服務器在租約過期的時候kill掉自己的進程。不幸的是,這個協議在遇到網絡問題時會大大降低系統的可用性,也會大大增加Master服務器恢復的時間。我們多次重新設計這個協議,直到它能夠很好的處理上述問題。但不幸的是,最終的協議過于復雜了,并且依賴一些Chubby很少被用到的特性。我們發現我們浪費了大量的時間在調試一些古怪的問題,有些是Bigtable代碼的問題,有些事Chubby代碼的問題。最后,我們只好廢棄了這個協議,重新制訂了一個新的、更簡單、只使用Chubby最廣泛使用的特性的協議。
?
10 相關工作
Boxwood項目的有些組件在某些方面和Chubby、GFS以及Bigtable類似,因為它也提供了諸如分布式協議、鎖、分布式Chunk存儲以及分布式B-tree存儲。Boxwood與Google的某些組件盡管功能類似,但是Boxwood的組件提供更底層的服務。Boxwood項目的目的是提供創建類似文件系統、數據庫等高級服務的基礎構件,而Bigtable的目的是直接為客戶程序的數據存儲需求提供支持。
現在有不少項目已經攻克了很多難題,實現了在廣域網上的分布式數據存儲或者高級服務,通常是"Internet規模"的。這其中包括了分布式的Hash表,這項工作由一些類似CAN、Chord、Tapestry和Pastry的項目率先發起。這些系統的主要關注點和Bigtable不同,比如應對各種不同的傳輸帶寬、不可信的協作者、頻繁的更改配置等;另外,去中心化和Byzantine容錯(注:Byzantine,即拜占庭式的風格。Byzantine Fault表示:對于處理來說,當發錯誤時處理器并不停止接收輸入,也不停止輸出,錯就錯了,只管算,對于這種錯誤來說很麻煩,因為用戶根本不知道錯誤發生了,也就根本談不上處理錯誤了。在多處理器的情況下,這種錯誤可能導致運算正確結果的處理器也產生錯誤的結果,這樣事情就更麻煩了,所以一定要避免處理器產生這種錯誤。)也不是Bigtable的目的。
就提供給應用程序開發者的分布式數據存儲模型而言,我們相信,分布式B-Tree或者分布式Hash表提供的Key-value pair模型有很大的局限性。Key-value pair模型是很有用的組件,但是它們不應該是提供給開發者唯一的組件。我們選擇的模型提供的組件比簡單的Key-value pair豐富的多,它支持稀疏的、半結構化的數據。另外,它也足夠簡單,能夠高效的處理平面文件;它也是透明的(通過局部性群組),允許我們的使用者對系統的重要行為進行調整。
有些數據庫廠商已經開發出了并行的數據庫系統,能夠存儲海量的數據。Oracle的RAC使用共享磁盤存儲數據(Bigtable使用GFS),并且有一個分布式的鎖管理系統(Bigtable使用Chubby)。IBM并行版本的DB2基于一種類似于Bigtable的、不共享任何東西的架構(a shared-nothing?architecture)。每個DB2的服務器都負責處理存儲在一個關系型數據庫中的表中的行的一個子集。這些產品都提供了一個帶有事務功能的完整的關系模型。
Bigtable的局部性群組提供了類似于基于列的存儲方案在壓縮和磁盤讀取方面具有的性能;這些以列而不是行的方式組織數據的方案包括C-Store、商業產品Sybase IQ、SenSage、KDB+,以及MonetDB/X100的ColumnDM存儲層。另外一種在平面文件中提供垂直和水平數據分區、并且提供很好的數據壓縮率的系統是AT&T的Daytona數據庫。局部性群組不支持Ailamaki系統中描述的CPU緩存級別的優化。
Bigtable采用MemTable和SSTable存儲對表的更新的方法與Log-Structured Merge Tree存儲索引數據更新的方法類似。這兩個系統中,排序的數據在寫入到磁盤前都先存放在內存中,讀取操作必須從內存和磁盤中合并數據產生最終的結果集。
C-Store和Bigtable有很多相似點:兩個系統都采用Shared-nothing架構,都有兩種不同的數據結構,一種用于當前的寫操作,另外一種存放"長時間使用"的數據,并且提供一種機制在兩個存儲結構間搬運數據。兩個系統在API接口函數上有很大的不同:C-Store操作更像關系型數據庫,而Bigtable提供了低層次的讀寫操作接口,并且設計的目標是能夠支持每臺服務器每秒數千次操作。C-Store同時也是個"讀性能優化的關系型數據庫",而Bigtable對讀和寫密集型應用都提供了很好的性能。
Bigtable也必須解決所有的Shared-nothing數據庫需要面對的、類型相似的一些負載和內存均衡方面的難題。我們的問題在某種程度上簡單一些:(1)我們不需要考慮同一份數據可能有多個拷貝的問題,同一份數據可能由于視圖或索引的原因以不同的形式表現出來;(2)我們讓用戶決定哪些數據應該放在內存里、哪些放在磁盤上,而不是由系統動態的判斷;(3)我們的系統中沒有復雜的查詢執行或優化工作。
?
11 結論
我們已經講述完了Bigtable,Google的一個分布式的結構化數據存儲系統。Bigtable的集群從2005年4月開始已經投入使用了,在此之前,我們花了大約7年時間設計和實現這個系統。截止到2006年4月,已經有超過60個項目使用Bigtable了。我們的用戶對Bigtable提供的高性能和高可用性很滿意,隨著時間的推移,他們可以根據自己的系統對資源的需求增加情況,通過簡單的增加機器,擴展系統的承載能力。
由于Bigtable提供的編程接口并不常見,一個有趣的問題是:我們的用戶適應新的接口有多難?新用戶有時不知道如何最好的使用Bigtable接口,特別是在他們已經習慣使用支持通用事務的關系型數據庫的接口的情況下。但是,Google內部很多產品都成功的使用了Bigtable的事實證明了,我們的設計在實踐中行之有效。
我們現在正在對Bigtable加入一些新的特性,比如支持二級索引,以及支持多Master節點的、跨數據中心復制的Bigtable的基礎構件。我們現在已經開始將Bigtable部署為服務供其它的產品團隊使用,這樣不同的產品團隊就不需要維護他們自己的Bigtable集群了。隨著服務集群的擴展,我們需要在Bigtable系統內部處理更多的關于資源共享的問題了。
最后,我們發現,建設Google自己的存儲解決方案帶來了很多優勢。通過為Bigtable設計我們自己的數據模型,使我們的系統極具靈活性。另外,由于我們全面控制著Bigtable的實現過程,以及Bigtable使用到的其它的Google的基礎構件,這就意味著我們在系統出現瓶頸或效率低下的情況時,能夠快速的解決這些問題。
總結
以上是生活随笔為你收集整理的Bigtable 论文翻译的全部內容,希望文章能夠幫你解決所遇到的問題。
- 上一篇: Bigtable数据模型和架构
- 下一篇: MapReduce 论文翻译