WebAssemblyを進化させる「WASI Preview 2」が安定版に到達。OSや言語に依存しないコンポーネントモデルを実現

今回は「WebAssemblyを進化させる「WASI Preview 2」が安定版に到達。OSや言語に依存しないコンポーネントモデルを実現」についてご紹介します。

関連ワード (対応言語、普及、相互等) についても参考にしながら、ぜひ本記事について議論していってくださいね。

本記事は、Publickey様で掲載されている内容を参考にしておりますので、より詳しく内容を知りたい方は、ページ下の元記事リンクより参照ください。


WebAssembly関連仕様の標準化を行っているW3C WebAssembly Community GroupのWASI Subgroupミーティングにおいて、2024年1月25日に行われた投票で「WASI Preview 2」(もしくはWASI 0.2.0)仕様が承認され、安定版に到達したことが明らかになりました。

fig

WASI Preview 2では、WebAssemblyアプリケーションがOSなどのプラットフォームに依存せず、さまざまなプログラミング言語で開発したWebAssemblyコンポーネントを組み合わせて開発できるように、「コンポーネントモデル」とそのインターフェイスを記述するIDL(Interface Definition Language)である「WIT(WebAssembly Interface TypeもしくはWasm Interface Type)」を基盤にしたものになっています。

WASI Preview 2登場の背景

WASI Preview 2がどのような背景の下で登場したのか、簡単にこれまでのWebAssemblyの歴史を振り返ってみましょう。

プロセッサ非依存のバイナリフォーマットとして登場
WebAssemblyはもともと、Webブラウザ上で高速に実行可能なバイナリフォーマットとして登場し、2019年12月にW3Cの勧告に到達し、Google Chrome、Firefox、Safariなど事実上全てのモダンブラウザが対応しました。

これによりWebAssemblyはプロセッサのアーキテクチャに依存せず、x86プロセッサでもArmプロセッサでもRISC-Vプロセッサでも高速に実行可能な、ユニバーサルなバイナリフォーマットとして知られるようになります。

また、RustやGoなどさまざまなプログラミング言語がWebAssemblyバイナリを生成可能です。このような多言語対応もWebAssemblyの特徴の1つです。

WASIによりOS非依存のクロスプラットフォーム対応に
WebAssemblyをWebブラウザだけでなくOS上のスタンドアロンなWebAssemblyランタイムでも実行可能にしようと、OSのAPIを抽象するために登場したのがWASI(WebAssembly System Interface:現在のWASI Preview 1)です。

WASI Preview 1の登場で、例えばOSによって異なるファイルシステムへのアクセスなどが抽象化されました。WASI Preview 1に対応したWebAssemblyアプリケーションであれば、WASI Preview 1対応ランタイムを用いることでWebブラウザでもmacOSでもLinuxでもWindowsでも、そのまま実行可能になりました。

そしてWasmtimeやWasmer、Cloudflare Workers、Fastly Compute@Edgeなど主要なWebAssemblyランタイムがWASI Preview 1に対応したことで、WebAssemblyは単一アプリケーションでのクロスプラットフォーム対応を実現したのです。

ガベージコレクション機能で対応言語がさらに拡大
また2023年にはWebAssemblyのガベージコレクション機能がGoogle Chromeを始めとするWebAssemblyランタイムに実装されるようになりました。

これによりプログラミング言語をWebAssemblyに対応させる際に、プログラミング言語自身でガベージコレクタを実装する必要がなくなります。つまり以前より容易にさまざまなプログラミング言語がWebAssemblyに対応可能になりました。

このガベージコレクション機能を利用して、KotlinやDartといったプログラミング言語がWebAssembly対応を進めています。今後さらに多くのプログラミング言語がWebAssembly対応になると見られます。

こうして着実に進化してきたWebAssemblyですが、WASI Preview 1にはいくつかの課題がありました。

WASI Preview 1の課題

WASI Preview 1にはOSのAPIを抽象化するという目的があったため、UNIXをベースにしたAPIの標準規格であるPOSIX(Portable Operating System Interface)の主要なAPIを手本としてWASI Preview 1が実装されました。その後、WASIの仕様を拡張してさまざまな機能を拡充していく際にはモジュール的にAPIを追加していく予定でした。

しかしUNIXがCで実装されたOSであるという歴史的経緯からPOSIXもC言語を指向したAPIとなっています。WASI Preview 1はこのPOSIXを手本にしたことで、多言語でインターフェイスを実装するのに向いていないこと、ソケットは十分にサポートできず、インターフェイスの仮想化も困難、コンポーネントを組み合わせるためのインターフェイスとして用いるのが困難、などの課題が浮かび上がりました。

これについてはWASIの実装と普及を推進する団体であるBytecode Allianceが2月1日に公開した動画「Bytecode Alliance Community Meeting」で説明しています。下記はその動画内で説明に使われたスライドです。

fig

そこで、さまざまなプログラミング言語に対応するなどのWebAssemblyの特徴を活かすため、多言語に対応したコンポーネントによる機能拡張やアプリケーションの構築を実現すべく、WASI Preview 1を刷新して新たにコンポーネントモデルとそのためのインターフェイスであるWITをベースに開発されたのが、今回安定版となった「WASI Preview 2」(もしくはWASI 0.2.0)なのです。

コンポーネントモデル、WIT、Worlds

WASI Preview 2は前述の通り、コンポーネントモデルとそのインターフェイスを記述するIDL(Interface Definition Language)である「WIT(WebAssembly Interface TypeもしくはWasm Interface Type)を基盤にしています。

コンポーネントモデルによるコンポーネントとは、実体はWebAssemblyファイルであり、そのなかに1つから複数のWebAssemblyモジュールを含んでいます。

WITで表現されるコンポーネントのインターフェイスは、プロセッサのアーキテクチャやOS、開発に用いられたプログラミング言語に依存せず相互に通信できるようになっています。

WITは、コンポーネントのインターフェイスを主にfunction(関数)とType(型)によって記述することで、コンポーネントの入出力を定義します。

下記はそのサンプルコードです。hostというインターフェイスにはlogという関数があり、その関数はstring型の引数が1つとなっている、といったことが記述されています。

このWITを基に、さまざまなプログラミング言語に対応したコンポーネントの初期コードの生成を可能にするツールなども用意される予定です。

また、WITを複数束ねて名前を付けた「WIT Worlds」もWASI Preview 2の大きな特徴です。

WIT Worldsによってコンポーネントの外部のアプリケーションとの入出力についてより上位のレベル、例えば「HTTPプロキシ」としてのやりとりや「コマンドラインツール」としてのやりとりを記述できます。コンポーネントとは、このWIT Worldsの実装を内部定義したものとも言えます。今後さまざまなWorldを実装したコンポーネントが登場することが期待されます。

WASI Preview 2は、このコンポーネントモデルとWITを基盤に次の7つのシステムインターフェイスも公開されました。

  • wasi-io :抽象化されたI/Oのインターフェイス
  • wasi-clocks:現座時刻などを取得するインターフェイス
  • wasi-random:乱数を取得するインターフェイス
  • wasi-filesystem:ファイルシステムにアクセスするインターフェイス
  • wasi-sockets:TCPとUDPのソケット通信およびドメイン名のルックアップのためのインターフェイス
  • wasi-cli:コマンドラインインターフェイスを実装するためのインターフェイス
  • wasi-http:HTTPのリクエストとレスポンスを送受信するためのインターフェイス

WASI Preview 3へ

WASIは今後、WASI Preview 3、Preview 4と進化していく予定です。次のWASI Preview 3では、非同期コンポーネントの実現などについてフォーカスしていく予定だとされています。

参考

  • WASI 0.2.0 and Why It Matters | wasmCloud
  • WASI Preview 2 Launched · sunfishcode’s blog

関連記事

  • WebAssemblyにスレッドやコンポーネントモデルなど導入へ、Bytecode Allianceがロードマップを公開
  • WebAssemblyの「WASI Preview 2」で、WebAssemblyコンポーネントの組み合わせによるアプリケーション開発を実現へ

COMMENTS


Recommended

TITLE
CATEGORY
DATE
繰り返し使えるシート型ストロー、老舗醸造所が発売 小学生の娘の自由研究から誕生
くらテク
2021-06-10 20:27
「Windows 11」プレビュー版の「エクスプローラー」にタブ機能
IT関連
2022-06-14 14:31
ブランドアイテムを販売する小売店向けオンライン卸売マーケットプレイス「homula」が1億円調達
ネットサービス
2021-06-01 23:52
コンピュータービジョンでレストランのオーダーエラーを解消するAgot AI
IT関連
2022-02-13 18:35
Microsoft、MRプラットホーム「Microsoft Mesh」発表 マルチデバイス対応アプリ開発を目指す :Microsoft Ignite 2021
製品動向
2021-03-04 20:59
押して歩く時もモーターが補助する電動アシスト自転車、パナソニックが発売
くらテク
2021-05-22 09:02
HPEのネリCEO、「AIにはハイブリッドクラウドが必要」–NVIDIAと新ソリューション発表
IT関連
2024-06-21 13:06
アクセンチュア、クリエイティブエージェンシー「Droga5」の東京オフィスを開設
IT関連
2021-05-20 03:44
BigQueryがJSONにネイティブ対応。SQLでJSONに対するクエリが可能に
Google
2022-01-12 20:36
大分県庁とワークスモバイルジャパン、県内企業のDX化を推進する包括連携協定を締結
IT関連
2023-04-01 07:58
駿台予備学校、ITで個別最適学習を支援するカリキュラム「MyFitプラン」を提供
IT関連
2024-02-22 10:49
「+メッセージ」で本人確認メールを送付 KDDIが企業向けに提供、部外者ののぞき見防止に
企業・業界動向
2021-05-28 21:29
建ロボテックが鉄筋結束作業を行う「全自動鉄筋結束トモロボ」を開発、年内量産開始を目指す
ロボティクス
2021-07-13 16:55
[速報]Google Cloudの開発や問題解決をAIが支援してくれる「Duet AI in Google Cloud」がVSCodeなどで利用可能に。Google Cloud Next '23
Google
2023-08-30 11:50