WebAssembly とは何ですか。また、どこから提供されていますか?

ウェブがドキュメントだけでなくアプリのプラットフォームになって以来、一部の高度なアプリはウェブブラウザを限界まで押し上げています。パフォーマンスを向上させるために、下位レベルの言語とインターフェースを介して「メタルに近づく」アプローチは、多くの上位レベルの言語で使用されています。たとえば、Java には Java ネイティブ インターフェースがあります。JavaScript の場合、この下位言語は WebAssembly です。この記事では、アセンブリ言語と、ウェブで役立つ理由について説明します。また、asm.js という暫定的なソリューションを通じて WebAssembly がどのように作成されたかについても説明します。

アセンブリ言語でプログラミングした経験はありますか?コンピュータ プログラミングにおいて、アセンブリ言語(単にアセンブリとも呼ばれ、通常は ASM または asm と略される)は、言語内の命令とアーキテクチャのマシンコード命令との間に非常に強い対応関係がある任意の低レベル プログラミング言語です。

たとえば、Intel® 64 および IA-32 アーキテクチャ(PDF)では、MUL 命令(乗算)は、第 1 オペランド(宛先オペランド)と第 2 オペランド(ソース オペランド)の符号なし乗算を実行し、結果を宛先オペランドに格納します。非常に簡単に説明すると、宛先オペランドはレジスタ AX にある暗黙のオペランドで、ソースオペランドは CX などの汎用レジスタにあります。結果はレジスタ AX に再度保存されます。次の x86 コードの例を考えてみましょう。

mov ax, 5  ; Set the value of register AX to 5.
mov cx, 10 ; Set the value of register CX to 10.
mul cx     ; Multiply the value of register AX (5)
           ; and the value of register CX (10), and
           ; store the result in register AX.

比較のために、5 と 10 を掛けるタスクを JavaScript で行う場合、次のようなコードを記述するでしょう。

const factor1 = 5;
const factor2 = 10;
const result = factor1 * factor2;

アセンブリ ルートを利用するメリットは、このような低レベルで機械に最適化されたコードは、高レベルで人間に最適化されたコードよりもはるかに効率的である点です。前述のケースでは問題ありませんが、より複雑なオペレーションでは、差が大きくなることが考えられます。

その名が示すように、x86 コードは x86 アーキテクチャに依存します。特定のアーキテクチャに依存せず、アセンブリのパフォーマンス上の利点を継承するアセンブリ コードを記述する方法があるとしたらどうでしょうか。

asm.js

アーキテクチャに依存しないアセンブリ コードを記述するための最初のステップは、asm.js でした。これは、コンパイラ用の低レベルで効率的なターゲット言語として使用できる JavaScript の厳密なサブセットです。このサブ言語は、C や C++ などのメモリ安全でない言語のサンドボックス化された仮想マシンを効果的に記述しました。静的検証と動的検証を組み合わせることで、JavaScript エンジンは有効な asm.js コードに対して事前(AOT)最適化コンパイル戦略を採用できました。手動メモリ管理で静的型付け言語(C など)で記述されたコードは、初期の Emscripten(LLVM ベース)などのソースツーソース コンパイラによって変換されました。

言語機能を AOT に適したものに限定することで、パフォーマンスが向上しました。Firefox 22 は、asm.js をサポートする最初のブラウザで、OdinMonkey という名前でリリースされました。Chrome バージョン 61 では、asm.js のサポートが追加されました。asm.js はブラウザで引き続き機能しますが、WebAssembly に置き換えられています。現時点で asm.js を使用する理由は、WebAssembly をサポートしていないブラウザの代替として使用することです。

WebAssembly

WebAssembly は、低レベルのアセンブリのような低レベルの言語です。コンパクトなバイナリ形式で、ネイティブに近いパフォーマンスで動作し、C/C++ や Rust など、ウェブ上で動作するようにコンパイル ターゲットで多くの言語を提供します。Java や Dart などのメモリ管理言語のサポートは現在開発中であり、まもなく利用可能になる予定です。Kotlin/Wasm の場合はすでにリリースされています。WebAssembly は JavaScript と並行して実行するように設計されており、両方を連携させることができます。

WebAssembly プログラムは、ブラウザ以外にも、WebAssembly 用のモジュラー システム インターフェースである WASI(WebAssembly System Interface)により、他のランタイムでも実行できます。WASI は、安全性とサンドボックス環境での実行を目的として、オペレーティング システム間で移植可能に作成されています。

WebAssembly コード(バイナリコード、つまりバイトコード)は、ポータブルな仮想マシン(VM)で実行されることを想定しています。バイトコードは、JavaScript よりも解析と実行が速く、コード表現がコンパクトになるように設計されています。

命令の概念的な実行は、命令を進める従来のプログラム カウンタによって行われます。実際には、ほとんどの Wasm エンジンは Wasm バイトコードをマシンコードにコンパイルしてから実行します。手順は次の 2 つのカテゴリに分類されます。

  • 制御コンストラクトを形成し、引数の値をスタックからポップする制御命令は、プログラム カウンタを変更し、結果値をスタックにプッシュすることがあります。
  • 引数の値をスタックからポップし、値に演算子を適用して、結果の値をスタックにプッシュし、プログラム カウンタを暗黙的に進める単純な命令

前の例に戻ると、次の WebAssembly コードは、この記事の冒頭の x86 コードと同じです。

i32.const 5  ; Push the integer value 5 onto the stack.
i32.const 10 ; Push the integer value 10 onto the stack.
i32.mul      ; Pop the two most recent items on the stack,
             ; multiply them, and push the result onto the stack.

asm.js はすべてソフトウェアで実装されます。つまり、そのコードはどの JavaScript エンジンでも(最適化されていない場合でも)実行できますが、WebAssembly にはすべてのブラウザ ベンダーが同意している新しい機能が必要でした。2015 年に発表され、2017 年 3 月に初めてリリースされた WebAssembly は、2019 年 12 月 5 日に W3C の推奨事項となりました。W3C は、すべての主要なブラウザ ベンダーやその他の関係者の貢献によってこの基準を定めています。2017 年より、ブラウザは普遍的にサポートされるようになりました。

WebAssembly には、テキストバイナリの 2 つの表現があります。上の画像はテキスト表現です。

テキスト表現

テキスト表現は S 式に基づいており、通常はファイル拡張子 .watWebAssembly text 形式)を使用します。どうしても手書きで作成したい場合は、手書きで作成することもできます。上記の乗算の例を、因数をハードコードしないように変更してより有用なものにすると、次のコードが理解できると思います。

(module
  (func $mul (param $factor1 i32) (param $factor2 i32) (result i32)
    local.get $factor1
    local.get $factor2
    i32.mul)
  (export "mul" (func $mul))
)

バイナリ表現

ファイル拡張子 .wasm を使用するバイナリ形式は、人間が作成するものではなく、人間が使用するものでもありません。wat2wasm などのツールを使用して、上記のコードを次のバイナリ表現に変換できます。(コメントは通常バイナリ表現の一部ではありませんが、わかりやすくするために wat2wasm ツールによって追加されます)。

0000000: 0061 736d                             ; WASM_BINARY_MAGIC
0000004: 0100 0000                             ; WASM_BINARY_VERSION
; section "Type" (1)
0000008: 01                                    ; section code
0000009: 00                                    ; section size (guess)
000000a: 01                                    ; num types
; func type 0
000000b: 60                                    ; func
000000c: 02                                    ; num params
000000d: 7f                                    ; i32
000000e: 7f                                    ; i32
000000f: 01                                    ; num results
0000010: 7f                                    ; i32
0000009: 07                                    ; FIXUP section size
; section "Function" (3)
0000011: 03                                    ; section code
0000012: 00                                    ; section size (guess)
0000013: 01                                    ; num functions
0000014: 00                                    ; function 0 signature index
0000012: 02                                    ; FIXUP section size
; section "Export" (7)
0000015: 07                                    ; section code
0000016: 00                                    ; section size (guess)
0000017: 01                                    ; num exports
0000018: 03                                    ; string length
0000019: 6d75 6c                          mul  ; export name
000001c: 00                                    ; export kind
000001d: 00                                    ; export func index
0000016: 07                                    ; FIXUP section size
; section "Code" (10)
000001e: 0a                                    ; section code
000001f: 00                                    ; section size (guess)
0000020: 01                                    ; num functions
; function body 0
0000021: 00                                    ; func body size (guess)
0000022: 00                                    ; local decl count
0000023: 20                                    ; local.get
0000024: 00                                    ; local index
0000025: 20                                    ; local.get
0000026: 01                                    ; local index
0000027: 6c                                    ; i32.mul
0000028: 0b                                    ; end
0000021: 07                                    ; FIXUP func body size
000001f: 09                                    ; FIXUP section size
; section "name"
0000029: 00                                    ; section code
000002a: 00                                    ; section size (guess)
000002b: 04                                    ; string length
000002c: 6e61 6d65                       name  ; custom section name
0000030: 01                                    ; name subsection type
0000031: 00                                    ; subsection size (guess)
0000032: 01                                    ; num names
0000033: 00                                    ; elem index
0000034: 03                                    ; string length
0000035: 6d75 6c                          mul  ; elem name 0
0000031: 06                                    ; FIXUP subsection size
0000038: 02                                    ; local name type
0000039: 00                                    ; subsection size (guess)
000003a: 01                                    ; num functions
000003b: 00                                    ; function index
000003c: 02                                    ; num locals
000003d: 00                                    ; local index
000003e: 07                                    ; string length
000003f: 6661 6374 6f72 31            factor1  ; local name 0
0000046: 01                                    ; local index
0000047: 07                                    ; string length
0000048: 6661 6374 6f72 32            factor2  ; local name 1
0000039: 15                                    ; FIXUP subsection size
000002a: 24                                    ; FIXUP section size

WebAssembly へのコンパイル

ご覧のとおり、.wat.wasm はどちらも人間にとってあまり適していません。ここで、Emscripten などのコンパイラが役に立ちます。C や C++ などの高水準言語からコンパイルできます。Rust などの他の言語用のコンパイラもあります。次の C コードについて考えてみましょう。

#include <stdio.h>

int main() {
  printf("Hello World\n");
  return 0;
}

通常、この C プログラムはコンパイラ gcc でコンパイルします。

$ gcc hello.c -o hello

Emscripten をインストールしたら、emcc コマンドとほぼ同じ引数を使用して、WebAssembly にコンパイルします。

$ emcc hello.c -o hello.html

これにより、hello.wasm ファイルと HTML ラッパー ファイル hello.html が作成されます。ウェブサーバーからファイル hello.html を配信すると、DevTools コンソールに "Hello World" が出力されます。

HTML ラッパーを使用せずに WebAssembly にコンパイルする方法もあります。

$ emcc hello.c -o hello.js

前回と同様に、hello.wasm ファイルが作成されますが、今回は HTML ラッパーではなく hello.js ファイルが作成されます。テストするには、結果の JavaScript ファイル hello.js を Node.js などで実行します。

$ node hello.js
Hello World

その他の情報

WebAssembly の簡単な紹介は、氷山の一角にすぎません。WebAssembly の詳細については、MDN の WebAssembly のドキュメントEmscripten のドキュメントをご覧ください。正直なところ、WebAssembly の使用は、フクロウの描き方に関するミームに似ているかもしれません。特に、HTML、CSS、JavaScript に精通しているウェブ デベロッパーは、C などのコンパイル対象言語に精通しているとは限りません。幸い、StackOverflow の webassembly タグなどのチャンネルでは、丁寧に質問すれば、専門家が喜んでサポートしてくれることがよくあります。

謝辞

この記事は、Jakob KummerowDerek SchuffRachel Andrew がレビューしました。