Wasmtime

Bytecode Alliance が開発する WebAssembly のリファレンスランタイム。WASI および Component Model の世界初の完全実装。Cranelift コンパイラバックエンドによるセキュリティ重視の設計と、Pooling Allocator + CoW によるマイクロ秒レベルのインスタンス化が特徴。Fastly Compute と Fermyon Spin (Akamai) の基盤。

基本情報

主要利用者: Fastly Compute (10,000+ ユーザー)、Fermyon Spin/Akamai (75M req/sec)、Shopify Functions、wasmCloud、NGINX Unit。

コンパイルパイプライン

graph TD
    Wasm["WASM バイナリ"] --> Validate["1. 検証 & モジュール設定<br/>(wasmparser)"]
    Validate --> Compile["2. 並列関数コンパイル"]
    Compile --> Cranelift["Cranelift<br/>最適化コンパイラ<br/>高品質コード"]
    Compile --> Winch["Winch<br/>ベースラインコンパイラ<br/>高速コンパイル"]
    Cranelift --> Artifact["3. アーティファクト集約<br/>(ELF イメージ)"]
    Winch --> Artifact
    Artifact --> Execute["4. 実行準備<br/>JIT コード配置"]

Cranelift (最適化コンパイラ)

~200K 行の Rust (LLVM の 2000万行と対照的)。セキュリティとコンパイル速度を最優先。

ISA サポート:

Cranelift vs LLVM

Winch (ベースラインコンパイラ)

シングルパスで WASM オペコードごとに定型の機械語列を出力。Cranelift のコンパイル時間がボトルネックになる cold start シナリオで使用。最適化は最小限だがコンパイル速度は極めて高速。

Pooling Allocator + CoW

Wasmtime のインスタンス化が マイクロ秒レベルで完了する理由。

graph LR
    subgraph "Pooling Allocator"
        Pool["事前確保メモリプール<br/>(起動時に大きなメモリ領域を確保)"]
        Inst["インスタンス割り当て<br/>(malloc 不要、プールから取得)"]
        Free["インスタンス破棄<br/>(madvise 一回でリセット)"]
    end
    Pool --> Inst --> Free --> Pool

• CoW メモリイメージ: memfd ベース。モジュール読み込み時に CoW イメージを構築。メモリコピーは初回書き込みまで遅延
• Memory Protection Keys (MPK): ガードリージョンのカラーストライピングで同一仮想空間に最大 15倍のリニアメモリを収容

AOT コンパイル

wasmtime compile input.wasm    # -> input.cwasm
wasmtime input.cwasm           # コンパイル不要で即実行

let module = Module::new(&engine, wasm_bytes)?;
let serialized = module.serialize()?;
// 後でデシリアライズ (コンパイルスキップ)
let module = unsafe { Module::deserialize(&engine, &serialized)? };

.cwasm は Engine 設定と Wasmtime バージョンに厳密に紐づく。信頼できるソースのもののみ使用すべき。

メモリ安全性: ガードページ

[2GB ガード] [4GB リニアメモリ領域 (初期 64KB)] [2GB ガード]

• 後方ガード (2GB): 33-bit 実効アドレスに対するバウンズチェックを完全除去
• 前方ガード (2GB): Cranelift の符号拡張バグに対する defense-in-depth
• 明示的チェック時のオーバーヘッド: 1.2-1.8x (ガードページで回避)

セキュリティ

WASI / Component Model

wasmtime serve: wasi:http/proxy world を実装したコンポーネントを HTTP サーバーとして実行。

パフォーマンス

API と言語バインディング

#![no_std] サポート (Tier 2) で組み込み用途にも対応。Pulley インタプリタで Cranelift 未対応プラットフォームでも動作。

他ランタイムとの比較

選択指針: FaaS/セキュリティ重視なら Wasmtime、レガシー POSIX 移行なら Wasmer、Edge AI/IoT なら WasmEdge。

押さえどころ（カード化候補）

• Wasmtime の位置づけ → Bytecode Alliance のリファレンスランタイム。WASI / Component Model の世界初の完全実装。標準準拠を最重視し、独自拡張を行わない方針
• Cranelift vs LLVM → Cranelift: ~200K 行 Rust、20-40% 高速コンパイル、ネイティブの ~86% のコード品質。LLVM: ~20M+ 行 C++、~100% のコード品質。Cranelift は IR に未定義動作がなくセキュリティ設計
• Acyclic E-graph (aegraph) → 業界初の e-graph ベース本番コンパイラ最適化。GVN + LICM + DCE + リマテリアライゼーションを単一フレームワークで統合。ISLE DSL でリライトルールを宣言的に記述
• Winch の存在理由 → Cranelift は高品質コードを生成するがコンパイルに時間がかかる。Winch はシングルパスでコンパイル速度最優先。Edge の cold start 最小化に使用
• Pooling Allocator + CoW → 起動時に大きなメモリプールを事前確保。インスタンスはプールから取得 (malloc 不要)。CoW でメモリコピーを初回書き込みまで遅延。結果: マイクロ秒レベルのインスタンス化
• MPK によるメモリ密度 → Memory Protection Keys でガードリージョンをカラーストライピング。同一仮想空間に最大 15倍のリニアメモリを収容可能
• ガードページによるバウンズチェック除去 → 2GB 前方 + 2GB 後方ガード。33-bit 実効アドレスに対する明示的バウンズチェックを完全除去。チェックありだと 1.2-1.8x のオーバーヘッド
• Fuel vs Epoch Interruption → Fuel: 命令単位の精密な CPU 制限 (決定論的だがオーバーヘッド高)。Epoch: 固定サイクルごとの検査 (高速だが非決定論的)。信頼できないコードの実行制限に使用
• AOT コンパイルの意味 → wasmtime compile で .cwasm を事前生成。実行時はデシリアライズのみでコンパイルスキップ。Edge デプロイでは AOT が cold start 最小化の鍵
• Proof-Carrying Code → メモリ操作がサンドボックス内に留まることを検証。オーバーヘッド ~1%。Cranelift の IR に未定義動作がないことと組み合わせてセキュリティを保証
• regalloc2 → IonMonkey インスパイアのバックトラッキング型レジスタアロケータ。SSA ネイティブ。シンボリックチェッカーによる形式検証 + libFuzzer でファジング。コンパイル速度 ~20% 向上
• Wasmtime の LTS 方針 → 12バージョンごと、2年間のセキュリティ修正保証。月次リリースとの組み合わせで、最先端追従とエンタープライズ安定性を両立
• Wasmtime vs Wasmer vs WasmEdge の選択 → Wasmtime: 標準準拠/セキュリティ/LTS。Wasmer: WASIX で POSIX 互換 (ただしロックイン)。WasmEdge: 最小メモリ/Edge AI/WASI-NN
• wasmtime serve → wasi:http/proxy world を実装したコンポーネントを HTTP サーバーとして実行。ProxyPre による事前インスタンス化でリクエスト処理を高速化

Links

• Wasmtime (GitHub)
• Wasmtime Docs
• Cranelift
• Wasmtime Security
• Bytecode Alliance

関連

• wasi — Wasmtime が世界初の完全実装を提供
• wasm-at-the-edge — Fastly Compute, Fermyon Spin の基盤ランタイム
• edge-platforms — ランタイム比較の文脈
• dead-code-elimination — WASM バイナリサイズと Wasmtime の cold start の関係