比特幣交易所 比特幣交易所
Ctrl+D 比特幣交易所
ads

區塊鏈VS分布式數據庫:區別究竟在哪里?_區塊鏈

Author:

Time:1900/1/1 0:00:00

導語

隨著區塊鏈技術的逐步發展,區塊鏈與分布式數據庫的聯系愈加緊密和微妙。2021年發表在SIGMOD會議上的這篇論文,從底層設計上對區塊鏈與分布式數據庫的分類方法以及兩者的混合系統進行了分析。

研究首先詳細介紹了用于描述區塊鏈、分布式數據庫以及它們的混合系統的分類方法:從復制、并發、存儲和分片四個方面考慮;然后使用許可鏈Quorum、Fabric以及數據庫TiDB、etcd,設計性能實驗并細致地分析了實驗結果;最后,給出了一個可以用于解釋和估計混合系統性能的框架。

論文題目:Blockchainsvs.DistributedDatabases:DichotomyandFusion

作者:PingchengRuan,TienTuanAnhDinh,DumitrelLoghin,MeihuiZhang,GangChen,?QianLin,?BengChinOoi

論文鏈接:Blockchainsvs.DistributedDatabases|Proceedingsofthe2021InternationalConferenceonManagementofData(acm.org)

區塊鏈與分布式數據庫的介紹

從數據結構的角度來看,區塊鏈是一條由哈希指針串聯起來的區塊鏈表,每個區塊中包含了一系列交易;從系統的角度來看,區塊鏈是一個由多個互不信任的節點共同維護一個全網一致的賬本的分布式系統。

區塊鏈可以分為許可鏈和非許可鏈。其中非許可鏈是完全開放的,每一個人都有資格記帳、讀取數據,例如比特幣、以太坊。而許可鏈則有一定的準入機制和權限控制,例如HyperledgerFabric。盡管早期區塊鏈的底層設計與數據庫完全不同,但是智能合約應用到了區塊鏈以后,用戶能夠自由地部署和運行圖靈完備的代碼,使得區塊鏈與數據庫之間產生了可比性。因此,論文將具有合約能力的區塊鏈與數據庫進行對比研究。

分布式數據庫是一種數據存儲在不同物理位置的數據庫。多年來,傳統的關系型數據庫一直是主流。由于大數據處理和硬件發展等等的現實原因,為了實現系統的高可用性和可擴展性,分布式系統開始進化,在這個新的設計趨勢下,出現了NoSQL和NewSQL。

“四大”之一安永在進博會首發新品“安永區塊鏈審計平臺”:金色財經報道,11月7日,在第四屆中國國際進口博覽會的新品發布活動現場,安永推出中國首發新品“安永區塊鏈審計平臺”,為使用者識別區塊鏈的風險關鍵信息,并致力在生態系統中建立使用者的信任,通過靜態和動態代碼分析方法,自動運行數百個測試,完成底層技術及智能合約測試和驗證,提供的評估結果既具技術性又備有易于理解的描述和示例。該平臺致力于以技術方法評估與測試智能合約的性能與安全,幫助使用者建立信任,提高產品透明度,從而降低企業轉型風險。[2021/11/7 6:37:09]

NoSQL為了增強系統的可擴展性,拋棄了傳統數據庫的關系模型以及強ACID語義,NoSQL有著更加靈活的數據存儲結構,例如Key-Value存儲、列存儲、文檔存儲等等。NoSQL的一致性較弱,可實現最終一致性、順序一致性或因果一致性等等。NoSQL的設計更加靈活,但加大了上層應用的復雜性。

NewSQL是介于關系數據庫與NoSQL之間的設計,它保留了關系數據庫的數據模型以及對ACID語義的支持,同時具有NoSQL對海量數據的存儲管理能力以及可擴展性。

下圖顯示了分布式數據庫與許可鏈、非許可鏈在安全與性能上的權衡。

分類法

論文提出的分類方法如圖所示。下面,從四個方面逐個進行介紹:

復制是將數據的副本存放在系統中多個節點上的一種技術。

從復制模型的角度來看,區塊鏈復制了有序的事務日志,復制的單位是事務,事務中包含交易上下文、簽名、時間戳等應用級別的信息,且便于驗證。“事務”一詞無論在區塊鏈還是數據庫中都表達為對于底層數據執行的邏輯計算,是一個操作序列。在區塊鏈中,事務表現為合約部署、調用這樣的形式,可以看作我們通常所稱的交易,例如,調用合約時將引起對數據的一個操作序列,這一序列操作具有原子性,要么執行完成,要么不執行,完成以后會使得系統的狀態發生改變。

“八一勛章”獲得者王剛:反復思考推動區塊鏈等前沿科技在訓練領域廣泛應用:8月3日消息,中國人民解放軍建軍90周年前夕,中共中央總書記、國家主席、中央軍委主席習近平為武警新疆總隊某支隊支隊長王剛佩掛上“八一勛章”,這是由中央軍委決定、中央軍委主席簽發證書并頒授的軍隊最高榮譽。作為全國人大代表,王剛赴京參會前認真梳理過去一年的工作,并在此基礎上,反復思考如何推動虛擬現實、大數據、區塊鏈等前沿科技在訓練領域廣泛應用。(人民網)[2021/8/3 1:31:30]

分布式數據庫則復制了讀寫操作的有序日志,每次復制一個操作。如圖所示,需要一個可信的事務管理器進行協調,復制的單位是更細粒度的操作時,系統更便于實現并發。

從復制方式的角度來看,區塊鏈和分布式數據庫可以選擇不同的方式進行數據復制。論文將復制方式總結為主備份復制和狀態機復制,其中狀態機復制又分為共識協議和共享日志兩種。

主備份復制是指,副本中確定的某個主副本運行確定性狀態機,而備份僅存儲狀態。主數據庫通過處理操作計算一系列新的應用程序狀態,并將這些狀態按生成順序轉發給每個備份。也就是把主副本的整個狀態實時地傳輸到備用服務器;而狀態機復制則是讓每個副本都實現一個確定性狀態機。本質上是維護每個副本上操作或事務的有序日志。每個復制副本從相同的初始狀態開始,然后以相同的順序應用日志中的操作或事務。

基于共識協議的復制和基于共享日志的復制區別在于,后者依賴于可信的外部服務提供一個共享日志,從而在每個副本上執行這個日志以改變狀態。

從故障模型來看,區塊鏈和分布式數據庫需要解決的故障問題不同,這決定了兩者的共識層以及上層應用的不同特點。

在分布式數據庫當中,節點屬于值得信任的內部系統,因而只需要容忍節點宕機,數據庫通常使用CFT協議,例如Paxos、Raft;而在區塊鏈中,各個節點需要在互不信任的情況下達成共識,因此需要容忍節點的惡意行為,因此區塊鏈常常會使用代價更大的BFT協議,例如PBFT、PoW等。

聲音 | 工行原行長:區塊鏈等技術不斷成熟和使用,銀行與客戶的關系正發生重大變化:12月1日,中國銀保監會國際咨詢委員會委員、中國工商銀行原行長楊凱生在2019年第一財經金融科技峰會上表示,隨著科技進步,互聯網、大數據、云計算、區塊鏈技術不斷成熟和使用,銀行與客戶的關系正發生重大變化,銀行信貸業務已不再僅靠銀行自身就能做好。(第一財經)[2019/12/2]

如圖是CFT與BFT協議在不同的網絡模型當中所需要達到的網絡規模,同步網絡是延遲有界且已知的網絡,而異步網絡中的延遲可能是無限的。其中,f是故障節點的數目。

并發指的是讓交易或事務在同一時間執行。數據庫領域中的并發控制技術一直是研究熱點,好的并發優化能夠使得數據庫系統的性能大大提升。而區塊鏈中的交易常常是串行執行的,并發技術用得不多,主要原因在于,交易執行在很多區塊鏈系統中并非性能瓶頸,其次,由于交易常常會共用合約的狀態數據,因而串行執行交易更加簡單、保險。

存儲決定了系統中的數據存儲的機制。

在存儲模型方面,大部分的數據庫只存儲最新的可供修改的數據信息,即便有歷史信息,也只是作為節點故障恢復的日志;而區塊鏈則存儲了所有的歷史數據,并且以只增的方式維護。

在索引方面,區塊鏈為了支持數據的正確性驗證,會采用類似MerkleTree這樣的數據結構存儲數據;而分布式數據庫則更關注性能,在建立索引時根據硬件的性質進行特殊優化,例如,硬盤中的數據以B+樹的數據結構存儲,而內存中的數據則使用對于多核并行和緩存更加友好的FAST或PSL等結構進行存儲。

分片在數據庫領域也是一種常用的技術,它將數據分布到不同的分片當中,由分片中的節點進行處理,從而達到擴展系統或提升處理性能的目的。

分片形成協議決定了節點和數據應該分配到哪個分片。數據庫中可以根據數據的哈希計算結果、數據的范圍等進行分片,而區塊鏈更關注安全性,分片必須足夠大,從而避免惡意節點在分片中的數目超過安全假設,此外,分片的分配機制也不應該受到節點行為的影響。

聲音 | ASX向經紀人保證區塊鏈成本:據Financial Review消息,區塊鏈公司AXS表示,準備為更多的經紀人提供更多關于插入區塊鏈成本的信息,緩解了對技能短缺的擔憂。[2018/10/23]

分片的原子性要求跨分片的事務在它涉及到的所有分片中要么都提交,要么都中止,表現出行為上的一致性。在分布式數據庫中,原子性一般由兩階段提交協議保證,這需要依賴某個可信的協調者,而區塊鏈中缺少這樣的協調者,因此會引入BFT協議來協調跨分片交易。

最后,根據所述的分類方法,論文還給出了一些系統設計的分析和對比。

性能實驗

性能實驗主要選擇了兩個許可鏈系統Quorum、Fabric,兩個分布式數據庫TiDB、etcd。

Quorum是以太坊的Go語言實現的一個分支,它在以太坊的基礎上添加了交易與合約的隱私性、許可管理以及基于Raft的共識機制,它以order-execute形式的架構打包區塊;Fabric是一個由Linux基金會主辦的一個全球協作項目超級賬本中的一個子項目,它的架構模型則是execute-order-validate;TiDB是NewSQL數據庫,它繼承了大部分MySQL的特性,并由三個獨立的模塊組成:PD用于協調集群管理,TiKV用于KV存儲,server解析和調度SQL查詢;etcd是NoSQL數據庫,它使用kv數據模型,具有寬松的事務限制,側重于可用性和一致性之間的權衡。

為了公平比較,實驗讓所有系統中每個節點都有狀態數據的完整副本。對于Fabric,交易由所有peer節點執行和背書,排序節點固定為三個。Quorum和Fabric使用Raft協議。

實驗從五個角度進行分析,分別是峰值性能,以及上述分類法的四個方面,即復制、并發、存儲和分片。

在峰值性能方面,區塊鏈和分布式數據庫之間的性能差距相當大。

動態 | 莫迪認為區塊鏈可以改善農產品供應鏈:據bitcoinexchangeguide消息,近日印度總理納倫德拉·莫迪(Narendra Modi)在社交媒體上表達了支持區塊鏈技術的態度。他指出,區塊鏈將與物聯網、大數據和人工智能一起幫助印度向前發展并改善人們生活的方式。據此前報道,莫迪在年初就以表達過對區塊鏈技術的看好態度,認為區塊鏈可以改善印度的農產品供應鏈。[2018/10/14]

這里用100K記錄填充每個系統,每條記錄大小為1KB。記錄僅更新和僅查詢的工作負載下的吞吐量和延遲。TiKV作為TiDB底層的分布式數據庫模塊,也參與了比較。

可以看出,NoSQL性能優于NewSQL,這是因為它們不會產生支持ACID事務的開銷。此外,TiDB的吞吐量比性能較好的的區塊鏈Fabric仍然高4倍。

在復制方面,基于事務的復制模型影響了系統的并發能力,這對系統性能的影響是主要的。

圖7根據Fabric和TiDB的性能表現,比較了基于事務和基于操作的復制模型的影響。除了與TiDB相比具有更高的延遲之外,當系統飽和時,Fabric的延遲也會顯著增加。而當請求速率超過系統容量時,驗證階段就會成為瓶頸。論文認為延遲增加歸因于Fabric中的串行驗證,區塊和區塊內的事務在提交以前是順序驗證的。

圖8給出了四個系統隨節點數目增多而變化的吞吐量。其中Fabric的復制方法是基于共享日志的,其他則是基于共識協議的。Fabric的吞吐量隨著節點數目增加而下降,在實驗中觀察到區塊驗證的延遲增加了,這是因為背書策略設置為所有peer節點都要對一筆交易進行背書。Quorum使用raft協議,但是性能對節點個數不敏感,這是因為Quorum的order-execute架構,打包區塊的過程順序進行。

圖8表示在Quorum中比較了Raft和IBFT共識協議的吞吐量,以分析不同故障模型的性能影響。在規模更大的網絡中,IBFT的吞吐量方差更大,這是因為IBFT比起Raft,需要與更多的節點通訊以避免主節點切換,而惡意節點越多,重新選舉主節點的概率越大,事務中斷的概率就會變大。

在并發方面,execute-order-validate架構的區塊鏈在高競爭和高約束的工作負載下性能較低。

圖9給出了偏度對性能的影響。每個事務修改一項記錄,記錄的鍵值服從Zipfian分布,分布根據偏度系數θ變化,θ越大,表示修改沖突的可能性越大,競爭越大。可以看出,當競爭發生時,TiDB的吞吐量劇烈下降;etcd和Quorum串行執行事務,沒有并發控制;而Fabric性能下降了31%,這是由于Fabric對讀寫沖突的樂觀并發控制機制導致事務中止。此外,TiDB的吞吐量下降與事務中止率的增加不成比例,原因在于它的鎖存機制耗費了更多的時間。

圖10增加每個事務中的操作數目以觀察事務原子性對性能的影響。從左圖可以看出,當每個事務的操作數增加時,Fabric、TiDB和etcd的性能有所下降。說明更多的操作導致了沖突,而且TiDB的事務還可能跨越多個分片;右圖顯示了TiDB和Fabric的隨操作數變化的事務中止率。TiDB的事務中止主要是由于寫寫沖突,而Fabric中則來源于不一致的讀以及讀寫沖突,而不一致的讀可能是因為需要預執行和背書交易的peer節點提交區塊的速率不同。

圖11顯示了記錄,即需要處理的數據的大小對于性能的影響,從左圖可以看出,隨著記錄增大,所有系統的性能幾乎都降低了。且Quorum的吞吐量顯著下降。右圖分析了Fabric和Quorum的事務延遲的細節。Quorum在Commit階段由于重建MPT數據結構而引入了哈希函數的成本,且Proposal階段與Commit階段的延遲同速增長。因為Quorum的order-execute架構使交易在打包區塊的節點和共識后的其他節點處都要進行串行驗證,相比之下,Fabric的串行處理只有一次。

在存儲方面,區塊鏈中的賬本抽象模型會帶來很大的存儲開銷,此外,避免狀態數據受到篡改所需的安全開銷則很小。

圖中顯示了記錄大小對于存儲開銷的影響。Fabric的存儲開銷比TiDB高得多,這是因為Fabric中的區塊鏈的賬本鏈條抽象模型。右圖比較了Fabric中的MBT和Quorum的MPT,MBT的開銷更小,因為它的樹結構規模是固定的。

在分片方面,由于分片的形成和周期性重新配置的安全要求,分片區塊鏈的性能遠遠落后于分布式數據庫。

這里使用了TiDB,AHL,以及Spanner。AHL是基于Fabric的分片區塊鏈,Spanner則是基于云的NewSQL數據庫。如圖14所示,當節點數目增加時,TiDB的吞吐量比Spanner更高,這是因為一旦檢測到沖突,TiDB會立即中止事務,而Spanner使用了悲觀并發控制機制,在事務沖突的情況下將爭奪鎖;與分片固定的AHL相比,定期重新配置分片的AHL為了實現更高的安全性,在性能上降低了30%。然而由于PBFT協議的高成本和其他安全開銷,AHL和數據庫之間的性能差距仍然很大。

分析框架

根據上述的研究分析,論文在最后提出了一個可以用于分析和預測混合系統的框架,不過,僅以吞吐量作為評價指標。

可以看到,復制模型和故障模型很大程度地影響了系統性能。基于事務的復制不像基于操作的復制那樣有較好的并發性,因此吞吐量低。而比起BFT協議,CFT協議的網絡開銷更低。

總結

這篇論文系統地探討和總結了區塊鏈和分布式數據庫之間在設計上的差異,給出了由復制、并發、存儲和分片四個維度構成的分類方法,利用這種方法,給出了現有一些系統的設計取向的分析,并進行了對應的性能測試,用實驗結果說明了底層設計選擇對性能的影響,最后,還提供了一個用于評價和估計系統吞吐量的框架。整篇文章的工作完整詳實,有利于理解區塊鏈和數據庫之間的設計聯系和區別,從更細致和有條理的角度認識目前的區塊鏈與數據庫相融合的研究工作。

Tags:區塊鏈BRIFABRICFAB區塊鏈dapp開發語言brise幣總量MetaFabricFAB幣

歐易交易所
Dapp行業報告:2022年第一季度概覽_區塊鏈

2022年的前三個月提醒了dapp行業的每個人,這個新生的領域正在我們眼前迅速發展。來自不同類別的dapp——即游戲、DeFi和NFT,在我們面前展示了它們的潛力,同時也顯現出在完全成為主流之前.

1900/1/1 0:00:00
NBA Botches由于協議出現問題導致在以太坊上發布的NFT被迫停止_NBA

一些BUG導致NBA球迷們沒有得到該有的NFT,但聯盟表示將會補償他們。NBA向球迷投放18000個免費的NFT的計劃出現了問題.

1900/1/1 0:00:00
Web3 創始人和建設者如何使用一些 Web2 增長框架_RES

這是一系列文章,DAOeayaki將探討Web3創始人和建設者如何使用一些Web2增長框架來擴展成功的產品.

1900/1/1 0:00:00
為什么我們需要跨鏈橋?當下有哪些熱門跨鏈項目?_OSMO

未來將是多鏈的,跨鏈橋能幫我們獲得更多鏈上收益和交易機會。跨鏈橋使我們能夠獲得許多鏈上的收益和交易機會。橋接有幾種形式,每一種都有其自身的安全性、速度和可靠性的組合.

1900/1/1 0:00:00
金色Web3.0日報 | 中國互金協會等三大金融協會:堅決遏制NFT金融化證券化傾向_WEB

DeFi數據 1.DeFi代幣總市值:1223.17億美元 DeFi總市值數據來源:coingecko2.過去24小時去中心化交易所的交易量:51.

1900/1/1 0:00:00
Web 3.0從何而來 又將從何而去?_WEB3.0

Web3.0將從開放、隱私和共建三個角度去顛覆Web2.0互聯網,并打造一個由用戶社區主導的去中心化世界,重構互聯網流量價值范式.

1900/1/1 0:00:00
ads