我第一次通過喬·阿姆斯特朗（Joe Armstrong）了解到了 Erlang/OTP，他將世界分解成可以像人類一樣相互交談的進程。當我開始在 ArcBlock 區(qū)塊基石［1］工作時，我們的任務(wù)是構(gòu)建一個區(qū)塊鏈平臺，我們決定將 Erlang/OTP 廣泛用于后端服務(wù)，以及我們的區(qū)塊鏈開發(fā)框架：Forge。本文中描述了這些原因，并且因為 OTP 的功能，我們得以構(gòu)建一個具有高度實用性、可立即開展生產(chǎn)的區(qū)塊鏈框架，它不僅提供運行區(qū)塊鏈網(wǎng)絡(luò)的關(guān)鍵服務(wù)，同時極大地簡化了新一代應(yīng)用和服務(wù)的需要。

區(qū)塊鏈框架入門

Forge 是區(qū)塊鏈開發(fā)工具，它極大地簡化了構(gòu)建框架以支持多鏈網(wǎng)絡(luò)，即創(chuàng)建自己的鏈（Build Your Own Chain，BYOC）這一概念的過程。在 Forge 之前，創(chuàng)建一條區(qū)塊鏈是很有挑戰(zhàn)性的。如果人們想要自己發(fā)鏈，首先需要設(shè)置一個區(qū)塊鏈系統(tǒng)的不同組件，包括共識算法、點對點網(wǎng)絡(luò)等。在花費大量精力使這些組件協(xié)同工作之后，開發(fā)者還需要決定如何調(diào)整鏈的不同參數(shù)，例如通證供應(yīng)總量和分配、特定交易設(shè)置和管理員訪問控制等。如果足夠幸運讓區(qū)塊鏈運行起來，但如果發(fā)現(xiàn)即使有一些輕微出錯，則需要停止所有運行的節(jié)點，并從頭開始，重新進行設(shè)置。

在 Forge［2］，我們使用 Erlang/OTP 已經(jīng)可用的功能和優(yōu)點提供一個幫助開發(fā)者完成所有困難工作的框架。例如，如果您使用 Forge 啟動一個區(qū)塊鏈，唯一的要求是通過在配置或運行時啟用或禁用它們來設(shè)置行為。更重要的是，如果您希望在鏈啟動時進行更新，則可以熱升級系統(tǒng)的各個部分，而無需重新啟動整個網(wǎng)絡(luò)節(jié)點——這是任何產(chǎn)品級應(yīng)用或服務(wù)的關(guān)鍵特性。

在 Forge 框架的設(shè)計規(guī)劃階段，我們還評估了其他區(qū)塊鏈社區(qū)的流行語言，如 Golang。Golang 有它的好處，包括一些非常高級的庫；然而，為了構(gòu)建我們想要提供給客戶的強大平臺，真正推動我們走向 Elixir 的有三件事。

把問題簡化為進程

首先，需要將復(fù)雜的問題分解為進程。區(qū)塊鏈本身是許多問題的混合解決方案，OTP 使我們可以解構(gòu)并逐個解決它們。將不同的進程分組到應(yīng)用的靈活性也有助于代碼庫維護。

例如，當用戶需要構(gòu)建區(qū)塊鏈節(jié)點時，這是一個非常類似于構(gòu)建操作系統(tǒng)的過程。我們需要編排一個“應(yīng)用程序”列表，為交換事件協(xié)同工作（例如，區(qū)塊鏈系統(tǒng)交易），執(zhí)行這些事件，然后存儲更新后的狀態(tài)。為了幫助每個人理解其工作原理，很容易把結(jié)構(gòu)分解成幾個核心應(yīng)用程序：

?共識應(yīng)用程序：管理與共識算法相關(guān)任務(wù)的進程

?存儲應(yīng)用程序：管理與文件系統(tǒng)相關(guān)任務(wù)的進程

?Forge 應(yīng)用程序：執(zhí)行智能合約并支持 RPC 界面的進程

?事件應(yīng)用程序：管理事件訂閱的進程

?索引應(yīng)用程序：持續(xù)從狀態(tài)數(shù)據(jù)庫抓取數(shù)據(jù)并將其索引至相關(guān)數(shù)據(jù)庫的進程

在這些應(yīng)用程序中，F(xiàn)orge 還有一些其他進程，它們相互合作，幫助進程并處理區(qū)塊鏈的交易活動。例如：

?當用戶發(fā)出交易時，gRPC 服務(wù)器會對其進行處理并將其推至內(nèi)存池的陣列

?若交易有效，它將被插入內(nèi)存池，然后涌入整個網(wǎng)絡(luò)；否則，它會被放棄

?當區(qū)塊同步給我們后，交易會被一個接一個收取并由智能合約引擎執(zhí)行

安排這些活動可能很困難。然而，在 OTP 的幫助下，我們能夠通過一種持續(xù)的分而治之的方法輕松地管理負責的進程——將事物組織成應(yīng)用程序，將每個應(yīng)用程序組織成一個監(jiān)控樹，并且每棵樹由許多小進程組成。當需要并發(fā)時，我們可以輸出進程池；當需要固定的順序處理時，我們使用單個進程——從本質(zhì)上講，它的收件箱充當消息隊列，這保證了任務(wù)以正確的順序得到處理。

“易崩潰”

第二是“讓它崩潰”的思想。區(qū)塊鏈系統(tǒng)由許多通過網(wǎng)絡(luò)關(guān)聯(lián)的運行實體構(gòu)成。重要的是，我們需要有適當?shù)腻e誤處理系統(tǒng)，在網(wǎng)絡(luò)不穩(wěn)定或其他意外中斷發(fā)生時能夠維持正常運行。

例如，如果一個進程需要讀取鏈上信息來處理 RPC 請求，并且因網(wǎng)絡(luò)不穩(wěn)定而崩潰，在這種情況下，重試幾次就可以修復(fù)問題。那么，OTP 中的監(jiān)控器可以幫助恢復(fù)進程。這正是喬·阿姆斯特朗（Joe Armstrong）所說的“編寫一次，永遠運行”的完美例證。

為區(qū)塊鏈準備就緒

我們選擇 Erlang/OTP 的第三個重要原因是它為區(qū)塊鏈系統(tǒng)提供了許多出色的內(nèi)置功能，比如熱升級、并發(fā)和高可用性。

區(qū)塊鏈框架的一個作用是以混合的方式運行框架代碼和客戶自己代碼，這需要安全隔離才能正常工作。

例如，用戶自定義的智能合約可能使用與框架定義的合約相同的變量名。其他配置可能會替換系統(tǒng)的某些部分（例如，客戶可能可以用自己的部署替換共識引擎），并且可以在運行時將新功能添加到現(xiàn)有的區(qū)塊鏈節(jié)點中，而不會影響可用性和穩(wěn)定性。因此，F(xiàn)orge 是在巨人的肩膀上打造的，這是一個經(jīng)過戰(zhàn)斗考驗的生產(chǎn)系統(tǒng)，能夠提供我們所需要的特性。

開放靈活

使用 Erlang/OTP 讓區(qū)塊鏈框架擁有優(yōu)于其他語言的非常重要的優(yōu)勢，就是靈活性。作為區(qū)塊鏈開發(fā)框架，F(xiàn)orge 在設(shè)計時便是擴展開放的：您可以通過添加更多的應(yīng)用程序來擴展框架，以實現(xiàn)更復(fù)雜的功能，比如使用不同的共識引擎。

在我們基于 Erlang/OTP 的框架中創(chuàng)建的區(qū)塊鏈網(wǎng)絡(luò)允許用戶在需要時熱升級他們的智能合約，而無需關(guān)閉整個系統(tǒng)，這為用戶在運行時提供了極大的靈活性。例如，如果需要刪除區(qū)塊鏈系統(tǒng)中的一個節(jié)點來升級部分代碼，則需要同時升級所有節(jié)點，以便它們使用相同的代碼邏輯集并輸出相同的結(jié)果。在這種情況下，OTP 允許在交易中包含部分升級，所有節(jié)點都可以執(zhí)行交易務(wù)并同時升級代碼。

總結(jié)

如果可以選擇構(gòu)建面向未來的區(qū)塊鏈框架，我們團隊還是將 100% 使用 Erlang/OTP。當他人還在努力構(gòu)建和維護復(fù)雜的系統(tǒng)時，Erlang/OTP 已經(jīng)在高壓環(huán)境中接受了時間的考驗。當今的 Erlang/OTP 解決了我們面臨的大部分挑戰(zhàn)，讓我們的團隊能夠更多地關(guān)注于構(gòu)建高級功能特性，并讓它們更加用戶友好。

責任編輯