![1.jpg](https://ucc.alicdn.com/pic/developer-ecology/acba595501cb44c4a915064bba27abac.jpg)

作者 | 易立
來源 | [阿里巴巴雲原生公眾號](https://mp.weixin.qq.com/s/Cp5R-6tfG8Js3MpdTbcD1w)

雲端計算已經成為了支撐數字經濟發展的關鍵基礎設施。雲端計算基礎設施也在持續進化，從 IaaS，到容器即服務（CaaS），再到 Serverless 容器和函式 PaaS (fPaaS 或者 FaaS)，新的計算形態相繼出現。以容器和 Serverless 為代表的雲原生技術正在重塑整個應用生命週期。

![2.jpg](https://ucc.alicdn.com/pic/developer-ecology/c8294fab4c3f4361b60c86f067b4bb3a.jpg)

在 Gartner 分析報告中，雲端計算基礎設施的發展路徑，也是雲原生特質逐漸增強的過程。其具體表現在：

- **模組化越來越高**- 更加細粒度的計算單元，如容器和 Serverless 函式，更加適於微服務架構的應用交付，可以更加充分利用雲的能力，提升架構敏捷性。

- **可程式設計性越來越高**- 可以透過宣告式 API 和策略進行實現自動化管理與運維，可以透過 Immutable Infrastructure （不可變基礎設施）進一步提升分散式應用運維的確定性。

- **彈性效率越來越高**- VM 可以實現分鐘級擴容；容器與 Serverless 容器可以實現秒級擴容；藉助排程最佳化，函式可以做到毫秒級擴容。

- **韌性越來越高**- Kubernetes 提供了強大自動化編排能力，提升應用系統自愈性。而 Serverless 進一步將穩定性、可伸縮性和安全等系統級別複雜性下沉到基礎設施，開發者只需關注自身業務應用邏輯，進一步釋放了生產力，提升系統的可恢復能力。

分散式雲則是雲端計算發展的另外一個重要趨勢，公有云的服務可以擴充到不同的物理位置，讓計算進一步貼近客戶。分散式雲讓客戶享受雲端計算的便利的同時，也可以滿足對計算實時性和安全合規的訴求。這也推動了企業應用架構的變化 - 應用要能夠在不同的環境進行部署、遷移，以最最佳化的方式提供服務。

進一步隨著移動網際網路，AI 與 IoT 等新技術的湧現，無處不在的計算已經成為現實。與此同時，這也在催生算力的多樣性，X86 架構一統天下的時代已經過去，ARM/RISC-V 等晶片新勢力不但稱雄行動通訊和嵌入式裝置領域，也在向邊緣計算和資料中心市場發起進攻。開發者甚至需要讓應用支援不同的 CPU 體系架構，比如我們可以將一個影像識別應用部署在邊緣或者 IoT 等不同環境、不同體系架構的裝置之上執行。

在分散式雲、邊緣計算、雲端一體等新的雲端計算場景下，下一代雲原生應用執行時將具備什麼樣的特點？

# 下一代雲原生應用執行時
## 1. 無處不在的計算催生下一代可移植、高效能、輕量化的安全沙箱
容器應用採用自包含的打包方式 -- 容器映象，它包含了應用程式碼和依賴的系統元件，可以實現應用與基礎設施解耦，讓應用可以在公共雲、專有云等不同的執行環境以一致的方式進行部署、運維，簡化了彈性和遷移。此外 Docker 映象規範支援多架構（Multi-Arch）映象，可以簡化不同 CPU 體系架構（如 x86, ARM 等）的應用映象的構建與分發。

函式應用只包含用於事件響應的程式碼包，這將應用交付格式從原生二進位制檔案提升到了高階語言層面。這也給應用的可移植性帶來了更大的想象空間，理論上甚至可以遮蔽執行環境 CPU 體系架構的差異。比如對於不依賴原生程式碼的 Python/NodeJS 等指令碼或者 Java 應用，無需修改就可以在 x86 或者 ARM 等不同 CPU 架構上執行。

然而理想很豐滿，現實很骨感，可移植性和廠商鎖定是函式 PaaS 發展的攔路虎。

- 很多指令碼程式碼依然需要透過呼叫原生程式碼來實現資料處理和呼叫中介軟體（如資料庫驅動），但是編譯原生程式碼需要構建環境與目標執行環境一致才能保障相容性。比如 AWS Lambda / 阿里雲函式計算都要求二進位制原生程式碼依賴指定的核心和 libc 版本。因此，越來越多的函式 PaaS 服務支援容器映象作為載體，來簡化函式應用打包和依賴管理。

- 函式應用通常依賴後端服務（BaaS, Backend as a Service）實現資料訪問與計算處理等能力，由於 BaaS 不存在任何標準，這樣很難將在 AWS Lambda 上開發的函式應用移植到阿里雲的函式計算服務。

在 Serverless 計算中，現有的主流技術是利用沙箱容器技術，如 AWS Firecraker 或者阿里雲沙箱容器，來實現強隔離的安全執行環境，但是也帶來更大的資源消耗。雖然現在阿里雲沙箱容器經過最佳化可以實現 300ms 的冷啟動速度，接近 Docker 這樣的 OS 容器啟動速度，但是還無法滿足函式 PaaS 毫秒級的啟動要求，目前需要透過的排程策略，預留一定的 standby 例項才可以滿足，但是這樣也引入了更多的資源消耗。

WebAssembly（WASM） 是一個新的 W3C 規範，是一個通用、開放、高效、安全的底層虛擬機器抽象。它的設計初衷是為了解決JavaScript的效能問題，使得 Web 應用有接近本機原生應用的效能。可以將現有程式語言應用，如 C/C++, Rust 等，編譯成為 WASM 的位元組碼，執行在瀏覽器中的一個沙箱環境中。

WASM 讓應用開發技術與執行時環境解耦，極大促進了程式碼複用。Mozilla 更在 2019 年推出了 WebAssembly System Interface（WASI），它提供類似 POSIX 這樣的標準 API 來標準化 WebAssembly 與系統資源的互動抽象，比如檔案系統訪問，記憶體管理等。WASI 的出現擴充了 WASM 的應用場景，可以讓其作為一個虛擬機器執行各種型別的服務端應用。WASM/WASI 為應用的可移植性帶來全新的希望，為了進一步推動 WebAssembly 生態發展，Mozilla、Fastly、英特爾和紅帽公司攜手成立了位元組碼聯盟（Bytecode Alliance），共同領導 WASI 標準、 WebAssembly 執行時、工具等工作。

WebAssembly 所具備的的安全、可移植、高效率，輕量化的特點，為應用沙箱的發展帶來了全新的思路。WASM 可以輕鬆實現毫秒級冷啟動時間和極低的資源消耗。同時 WASM 位元組碼比原生機器碼有更高的安全級別。此外，WASI 實現了細粒度基於能力的安全模型，遵循最小許可權原則。在執行過程中，WASI 應用只能訪問由依賴注入指明的確切資源集，這種方式與傳統粗粒度的作業系統級隔離相比，進一步收斂了安全攻擊面。

正因如此，WASM/WASI 得到了 Serverless、IoT/邊緣計算等社群的廣泛關注。Fastly、Cloudflare 等廠商相繼釋出了基於 WebAssembly 技術實現了更加輕量化的 Serverless 服務。

然而 WebAssembly 在伺服器端的應用之路依然佈滿荊棘。首先 WASI 的能力還在非常早期的狀態，一些關鍵能力依然缺失，首當其衝的就是缺乏標準化的網路訪問能力：[_https://github.com/WebAssembly/WASI/issues/315_](https://github.com/WebAssembly/WASI/issues/315)_。_

目前 WASI 應用僅能做一些計算類任務，基本無法實現分散式應用，也無法呼叫多樣性的後端服務和 Redis、MySQL、Kafka 等應用中介軟體。這大大限制了 WASI 的應用場景。

當理想撞上現實，頭破血流還是絕處逢生？

## 2. 下一代可移植應用執行時加速程式設計介面上移，應用基礎設施能力下沉
Dapr 是微軟開源的面向雲原生應用的分散式應用執行時，目標使所有開發人員能夠使用任何語言和任何框架輕鬆地構建彈性的、事件驅動的、可移植的微服務應用。

![3.jpg](https://ucc.alicdn.com/pic/developer-ecology/e6e73e14f81d4af48fc1e47f28aeb426.jpg)

Dapr 實現了一系列構建高效能、可伸縮、高可用的分散式應用的設計模式，比如提供了服務發現和服務呼叫能力，也實現了一個簡單、一致的程式設計模型來支援事件驅動應用架構。

此外 Dapr 透過基礎設施遮蔽了應用訪問後端服務的技術細節，如資源繫結、安全管理，可觀測性等等。這個對 Serverless 應用非常重要，一方面將開發和部署進行了解耦，讓開發者和運維團隊可以透過關注點分離簡化系統複雜性；一方面，可以將短生命週期、無狀態的 Serverless 應用邏輯，與資料庫連線池管理這樣的長期執行，有狀態的中介軟體訪問能力進行解耦，提升了 Serverless 應用的可伸縮性和執行效率。

“Any language, any framework, anywhere” 是 Dapr 的重要設計目標。Dapr 透過在應用和後端服務之間，透過 Sidecar 方式提供一個抽象層，並透過標準化的 HTTP/gRPC API 實現了應用的可移植性，和後端服務的可替換性。

# 走向詩和遠方
![4.jpg](https://ucc.alicdn.com/pic/developer-ecology/bc7176c4ca1245a982e344127ab31221.jpg)

我們可以將 WebAssembly 和 Dapr 相結合，來實現可移植、強隔離、輕量化的微服務應用架構。Dapr sidecar 與 WASM 虛擬機器部署在一起。WASI 應用透過 HTTP/gRPC 訪問本地的 Dapr 服務端點，由 Dapr 代理連線各種後端服務或者實現服務間通訊。

這樣的架構設計讓 WASI 應用的安全邊界非常清晰，符合 WASI 安全模型，WASI 應用只能透過 Dapr sidecar 實現外部服務訪問。同時在這個架構中，只有 WASM 虛擬機器和 Dapr 作為可信的環境依賴以原生機器碼執行。而應用是可移植的 WASM 位元組碼，大大提升了架構的可移植性和安全性。

來自微軟 Deis Labs 的 Radu Matei，最近提供了一個實驗性專案可以為 WASI 新增 HTTP 支援。詳見：[_https://deislabs.io/posts/wasi-experimental-http/ _](https://github.com/WebAssembly/WASI/issues/315)。

在此基礎上，我們來構建一個最小原型，驗證 WebAssembly 與 Dapr 相結合的技術可行性。

## 1. Dapr 環境準備
我們首先按照 [_https://docs.dapr.io/getting-started/_](https://docs.dapr.io/getting-started/) 的流程：

```
$ dapr init
⌛  Making the jump to hyperspace...
✅  Downloading binaries and setting up components...
✅  Downloaded binaries and completed components set up.
ℹ️  daprd binary has been installed to /Users/yili/.dapr/bin.
ℹ️  dapr_placement container is running.
ℹ️  dapr_redis container is running.
ℹ️  dapr_zipkin container is running.
ℹ️  Use `docker ps` to check running containers.
✅  Success! Dapr is up and running. To get started, go here: https://aka.ms/dapr-getting-started

$ dapr run --app-id myapp --dapr-http-port 3500
WARNING: no application command found.
ℹ️  Starting Dapr with id myapp. HTTP Port: 3500. gRPC Port: 63734
ℹ️  Checking if Dapr sidecar is listening on HTTP port 3500
...
ℹ️  Checking if Dapr sidecar is listening on GRPC port 63734
ℹ️  Dapr sidecar is up and running.
✅  You're up and running! Dapr logs will appear here.
```

## 2. 利用 Redis 作為 WASI 應用的狀態儲存
我們下面利用 Dapr 的 Get Started 的例子，利用 Redis 作為 WASI 應用的狀態儲存。具體邏輯如下圖。

![5.png](https://ucc.alicdn.com/pic/developer-ecology/43fe52e178fe4201850732aed81c29dd.png)

_注：下面的應用需要 Rust 和 AssemblyScript 環境配置，請大家自行完成。_

我們在 Radu 專案的基礎上 fork 了一個版本，首先來下載程式碼，並進行構建。

```
$ git clone https://github.com/denverdino/wasi-experimental-http
$ cd wasi-experimental-http
$ cargo build
...
    Finished dev [unoptimized + debuginfo] target(s) in 3m 02s
```

我們利用 AssemblyScript 來實現了這個測試應用，測試程式碼如下：

```
$ cat tests/dapr/index.ts
// @ts-ignore
import { Console } from "as-wasi";
import { DaprClient, StateItem } from "./dapr";
import { JSON } from "assemblyscript-json";

Console.log("Testing Dapr API ....")

let dapr = new DaprClient()
dapr.saveState("statestore", "weapon", JSON.Value.String("Death Star"))

let o = JSON.Value.Object()
o.set("name", "Tatooine")
o.set("test", 123)
let item = new StateItem("planets", o)
let items: StateItem[] = [item]
dapr.saveBulkState("statestore", items)

let testObj = dapr.getState("statestore", "planets")
let testStr = dapr.getState("statestore", "weapon")

if (testStr.toString() == "Death Star" && testObj.isObj && (<json.integer>(<json.obj>testObj).getInteger("test")).valueOf() == 123) {
    Console.log("Test successfully!")
} else {
    Console.log("Test failed!")
}
```

程式碼邏輯非常簡單，就是建立一個 Dapr 客戶端，然後透過 REST API，進行 Dapr 的狀態管理。我們可以快速驗證一下。

```
$  cargo run
    Finished dev [unoptimized + debuginfo] target(s) in 0.19s
     Running `target/debug/wasi-experimental-http-wasmtime-sample`
Testing Dapr API ....
POST http://127.0.0.1:3500/v1.0/state/statestore with [{"key":"weapon","value":"Death Star"}]
POST http://127.0.0.1:3500/v1.0/state/statestore with [{"key":"planets","value":{"name":"Tatooine","test":123}}]
GET http://127.0.0.1:3500/v1.0/state/statestore/planets
GET http://127.0.0.1:3500/v1.0/state/statestore/weapon
Test successfully!
module instantiation time: 333.16637ms
```

## 3. 關鍵要點分析
wasi-experimental-http 專案在 Wasmtime （來自 Bytecode Alliance 的一個 WASM 實現）虛擬機器上實現了擴充套件，支援在 WASI 應用中，訪問 HTTP 服務。它還提供了一個 AssemblyScript 的 HTTP Client 實現。

wasi-experimental-http 專案：[_https://github.com/deislabs/wasi-experimental-http/_](https://github.com/deislabs/wasi-experimental-http/)_。_

在此之上，我們為 AssemblyScript 提供一個 Dapr 的封裝，可以參見：[_https://github.com/denverdino/wasi-experimental-http/blob/main/tests/dapr/dapr.ts_](https://github.com/denverdino/wasi-experimental-http/blob/main/tests/dapr/dapr.ts)_。_

```
// @ts-ignore
import { Console } from "as-wasi";
import { Method, RequestBuilder, Response } from "../../crates/as";

import { JSONEncoder, JSON } from "assemblyscript-json";

export class StateItem {
  key: string
  value: JSON.Value
  etag: string | null
  metadata: Map<string string=""> | null

constructor(key: string, value: JSON.Value) {
    this.key = key
    this.value = value
    this.etag = null
    this.metadata = null
  }
}

...

export class DaprClient {
  port: i32
  address: string

constructor() {
    this.address = "127.0.0.1"
    this.port = 3500
  }

stateURL(storeName: string): string {
    return "http://" + this.address + ":" + this.port.toString() + "/v1.0/state/" + storeName
  }

saveState(storeName: string, key: string, value: JSON.Value): boolean {
    let item = new StateItem(key, value)
    let items: StateItem[] = [item]
    return this.saveBulkState(storeName, items)
  }

saveBulkState(storeName: string, items: StateItem[]): boolean {
    // Handle field
    let encoder = new JSONEncoder();

// Construct necessary object
    encoder.pushArray(null);
    for (let i = 0, len = items.length; i < len; i++) {
      let item = items[i]
      encoder.pushObject(null);
      encoder.setString("key", item.key)
      encodeValue(encoder, "value", item.value)
      if (item.etag != null) {
        encoder.setString("etag", <string>item.etag)
      }
      encoder.popObject()
    };
    encoder.popArray();
    // Or get serialized data as string
    let jsonString = encoder.toString();
    let url = this.stateURL(storeName);
    Console.log("POST " + url + " with " + jsonString);
    let res = new RequestBuilder(url)
      .method(Method.POST)
      .header("Content-Type", "application/json")
      .body(String.UTF8.encode(jsonString))
      .send();
    let ok = res.status.toString() == "200"
    res.close();
    return ok
  }

getState(storeName: string, key: string): JSON.Value {
    let url = this.stateURL(storeName) + "/" + key;
    Console.log("GET " + url);
    let res = new RequestBuilder(url)
      .method(Method.GET)
      .send();
    let ok = res.status.toString() == "200"
    let result = <json.value> new JSON.Null()
    if (ok) {
      let body = res.bodyReadAll();
      result = <json.value>JSON.parse(body)
    }
    res.close();
    return result
  }
};

```

測試應用的 main 函式，會建立一個 Wasmtime 執行時環境，併為其新增為 HTTP 擴充套件，並載入執行測試應用的 WASM 位元組碼：[_https://github.com/denverdino/wasi-experimental-http/blob/main/src/main.rs_](https://github.com/denverdino/wasi-experimental-http/blob/main/src/main.rs)_。_

```
fn main() {
    let allowed_domains = Some(vec![
        "http://127.0.0.1:3500".to_string(),
    ]);
    let module = "tests/dapr/build/optimized.wasm";
    create_instance(module.to_string(), allowed_domains.clone()).unwrap();
}

/// Create a Wasmtime::Instance from a compiled module and
/// link the WASI imports.
fn create_instance(
    filename: String,
    allowed_domains: Option<vec>>,
) -> Result<instance error=""> {
    let start = Instant::now();
    let store = Store::default();
    let mut linker = Linker::new(&store);

let ctx = WasiCtxBuilder::new()
        .inherit_stdin()
        .inherit_stdout()
        .inherit_stderr()
        .build()?;

let wasi = Wasi::new(&store, ctx);
    wasi.add_to_linker(&mut linker)?;
    // Link `wasi_experimental_http`
    let http = HttpCtx::new(allowed_domains, None)?;
    http.add_to_linker(&mut linker)?;

let module = wasmtime::Module::from_file(store.engine(), filename)?;

let instance = linker.instantiate(&module)?;
    let duration = start.elapsed();
    println!("module instantiation time: {:#?}", duration);
    Ok(instance)
}
```

# 道阻且長，行則將至
WASM/WASI 為輕量化、可移植、預設安全的應用執行時提供了良好的基礎，在區塊鏈等領域 WebAssembly 已經得到了廣泛的應用。然而，對於通用性的伺服器端應用，WASM/WASI 的差距還非常明顯。由於 berkeley socket 這樣標準化的網路程式設計介面的缺失，只能透過擴充套件 WASM 虛擬機器的方式來進行補齊。此外 WASM 的多執行緒能力還沒有被標準化，目前的 HTTP 呼叫採用阻塞式同步呼叫，還無法實現高效和穩定的網路通訊。

此外，另外 WASM/WASI 的一個短板就是開發效率和生態建設。目前而言，雖然眾多的程式語言已經逐漸開始提供 WebAssembly 的支援，但是對於普通開發者而言，AssemblyScript 這樣的指令碼語言是更加合適的選擇。AssemblyScript 複用了 TypeScript 的語法，與 Rust/C++ 相比，大大降低了學習曲線，也提供了非常好的 IDE 工具體驗，如 VS Code 等。但是與 TypeScripty 透過翻譯成為 JavaScript 執行不同，AssemblyScript 應用會被編譯成 WASM 位元組碼執行。AssemblyScript 本質上是一個靜態型別的編譯型語言，本質上與 JS/TS 這樣的動態型別的解釋型語言非常不同。二者在語法上也有一些不同，比如目前 AssemblyScript 缺少對閉包 (closure) 和正規表示式 (Regex) 等常用功能支援，這讓開發 WASM 應用還是有一定的技術門檻。

另外與 NPM 強大的生態相比，AssemblyScript 社群也很年輕。很多功能都需要從頭構建，比如對 JSON 的序列化與反序列化，我們選擇了 _https://github.com/nearprotocol/assemblyscript-json_ ，但是其易用性和效能與成熟的 JSON 類庫還有一定差距。當然我們也看到 AssemblyScript 的快速成長，以及越來越多的開發者開始貢獻 AssemblyScript 程式碼庫，比如 regex 支援等等。

Dapr 的出現為 WASM/WASI 開發通用的分散式應用，尤其是為可移植的、Serverless 化的應用帶來另外一縷曙光。然而 Dapr 也並非完美：API 標準化在提升對後端服務可移植性的同時也阻礙了對差異化能力的支援。Sidecar 架構在提升靈活性的同時增加了部署和管理複雜性。

作為一個理性樂觀派，任何技術都有其青澀的時代，期待社群的共同努力讓計算無處不在、創新觸手可及的理想成為現實。</instance></vec></json.value></json.value></string></string></json.obj></json.integer>

WebAssembly + Dapr = 下一代雲原生執行時？

相關文章