夏休みだョ！WebAssembly Proposal全員集合！！

2019/07/25

はじめに

こんにちは。カブクで虚無を担当しているあんどうです。日増しに夏めいて来た今日このごろ、皆さん如何お過ごしでしょうか。私はこの湿気がもう駄目なので週末に北海道に飛ぶ予定でしたが、どうやら台風が来ているようです。困る。

さて、先日参加したW3C Workshop on Web Gamesの「WebAssembly: status, Web IDL bindings, and roadmap」というセッションで、WebAssemblyから直接DOMを触れるようにしようという提案があることを知りました。なかなかアグレッシブな提案に衝撃を受けると共に、そう言えば「WebAssemblyの仕様策定プロセス何も知らんな」とか「今はどんな提案があるんだろう」とかいろいろ疑問が浮かんだのでざっと調べてみました。

なお、ここの内容はEmscripten & WebAssembly night !! #8のLTで話したものとほぼ同じです。次回は9月のTPAC後に開催予定らしいのでみんな参加するといいと思います。

仕様策定プロセス

WebAssemblyの標準化プロセスはこちらにまとまっていますが、W3CやTC39などいわゆるウェブ標準のプロセスとほぼ同じです。まず、コミュニティグループ（CG）でオープンに仕様について議論し、ワーキンググループ（WG）で限られたメンバーが標準化に向けた作業を進めます。

標準化は、まだリポジトリも用意されていない単なるアイデア状態のフェーズ0から標準化作業が完了したフェーズ5まで、全6フェーズに分かれています。以下に各フェーズの大まかな内容をまとめます。なお正式な事前条件、事後条件などについてはドキュメントを参照してください。

フェーズ0 提案準備（Pre-Proposal） [CG]: アイデアに対し、コミュニティグループで提案のスコープと実現可能性について投票を行い、問題がなければリポジトリを用意する
フェーズ1 提案（Feature Proposal） [CG]: プルリクやイシューを軸に機能の設計について議論する。概要を記した提案書を作成し、大まかな合意を目指す
フェーズ2 提案書作成（Proposed Spec Text Available） [CG+WG]: 包括的なテストとその確認が可能なプロトタイプを作成する。参照インタプリタがテストを通過する必要はないが、テストを通過する実装が必要
フェーズ3 実装（Implementation Phase） [CG+WG]: 仕様を更新し、参照インタプリタに機能の実装を追加、ツールチェーンに組み込む。コミュニティグループとしては機能について合意に達する
フェーズ4 標準化準備（Standardize the Feature） [WG]: エッジケースに関して議論する。仕様について大きな変更が生じる場合はコミュニティグループに差し戻される。ワーキンググループとして合意に達する
フェーズ5 標準化（The Feature is Standardized） [WG]: W3Cのリポジトリに登録する

提案

グランドデザイン

個々の提案を見ていく前に、WebAssembly自体がどういうものになろうとしているかをざっくりと理解しておいたほうがいいでしょう。それについてはMozillaの以下の記事にある図が非常によくまとまっています。

https://hacks.mozilla.org/2018/10/webassemblys-post-mvp-future/

現在のWebAssemblyはMVP（Minimum Viable Product）、つまり「かろうじて実用に足る仕様」という位置づけですが、今後は以下の3つの分野で本格的に利用されるようになるであろうと想定されています。

本格的なアプリケーション
JSから呼び出せるライブラリ
高級言語のコンパイルターゲット

これから現在提案されている仕様を標準化が近いものから順に紹介しますが、それぞれどの分野をターゲットにした提案なのかを意識すると理解しやすいでしょう。

フェーズ4 標準化準備

フェーズ4の提案はオペコードの追加だけでそれほど面白くありません。（個人の感想です）

Non-trapping float-to-int conversions: 浮動小数点数の小数点以下を切り捨てて整数にする際、結果の値が範囲外の場合に対象の型の上限値または下限値を返すtrunc_sat_fmm_sx命令を追加しようという提案
Sign-extension operators: 符号付き整数をより大きなビット数の符号付き整数に変換するimm.extendm_sx命令を追加しようという提案

フェーズ3 実装

フェーズ3の提案はプログラミング言語としてのWASMを使いやすくする提案が多いようです。

Multi-value

関数や命令、ブロックで多値を返せるようにしようという提案

(func $swap (param i32 i32) (result i32 i32)
    (get_local 1) (get_local 0)
)

Reference Types

任意のJSの値をglobalもしくはTableで受け取れるように参照型を追加しようという提案
WebIDL Bindingや例外処理の提案で使用

Tail call

現在は末尾呼出し最適化を明示的に禁じているが（私の認識違いかも？）、これを可能にしようという提案

Bulk memory operations

パフォーマンス向上を目的にMemoryやTableの内容をまとめて更新するmemory.copy命令やtable.copy命令などを追加しようという提案

フェーズ2 提案書作成

フェーズ2の提案は大規模な開発や込み入ったプログラムの開発に使用できそうな提案が多い印象です。

JavaScript BigInt to WebAssembly i64 integration

WebAssemblyのi64をJSのBigIntとして受け渡せるようにしようという提案

Threads

WebWorkerとメインスレッドでWebAssemblyを並列処理できるように、共有メモリや、アトミックなメモリアクセスを追加しようという提案
SharedArrayBufferの巻き添えでペンディング中

let memory = new WebAssembly.Memory({initial:1, maximum:1, shared:true});
(func (export "lockMutex")
  (param $mutexAddr i32)
  (block $done
    (loop $retry
      (call $tryLockMutex (local.get $mutexAddr))
      (br_if $done)
      (i32.atomic.wait
        (local.get $mutexAddr) ;; mutex address
        (i32.const 1)          ;; expected value (1 => locked)
        (i64.const -1))        ;; infinite timeout
      (drop)
      (br $retry)
    )
  )
)

ECMAScript module integration

ES Moduleとしてwasmをインポートできるようにしようという提案

// これが
let wasmMod = fetch("./myModule.wasm");
WebAssembly.instantiateStreaming(wasmMod)
// こうなる
import {foo} from "./myModule.wasm";

Fixed-width SIMD

128ビットのSIMD命令を使用するためにv128という型と、その操作のためのi8x16.add、i16x8.addなどの命令を導入しようという提案

フェーズ1 提案

フェーズ1の提案は数も多く内容も多彩です。例外処理やガベージコレクション、WebIDLサポートなど、大それた提案があります。

Custom Annotation Syntax in the Text Format

バイナリフォーマットはカスタムセクションに任意のメタデータを持てるが、テキストフォーマットには対応する機能がないのでアノテーションを設定できるようにしようという提案
WebIDL Bindingの提案でも使用

module (@name "Gümüsü")
  (func $lambda (@name "λ") 
    (param $x (@name "α βγ δ") i32) (result i32) (get_local $x))
)

Exception handling

例外を処理するため、try、catch、throw、rethrowなどの命令を追加しようという提案

Type Imports

参照型のための型定義をインポート／エクスポートできるようにしようという提案

(type $Buf (struct (field $pos i64) (field $buf (array $char))))
(import "buf" "Buf" (type $buf))
(func $readPos (param $f (buf $Buf)) (result i64)
  ...
)

Garbage collection

高級言語の実装やブラウザとのやり取りを容易にするためにGCを導入しようという提案

Web IDL Bindings

WebIDLに対応する参照型をWebAssembly側に定義しようという提案

Type Reflection for WebAssembly JavaScript API

JavaScript側からWebAssembly内部で定義されている型情報にアクセスできるようにしようという提案

WebAssembly C and C++ API

WasmエンジンをC/C++アプリケーションに組み込むためのAPIを定義しようという提案

Typed Function References

関数参照を利用できるようにしようという提案

(type $i32-i32 (func (param i32) (result i32)))

(func $hof (param $f (ref $i32-i32)) (result i32)
  (i32.add (i32.const 10) (call_ref (i32.const 42) (local.get $f)))
)

Feature Detection

WebAssemblyに機能がサポートされているかどうかを確認する手段を用意しようという提案

Extended Name Section

バイナリフォーマットのelemセグメントとdataセグメントにもnameセクションを追加しようという提案

フェーズ0 提案準備

CSPはわかる、funcletはモチベーションがよくわからん、という感じです。

Web Content Security Policy: CSPの参照元としてwasm-unsafe-evalを追加し、WebAssembly.compile、WebAssembly.instantiateなどもCSPに従うようにしようという提案
Funclets: Flexible Intraprocedural Control Flow: 末尾呼出し可能な小関数であるfuncletのシーケンスとしてfunclet regionという制御フローを導入しようという提案

さいごに

EcmaScriptの年初時点での全提案についても「お正月だョ！ECMAScript Proposal全員集合！！」でまとめてあります。合わせてご覧ください。

株式会社カブクでは弊社業務でのWebAssemblyの使いどころを一緒に探してくれるフロントエンドエンジニアを募集しています。

その他の記事

Other Articles

2022/06/03
拡張子に Web アプリを関連付ける File Handling API の使い方

2022/03/22
<selectmenu> タグできる子; <select> に代わるカスタマイズ可能なドロップダウンリスト

2022/03/02
Java 15 のテキストブロックを横目に C# 11 の生文字列リテラルを眺めて ECMAScript String dedent プロポーザルを想う

2021/10/13
Angularによる開発をできるだけ型安全にするためのKabukuでの取り組み

2021/09/30
さようなら、Node.js

2021/09/30
Union 型を含むオブジェクト型を代入するときに遭遇しうるTypeScript型チェックの制限について

2021/09/16
[ECMAScript] Pipe operator 論争まとめ – F# か Hack か両方か

2021/07/05
TypeScript v4.3 の機能を使って immutable ライブラリの型付けを頑張る

2021/06/25
Denoでwasmを動かすだけの話

2021/05/18
DOMMatrix: 2D / 3D 変形（アフィン変換）の行列を扱う DOM API

2021/03/29
GoのWASMがライブラリではなくアプリケーションであること

2021/03/26
Pythonプロジェクトの共通のひな形を作る

2021/03/25
インラインスタイルと Tailwind CSS と Tailwind CSS 入力補助ライブラリと Tailwind CSS in JS

2021/03/23
Serverless NEGを使ってApp Engineにカスタムドメインをワイルドカードマッピング

2021/01/07
esbuild の機能が足りないならプラグインを自作すればいいじゃない

2020/08/26
TypeScriptで関数の部分型を理解しよう

2020/06/16
[Web フロントエンド] esbuild が爆速すぎて webpack / Rollup にはもう戻れない

2020/03/19
[Web フロントエンド] Elm に心折れ Mint に癒しを求める

2020/02/28
さようなら、TypeScript enum

2020/02/14
受付のLooking Glassに加えたひと工夫

2020/01/28
カブクエンジニア開発合宿に行ってきました 2020冬

2020/01/30
Renovateで依存ライブラリをリノベーションしよう〜 Bitbucket編〜

2019/12/27
Cloud Tasks でも deferred ライブラリが使いたい

2019/12/25
*, ::before, ::after { flex: none; }

2019/12/21
Top-level awaitとDual Package Hazard

2019/12/20
Three.jsからWebGLまで行きて帰りし物語

2019/12/18
Three.jsに入門＋手を検出してAR.jsと組み合わせてみた

2019/12/04
WebXR AR Paint その２

2019/11/06
GraphQLの入門書を翻訳しました

2019/09/20
Kabuku Connect 即時見積機能のバックエンド開発

2019/08/14
Maker Faire Tokyo 2019でARゲームを出展しました

2019/07/08
鵜呑みにしないで！ —— 書籍『クリーンアーキテクチャ』所感 ≪null 篇≫

2019/07/03
W3C Workshop on Web Games参加レポート

2019/06/28
TypeScriptでObject.assign()に正しい型をつける

2019/06/25
カブクエンジニア開発合宿に行ってきました 2019夏

2019/06/21
Hola! KubeCon Europe 2019の参加レポート

2019/06/19
Clean Resume きれいな環境できれいな履歴書を作成する

2019/05/20
[Web フロントエンド] 状態更新ロジックをフレームワークから独立させる

2019/04/16
C++のenable_shared_from_thisを使う

2019/04/12
OpenAPI 3 ファーストな Web アプリケーション開発（Python で API 編）

2019/04/08
WebGLでレイマーチングを使ったCSGを実現する

2019/03/29
その1 Jetson TX2でk3s(枯山水)を動かしてみた

2019/04/02
『エンジニア採用最前線』に感化されて2週間でエンジニア主導の求人票更新フローを構築した話

2019/03/27
任意のブラウザ上でJestで書いたテストを実行する

2019/02/08
TypeScript で “radian” と “degree” を間違えないようにする

2019/02/05
Python3でGoogle Cloud ML Engineをローカルで動作する方法

2019/01/18
SIGGRAPH Asia 2018 参加レポート

2019/01/08
お正月だョ！ECMAScript Proposal全員集合！！

2019/01/08
カブクエンジニア開発合宿に行ってきました 2018秋

2018/12/25
OpenAPI 3 ファーストな Web アプリケーション開発（環境編）

2018/12/23
いまMLKitカスタムモデル（TF Lite）は使えるのか

2018/12/21
[IoT] Docker on JetsonでMQTTを使ってCloud IoT Coreと通信する

2018/12/11
TypeScriptで実現する型安全な多言語対応（Angularを例に）

2018/12/05
GASでCompute Engineの時間に応じた自動停止/起動ツールを作成する〜GASで簡単に好きなGoogle APIを叩く方法〜

2018/12/02
single quotes な Black を vendoring して packaging

2018/11/14
3次元データに2次元データの深層学習の技術(Inception V3, ResNet)を適用

2018/11/04
Node Knockout 2018 に参戦しました

2018/10/24
SIGGRAPH 2018参加レポート-後編（VR/AR）

2018/10/11
Angular 4アプリケーションをAngular 6に移行する

2018/10/05
SIGGRAPH 2018参加レポート-特別編（VR@50）

2018/10/03
Three.jsでVRしたい

2018/10/02
SIGGRAPH 2018参加レポート-前編

2018/09/27
ズーム可能なSVGを実装する方法の解説

2018/09/25
Kerasを用いた複数入力モデル精度向上のためのTips

2018/09/21
競技プログラミングの勉強会を開催している話

2018/09/19
Ladder Netwoksによる半教師あり学習

2018/08/10
「Maker Faire Tokyo 2018」に出展しました

2018/08/02
Kerasを用いた複数時系列データを1つの深層学習モデルで学習させる方法

2018/07/26
Apollo GraphQLでWebサービスを開発してわかったこと

2018/07/19
【深層学習】時系列データに対する１次元畳み込み層の出力を可視化

2018/07/11
きたない requirements.txt から Pipenv への移行

2018/06/26
CSS Houdiniを味見する

2018/06/25
不確実性を考慮した時系列データ予測

2018/06/20
Google Colaboratory を自分のマシンで走らせる

2018/06/18
Go言語でWebAssembly

2018/06/15
カブクエンジニア開発合宿に行ってきました 2018春

2018/06/08
2018 年の tree shaking

2018/06/07
隠れマルコフモデル入門

2018/05/30
DASKによる探索的データ分析(EDA)

2018/05/10
TensorFlowをソースからビルドする方法とその効果

2018/04/23
EGLとOpenGLを使用するコードのビルド方法〜libGLからlibOpenGLへ

2018/04/23
技術書典4にサークル参加してきました

2018/04/13
Python で Cura をバッチ実行するためには

2018/04/04
ARCoreで3Dプリント風エフェクトを実現する〜呪文による積層造形映像制作の舞台裏〜

2018/04/02
深層学習を用いた時系列データにおける異常検知

2018/04/01
音声ユーザーインターフェースを用いた新方式積層造形装置の提案

2018/03/31
Container builderでコンテナイメージをBuildしてSlackで結果を受け取る開発スタイルが捗る

2018/03/23
ngUpgrade を使って AngularJS から Angular に移行

2018/03/14
Three.jsのパフォーマンスTips

2018/02/14
C++17の新機能を試す〜その1「3次元版hypot」

2018/01/17
時系列データにおける異常検知

2018/01/11
異常検知の基礎

2018/01/09
three.ar.jsを使ったスマホAR入門

2017/12/17
Python OpenAPIライブラリ bravado-core の発展的な使い方

2017/12/15
WebAssembly（wat）を手書きする

2017/12/14
AngularJS を Angular に移行: ng-annotate 相当の機能を TypeScrpt ファイルに適用

2017/12/08
Android Thingsで4足ロボットを作る ~ Android ThingsとPCA9685でサーボ制御)

2017/12/06
Raspberry PIとDialogflow & Google Cloud Platformを利用した、3Dプリンターボット(仮)の開発 (概要編)

2017/11/20
カブクエンジニア開発合宿に行ってきました 2017秋

2017/10/19
Android Thingsを使って3Dプリント戦車を作ろう ① ハードウェア準備編

2017/10/13
第2回魁！！ GPUクラスタ on GKE ~PodからGPUを使う編~

2017/10/05
第1回魁！！ GPUクラスタ on GKE ~GPUクラスタ構築編~

2017/09/13
「Maker Faire Tokyo 2017」に出展しました。

2017/09/11
PyConJP2017に参加しました

2017/09/08
bravado-coreによるOpenAPIを利用したPythonアプリケーション開発

2017/08/23
OpenAPIのご紹介

2017/08/18
EuroPython2017で2名登壇しました。

2017/07/26
3DプリンターでLチカ

2017/07/03
Three.js r86で何が変わったのか

2017/06/21
3次元データへの深層学習の適用

2017/06/01
カブクエンジニア開発合宿に行ってきました 2017春

2017/05/08
Three.js r85で何が変わったのか

2017/04/10
GCPのGPUインスタンスでレンダリングを高速化

2017/02/07
Three.js r84で何が変わったのか

2017/01/27
Google App EngineのFlexible EnvironmentにTmpfsを導入する

2016/12/21
Three.js r83で何が変わったのか

2016/12/02
Three.jsでのクリッピング平面の利用

2016/11/08
Three.js r82で何が変わったのか

2016/12/17
SIGGRAPH 2016 レポート

2016/11/02
カブクエンジニア開発合宿に行ってきました 2016秋

2016/10/28
PyConJP2016 行きました

2016/10/17
EuroPython2016で登壇しました

2016/10/13
Angular 2.0.0ファイナルへのアップグレード

2016/10/04
Three.js r81で何が変わったのか

2016/09/14
カブクのエンジニアインターンシッププログラムについての詩

2016/09/05
カブクのエンジニアインターンとして3ヶ月でやった事　〜高橋知成の場合〜

2016/08/30
Three.js r80で何が変わったのか

2016/07/15
Three.js r79で何が変わったのか

2016/06/02
Vulkanを試してみた

2016/05/20
MakerGoの作り方

2016/05/08
TensorFlow on DockerでGPUを使えるようにする方法

2016/04/27
Blenderの3DデータをMinecraftに送りこむ

2016/04/20
Tensorflowを使ったDeep LearningにおけるGPU性能調査