在演講現(xiàn)場,周淵分析道,軟件定義存儲這個概念大家都在談,但僅靠幾個名詞很難有深入的理解,對此給大家分享一個英特爾實(shí)際在做的關(guān)于對象存儲的項(xiàng)目,希望能對大家有幫助。首先是關(guān)于對象存儲的一些基本概念,大家可能理解最多是本地文件系統(tǒng),比如本地的一塊硬盤格式化成NTFS,向應(yīng)用程序提供了Posix接口,然后是傳統(tǒng)的分布式文件系統(tǒng),也會向應(yīng)用程序提供Posix接口。而對象存儲有所不同,通常來說一個對象存儲,首先會有一套RESTful 的接口,然后是一個代理/控制節(jié)點(diǎn),主要做關(guān)于數(shù)據(jù)定位,最后面就是真正的存儲節(jié)點(diǎn),用于存儲數(shù)據(jù)。與傳統(tǒng)的文件系統(tǒng)比,最大的差別在接口。
另一方面,值得注意的是對象存儲系統(tǒng)持久性,通常有三種機(jī)制,第一種就是說對于非常“熱”的數(shù)據(jù)可以用副本機(jī)制,對冷一點(diǎn)數(shù)據(jù)可以應(yīng)用糾刪碼機(jī)制,實(shí)際情況中采用混合的方案:既有冷數(shù)據(jù)也有熱數(shù)據(jù)。這里其實(shí)也可以理解為是一個區(qū)分的服務(wù)等級,“比方說你給我最多錢就讓你用三副本的形勢來存儲。”對象存儲在過去幾年時間里面發(fā)展非??欤珹mazon S3已經(jīng)有2萬億數(shù)據(jù),每秒鐘請求數(shù)有110萬。

Erasure Coding很早就出現(xiàn)了,一直在不同的領(lǐng)域變動進(jìn)化。實(shí)際上,其基本思想是,把數(shù)據(jù)切割成小塊的形式,再對這些小塊數(shù)據(jù)計(jì)算校驗(yàn)碼得出校驗(yàn)塊,這樣當(dāng)原始數(shù)據(jù)塊丟失時,可以通過校驗(yàn)塊計(jì)算出原始數(shù)據(jù),于是可以容忍一定程度上的數(shù)據(jù)丟失。總結(jié)來說就是用CPU資源節(jié)省存儲資源。英特爾對此專門來做存儲相關(guān)的一個庫,提供英特爾® 架構(gòu)上erasure code,壓縮等的支持,從實(shí)驗(yàn)數(shù)據(jù)來看,這個庫性能是很不錯的,我們也正嘗試把它開源。現(xiàn)在這個項(xiàng)目也利用了這個庫在Swift里面支持Erasure Coding。

對于Swift來說,可以這么理解,它是Amazon S3的替代品。最早是由Rackspace共享出來給OpenStack提供存儲對象的一個項(xiàng)目。首先它有一個RESTful的接口來訪問,其提供container模型來組織對象,針對非機(jī)構(gòu)化數(shù)據(jù)來提供最終一致性。當(dāng)然最重要的一點(diǎn)就是說它提供了一個很好的擴(kuò)展性:可以用最普通的硬件組建的服務(wù)器就可以把它擴(kuò)展好。比較具體一點(diǎn)來說Swift 里有個Ring的概念,Ring是一組內(nèi)部的一致性hash表。當(dāng)大家在硬盤上存儲數(shù)據(jù)的時候,Swift通過Ring里的算法,可以保證三個副本放在盡可能不同的位置,不同副本之間盡量不產(chǎn)生影響,同時后臺會有一些不同的進(jìn)程來維護(hù)一致性。值得注意的是,Swift不是分布式文件系統(tǒng),不提供Posix的接口,不支持ACID語義操作,不是NoSQL數(shù)據(jù)存儲,不提供對塊級別存儲服務(wù)。

從總體來看,Swift分成幾個部分,最前面它有Proxy節(jié)點(diǎn)負(fù)責(zé)處理所有的請求,并將請求發(fā)至后端存儲節(jié)點(diǎn)去訪問真實(shí)數(shù)據(jù)。Swift的結(jié)構(gòu)很清晰,里面正好有一個proxy,像一個程序的入口出口一樣,所以英特爾考慮在這個節(jié)點(diǎn)上做文章,在讀寫請求做Erasure code編解碼。然后以Container為模型來組織數(shù)據(jù),通過container的元數(shù)據(jù)(metadata)來識別其中的對象是否被編碼過。這和現(xiàn)有Swift架構(gòu)保持一致,還可以同時支持線上和線下的Erasure code。通過更加靈活的配置及優(yōu)化策略,可以更好地做一個Tiering的解決方案,在這里英特爾更多是定義好一個機(jī)制而非策略,策略可以根據(jù)用戶自己的需要去定義。

基于現(xiàn)有的完整性框架,需要加入一定服務(wù)進(jìn)去來保證編碼數(shù)據(jù)的完整性,這些代碼都盡量以增量的形式加入,這樣有利于用戶從一些線上服務(wù)升級。比如用戶用的是E或者G比較老的版本,現(xiàn)在就可以無故障升級。從Swift糾刪碼(EC)高層架構(gòu)來看,最后實(shí)現(xiàn)就是一個混合存儲方案,同時支持多副本和Erasure coding。比方當(dāng)是三副本的時候就要存三副本,當(dāng)是Erasure code時候就要去存Erasure code,同時在這里還定義了Erasure coding interface,這也是另外一個英特爾和Box合作的一個開源項(xiàng)目。并且在Swift中對此也有類似一些修改,主要是增加支持Erasure code plugin的相關(guān)模塊。

最主要的修改是引入了多個對象Ring來支撐多種存儲方案,也就是多副本和Erasure coding并存。在Erasure coding的Ring中,重用現(xiàn)有的副本存放位置算法,可以保證各個數(shù)據(jù)塊與代碼塊盡可能分開存放。這樣可以建立多種存儲策略的基礎(chǔ)??梢韵胂笞罱K得到一個成品,就是說有些objects是用Erasure code存儲的,有些則是多副本的形式存放。

其次是關(guān)于Erasure Code庫的接口,英特爾和Box合作定義了云存儲中編解碼需要的接口,可以支持多種編解碼形勢。英特爾又加入后臺進(jìn)程來保證完整性。后臺有一個審計(jì)員在不斷進(jìn)行MD5校驗(yàn),如果數(shù)據(jù)已經(jīng)被損壞了則直接進(jìn)行隔離。同時會有一個reconstructor來進(jìn)行數(shù)據(jù)恢復(fù),當(dāng)發(fā)現(xiàn)有數(shù)據(jù)片丟失,需要從還存在的數(shù)據(jù)片中讀取數(shù)據(jù)并嘗試恢復(fù),并將恢復(fù)得數(shù)據(jù)寫回到硬盤上去。大概所需要做的修改就是這樣幾個部分。

當(dāng)EC加入Swift以后,讀寫流程會有一些變化。當(dāng)寫入數(shù)據(jù)時,其會被切片,一部分?jǐn)?shù)據(jù)加一部分較驗(yàn),這些塊通過Ring分散到后端的存儲節(jié)點(diǎn)上。然后當(dāng)去讀的時候,首先去找原始數(shù)據(jù)切片,如果全部都在,則合并數(shù)據(jù)并返回給Client;如果發(fā)現(xiàn)有數(shù)據(jù)片丟失的情況,需要通過校驗(yàn)碼恢復(fù)原始數(shù)據(jù)片,再把重新拼起來。

總結(jié)來說,對象存儲是云計(jì)算及大數(shù)據(jù)的關(guān)鍵技術(shù)。糾刪碼(Erasure code)技術(shù)可以有效降低在分布式存儲的成本支出。同時,Swift作為OpenStack核心項(xiàng)目得到越來越多的重視。英特爾也在同開源社區(qū)通力合作幫助OpenStack Swift糾刪碼的更好實(shí)現(xiàn)。(阿明)

 

更多精彩請關(guān)注2013中國存儲峰會專題報(bào)道

分享到

aming

相關(guān)推薦