“區(qū)塊鏈”是現(xiàn)代人經(jīng)常提到的詞匯，但是大部分人對它的定義概述都一知半解。其實區(qū)塊鏈系統(tǒng)它首先是一個分布式系統(tǒng)，而分布式系統(tǒng)又包括共識算法與一致性兩個核心問題。一致性也叫agreement，指的是對分布式系統(tǒng)中多個服務(wù)項目節(jié)點進(jìn)行的一系列實際的操作。而共識是什么呢？它是敘述了分布式系統(tǒng)中多個節(jié)點中間對某一情況達(dá)成一致結(jié)果的全過程。共識通常也會跟一致性一起來探討，但是達(dá)成了共識并不代表就就是一致性。您聽起來是否會有些懵呢？下面我們就來分析詳細(xì)介紹一下它們的概念與相關(guān)問題。

一致性問題

一致性問題是分布式系統(tǒng)行業(yè)最基本的、最重要的問題。假如分布式系統(tǒng)可以完成一致性，它能夠被展現(xiàn)為極致可拓展的虛擬節(jié)點，相對性于物理學(xué)節(jié)點，它具備更強的性能和可靠性。

定義和重要性

一致性:初期也叫agreement，就是指對分布式系統(tǒng)中的好幾個服務(wù)項目節(jié)點進(jìn)行一系列實際操作。在協(xié)議書的確保下，她們嘗試在一定水平上認(rèn)可事件處理。

注意：一致性并不代表著結(jié)果是不是恰當(dāng)，只是系統(tǒng)軟件外界展現(xiàn)的情況是不是一致，比如：全部節(jié)點都做到了不成功情況。

問題和挑戰(zhàn)

分布式系統(tǒng)電子計算機(jī)群集系統(tǒng)軟件非常容易發(fā)生下列問題：

通信網(wǎng)絡(luò)在節(jié)點中間不是靠譜的，包含信息內(nèi)容延遲時間，亂序，內(nèi)容錯誤等等。

不可以確保節(jié)點的解決時間，記牢很有可能產(chǎn)生錯誤，乃至節(jié)點自身也很有可能產(chǎn)生關(guān)機(jī)。

同歩啟用能夠簡單化設(shè)計方案，但會比較嚴(yán)重減少分布式系統(tǒng)的擴(kuò)展性，乃至衰退成點射系統(tǒng)軟件。

當(dāng)代分布式系統(tǒng)解決一致性問題的理論依據(jù):很有可能造成不一致的并行操作串行通信。

一致性要求

分布式系統(tǒng)達(dá)成共識的全過程應(yīng):

可停止性:一致的結(jié)果能夠在比較有限的時間內(nèi)進(jìn)行。

同性：不一樣幾個方面最后進(jìn)行決策的紀(jì)錄是一樣的。

合法性:管理決策結(jié)果務(wù)必由某一節(jié)點明確提出。

事情產(chǎn)生的順序十分關(guān)鍵，這也是處理分布式系統(tǒng)行業(yè)很多問題的關(guān)鍵秘對很多事兒進(jìn)行排列，這一順序務(wù)必獲得每一個人的認(rèn)同。

有約束的一致性

完成肯定理想化的嚴(yán)苛一致性的成本非常大。事實上，一致性要求越強，解決性能越弱，擴(kuò)展性越差。

一般來說，強一致性關(guān)鍵包含下列兩大類：

順序一致性:是一種極強的約束，確保全部全過程中見到的全局性實行順序一致，每一個全過程中見到的實行順序與具體產(chǎn)生順序一致。順序一致性事實上限定了每一個全過程中命令的誤差關(guān)聯(lián)，但并不是依照物理學(xué)時間在全過程中進(jìn)行全局性排列。

線性一致性:在順序一致性的前提條件下，提升全過程中的實際操作順序，產(chǎn)生唯一的全局性順序(系統(tǒng)軟件等額的于順序?qū)嵭校咳^程中見到的全部實際操作順序都一致，與具體產(chǎn)生順序一致)，是較強的分子確保。可是難以完成。現(xiàn)階段基本上要不借助全世界時鐘或鎖，要不根據(jù)一些繁雜的算法完成，性能通常不高。

由于一致性強的系統(tǒng)軟件通常難以達(dá)到，具體要求通常不那麼嚴(yán)苛，必須一致性強。因而，能夠適度放開對一致性的要求，進(jìn)而減少系統(tǒng)軟件完成的難度系數(shù)。例如在一定的限定下完成說白了的最后一致性:總是會有一個時刻(而不是立刻)，讓系統(tǒng)軟件做到一致的情況。大部分應(yīng)用系統(tǒng)完成最后一致性。相對性極強的一致性，一般稱為弱一致性。

共識算法

共識通常會和一致性探討。嚴(yán)格意義上來說，二者的實際意義并不完全一致。

一致性一般 就是指分布式系統(tǒng)中好幾個團(tuán)本向外界表明的數(shù)據(jù)信息情況。共識敘述了分布式系統(tǒng)中好幾個節(jié)點中間對某一情況達(dá)成一致結(jié)果的全過程。因而，一致性敘述是結(jié)果情況，共識是一種方式。達(dá)到一定的共識并不代表著確保一致性。

結(jié)合實際，為了更好地為了確保達(dá)到不一樣水平的一致性，關(guān)鍵全過程通常必須根據(jù)共識算法來完成。共識算法解決了每一個人對某一建議達(dá)到共識的全過程。建議的含意在分布式系統(tǒng)中十分普遍，如好幾個事情的順序、與某一鍵相對性應(yīng)的值、哪位管理者等。能夠覺得一切能達(dá)到共識的信息內(nèi)容全是建議。

對分布式系統(tǒng)來講，各幾個方面一般 是同樣的明確有限狀態(tài)機(jī)實體模型(也稱為有限狀態(tài)機(jī)拷貝問題)，從同樣的最初的狀態(tài)逐漸接受同樣順序的命令，就能確保同樣的結(jié)果情況。因此，在系統(tǒng)軟件中，好幾個節(jié)點最重要的是達(dá)到共識，即對好幾個事情進(jìn)行排列。

問題和挑戰(zhàn)

事實上，理想化的分布式系統(tǒng)是不會有的，不一樣節(jié)點中間的通有延遲時間，一切階段都很有可能發(fā)生常見故障。

一般來說，發(fā)生常見故障(crash或fail-stop，即不回應(yīng))但不仿冒信息內(nèi)容的狀況稱為非拜占庭錯誤或常見故障錯誤。故意反映的狀況稱為拜占庭錯誤，相對應(yīng)的節(jié)點稱為拜占庭錯誤。

普通算法

共識算法可分為：

CrashFaulttolerance(CFT)類算法：經(jīng)典算法包含Paxos,Raft以及變異等，這類容錯機(jī)制算法一般 性能不錯，響應(yīng)速度快，可容忍不超過一般常見故障節(jié)點。ByzantineFaulttolerance(BFT)類算法：一般 包含PBFT(PracticalByzantineFaulttolerance)為意味著的可預(yù)測性系列產(chǎn)品算法，PoW為意味著的概率算法等。在明確算法中，一旦達(dá)到對某一結(jié)果的共識，就不可避免，即共識是最后結(jié)果。并且?guī)茁暑愃惴ǎ沧R結(jié)果是臨時的，伴隨著時間的變化或是某類加強，共識結(jié)果被打倒的概率愈來愈小，這就是說白了的最后結(jié)果。拜占庭類容錯機(jī)制算法通常性能較弱，常見故障點不超過1/3。

以上我們分析了分布式系統(tǒng)的兩大核心問題，希望能夠?qū)δ幸欢ǖ膸椭嶋H上，我們所認(rèn)為的理想化的分布式系統(tǒng)自然是不會有的，在過程中一切階段都很有可能發(fā)生我們意想不到的故障。如果您想了解更多相關(guān)信息，請您及時關(guān)注中培偉業(yè)。